s1192.py

from research import *
s=begin(1192,'Compute joint Rounded fibres on all ordinary source rows','Which rows remain exactly identifiable when exact life and both rounded parts are retained?',{},['C1191','model/complete_source_row_packet.json'])
def Q(x):return 5*((x+2)//5)
d=json.loads((ROOT/'model/complete_source_row_packet.json').read_text());out=[];excluded=[]
for tradition,rows in d.items():
 for r in rows:
  if r['L_counting']:excluded.append(tradition+':'+r['name']);continue
  b,L=r['b_ledger'],r['L_ledger'];R=Q(L-b);B=Q(b);cands=[x for x in range(max(0,B-2),min(L,B+2)+1) if Q(L-x)==R]
  out.append({'tradition':tradition,'name':r['name'],'b':b,'r':L-b,'L':L,'B':B,'R':R,'z':L-B-R,'candidates_b':cands,'count':len(cands)})
singles=[x['tradition']+':'+x['name'] for x in out if x['count']==1]
a=artifact('model/ordinary_joint_rounding_fibres.json',json.dumps({'rows':out,'excluded_inclusive_rows':excluded,'singletons':singles,'status':'conditional identification; both rounded observations calculated from these same source rows'},indent=2)+'\n')
finish(s,{'fibres':a,'ordinary_rows':len(out),'singletons':singles},'Five of55 ordinary rows have singleton joint fibres: MT/LXX Methuselah, MT/LXX Reu, and SP Reu. This conditional uniqueness comes from two same-sign extreme residuals, not from new source testimony.','Compare each singleton with the ambiguity when only one rounded component is retained.',{'55rows':len(out)==55,'excluded3':len(excluded)==3,'formula_all':all(x['count']==5-abs(x['z']) for x in out),'singletons5':len(singles)==5,'source_retained':all(x['b'] in x['candidates_b'] for x in out)})