back to table · edit · history · where entries came from · files · download
1082 bytes, as of the version from 2026-10-16 06:58 (current). Recorded here, not run.
"""Full recomputation and independent readback certification for T455."""
import json,sys
from pathlib import Path
import numberdb.sage as numberdb
from numberdb._generate import _stored_entries
from generate import FQuantiles
from checks import inspect_entries
numberdb.configure(api_key=sys.stdin.read().strip())
g=FQuantiles();doc=numberdb.table('T455');stored=_stored_entries(doc)
expected=json.loads(Path(__file__).with_name('entries.json').read_text())
assert stored=={','.join(e['params'].values()):e['number'] for e in expected}
assert list(doc['Parameters'])==list(g.parameters)
assert list(stored)==[','.join(e['params'].values()) for e in expected]
print('Readback: all 700 exact strings and their order match.',flush=True)
report=g.verify(sample=None)
print('verify(sample=None):',report,flush=True)
assert report.ok and report.checked==700
records=[{'params':{k:str(v) for k,v in p.items()},
'number':stored[','.join(str(p[k]) for k in g.parameters)]}
for p in g.enumerate()]
inspect_entries(records)
print('READBACK_VERIFICATION_PASSED',flush=True)