jubilee spine review.py

"""Bounded six-spine Flood comparison; no endpoint search or second reversal."""
from pathlib import Path
import hashlib, json

ROOT = Path(__file__).resolve().parent
WORK = ROOT.parent.parent

def inverse(n):
    zeros = 1
    while n % 10 == 0:
        zeros *= 10
        n //= 10
    out = 0
    while n:
        n, digit = divmod(n, 10)
        out = 10 * out + digit
    return zeros * out

SOURCES = {
    'Comparative_Study': WORK/'c1483_c1582/evidence/Comparative_Study.md',
    'Current_reader_C1584': WORK/'c1584_rounded_shift/deliverables/490d_Chronological_Families_Explanation_C1431.md',
}
source_bindings = {k:{'path':str(v.relative_to(WORK)), 'sha256':hashlib.sha256(v.read_bytes()).hexdigest()} for k,v in SOURCES.items()}
inputs = [('MT','Regular',1050),('MT','Cumulative',3430),('LXX','Regular',1830),('LXX','Cumulative',4340),('SP','Regular',1700),('SP','Cumulative',3310)]
rows = []
for stage,base in [('Conquest-held',1406),('Nativity-completed',4106)]:
    for ms,mode,original in inputs:
        rev = inverse(original)
        flood = base + rev
        spans = {'1406_BC':flood-1406, '6_BC':flood-6, 'AD_65_civil':flood+65-1}
        rows.append({'stage':stage,'mss':ms,'mode':mode,'original_lower_leg':original,'inverse_lower_leg':rev,'inverse_Flood_BC':flood,'spans':spans,'mod70':{k:v%70 for k,v in spans.items()},'mod490':{k:v%490 for k,v in spans.items()}})

checks = {}
def ck(name, assertion):
    assert assertion, name
    checks[name] = True

by = {(r['stage'],r['mss'],r['mode']):r for r in rows}
for ms,mode,original in inputs:
    held = by['Conquest-held',ms,mode]
    completed = by['Nativity-completed',ms,mode]
    ck(f'{ms}_{mode}_2700_transport',completed['inverse_Flood_BC']-held['inverse_Flood_BC']==2700)
    for stage in ('Conquest-held','Nativity-completed'):
        row=by[stage,ms,mode]
        ck(f'{ms}_{mode}_{stage}_target_offsets',row['spans']['6_BC']-row['spans']['1406_BC']==1400 and row['spans']['AD_65_civil']-row['spans']['6_BC']==70)
        ck(f'{ms}_{mode}_{stage}_residue_dependence',len(set(row['mod70'].values()))==1)
ck('SP_prefix_eight_anchor_legs',inverse(1400)+inverse(1700)==11200==8*1400==16*700)
ck('SP_Conquest_seven_anchor_legs',11200-1400==9800==7*1400==20*490)
ck('SP_AD65_next_seventy',11200+70==11270==161*70==23*490)
ck('All_three_refinement', [11206-5746,5746-4836,4836-1406,1406+65-1]==[78*70,13*70,49*70,21*70])
ck('Refinement_groups_first_thirteen_Jubilees',(78+13)*70==13*490 and (78+13+49+21)*70==23*490)
restoration=[]
for ms,mode,original in inputs:
    if mode!='Cumulative':continue
    rev=inverse(original)
    f3=by['Nativity-completed',ms,mode]['inverse_Flood_BC']
    restoration.append({'mss':ms,'held_lower_leg_units70':rev//70,'completion_plus_target_shift':3570,'added_units70':51,'completed_Flood_BC':f3,'restoration_span':f3-536,'restoration_units70':(f3-536)//70})
    ck(f'{ms}_restoration_grid',rev%70==0 and f3-536==rev+3570 and 3570==2700+(1406-536)==51*70)
for stage in ('Conquest-held','Nativity-completed'):
    reg=by[stage,'LXX','Regular']['inverse_Flood_BC']
    cum=by[stage,'LXX','Cumulative']['inverse_Flood_BC']
    ck(f'LXX_{stage}_530_Flood_translation',cum-reg==536-6==530 and cum-536==reg-6)
ck('Reversal_does_not_preserve_70',1050%70==0 and inverse(1050)%70==40 and 3310%70==20 and inverse(3310)%70==0)
ck('SP_distinctive_completed_Jubilee_to_Conquest', [r['mss']+r['mode'] for r in rows if r['stage']=='Nativity-completed' and r['mod490']['1406_BC']==0]==['SPRegular'])
ck('SP_distinctive_completed_Jubilee_to_AD65', [r['mss']+r['mode'] for r in rows if r['stage']=='Nativity-completed' and r['mod490']['AD_65_civil']==0]==['SPRegular'])
result = {'scope':'Exactly six primary inverse Flood objects, each at two declared anchor stages; three fixed user-named comparison endpoints. Source-appointed restoration comparison for the three cumulative rows. No general endpoint scan.','sources':source_bindings,'rows':rows,'restoration_rows':restoration,'all_three_refinement_units70':[78,13,49,21],'checks':checks,'check_count':len(checks),'status':'PASS'}
(ROOT/'jubilee_spine_review.json').write_text(json.dumps(result,indent=2)+'\n')
print(json.dumps({'status':'PASS','checks':len(checks),'rows':len(rows),'spans':36,'file':str(ROOT/'jubilee_spine_review.json')}))