Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4
Documentary separations
Routing records and retained obligations › Documentary separations · lines 2881–2913
The source releases IX-C, IX-Free, and IX-Free-2 are attribution records; only the explicitly restated analytical inputs are premises of the present conditional proof. IX-A-ST, I-B, IX-B, VII-D, and VII-C have the distinct roles listed in Section sec:inputs. VIII-ST and VII-J-ST are interface comparisons, not product-construction inputs.
V's external retarded datum, finite oscillator expression, and Newton–wave cubic are different objects from this word. No theorem from V enters a proof V. IX-E and IX-E-2 give later first-stage commutator and support comparisons, not universal causal no-go theorems and not premises here LaterIX.
VII-H and VII-I concern separate free benchmarks. Em01-B's moderate smoothing growth and Em01-C's separate scalar expansion are not this parent residue or an evaluation of the full characteristic coefficient. XIV-I's internal amplitude does not close the full characteristic map; technical XV-B does not turn this free partial product into quantum admission. The XVI-N and XVI-O stops remain prescription-qualified and unchanged BoundaryRecords.
En03-A, En05-A, En08-A/B, and En09-A distinguish scheduled dependency, prescribed causal geometry, and finite readout. En10-A/B concern source-weight estimation under their own access assumptions; they do not acquire this residue or derive a metric OperationalRecords.