Manuscript X-B-ii@1 · X-B-ii-v1.tex · section · f1377602

Release

Release · lines 1138–1166

{}1.12

Item	Ending	Content
C1	Closed	Proposition prop:scope: degree-one, classical-polynomial, $ℏ$ -free, $Δ_{+}$ -independent objects; non-goals (N1)–(N6).
C2	Closed	Theorem thm:nonextension: the check is an identity for one pair with restricted (T1)–(T3); $Δ_{F} \cdot Δ_{F}$ fails the product criterion on the diagonal; no family is defined.
C3	Closed	Theorem thm:unique, Corollaries cor:contact, cor:ward: the classical normalization on $L_{off}$ determines $R_{1}$ ; sheet-compatible contacts vanish in $A_{0}$ .
C4	Recorded	Input list (G1)–(G8) and non-relabeling rule (R1)–(R5); nothing opened.

Nearby in this section