from research import *
s=begin(1036,'Equal lives preserve translated displacements','Which extra premise carries the birth separation into the death separation?',{},['File60 §3.1','C1035'])
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);birth=r['Ishmael_birth']-r['Levi_birth'];death=r['Ishmael_death']-r['Levi_death'];res=v['L_I']-v['L_L']
finish(s,{'birth_displacement':birth,'death_displacement':death,'A3_equal_life_residual':res,'general_relation':'death displacement = birth displacement − (Ishmael life−Levi life)'},'The equal137 lifespans transfer the161 separation from births to deaths. They are separately labelled biographies, not one person or one reused observation.','Identify the independent terminal condition behind the twin death-spine arms.',{'equal_displacements':birth==death==161,'identity':death==birth-res})