s735.py

from research import *
p=json.loads((ROOT/'model/file18_rows.json').read_text()); rr=p['regular_source_rows']['MT']; cmap={r['name']:r['Moses_Nisan_BC'] for r in p['MT_cumulative_literal_rows']}
s=begin(735,'Transport the whole bridge to the lower envelope','Does the chosen completion profile preserve the row-generating law?',{'cumulative_profile_shift':-2,'regular_frame':'+215','scope':'all selected cumulative lower-envelope members, not newGeartransport'},['File18 §6A envelopes; C734; C731 Actual bridge'])
names=[r['name'] for r in rr]+['Abraham']; R=[r['birth_BC']+215 for r in rr]+[2166]; center=[cmap[n]-r for n,r in zip(names,R)]; lower=[g-2 for g in center]
finish(s,{'lower_profile':lower,'center_to_lower':[-2]*len(lower),'terminal':lower[-1],'completion_head':lower[0]},'Selecting the lower-envelope member translates the entire MT bridge by−2 and preserves every adjacent generator. It recovers9890 at Creation and267 at Abraham. This is a source-defined profile choice, not an adjustment fitted independently at each node.','Transfer the same full-field recurrence to nativeLXX, retaining its insertedCainan row.',{'head':lower[0]==9890,'terminal':lower[-1]==267,'all_differences':[center[i]-center[i+1] for i in range(len(center)-1)]==[lower[i]-lower[i+1] for i in range(len(lower)-1)]})