back to table · edit · history · where entries came from · files · download
1577 bytes, as of the version from 2026-10-29 19:59 (current). Recorded here, not run.
"""Read-only repair checks for numberdb.org/T611.
Run with SageMath and numberdb installed:
sage -python repair-checks.py
Set NUMBERDB_API_KEY for a private draft. NUMBERDB_KEY_FROM_STDIN=1 also
accepts the key on stdin. Download generate.py and checks.py alongside this
file. Their source bytes are retained from the independently reviewed build.
"""
import hashlib
import json
import os
from pathlib import Path
import sys
import numberdb.sage as numberdb
from generate import RightAngledVolumes
import checks
if os.environ.get('NUMBERDB_KEY_FROM_STDIN') == '1':
key = sys.stdin.read().strip()
if key.startswith('NUMBERDB_API_KEY='):
key = key.split('=', 1)[1].strip().strip('\"\'')
os.environ['NUMBERDB_API_KEY'] = key
result = checks.run(use_stored=True)
result['skill_manifest'] = 'agents/runs/20261029T190406Z-repair-skills/manifest.json'
result['skill_sha256_local_and_live'] = '28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199'
document = numberdb.table('T611')
namespace = {}
exec(document['Programs']['sage-volume']['code'], namespace)
for params in RightAngledVolumes().enumerate():
computed = namespace['volume'](params['family'], params['n'])
generated = RightAngledVolumes().value(params, 100)['number']
assert computed.is_finite() and computed > 0
assert computed.overlaps(generated)
result['program_entries_checked'] = 54
result['source_files'] = {name: hashlib.sha256(Path(__file__).with_name(name).read_bytes()).hexdigest() for name in ['generate.py','checks.py']}
print(json.dumps(result, indent=2))