λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript Oai265-A@2 · Oai265-A.tex · section · c0a34a45

The mathematical release

Claim, source roles, and meaning of completion › The mathematical release · lines 125–151

Back to manuscript

The plan has seven stages, numbered through . Completing this plan means:

  1. freezing the external statements without promoting them to premises;

  2. auditing the five-stage proof architecture against its stated interfaces and available evidence;

  3. proving the finite accounting and separation statements that can actually be established from the supplied material;

  4. recording every missing universal estimate;

  5. selecting one successor target, rather than silently asserting its solution.

In particular, this manuscript does not claim to finish the unverified proof of a universal two-dimensional area law. Nor does it claim an explicit universal constant, an efficient PEPS algorithm, or a formalization of the external proof.

The central local results are Theorems thm:terminal, thm:recovery, thm:separation, and thm:release. They are self-contained mathematical statements on explicitly declared finite interfaces.