Evidence

s774.py

Download source fileOpen in research workspace
from research import *
s=begin(774,'Recover every inserted-Cainan position','Does Cainan have four placements while upstream common rows have eight?',{},['File18 lines634–639'])
import re
p=json.loads((ROOT/'model/variant_inputs.json').read_text());literal=p['convenience_tables']['MT_inserted_Cainan_regular_four_states']['rows']
out=[]
for so,te in [(1,1),(1,0),(0,1),(0,0)]:
    sh=2206+215*so+60*te;ca=sh+130;out.append([sh,ca,ca-460])
expected=[[int(re.search(r'\d+',z).group()) for z in row['cells'][:3]] for row in literal]
finish(s,{'generated':out},'Cainan is an inserted node at Shelah+130. Its four placements use the two downstream position choices; it does not receive an additional own-Cainan130 shift.','Generate the complete finite configuration for all three traditions.',{'literal_match':out==expected,'four':len(set(x[1] for x in out))==4})

Linked sources and evidence

Edition and provenance

s774.py

SHA-256 a4dd417605b7781292da9bd97d0fd2e6b633f03139e01cc36114f079d682f57b

C480–C1634/Research_Cycles/C0732_C0831/evidence/s774.py