from research import *
s=begin(535,'One coincidence law spans both studies','Are1566 and2926 instances of the same calendar-measure condition?',{'Covenant_radii':[276,299],'Actual_field_radii':[8372,8970],'year_lengths':[336,360,364]},['File60 §5','File52c §3.15','C500,C502'])
finish(s,{'Covenant_radius_ratio':F(299,276),'E_over_J':E/J,'Actual_radius_ratio':F(8970,8372),'E_over_P':E/P,'normalized_Covenant':[F(276,336),F(299,364)],'normalized_Actual':[F(8372,336),F(8970,360)],'general_rule':'K_d(s)=K*s/d; equal outputs iff s1/d1=s2/d2'},
 'The13:12 Covenant pair and15:14 Actual pair express the same normalized-measure equality under different calendar lengths. This unifies their calculation while leaving the supplied radii and held anchors as separate placement facts.',
 'Trace the161 spine to the biographical equality that generates it.',{'Covenant':E/J==F(299,276)==F(13,12),'Actual':E/P==F(8970,8372)==F(15,14),'normalized':F(276,336)==F(299,364) and F(8372,336)==F(8970,360)})