from research import *
s=begin(489,'LXX rounded path transfer','Does the admitted Noah refinement preserve the rounded reversal endpoint in native LXX?',{'rounded_creation':5486,'rounded_Adam_Noah':1650,'Noah_Flood':600,'Conquest':1406},['File51a §§2,17.3','File18 §4.1'])
N=5486-1650;FLOOD=N-600
paths={'primary':[5486-FLOOD,FLOOD-1406],'Noah_refinement':[1650,600,FLOOD-1406]}
r={k:{'segments':v,'inverse_segments':[inv(x) for x in v],'endpoint':1406+sum(inv(x) for x in v)} for k,v in paths.items()}
finish(s,{'derived_rounded_Noah':N,'derived_rounded_Flood':FLOOD,'paths':r},
 'LXX endpoints10436 and11426 differ990. The same path evaluator transfers, but MT’s equality under Noah refinement does not. The cumulative LXX branch remains uninstantiated, not silently approximated.',
 'Test SP through its positively supplied block relations rather than an absent rounded path.',{'primary':r['primary']['endpoint']==10436,'refinement':r['Noah_refinement']['endpoint']==11426,'difference':11426-10436==990})