Evidence

s1286.py

Download source fileOpen in research workspace
from research import *
s=begin(1286,'Construct the SP cap primitive-register module','Which inputroles drive thecap andwhich quantitiesare generated?',{},['C1285','C1143','C1204','inherited/Primitive_Data_Register_C1131.json'])
p=json.loads((ROOT/'inherited/Primitive_Data_Register_C1131.json').read_text())['SP_cap'];loss=json.loads((ROOT/'model/cap_round_branch_information.json').read_text())['rows'];module={'source_premises':p,'generated_rows':loss,'input_roles':['completedbegettingpath','declaredNoah-to-Flooddistance','inclusiveendpointcontribution','person-labelledbaselineledger'],'generated_roles':['birthcapacities','clippedlifeledger','activebranches','discardedexcesses','Roundedcounts'],'reconstruction_limit':'The outputcannotidentifythebaselineexcesses; knownbranchfixeswhichlossregister isneeded.','scope':'NinepreNoahrows,nativeSPG2; no upstreamGearpropagation.'}
a=artifact('model/primitive_SP_cap_module.json',json.dumps(module,indent=2)+'\n')
finish(s,{'cap_module':a},'Thecapmodule identifies fourinputroles andtheirgeneratedcapacity/lifeloss fields. It makes theRegular-to-Cumulative dependencyexplicit while keeping thediscardedbaselineinformation visible.','Construct theMosesmodule asanorderedpath withmixedgenealogicalandeventintervals.',{'nine_rows':len(loss)==len(p['names'])==9,'same_baseline':p['baseline_lives']==[x['L'] for x in loss],'source_count':p['inclusive_adjustment']==1})
Edition and provenance

s1286.py

SHA-256 3c51e2d5c8ac98f26ea0019a75a04c5b48686fc5beefc5318759fd1c67cf91f6

C480–C1634/Research_Cycles/C1132_C1431_Recovered/evidence/s1286.py