Subsystem

Subsystem codes from gauge generators

4/4 passed in 1257ms

Test	What it does	Result
test_bad_memory_rejected	bacon_shor_code passes memory through, so an unknown basis raises.	✅ pass
test_centre	d=3 Bacon-Shor: 12 independent gauges whose centre is 4 stabilisers, each the product of 3 weight-2 gauges, leaving k=1 with a weight-3 pure-Z logical. An abelian gauge group is its own centre.	✅ pass
test_memories_protect	Bacon-Shor d=3 and its S-deformed YY/ZZ variant (mixed-Pauli extraction) decode below the always-zero predictor, and d=5 beats d=3 under BP+OSD.	✅ pass
test_structure	Every gauge is extracted by a weight-2 measurement, never the weight-6 stabiliser; the 4 stabilisers declare one detector per round and the final data readout closes the 2 in the memory basis.	✅ pass