back to table · edit · history · where entries came from · files · download
1124 bytes, as of the version from 2026-10-31 20:22 (current). Recorded here, not run.
"""Recheck T639 using its unchanged generate.py and checks.py attachments.
Download all three files into one directory. Run with SageMath:
sage -python repair-check.py
For a private draft, set NUMBERDB_API_KEY. An optional table-before.json beside
this file supplies an archived document instead of a live API read.
"""
import contextlib
import io
import json
from pathlib import Path
import numberdb.sage as numberdb
import checks
archive = Path(__file__).with_name('table-before.json')
document = json.loads(archive.read_text()) if archive.exists() else numberdb.table('T639')
with contextlib.redirect_stdout(io.StringIO()):
result = checks.main(stored_document=document)
result.update(
check_run='20261031T201934Z-repair',
document_source='archived API read' if archive.exists() else 'live API',
skill_manifest='agents/runs/20261031T201934Z-repair-skills/manifest.json',
skill_manifest_sha256='2ed18a5ba549629b2149341ece7834c3c10445d5345622bccc42c66178a837ba',
scope='Re-execution of the existing attached checks; no new values or independent critique.')
print(json.dumps(result, indent=2))