Three different types of statement

Track B uses:

1. Definitions and proofs here: explicit retarded distributions, parameterized local-source and response interfaces, tree composition, reconstruction descent, contact obstructions, normal jets, and conditional admission.

2. Source records: mathematical statements reported in the supplied Cheung excerpts, with exact source labels where available. They are not independently re-proved merely by being restated.

3. Missing inherited data: exact density components, some response coefficients, the full selected characteristic locus, and the exact full-shell ideal and ordering conventions. No replacement choice is asserted to be the unchanged inherited model.

The frozen documentary data are the XII-C cubic representative, inverse coefficient $-1$, the two completion legs, XII-E insertion coefficient $-1$, the scalar-sourced slot, XII-A full-shell carrier, and XIII-C partial-diagonal ambiguity class CheungXIIA,CheungXIIC,CheungXIID,CheungXIIE,CheungXIIIC.

The additional excerpts establish filenames for XII-A-v2.tex, XII-C.tex, XII-D.tex, XII-E.tex, and XIII-C.tex. Their full contents are still not included in the supplied package.