back to table · edit · history · where entries came from · files · download
762 bytes, as of the version from 2026-10-27 22:51 (current). Recorded here, not run.
"""Check every stored value of T563; run with the generator and check helpers.
sage -python readback.py
Set NUMBERDB_API_KEY to read the private draft, or set
NUMBERDB_KEY_FROM_STDIN=1 when piping its owner's key through agents/sage.sh.
"""
import sys,json,os
import numberdb.sage as numberdb
from generate import JacobiSelberg
from checks import run
from flatten import to_records
if os.environ.get('NUMBERDB_KEY_FROM_STDIN')=='1':
numberdb.configure(api_key=sys.stdin.read().strip())
doc=numberdb.table('T563')
verification=JacobiSelberg().verify(sample=None)
print(str(verification),file=sys.stderr,flush=True)
assert verification.ok
result=run(stored=to_records(doc))
result['summary']['generator_verify_ok']=True
print(json.dumps(result,indent=2))