Evidence

s955.py

Download source fileOpen in research workspace
from research import *
s=begin(955,'Placement-free capacities','Which part of the cap depends on absolute BC placement?',{},['C953','C954','File18 §3.1.3'])
p=json.loads((ROOT/'model/sp_cap_inputs.json').read_text()); r=json.loads((ROOT/'model/sp_birth_regeneration.json').read_text()); k=p['Noah_to_Flood_start']+p['inclusive_adjustment']; C=[x+k for x in r['suffixes']]; Fstart=p['Noah_primary']-p['Noah_to_Flood_start']
a=artifact('model/sp_capacity_field.json',json.dumps({'k':k,'capacities':C,'Flood_start':Fstart},indent=2)+'\n')
finish(s,{'capacity_field':a,'capacities':C},'All capacities are suffix sums plus601. Absolute BC placement cancels; the600 interval and inclusive adjustment remain premises.','Apply the same minimum rule across all nine rows.',{'all_capacities':C==[1307,1177,1072,982,912,847,785,720,653],'placement_cancels':C==[B-Fstart+1 for B in r['births']]})

Linked sources and evidence

Edition and provenance

s955.py

SHA-256 0dc834c87e4ff1fc4940ee5c48d82e07913956148baacd891fbb874c75701cf8

C480–C1634/Research_Cycles/C0932_C1131/evidence/s955.py