Status, evidence, and retained open boundaries

{{0.92} Inherited layer: registered Enter characterization.

Manuscript I characterizes Born probabilities and destructive projective residual rays in its stated unbounded finite structural class under its five starred requirements. Its concrete metatheory belongs first to the specified Born semantics. }

{{0.92} New layer: explicitly resource-relative statements.

Identified-link grammar gives all-cut monotones and decreasing potential reachability. Restricted certificate families have exact register costs. Budget-expressible records give certified-net bounds. Sub-capacity diagonal faithfulness gives exact Born laws; global diagonal faithfulness also fixes boundary outcome laws. }

(400,66) 4(400,66){ 370pt{ Open frontier, not completed.

Unrestricted finite-capacity uniqueness, including capacity three, remains undecided here. The $(1/3,2/3)$ diagonal witness is already closed by the three-qubit symmetry certificate. Partial slack assignments and sampled checks do not provide an admissible counterexample. }}