Pre-registration of the EB Propagation Monopoly Theorem: a structural uniqueness statement establishing that within the cost class of native-O(1) scalar-bound, symmetric-hull, enclosure-preserving summary carriers, the EB carrier (e, b) over R x R>=0 is the unique admissible algebra. Strengthens RSOS-260797 (Zenodo 10.5281/zenodo.19676236) from axiom-class characterisation to cost-class uniqueness. Includes pre-deposit disclosure of the Track A (OBA63 representation-layer benchmark) empirical refutation and the post-reframe non-conclusive reclassification, with structurally surviving Consequences 2 and 3 preserved. Pre-registered 2026-04-25; locked 2026-04-26 with verbatim signal "GATEOPEN for alll mcp, monopoly, 1197,1198 1108 l v2".
Eric D. Martin (Sun,) studied this question.