s1247.py

from research import *
s=begin(1247,'Generate the finite admitted MT Moses-state field','How do Terah+60 and one restoredCainan+130 affect every named comparison?',{},['C1246','File51a §§4.4,7A','File18 §1.6'])
out=[]
for t in [0,60]:
 for c in [0,130]:
  out.append({'Terah_delta':t,'Cainan_delta':c,'Adam_to_Moses':2580+t+c,'Seth_to_Moses':2450+t+c,'Enoch_to_Moses':1960+t+c,'Arphaxad_to_Reu':130+c,'Reu_to_Moses':800+t,'Arphaxad_to_Moses':930+t+c,'Shem_death_to_Moses':430+t+c})
a=artifact('model/Moses_finite_MT_states.json',json.dumps({'states':out,'domain':'Four admittedMT comparisonstates; Moses fixed; Terah70or130; CainanOFForrestored once','support':'Terahchange affects earlierboundaries throughTerah; Cainan affectsArphaxad andearlier, notReu tail'},indent=2)+'\n')
finish(s,{'finite_states':a,'states':len(out)},'The four admitted states shift the earlier cycle spans by0,130,60 or190, while separating the two post-Flood parts: Cainan changes the first, andTerah the second.','Determine which specificMoses equalities survive this finite source-state field.',{'four_states':len(out)==4,'source_branch':out[0]['Adam_to_Moses']==2580,'double_branch':out[-1]['Arphaxad_to_Reu']==260 and out[-1]['Reu_to_Moses']==860})