λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript X-K-ST@1 · X-K-ST.tex · section · 93c39c0f

Successor requirements

Local Grade S release and prospective use › Successor requirements · lines 1972–1992

Back to manuscript

A stronger successor must supply any additional construction it claims, rather than renaming :

  1. a physical continuum-to-register acquisition channel and complete comparison, if field acquisition is claimed;

  2. an actual joint memory model, if stagewise marginal estimates are to be used;

  3. resource and causal certificates for additional routes or readouts;

  4. an externally independent time construction, if Problem 8 is to be advanced beyond this boundary;

  5. the separate analytic and admission chain, if a characteristic quantum coefficient is claimed.