Manuscript En04-A@1 · En04-A.tex · section · bab77211

Completed program and destination ledger

Completed program and destination ledger · lines 2091–2192

Declared program or condition	Proved channel statement	What is not inferred
Declared program or condition	Proved channel statement	What is not inferred
Identity or tested Clifford baseline	Complete complement constant; quantum radiation return is exact.	No geometric model follows from Cliffordness.
Clifford CNOT copying body	$δ_{full} = ε_{rec}^{R} = 1/2$ ; logical basis information enters $B$ .	Magic is not necessary for residual response.
Local non-Clifford logical body	Complement constant; inverse logical unitary recovers exactly.	A non-Clifford gate does not force leakage.
Fixed non-local magical syndrome	Complement fixed mixed; logical register remains exactly recoverable.	Bipartite non-local magic is not sufficient for response.
Controlled- $R_{y}$ body	$δ_{full} = sin θ /2$ ; $ε_{rec}^{R} = (1 - cos θ) /2$ .	The formulas are model-specific, not universal magic laws.
Four-Majorana control	$ε_{rec}^{R} = (3 - z_{R}) /4 \geq 1/2$ ; complete output reversible.	No scrambling, magic, or gravitational certificate.
Local quantum decoder	Returns the code register; work is explicitly consumed.	Enter on the diary is not the decoder.
Residual Enter with record supplied	Access becomes $R K$ ; outcome-assisted correction may help.	Bits alone do not replace an unknown diary.
Residual Enter then dropBit	Observable channel is exactly $N$ .	No permanent physical deletion or additional radiation erasure.
Constant radiation	Complete residual alone exactly recovers the code.	Global preservation alone does not imply this localization.
Nonconstant complete residual	Some logical information is distinguished by $B$ .	Residual-only recovery of the whole code need not hold.
Constant endpoint complete residual	Exact endpoint radiation recovery, with access-preserving outputs.	No gravitational endpoint without a physical construction.

Plan step	Completed or corrected deliverable
1	Finite prepared-carrier interface and reference-preserving destructive Born instrument. No field preparation is derived from typing.
2	Global restore and exact constant-complement criterion. A Clifford baseline requires the Pauli test, not its label.
3	The unconditional magic implication is disproved. A non-Clifford responding family and a general response witness are constructed instead.
4	Joint preservation, residual-only localization, observation, and operational forgetting are separated. No deletion theorem is claimed.
5	Access-preserving endpoint continuity and arbitrarily late finite-proxy returns are proved without promoting termination to evaporation.
6	OpenAI and XIV/XV/XVI comparisons remain documentary separations; they supply no recovery, magic, geometry, or admission premise.