s888.py

from research import *
s=begin(888,'Join the NT lattice to the general Key domain theorem','Why are integer years weaker than return to an NT70-year slot?',{'NT_grid_h':70},['C866–867','C873–874'])
out=[]
for name,k in [('E',E),('P',P),('J',J)]:
 ints=[r for r in range(77) if (k*70*r).denominator==1]
 slots=[r for r in range(77) if (k*r).denominator==1]
 out.append({'key':name,'integer_year_indices':ints,'same_slot_indices':slots,'grid_input_generator':70*k.denominator})
art=artifact('model/NT_grid_domain_transfer.json',json.dumps(out,indent=2)+'\n')
finish(s,{'domain_transfer':art,'same_slots':{r['key']:r['same_slot_indices'] for r in out}},'The NT return rule is the h=70 instance of the general theorem. E/P returns remain0,23,46,69 and0,69; J has only the fixed hinge in this finite domain. Integer output and return to a named slot are different requirements, even when these particular finite index sets coincide.','Integrate the operator results as grid and anchor registers.',{'E_matches':out[0]['same_slot_indices']==[0,23,46,69],'P_matches':out[1]['same_slot_indices']==[0,69],'J_fixed_only':out[2]['same_slot_indices']==[0]})