C1635 — Reproducible bounded verifier

"""Reproduce C1635's bounded arithmetic; optionally verify preserved site sources.

Run: python verify_C1635.py [--site-root PATH] [--output RESULTS.json]
No historical corpus or C1636 investigation is executed.
"""
import argparse
import hashlib
import itertools
import json
from pathlib import Path

SOURCE_BINDINGS = [
    ('File_09', '4.1', '45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e'),
    ('File_18', '1.1; 1.4; 1.6.2; 2.1.1; 6A; 6B', '68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5'),
    ('File_22', '9A.3', '1c77fd504afbf59b20675980f1122b4f5618a1b8f389132f018d80f65f339894'),
    ('File_47', '13.3', 'c0a735c82c0109cfefb71459af02fe3184a172d7b8d415ed3a8d143b2122f8f8'),
    ('File_63', '8.5', '180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35'),
    ('File_69', '600-year and calendar comparisons', 'e415d58136a6e9bcc5af3a34074a16c0a8a5925822349584fe5e37ad75c26efc'),
]

def inverse(n):
    if n == 0:
        return 0
    zeros = 0
    while n % 10 == 0:
        n //= 10
        zeros += 1
    return int(str(n)[::-1]) * 10 ** zeros

def verify(site_root=None):
    checks = []
    def equal(label, actual, expected):
        if actual != expected:
            raise AssertionError(f'{label}: {actual} != {expected}')
        checks.append({'check': label, 'actual': actual, 'expected': expected, 'passed': True})
    for i in range(8):
        equal(f'Cainan-OFF 3430 translation member {i}', (4836-i)-(1406-i), 3430)
        equal(f'Cainan-ON 3430 translation member {i}', (5296-i)-(1866-i), 3430)
        equal(f'Cainan-ON Shem600 member {i}', (5896-i)-(5296-i), 600)
        equal(f'Flood-Creation 1260 member {i}', (5296-i)-(4036-i), 1260)
        equal(f'Flood-Creation 1200 member {i}', (5296-i)-(4096-i), 1200)
        equal(f'Shem-Creation 1800 member {i}', (5896-i)-(4096-i), 1800)
    grid=[]
    for c,s,t in itertools.product((0,1),repeat=3):
        flood=4836+460*c
        shem=flood+600
        creation=4121+130*c-215*s+60*t
        gap=715+330*c+215*s-60*t
        equal(f'variant {c}{s}{t} Flood gap formula', flood-creation, gap)
        equal(f'variant {c}{s}{t} Shem gap formula', shem-creation, gap+600)
        equal(f'variant {c}{s}{t} retained lifespan', shem-flood, 600)
        grid.append({'cainan':c,'regular_minus215':s,'regular_plus60':t,
                     'flood':flood,'shem':shem,'regular_creation':creation,
                     'flood_to_creation':gap,'shem_to_creation':gap+600})
    equal('unique selected 1200/1800 state', [[r['cainan'],r['regular_minus215'],r['regular_plus60']] for r in grid if r['flood_to_creation']==1200], [[1,1,1]])
    equal('Cainan differential effect',460-130,330)
    for a,b in zip([5436,4956,4836],[2006,1526,1406]):
        equal(f'translation {a} to {b}',a-b,3430)
    equal('cumulative split',[5436-4956,4956-4836],[480,120])
    equal('regular split',[2006-1526,1526-1406],[480,120])
    equal('SP three named blocks',[3206-2606,2606-2006,2006-1406],[600,600,600])
    equal('civil restoration-AD65',536+65-1,600)
    equal('Abraham-Temple',2166-966,1200)
    equal('minimum Covenant',2081-215,1866)
    equal('Covenant-Temple corrected',1866-966,900)
    equal('Exodus-Temple',1446-966,480)
    equal('atomic inverse',inverse(600),600)
    equal('480/120 inverse total',inverse(480)+inverse(120),1050)
    equal('490/110 inverse total',inverse(490)+inverse(110),1050)
    equal('calculated unnamed midpoint',[(5296+4096)//2,(5289+4089)//2],[4696,4689])
    sources=[]
    for name,sections,digest in SOURCE_BINDINGS:
        entry={'name':name,'sections':sections,'sha256':digest,'verified_locally':False}
        if site_root:
            source=Path(site_root)/'public'/'sources'/(digest+'.md')
            actual=hashlib.sha256(source.read_bytes()).hexdigest()
            equal(f'{name} source hash',actual,digest)
            entry['verified_locally']=True
        sources.append(entry)
    return {'action':'C1635','date':'2026-10-01','predecessor':'C1634',
            'status':'PASS: bounded arithmetic and stated source hashes',
            'scope':'Source synthesis; no historical corpus rerun; C1636 unexecuted',
            'checks_passed':len(checks),'checks':checks,'variant_grid':grid,
            'sources':sources,
            'unresolved':'4696–4689 is a calculated midpoint; no event is appointed by this report.'}

if __name__=='__main__':
    parser=argparse.ArgumentParser()
    parser.add_argument('--site-root')
    parser.add_argument('--output')
    args=parser.parse_args()
    result=verify(args.site_root)
    rendered=json.dumps(result,ensure_ascii=False,indent=2)+'\n'
    if args.output:
        Path(args.output).write_text(rendered)
        print(f"C1635: {result['checks_passed']} checks passed; results written to {args.output}")
    else:
        print(rendered,end='')