s529.py

from research import *
s=begin(529,'Assess explanatory compression','Which model best explains the completed set without hiding extra choices?',{'models':['one scalar affine conversion','independent lookup of every displayed result','typed modular grammar'],'scoring':'qualitative; no predeclared numeric description-length weights'},['Strategy §§1,6','C524–C528'])
models=[{'model':'one scalar affine conversion','status':'rejected by current MT/LXX/SP slopes','source_cost':'cannot represent the observed direction changes'}, {'model':'independent lookup','status':'can restate every datum','source_cost':'stores each result and loses shared mechanisms'}, {'model':'typed modular grammar','status':'reconstructs source projections,rounded paths,Key fields,529 ladders and specified junctions','source_cost':'retains source rows,phase/frame choices,partitions,anchors and exceptional inclusive conventions'}]
reach={'transfers_unchanged':['row projections','anchored affine laws','calendar calibration','529 width rule','rounded path evaluator'], 'transfers_conditionally':['integral endpoints require pivot residues','Mirror requires a chart','state changes retain source scope'], 'does_not_transfer':['universal12026 across traditions','MT14/15/16 field at unchanged anchor','MT Noah-refinement equality in LXX'], 'not_instantiated':['full LXX/SP rounded cumulative paired-path test from current source tables']}
finish(s,{'models':models,'reconstruction_reach':reach,'next_family_candidate':'source-defined161/299/460 construction, with this grammar frozen before reading its test inputs'},
 'The modular model explains more than an endpoint lookup and survives recorded failures without repairs. Its practical compression is demonstrated on whole families; global minimality, historical sequence and statistical rarity remain unproved. The next research should test a further named source family, not enlarge a target search.',
 'Reconcile independent reviews and freeze the report’s exact scope before the final synthesis.',{'alternatives_compared':len(models)==3,'failures_retained':len(reach['does_not_transfer'])==3,'source_gaps_retained':len(reach['not_instantiated'])==1})