Documentary constraint ledger

X-A-conv, v1 CheungXAconv. The particular frozen convolution has a covariance obstruction. & No successful ultraviolet-regulator identification and no theorem forbidding every convolution regularization.

X-E, v1 CheungXE. The one-tree defect belongs to its fixed model and normalization. & No complete one-loop inventory or loop counterterms.

X-F, v1 CheungXF. The plateau-supported all-tree identity is at ${\kappa }^2{\hslash }^0$. & No ${\hslash }^1$ identity, ghost completion, bulk BV restoration, or identification with the XII–XIV track.

X-G, v1 CheungXG. Free BRST, the specified variational-upgrade obstruction, formal-order qualifications, and loop-domain gaps. & No interacting quantum BRST upgrade or positive-$\hslash$ cancellation of a nonzero classical coefficient.

XI-E, v1 CheungXIE. Named polynomial Hadamard admission has its own domain. & No admission of every later response or loop product.

XI-G, v1 CheungXIG. The detecting free-shell class has a reported microcausal-representative obstruction. & No universal no-go, imported obstruction hypothesis, or decision on the Einstein subshell.

XII-C, v1 CheungXIIC. The cubic-only density weight retains the actual source derivatives without changing the lower-order freeze. & No derivation here of its component arrays, metric response, or observable-kernel admission.

XIII-E, v1 CheungXIIIE. Positive-regulator admission and good-set convergence precede the unfinished characteristic-set limit at E1. & No characteristic-limit theorem, uniform transverse estimates, or admitted coefficient linear in $\hslash$.

XIV-H, v1 CheungXIVH. Exact internal maps and regular charts stop at its uniform-amplitude gate H2. & No joint cross-line product or common characteristic representation from kernel existence alone.

XIV-I, v1 CheungXIVI. Its internal amplitude is constructed at I2; the joint characteristic map remains unresolved at I3. & Internal frequency estimates are not transverse estimates, a new graph regulator, or quantum admission.

XIV-J, v1 CheungXIVJ. Reconstruction-null relations and the supported $K_6+K_8+K_9$ reference are precise local constraints. & No full six-branch map across the characteristic locus, joint section, output theorem, or J2 closure.

XV-B, v2 CheungXVB. Technical relative lifting and finite normal-jet interfaces sharpen descent tests. & These technical theorems do not open the downstream quantum-admission exit or construct the inherited full map.

XV-F, supplied v3 record CheungXVF. The source-recovery audit preserves its F0 stop. & No graph completion by documentary patches or canonical-domain equality.

XVI-A, v1 CheungXVIA. Normalization and retarded-slot obligations are recorded separately from source notation. & No constructed retarded quantum coefficient.