"""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))