Manuscript Em03-H@8 · Em03-H-v8.tex · section · 91e9e3bd
Repaired exact-rational defect checker
Repaired exact-rational defect checker · lines 2758–2780
Extract this listing as 03h_v8_defect.py, in the same directory
as the preceding helper file. Its calculation uses only the Python
standard library. Importing the helper does not import NumPy.
python em03h_v8_defect.py \ –nodes candidate-v8/nodes_256.json \ –out candidate-v8-bound-256 \ –bits 48 –refine 1 –pulse-cells 512
This invocation reproduces the reported parameter pattern, not the reported historical output. The v8 source differs from the unidentified patched v7 source.
The checker records self-tests, pulse intervals, individual cell defects, and exact rational output. It requires a separate successful node-link inspection before identifying its JSON approximation with an inspected solver archive.