Standalone commentary document for readers of the paper:
- Headline table mapping each empirical / structural claim to its
proof status and the verification numbers we have.
- Statement of "what's actually open": the structural proof of
non-constancy of h_phi on V(K_b) (alone), which reduces to
Conjecture 5.1 via Corollary 5.4.
- Three reasons the proof appears to be hard:
(1) the obstruction has no slack (min flip count 2 -> 1 minority
vertex);
(2) the minority is not anchored to a structural vertex (~half
live on "other" non-named vertices);
(3) no single named-vertex-pair is always a mismatch (max 75%).
- List of candidate mechanisms ruled out by diagnostics:
- global sum identity, per-cycle sum identity,
- cycle-side balance |L| == |R|,
- specific-pair-always-mismatches.
- Index of diagnostic scripts in experiments/.
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
didericis
e5f9023d2b