λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript X-D-ST@1 · X-D-ST.tex · section · e0cf8fdb

Successor package

Fixed host, release, and successor boundary › Successor package · lines 2614–2638

Back to manuscript

A successor receives:

  1. the limiting tests (eq:limiting-tests) and their fixed-support estimates;

  2. the normal-flux velocities and transmission identification;

  3. the delta-free, possibly jumping observation-smeared linear background kernel;

  4. the unchanged-algebra gauge passage and its explicit equation-ideal representatives;

  5. the fixed-generator defect formula and the separate moving-edge warning;

  6. the preserved counting of the first map and second-order pair;

  7. the finite complete-channel encoding contract.

It receives no metric admission, quantum metric, family, nonlinear retarded-product hierarchy, loop triangle, or characteristic complete-sum limit. Any X-F-type use of the representatives must retain that successor's separately specified domains.