s1248.py

from research import *
s=begin(1248,'Classify surviving Moses relations across admitted states','Which relations are structural under the switches and which select the base state?',{},['C1247'])
states=json.loads((ROOT/'model/Moses_finite_MT_states.json').read_text())['states'];out=[]
for x in states:
 out.append({'Terah_delta':x['Terah_delta'],'Cainan_delta':x['Cainan_delta'],'Adam_Seth_gap130':x['Adam_to_Moses']-x['Seth_to_Moses']==130,'Seth_Enoch_gap490':x['Seth_to_Moses']-x['Enoch_to_Moses']==490,'whole6x430':x['Adam_to_Moses']==6*430,'Seth5x490':x['Seth_to_Moses']==5*490,'Enoch4x490':x['Enoch_to_Moses']==4*490,'first_part_matchesAdam':x['Arphaxad_to_Reu']==130,'second_part_matchesAdam':x['Reu_to_Moses']==800,'whole_matchesAdam':x['Arphaxad_to_Moses']==930})
a=artifact('model/Moses_finite_relation_survival.json',json.dumps(out,indent=2)+'\n')
finish(s,{'relation_survival':a},'The initial130 and490 differences survive every admitted switch because the affected downstream changes are shared. The exact6×430,5×490 and4×490 lengths select the base state, while each130/800 component tests its own switch separately.','Show why matching only the930 total is weaker than matching bothcomponents in a general model.',{'gaps_all':all(x['Adam_Seth_gap130'] and x['Seth_Enoch_gap490'] for x in out),'base_cycles_only':sum(x['whole6x430'] and x['Seth5x490'] and x['Enoch4x490'] for x in out)==1,'first_matches2':sum(x['first_part_matchesAdam'] for x in out)==2,'second_matches2':sum(x['second_part_matchesAdam'] for x in out)==2})