s1187.py

from research import *
s=begin(1187,'Restore native LXX insertion after matched-row comparison','What does Cainan add that no common-row coefficient can supply?',{},['C1182','C1168','model/complete_source_row_packet.json'])
d=json.loads((ROOT/'model/complete_source_row_packet.json').read_text());row=next(r for r in d['LXX'] if r['name']=='Cainan2');sh=next(r for r in d['LXX'] if r['name']=='Shelah');off=[1250,430];native=[off[0]+row['b_ledger'],off[1]+row['L_ledger']]
a=artifact('model/whole_genealogy_native_insertion.json',json.dumps({'row':row,'native_head_differences':native,'matched_head_differences':off,'numerical_duplication':'Cainan2 has Shelah b130,L460','additional_premises':['row existence','name','placement between Arphaxad and Shelah'],'not_implied':'Numerical equality does not establish an inserted person or location.'},indent=2)+'\n')
finish(s,{'native_insertion':a,'native_heads':native},'Native Cainan adds130 to the Regular and460 to the Cumulative head difference, producing1380 and890. Its numbers match Shelah, but its existence and ordered position are separate source information.','Find a whole-field observation that distinguishes an insertion from a redistributed total.',{'native_heads':native==[1380,890],'same_numbers':(row['b_ledger'],row['L_ledger'])==(sh['b_ledger'],sh['L_ledger'])})