s1311.py

from research import *
s=begin(1311,'Register the forced and conditional Covenant joins','Whichclutchagreements followfromdefinition andwhich needasharedsourcecondition?',{},['C1310','inherited/model/covenant_clutch_dependency_ledger.json','inherited/model/covenant_cumulative_regenerated.json'])
d=json.loads((ROOT/'inherited/model/covenant_cumulative_regenerated.json').read_text());delta=d['clutch'];base=d['base'];r={'id':'Covenant_clutch_joins','class':'definition_plus_source_constraint','definition':'d=C_K−D,whereC_KiscumulativeKohathandDisfullregularLevideath','forced_join1':'C_K−d=D bydefinition','forced_join2':'C_L−d=B becausebothpathsuseLevi’s137-yearlife','additional_join':'C_J−d=regularIsaacbirth requiresregularIsaac-to-Levibirth=Jacoblife147','source_relation':'60+77+10=147','generated_example':{'Kohath_after':base[4]-delta,'Levi_after':base[3]-delta,'Jacob_after':base[2]-delta},'phase':'SameNisanderivedd actsontheexact+3.5Aaron/Tishrifield; nosecondclutchtocancelphase','evidence':['inherited/model/covenant_clutch_dependency_ledger.json','inherited/model/covenant_cumulative_regenerated.json']}
a=artifact('model/relation_Covenant_joins.json',json.dumps(r,indent=2)+'\n')
finish(s,{'Covenant_relation':a},'Theclutch’sfirstjoin isdefined, thesecond usesasharedlifespan, andthethird requires thesource147 relation. Thislocatestheadditionalinformation behindthefamily’s agreement ratherthancountingthreeindependentmatches.','Register theadditionalcross-sourcecalibrations separatelyfromoperationidentities.',{'joins':r['generated_example']=={'Kohath_after':1782,'Levi_after':1919,'Jacob_after':2066},'147':60+77+10==147,'clutch14':delta==14})