3730 — The Metaplectic Sign Has a Four-Capability Minimal Instrument
Detection theorem
The metaplectic sign is formally observable from the joint packet:
- phase-lifted endpoint operation;
- coherent selector preparation;
- conditional coupling;
- complementary selector readout.
A two-level selector prepared in , acted on by controlled , and read in the basis distinguishes from exactly.
Deleting any one capability restores blindness. The packet is therefore single-deletion minimal within this interface model. Mathematical sufficiency does not establish a magnetic realization of any missing executable port.
Evidence
research/strominger/the-metaplectic-sign-has-a-four-capability-minimal-instrument.md;research/strominger/checkers/minimal_metaplectic_sign_instrument_checks.py;research/strominger/results/minimal_metaplectic_sign_instrument_checks.json.
The exact checker passes 9 of 9 gates. Checker SHA-256:
d82126500d13d38a6916aa2c2295cb593d17ef91c239d5cc2fee48eaaaf9707f.
Allocator claim: seqclaim-f9b67a35849d39e9c9ee32af.