λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript X-Enter-ST@1 · X-Enter-ST.tex · section · f76acc1f

Successor package

Release, significance, and successor obligations › Successor package · lines 1877–1904

Back to manuscript

A successor receives:

  1. the unchanged host, completion, signature, time, and fixed-width ledger;

  2. the unrepaired convolution charge contract and its real-surjective coefficient orbit;

  3. the exact and approximate orbit arguments;

  4. the selective amplitude tests and finite supplied-report instruments;

  5. the conditional second-reference hypothesis and its exact charge-matching condition;

  6. the conditional relational circuit with its failure and coarse-record boundary;

  7. the bounded-comparison trade-off and excluded prescription changes;

  8. scheduled locality, a regular route, and the complete resource/error contract.

It receives no repaired coefficient, physical relational observable of the cone, field-acquisition map, or permission to identify the ramp and convolution prescriptions.