s496.py

from research import *
refinements={'MT_regular_Noah':(1650,[1050,600]),'MT_cumulative_Shem':(9170,[8570,600]),'MT_cumulative_Noah':(9170,[7620,1550]),'LXX_regular_Noah':(2250,[1650,600])}
s=begin(496,'Refinement defects','When do documented refinements preserve the reversed path value?',refinements,['File52c §3.3','C489'])
r={k:sum(inv(x) for x in parts)-inv(whole) for k,(whole,parts) in refinements.items()}
finish(s,{'defects':r,'definition':'delta_refinement=sum I(parts)-I(sum parts)'},
 'The MT regular refinement has defect0; both cumulative refinements and the LXX regular refinement have defect990. Thus12026 versus13016 and10436 versus11426 are outcomes of the same path rule, not separate arbitrary anchors.',
 'Test whether appending the documented Conquest-to-Nativity leg gives a uniform backbone continuation.',{'raw_lengths_preserved':all(w==sum(p) for w,p in refinements.values()),'defects':list(r.values())==[0,990,990,990]})