back to table · edit · history · where entries came from · files · download
925 bytes, as of the version from 2026-11-10 22:53 (current). Recorded here, not run.
"""Read-only reproducibility and independent checks for T710.
sage -python verify_stored.py
The private draft needs the author's NUMBERDB_API_KEY. Results are printed as
STORED_CHECKS_JSON and VERIFY lines for durable capture. No uploads occur.
"""
import os,sys,json
from pathlib import Path
import numberdb.sage as numberdb
import generate
import independent_check
p=Path(__file__).parent
if os.environ.get('NUMBERDB_KEY_FROM_STDIN')=='1':
numberdb.configure(api_key=sys.stdin.read().strip())
print('VERIFY',generate.BettinConreyMinimalPolynomials().verify(sample=None),flush=True)
doc=numberdb.table('T710')
# This table has one parameter and the canonical nested Numbers representation.
values={str(k):row['number'] for k,row in doc['Numbers'].items()}
result=independent_check.run(values)
result['input']='Live authenticated API read of T710 after upload'
print('STORED_CHECKS_JSON='+json.dumps(result),flush=True)