s1239.py

from research import *
s=begin(1239,'Recover the unrounded source partition behind130 plus800','Which interval changes produce the two-part recapitulation?',{},['C1234','C1236','File51a §7A.4'])
rows=json.loads((ROOT/'model/Moses_MT_complete_path.json').read_text())['rows'];names=[x['name'] for x in rows];i,j,k=[names.index(n) for n in ['Arphaxad','Reu','Moses']];parts=[]
for lo,hi in [(i,j),(j,k)]:
 xs=rows[lo:hi];parts.append({'names':[x['name'] for x in xs],'actual':[x['actual'] for x in xs],'rounded':[x['rounded'] for x in xs],'actual_sum':sum(x['actual'] for x in xs),'rounded_sum':sum(x['rounded'] for x in xs),'nonzero_rounding_changes':[{'name':x['name'],'error':x['rounded']-x['actual']} for x in xs if x['rounded']!=x['actual']]})
a=artifact('model/Moses_postflood_partition_residuals.json',json.dumps({'parts':parts,'mode':'strictActualRegular toRoundedRegular; sameMoses boundary'},indent=2)+'\n')
finish(s,{'partition':a,'actual':[x['actual_sum'] for x in parts],'rounded':[x['rounded_sum'] for x in parts]},'The source partition129|801 becomes130|800. Eber contributes+1 beforeReu; Reu−2 andNahor+1 contribute−1 afterward, while Jacob−1 andJoseph+1 cancel in the tail.','Show why the whole930 is conserved while its internal cut changes.',{'actual129801':[x['actual_sum'] for x in parts]==[129,801],'rounded130800':[x['rounded_sum'] for x in parts]==[130,800],'conserved930':sum(x['actual_sum'] for x in parts)==sum(x['rounded_sum'] for x in parts)==930})