λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · section · dd45e0d1

What v5 changes

Question, Enter background, and evidence › What v5 changes · lines 273–291

Back to manuscript

The predecessor's successful mathematical results are retained. Two audit corrections are added:

  1. the failed phase predicate is localized to a difference between the typeset table and the regression transcription;

  2. predicates after the failing instruction are distinguished from predicates actually reached in that run.

The new regression contract records the discrepancy exactly. It does not redefine the false equality to be true.

No elementary rank theorem, instrument theorem, encryption mechanism, or general propagator technology is claimed as new. The contribution is their joint use in a scope-explicit counterterm and data-integrity release architecture.