s1054.py

from research import *
s=begin(1054,'Jacob-to-Isaac join recovers the147 condition','What extra source equation does the next translated join impose?',{},['C1035','C1053','File61 §8.2'])
from covenant_model import *
def residual(v):
 r=regular(v);c=cumulative(v);return [c['base'][2]-c['clutch']-(r['Isaac_birth']+v['full_state_shift'])]
rrow=coefficient_matrix(residual,KEYS)[0];a1=coefficient_matrix(lambda v:[claims(v)[0]],KEYS)[0];v={k:F(x) for k,x in json.loads((ROOT/'model/covenant_source_inputs.json').read_text()).items()}
finish(s,{'join_residual_equals':'−A1','source_residual':residual(v)[0],'translated_Jacob':cumulative(v)['base'][2]-cumulative(v)['clutch']},'The Jacob-to-Isaac join adds exactly the earlier Isaac-to-Levi147 condition. It connects the two families through a shared source relation, not a new unrelated endpoint law.','Check anchor cancellation across the entire translated root.',{'symbolic_identity':rrow==[-x for x in a1],'source_join':residual(v)==[0],'landing':cumulative(v)['base'][2]-cumulative(v)['clutch']==2066})