from research import *
s=begin(1037,'Twin-arm terminal condition','What does the second161 arm add after the biographies are fixed?',{},['File60 §3.2','C1036'])
from covenant_model import *
v={k:F(x) for k,x in json.loads((ROOT/'model/covenant_source_inputs.json').read_text()).items()};r=regular(v);left=r['Ishmael_death']-r['Levi_death'];right=r['Levi_death']-v['T'];requiredT=2*r['Levi_death']-r['Ishmael_death']
finish(s,{'arms':[left,right],'terminal_required_by_symmetry':requiredT,'retained_source_terminal':v['T'],'A4_residual':claims(v)[3]},'With biographies fixed, twin arms impose one condition on the retained terminal. The terminal1406 is source-appointed; the calculation identifies its role rather than selecting it by search.','Test Joseph’s span against that same terminal and its relationship to the other conditions.',{'twin_arms':left==right==161,'terminal_agrees':requiredT==v['T']==1406})