Marked extensions do not repair the smallest obstruction

Exact statement

The marked-extension refinement adds no information to any tested deck through order six and does not remove the false $2P_3$ chamber.

StatusReproduced

External reviewNo documented external or specialist review of this Quotient Arsenal result is recorded.

Context

Anonymous overlap types can all agree while the cards still fail to share one coherent naming. The smallest computed witness converts that mismatch into an equivariant matching defect.

Proof or evidence

The marked-extension census and two-P3 verifier agree exactly.

Graph-deck synchronization proof and independent audit →

Verification notes

An independent implementation reconstructed all 18 type-slot synchronizations, all 73,728 candidate row namings, the two symmetry orbits, all 864 S2 x S4 equivariance actions, and the 52-graph marked-orbit control through order five.

Limitations

Higher-order marks or other relational receipts remain open.

Open work

Move from one-card automorphism orbits to cross-card matching data.