Manuscript IV-B@1 · IV-B-v1.tex · section · dfb66408

Audit of the requested conversion

Audit of the requested conversion · lines 2171–2248

Requested step	Exact result or correction
Requested step	Exact result or correction
Freeze the conical geometry	Completed in Proposition prop:geometry. The full defect is a worldsheet and unit lapse is retained.
Place the represented models on the cone	Completed as a declared-completion patch interpretation. Proposition prop:no-global-transfer prevents promotion to an intrinsic global-cone theory.
Evaluate the Newton–wave response on the conical background	The precise operation is (eq:completed-response): compute the declared complete-source response, then pull it back. It satisfies the local pulled-back equations. An intrinsic cone inverse determined by local data is not asserted.
Use one consumed clock factor	The total finite context is $C = C_{T} \otimes C_{B}$ . Its time memory and Ramsey probe are both consumed. This avoids identifying a random binary signal with the exact coordinate time of one event.
Prove the three dictionaries	The maps are explicit in Section sec:dictionary. Agreement holds on the admitted ports, compact tests, and certified wires. Nonuniqueness is proved.
Prove complete measurement identities	Completed in Theorems thm:instrument and thm:composition, with arbitrary untouched references.
Preserve positive records and controls	Completed separately for all three represented models. Record equality at zero interpolation is not confused with equality of their entire retained matter states.
Remove the admitted cutoffs	Only the listed cutoffs are removed. Model 1 gives pointwise complete trace-norm convergence. Model 2 gives diamond-norm spectral convergence at fixed $M$ . Model 3 retains finite $Λ, M$ .
Schedule global apparatuses inside the cone	External times can be assigned, but that assignment is not a local causal implementation theorem. The missing compact field coupling is not concealed by a timestamp.
Transport and locality	Exact complete finite-payload null transport and the causal-wire influence bound are proved. Neither theorem transports an entire unencoded field Hilbert space.
Manipulate the fourth factor	Completed as basis change, pre-readout coupling, classical continuation, and fresh allocation. No geometric time axis is consumed.
Release Grade S, not Grade E	Grade-S interface adaptation is constructed. Intrinsic-cone field transfer and compact causal apparatus realization remain separate missing bridges. Grade E and all standing analytic stops are unchanged.