from research import *
s=begin(772,'Define the finite source configuration','What is the smallest regular birth-state formula consistent with the declared variant domains?',{'s':'0/1 minimum/full430','t':'0/1 baseline/+60 Terah','c':'0/1 Cainan OFF/ON'},['File18 §§1.3–1.6; model/variant_inputs.json'])
masks={'Adam–Arphaxad':[1,1,1],'Shelah–Terah':[1,1,0],'Abraham–Joseph/Levi':[1,0,0],'Aaron/Moses terminal':[0,0,0]}
formula='R_tau(n;s,t,c)=base_tau(n)+215s S(n)+60t T(n)+130(c-c_native) H(n)'
a=artifact('model/variant_rule.json',json.dumps({'formula':formula,'masks':masks,'native_c':{'MT':0,'LXX':1,'SP':0},'domain':'common retained birth coordinates; Cainan inserted separately; Kohath/Amram unassigned'},indent=2)+'\n')
finish(s,{'rule':a,'masks':masks},'Three finite choices have nested supports. The rule predicts placements within each source domain while preserving native LXX Cainan and unassigned regular births.','Recover the four literal Terah states before extending the rule.',{'nested':list(masks.values())==[[1,1,1],[1,1,0],[1,0,0],[0,0,0]]})