Manuscript En02-A@1 · En02-A-v1.tex · section · bb1319d5
Status, evidence, and retained open boundaries
Status, evidence, and retained open boundaries · lines 2186–2226
| Result | Mathematical status | Appendix evidence |
|---|---|---|
| E and F | Proved for the identified-link grammar | Finite all-cut and reachability checks |
| Geometric diamond | Proved for independent, guard-stable transitions | Illegal-cycle and frame regressions |
| H | Exact within , primitive multiplicities | Exact integer cost arithmetic |
| Three-qubit anchor | Proved under retained tensor equivariance | Explicit symmetric support |
| C | Proved where records fit | Exact binary net radii |
| I and boundary extension | Conditional on the stated diagonal faithfulness | Sampled Born identities, not proof execution |
| Partial compensation | Exact only on the specified finite assignments | Rational defects and joint-table identities |
| J | Conditional compactness, not an LP theorem | No optimizer supplied |
| D | Exact in the stated one-shot model | Ledger arithmetic with supplied ranks |