Declarations

scope. Nothing is constructed beyond X-B. The theorems here are about objects defined in X-B and about what the X-B sheet does and does not define.

scope. X-B is used in its supplied form X-B-v3.tex; X-A only as copied there. Two of X-B's sentences are sharpened (Section sec:debug, D3, D6); none is withdrawn.

-go scope. Theorem thm:nonextension does not assert that a time-ordered family does not exist; it asserts that the sheet does not define one. Section sec:branchB asserts neither existence nor failure of a quantum-metric branch.

status. No successful pdflatex execution, proof-assistant check, or independent referee review is claimed. The source uses standard theorem environments and defines all internal reference targets.