s788.py

from research import *
s=begin(788,'Transfer the aligned family through rounding','Do equal births remain equal while cumulative divergence changes locally?',{},['C787; File18 rows and Q5 rule'])
p=json.loads((ROOT/'model/rounding_inputs.json').read_text());q=lambda n:5*((n+2)//5)
l={x['name']:x for x in p['native_rows']['LXX_native_ON']};sp={x['name']:x for x in p['native_rows']['SP_native_OFF']};sp['2nd Cainan']={'begetting':130,'lifespan':460}
names=['Noah','Shem','Arphaxad','2nd Cainan','Shelah','Eber','Peleg','Reu','Serug','Nahor','Terah','Abraham']
bd=[q(l[n]['begetting'])-q(sp[n]['begetting']) for n in names]; dl=[q(l[n]['lifespan'])-q(sp[n]['lifespan']) for n in names];dc=[sum(dl[i:]) for i in range(len(dl))]
finish(s,{'rounded_begetting_differences':bd,'rounded_lifespan_differences':dl,'rounded_cumulative_differences':dc,'scope':'derived row-rounding comparison with matched source bindings/anchor'},'The aligned birth family survives rounding because its source begetting rows agree. Its cumulative divergence changes574→570 through Arphaxad and Shelah27→25, preserving the explanation by different measurements of the same rows.','Condense the result into an explicit representation map.',{'birth_rows_equal':not any(bd),'cum_head':dc[0]==570,'only_two_changed':sum(a!=b for a,b in zip(dl,[0,0,27,0,27,100,100,100,100,60,60,0]))==2})