phase5a.py

from pathlib import Path
import sys,json,hashlib
sys.path.insert(0,str(Path(__file__).resolve().parents[1]))
from runner import *

run('Derive the7700 relation from existing legs','Which already reconstructed quantities determine the cross-manuscript7700 edge?',
 lambda:{'LXX_radius':inverse(1830)+inverse(2250),'SP_lower_radius':inverse(3310),'difference':inverse(1830)+inverse(2250)-inverse(3310),'decomposition':[9030,1330]},
 '7700=9030−1330 follows from the fixed LXX whole inverse radius and SP lower inverse leg. Its placement does not require a new fitted anchor.',
 'Combine the Babylonian and Covenant partitions of the same12600 interval.')

run('Build the common refinement of two12600 partitions','Can the7700+4900 and11270+1330 paths be expressed with all named cuts retained?',
 lambda:model('12600_common_refinement',{'nodes':[13136,5436,1866,536],'legs':[13136-5436,5436-1866,1866-536],'units70':[110,51,19],'upper_merge':7700+3570,'lower_merge':3570+1330,'total':7700+3570+1330}),
 'The named chain is7700+3570+1330. Merging at Covenant gives11270+1330; merging at Shem gives7700+4900. These are two cuts of one ordered interval.',
 'Reconnect that common interval to the existing MT Creation–SP Flood observation.')

run('Join the original MT bridge to the new Babylonian path','Does the existing−870 translation place the MT/SP bridge inside this same field?',
 lambda:{'original':[14006,2736,1406],'translation':-870,'image':[14006-870,2736-870,1406-870],'expected':[13136,1866,536],'legs':[11270,1330]},
 'The earlier MT Creation→SP inverseFlood→Conquest path translates exactly onto LXX inversehead→MT Covenant→restoration. It joins the new Shem cut inside the same12600.',
 'Record the operations and their domains as a compact explanation.', ['Reader_before.md11270 bridge'])

run('Compress the Babylonian graph into operations','What small inventory reconstructs the linked comparisons without a master chronology?',
 lambda:model('babylonian_kernel',{'primitives':['six frozen source spines','Shem600 biography','606/586/536,1446/1406/6 targets','1866 Covenant target','5366 source-appointed Year6 Cainan-OFF target'],'operations':[{'name':'single segmented reversal','domain':'original duration legs'},{'name':'stage translation+2700','domain':'existing inverse suffix nodes'},{'name':'anchored70/69 and25/23 Keys','domain':'specified radii'},{'name':'named interval refinement','domain':'declared source cuts'}],'derived':['shared7700 edge','9900/12600 stage pair','wholeShem600 correspondence','70-unit Covenant/Babylon graph','two12600 decompositions']}),
 'The connected field uses the established reversal, translations, Keys and named cuts; no new numerical operation is required.',
 'Identify which results share inputs so the reader sees one coherent family.')

run('Classify dependencies and what is new','Which comparisons are inherited, newly synthesized or forced by the same inputs?',
 lambda:model('claim_ledger_first50',{'inherited':['all six primary spines','stage+2700','4830/4900 radii','1260 decompositions','2730 coefficient','Covenant161→175'],'new_synthesis':['fullSP-inverse/LXX-Shem life edge','partial-translation7700+2200/4900 diagram','named5366 alternate cut and twoanchored4830 expansions','common refinement7700+3570+1330'],'dependent':['secondShem endpoint afterequalbirthandlife','repeat7700 aftertranslation','70-unit forms afterdivisionby70'],'not_claimed':['whole-genealogyKeymap','historicalredactionsequence','statisticalrarity']}),
 'The advance is a smaller connected explanation of source-appointed relations, not a collection of independent numerical confirmations.',
 'Bind every source edition needed to reproduce it.', ['Strategy.md §§5D,6,7'])

def bindings():
    rows={p.name:{'bytes':p.stat().st_size,'sha256':hashlib.sha256(p.read_bytes()).hexdigest()} for p in sorted((ROOT/'evidence').iterdir()) if p.is_file()}
    return model('source_bindings',rows)
run('Freeze the first-stage source editions','Are the source files and predecessor recoverable by exact hash?',bindings,
 'The input register records exact bytes and hashes for the Strategy, current reader, predecessor and source files used in this continuation.',
 'Compare the independent mathematical reviews with the root calculations.')

run('Review the independent source and algebra findings','Do parallel reviews support the main relations and identify a useful next test?',
 lambda:{'wholeShem_source':'agents/source_review.md','Babylonian_source':'agents/File29_babylonian_source_excerpts.md','Noah_model_status':json.loads((ROOT/'agents/cumulative_noah_extension.json').read_text())['status'],'next_candidate':'shared1550 partition intoNoah950+Shem600','source_basis':'File18 seriallifespans;File51a §16.2'},
 'Independent source review confirms the full Shem biography and5366 role. The next useful extension is the shared cumulative Noah950+Shem600 partition.',
 'Draft the principal explanatory passage before expanding the next family.')