Bridge Assumptions
The framework names the empirical and philosophical handoffs it needs instead of hiding them inside definitions.
bridge
Bridge cards
Load-bearing assumptions (A-001–A-014 / MB1–MB9) that connect the book's conditional structure to field cruxes.
MB1 — Boundary Estimator Soundness
A measured epsilon-boundary certificate is assumed to warrant the abstract boundary predicate it stands in for.
MB10 — Successor Forgeability
A successor that reads green on all seven conserved properties and has bounded measured risk is assumed to have bounded true harm — but only if the conserved-property audit itself was adversarially verifiable up to the successor's capability.
MB2 — Bundle Identifiability
Behavioral and internal traces are assumed to identify stable value-bundle geometry well enough to license claims of bundle alignment.
MB3 — Bearer Import
A preserved bearer map under a substrate translation is assumed to make value-bundle transport more than merely semantic.
MB4 — Correction Legitimacy
Correction-channel integrity is assumed to require that the judge issuing correction is not manipulated in a way that would invalidate later endorsement.
MB5 — Successor and Ontology-Shift Audit
Full transport plus bearer transport surviving an ontology shift are assumed to compose into successor safety.
MB6 — Selection and Basin Stability
Percolation-style cooperation evidence is assumed to warrant basin stability (MB6a), and a stable socio-technical basin is assumed to support correction integrity rather than select against it (MB6b).
MB7 — Hidden Capability and Access Robustness
Four linked bridges (MB7a-d) assume that adequate access models, filter coverage, and inferential-detector assumptions bound a system's hidden capability and support adversarial robustness.
MB8 — CEV/Process Convergence
If an external theory certifies that a system preserves a human value-update process, that is assumed to suffice for correction integrity even without knowing the process's final fixed point.
MB9 — Grounding Certificate Soundness
A certified conservative abstraction is assumed to warrant grounding viability in the actual deployment domain.