Syndrome Faithfulness: The Decoder Contract

The GF(2) invariant Hc=s, logical cosets, degeneracy, and graphlike eligibility explained from first principles.