s534.py

from research import *
s=begin(534,'Joseph and Levi converge at1566','Does the supplied common landing follow from the frozen anchored operators?',{'held_Covenant':1866,'Joseph_death':1590,'Levi_death':1567},['File60 §§5.4–5.5'])
a,b=1866-1590,1866-1567
finish(s,{'radii':[a,b],'outputs':[1866-E*a,1866-J*b],'gains':[E*a-a,J*b-b],'initial_gap':1590-1567},
 'Joseph’s276 under E and Levi’s299 under J both become300, reaching generated1566. The gains24 and1 close their original23 difference. This is a whole anchored two-route reconstruction, not an identification of the historical deaths.',
 'Compare its cross-Key ratio with the earlier Jared/Noah2926 convergence.',{'landing':1866-E*a==1866-J*b==1566,'gain_difference':(E*a-a)-(J*b-b)==23})