s570.py

from research import *
s=begin(570,'Derive the Jubilee allocation identity','Does J admit the same allocation explanation on the source12558 path?',{'E':E,'J':J,'path':[14004,1929,1446]},['File63 §§7.3–7.4,9.7; algebraic generalization'])
f=(J-1)/(E-1);a=14004-1929;b=1929-1446;partial=a+E*b;global_=J*(a+b)
finish(s,{'fraction':f,'partition':[a,b],'carrier_counts':[F(a,483),F(b,483)],'partial_E':partial,'whole_J':global_},'J is the total-span effect of E allocated to one26th. The source path14004→1929→1446 already supplies25×483+483, so expanding its final carrier gives12600 without a fitted breakpoint.','Check whether equal totals make these complete chronological maps identical.',{'fraction':f==F(1,26),'source_split':a==25*b and b==483,'dual':partial==global_==12600})