Adds experiments/test_conj_5_26_n_21_22.py, a clause-4 checker that
re-uses find_all_36_witnesses + check_clause_4 from
check_conj_final_scaled.py and runs them on n = 21, 22 with
incremental JSONL output and a 10-minute PROGRESS heartbeat.
Results (139 min wall, single thread):
n=21: 192 tri, 392,370 colourings w/ clause-1–3 witness, all pass
n=22: 651 tri, 1,786,314 colourings w/ clause-1–3 witness, all pass
total at n ≤ 22: 2,321,496 / 2,321,496 (combined with the existing
142,812 at n ≤ 20 from check_conj_final_scaled.py)
Paper edits:
- Abstract: "|V(G)| ≤ 20 (142,812)" → "|V(G)| ≤ 22 (2,321,496)" for
the strengthening; clauses-1–3 count unchanged at 535,182 / n ≤ 21.
- Intro paragraph: matching update.
- Remark rem:conj-3-8-empirical table: added n=21 and n=22 rows; new
total ($n \le 22$) = 959 triangulations, 2,321,496 colourings.
- Updated script reference in that remark to point at
check_conj_final_scaled.py + test_conj_5_26_n_21_22.py.
COMMENTARY.md summary table: Conjecture 5.26 row bumped to
2,321,496 / 2,321,496 (n ≤ 22).
Also commits the test_*_results.jsonl artifacts (with per-tri
records + n-summaries + grand summary) for reproducibility.
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
Rename the shared helper module to a number-resistant name. Update
all 26 dependent scripts via sed.
Add experiments/test_n_21_to_24.py — extends the empirical check
beyond |V(G)| ≤ 20 to n_G ∈ [21, 24]. Checks per chord-apex+Kempe
colouring:
(1) h_φ constant on V(K_b)? (counterexample to Corollary 5.4)
(2) h_φ constant on V(K_b) ∪ V(K_c)? (counterexample to Conj 5.1)
(3) Deciding face exists?
Writes results incrementally to test_n_21_to_24_results.jsonl (one
JSON line per triangulation, plus n-level and grand summaries).
Emits PROGRESS lines every 10 minutes (default) to stdout for live
monitoring.
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
- Main paper: dual_decomposition_minimal_counterexamples/ ->
face_monochromatic_pairs/. Title is now
"Face-Monochromatic Pairs and the Four Colour Theorem".
- Companion paper: dual_decomposition_iterated_reduction/ ->
iterated_reduction_in_reduced_dual/. Title is now
"An Iterated Reduction in the Reduced Dual". Its prose and bibliography
cite the parent under the new title.
- Update one absolute sys.path reference inside
check_conj_face_kempe_n15.py that pointed at the old folder.
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
didericis