Provenance, additional premises, and proof order

This manuscript revises the supplied XVI-I.tex. Its classical references are the supplied revised XVI-H.tex, revised XVI-E.tex, revised XVI-F.tex, and current XVI-G.tex.

An additional supplied excerpt from XII-D, thm:admission and eq:t-bounds, contains

and the associated microcausal admission statement. That microlocal result was not a proved premise of revised XVI-H. It is added here explicitly, rather than attributed retroactively to that manuscript.

Complete XII-D, XI-G, and XI-B sources have not been independently audited. References to their internal labels identify supplied excerpts or formulas reproduced in the supplied manuscripts.

The proof has four separate stages:

1. match the classical kernel and state the narrow admission implication;

2. define and verify the ambient propagator and reduced two-edge distributions;

3. extend the relative-coordinate building blocks, without choosing their normalization;

4. test compressed root attachment by explicit pullback, product, and proper-pushforward conditions.

The last stage advances beyond the original draft's unspecified root-product stop: with the imported $Z_2$ root bound, the compressed product condition can be checked. This establishes attachment existence for an extension family, not a normalized quantum coefficient.