back to table · edit · history · where entries came from · files · download
2001 bytes, as of the version from 2026-11-02 04:21 (current). Recorded here, not run.
"""Check T668's symbolic labels, enumeration, and exact values without writing.
Run: sage -python check-repair.py document-before.json
Keep generate.py, downloaded from T668, beside this script.
"""
import json
import sys
from pathlib import Path
import numberdb.sage as numberdb
from sage.rings.integer_ring import ZZ
from sage.env import SAGE_VERSION
from generate import UmbralCoefficients, SYSTEMS
doc = json.loads(Path(sys.argv[1] if len(sys.argv)>1 else '/work/document-before.json').read_text())
assert doc['Parameters']['X']['type'] == 'Symbolic'
assert list(doc['Numbers']) == [name for name, _ in SYSTEMS]
records=[]
for name, components in doc['Numbers'].items():
assert isinstance(name,str) and name.startswith('A') and '^' in name
for r, grades in components.items():
for s, entry in grades.items():
records.append(({'X':name,'r':int(r),'s':int(s)},entry))
generator=UmbralCoefficients()
assert [p for p,_ in records] == list(generator.enumerate())
values=[]
for params,entry in records:
number=entry['number'] if isinstance(entry,dict) else entry
actual=generator.value(params,100)
assert actual == ZZ(number), (params,number,str(actual))
values.append(int(actual))
assert len(records)==840
assert [v for (p,_),v in zip(records,values) if p['X']=='A1^24'][:3]==[90,462,1540]
print(json.dumps({'table':'T668','sage_version':SAGE_VERSION,
'skill_manifest':'agents/runs/20261102T041628Z-repair-skills/manifest.json',
'symbolic_labels':[n for n,_ in SYSTEMS],
'parameter_type':'Symbolic','enumeration_matches':True,
'exact_generator_comparisons':len(records),'zero_count':values.count(0),
'max_integer_characters':max(len(str(v)) for v in values),
'method':'Recomputed all stored integers with the unchanged attached generator; this is a reproducibility check, not a new independent mathematical critique.',
'new_values':0,'argument_uncertainty':'Not applicable: all arguments are exact discrete indices.'},indent=2))