s1052.py

from research import *
s=begin(1052,'The clutch’s first landing is definitional','What does the maximum-envelope subtraction actually determine?',{'Exodus':1446},['File61 §6','C1051'])
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);c=cumulative(v);B=r['Levi_birth']+v['full_state_shift'];D=c['regular_full_Levi_death'];ex=s['inputs']['Exodus'];maximum=v['L_L']+v['L_Kohath']+v['L_Amram']+v['Moses_birth']-ex;regularspan=B-ex;d=maximum-regularspan
finish(s,{'maximum_envelope':maximum,'regular_span':regularspan,'derived_clutch':d,'identity':'d = cumulative_Kohath − regular_Levi_death','first_landing':c['base'][4]-d},'The Exodus anchor cancels from the envelope subtraction. It defines d as cumulative Kohath minus regular Levi death, so that first landing is forced by construction.','Check what additional information the adjacent Levi-birth landing requires.',{'envelope_difference':(maximum,regularspan,d)==(487,473,14),'identity':d==c['base'][4]-D,'forced_landing':c['base'][4]-d==D==1782})