s1203.py

from research import *
s=begin(1203,'Calculate the SP composite fibre thresholds','How far below each exact cap can an uncapped life imitate its rounded clipped output?',{},['C1202','C1143'])
caps=[847,720,653];names=['Jared','Methuselah','Lamech'];out=[]
for n,c in zip(names,caps):
 q=5*((c+2)//5);lo=q-2;out.append({'name':n,'capacity':c,'rounded_output':q,'minimum_input':lo,'uncapped_equivalent_inputs':list(range(lo,c)),'boundary_input':c,'clipped_inputs':'every integer greater than'+str(c)})
a=artifact('model/SP_cap_round_fibre_thresholds.json',json.dumps(out,indent=2)+'\n')
finish(s,{'thresholds':a,'minimum_inputs':[x['minimum_input'] for x in out]},'Jared’s845 output permits any life at least843; Methuselah’s720 permits at least718; Lamech’s655 permits at least653. Rounded output alone does not recover the original962/969/777 ledger or generally the clipping status.','Determine how a known clipping branch changes the information needed for reconstruction.',{'thresholds':[x['minimum_input'] for x in out]==[843,718,653],'uncapped_counts':[len(x['uncapped_equivalent_inputs']) for x in out]==[4,2,0]})