back to table · edit · history · where entries came from · files · download
592 bytes, as of the version from 2026-11-09 18:56 (current). Recorded here, not run.
"""Check values read back from draft T695, independently of serialization.
Run: sage -python postfill.py with readback-values.json and checks.py dependencies.
"""
from pathlib import Path
import json
from checks import run
from generate import QX
BASE=Path(__file__).resolve().parent
rows=json.loads((BASE/'readback-values.json').read_text())
values={tuple(int(row['params'][k]) for k in ['N','k','i']):QX(row['number']) for row in rows}
assert len(values)==18
assert all(c.denominator()==1 for p in values.values() for c in p.list())
report=run(values)
print('POSTFILL_CHECKED',len(values))