Documentary comparison edges

Each edge below is a separation, not a blanket theorem import. For VII-D and the adapted carrier, the independently displayed mathematical assumptions remain the exact dependencies of this paper.

• IX-B :package, IX-A-ST :release, IX-A :IX1, I-B :transport, VII-D :finitepart, and VII-C :log: calibration, admission, transport, and obstruction are different objects.

• IX-C, IX-Free, and IX-Free-2: version-qualified actual-functional factorization results are successor records, not premises or claims negated by this sheet CheungSuccessors.

• VIII-ST and VII-J-ST: fixed-host control and causal-interface comparisons only, not product theorems STInterfaces.

• Em01-B and Em01-C: moderate smoothing growth and a separate scalar expansion do not identify this residue with the full physical characteristic coefficient CheungCharacteristic.

• XIV-I :I2, XIV-J, and technical XV-B: a constructed internal amplitude or an extension/descent interface is not the full characteristic map or its quantum admission CheungAnalytic.

• XVI-N and XVI-O: the massless covariance block here does not discharge the insertion obstruction, and this numerical conversion does not close the stated bulk O.1 prescription CheungStops.

• VII-H and VII-I: a free susceptibility or finite-width free algebra is not this reflected triangle or an interacting quantum BRST algebra CheungFreeComparisons.

• En05-A, En08-A/B, and En09-A: scheduled locality, prescribed null-boundary approximation, and finite clock conditioning do not derive a Lorentz cone or remove external scheduling CheungLocality,CheungTransport,CheungEn09.

• En10-A/B: a declared source-weight estimate is not acquisition of this residue or reconstruction of the host metric CheungSourceEstimates.