s750.py

from research import *
s=begin(750,'Reconstruct every MT rounded lifespan','Where do the two lifespan operations diverge?',{},['File51a §3.4 and §16.1 literal tables'])
p=json.loads((ROOT/'model/rounding_inputs.json').read_text()); rows=p['native_rows']['MT_native_OFF']; q=lambda n:5*((n+2)//5)
parts=[q(x['begetting'])+q(x['remainder']) for x in rows if x['begetting'] is not None]
whole=[q(x['lifespan']) for x in rows]
defects={x['name']:parts[i]-whole[i] for i,x in enumerate(rows[:22]) if parts[i]!=whole[i]}
finish(s,{'parts':parts,'whole':whole,'nonzero_defects':defects},'Methuselah and Reu both give parts-minus-total = −5. The source tables agree; the unrestricted uniqueness sentence about Methuselah needs qualification.','Record the first 20-step checkpoint, including the common regular comparison frame.',{'regular_literal':parts==p['MT_literal_checks']['rounded_regular_theoretical_lifespans_Adam_to_Jacob'],'cumulative_literal':whole==p['MT_literal_checks']['rounded_cumulative_lifespans'],'two_cases':defects=={'Methuselah':-5,'Reu':-5}})