s1257.py

from research import *
s=begin(1257,'Distinguish the two four-state source fields','Why do valid source summaries give widths190 and275?',{},['C1256','File18 §1.1','Strategy §4.1'])
d=json.loads((ROOT/'model/regular_kernel_eight_state_field.json').read_text());tc=[x['offset'] for x in d['states'] if not x['S_on']];ts=[x['offset'] for x in d['states'] if not x['C_on']]
a=artifact('model/regular_kernel_four_state_restrictions.json',json.dumps({'Terah_Cainan_at_fixedSojourn':tc,'Terah_Sojourn_CainanOFF':ts,'widths':[max(tc)-min(tc),max(ts)-min(ts)],'source_role':'These are differentfaces ofthe samefinitecube, not conflicting measurements ofonefourstateobject.'},indent=2)+'\n')
finish(s,{'restrictions':a,'fields':[tc,ts]},'The190 field variesTerah andCainan; the275 field variesTerah andSojourn withCainanOFF. Their differentwidths arise from differentsourcechoices, andboth sit within the405 field.','Compare the generatedeight offsets with theliteral source’sYear6 andendpoint columns.',{'TC':tc==[0,60,130,190],'TS':ts==[0,60,215,275],'widths':max(tc)==190 and max(ts)==275})