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

Deferred successors, not simultaneously opened

Stage 6: one active successor and exact completion ledger › Deferred successors, not simultaneously opened · lines 1946–1986

Back to manuscript

Deferred candidate	Missing interface	Disposition
Deferred candidate	Missing interface	Disposition
Formalization	Exact finite-domain definitions, support and gap semantics, entropy conventions, theorem dependency inventory, then source-matched proof of the first analytic stage.	Not supplied by moment canonicalization; no formal execution asserted.
Algorithmic PEPS	Finite input encoding, promise, precision, output tensors, runtime, normalization, and any contraction or verification requirement.	Separate from 265-02 existence and generic contraction hardness.
Degenerate ground spaces	A restricted class of ground spaces, state selection, topology, boundary conditions, and any correction term.	Unrestricted version refuted by Proposition prop:degenerate.
Rényi/strict-area companion	New estimates for $α < 1$ , or exact entropic hypotheses and geometric region class.	Orders $α > 1$ already have the elementary conditional bound; strict equality is not implied.

Each future candidate must retain the same refusal: the catalogue is not authenticated by a comparison; 265-02 does not supply an algorithm; no Cheung theorem is silently transferred into the external proof; no Page curve or standing-programme solution is thereby constructed.