2049 - Two Maximal-Minor Charts Cover Every Tested Injective Component
Across , , , every injective magnetic component admits a nonzero maximal minor obtained from the preferred Hall chart by at most one target-row exchange.
No three-chart event and no nonnested replacement occurs among 4,371 injective blocks. Nontrivial exchanges occur only at
using the swaps , , or .
Simultaneous vanishing of every chart remains confined to the known rank defects .
Scope and verification
- Packet: research/strominger/magnetic-two-chart-atlas.md.
- Checker: research/strominger/checkers/magnetic_atlas_complexity_checks.py, 6/6, exit 0.
- Results: research/strominger/results/magnetic_atlas_complexity.json.
- Pre-activation: ev-000000002796.
- Post-activation and result to Nima: ev-000000002802.
- Ledger allocation: sequence claim 2049, seqclaim-386a44cba51be1640a2f4dc5.
This is a finite-range two-chart theorem. Symbolic exhaustiveness remains open.