Retained reference and exact-domain software transport
Conditional end-to-end reference binding; software policy pinned
This page summarizes the linked research at its stated verification level. It is not a new proof certificate or experimental confirmation.
An explicit two-unit Clifford input and empty bank produce represented 2I after storage and delay; the active bank is empty after the third exchange, with history retained. Boundary identifications connect End(R2) to comparison A→B; equal matrices alone do not identify those types. The operator-selected SOFTWARE T9 retains inherited keys through 137→32→32 and preserves/reflects exactly 977 original composition contexts. Outer branch means can be recovered from unchanged J4, branch masses and a retained matrix contrast. Context creation still requires explicit directed connector provenance. Physical preparation, scale, flat transport, clock, detector/back-action, and reset/reuse resources remain supplied or unconstructed. Explore lifecycle and rejected contexts · Conditional binding · Current software contract.
Checker: research/strominger/checkers/check_reference_port_binding.py; research/nima/checkers/check_pinned_T9_software_contract.py
Result artifact: research/strominger/results/reference-port-binding.json; research/nima/results/pinned-T9-software-contract.json