s866.py

from research import *
s=begin(866,'Classify the complete finite E return family','Which positive display indices return to display indices under E?',{'domain':'r=0,...,76','E':E},['File43 complete display','File54 Enoch fork'])
rows=json.loads((ROOT/'model/NT_full_display.json').read_text()); lookup={r['r']:r for r in rows}
returns=[]
for r in range(77):
 image_index=E*r
 if image_index.denominator==1:
  t=int(image_index)
  returns.append({'r':r,'image_r':t,'source':lookup[r]['Luke'],'image':lookup[t]['Luke'],'source_BC':6+70*r,'image_BC':6+70*t})
a=artifact('model/NT_E_returns.json',json.dumps(returns,indent=2)+'\n')
finish(s,{'returns':returns,'artifact':a},'Coprimality of25 and23 makes 23-divisibility the complete return rule. The four finite returns, including the fixed hinge, follow from one lattice condition; only the Enoch fork carries the supplied interpretation.','Classify P on the same fixed domain and compare its intersection with E.',{'complete':[r['r'] for r in returns]==[0,23,46,69],'bounded':all(r['image_r']<=76 for r in returns),'Enoch':returns[-1]['source']=='Enoch' and returns[-1]['image']=='Creation of Adam'})