s1211.py

from research import *
s=begin(1211,'Determine the threshold for visible rounded clipping','How large must a life be for its cap reduction to remain visible after rounding?',{},['C1210','C1203'])
caps=[847,720,653];out=[]
for c in caps:
 q=5*((c+2)//5);threshold=q+3;out.append({'c':c,'Q_c':q,'first_L_with_visible_reduction':threshold,'hidden_strict_inputs':list(range(c+1,threshold)),'first_visible_excess':threshold-c})
a=artifact('model/cap_round_strict_visibility.json',json.dumps({'criterion':'Q(L)>Q(c) iff integer L>=Q(c)+3','proof':'Q(c)+2 is the final integer in its nearest-five cell; the next integer rounds to Q(c)+5.','rows':out},indent=2)+'\n')
finish(s,{'visibility':a,'thresholds':[x['first_L_with_visible_reduction'] for x in out]},'Visible rounded clipping begins at Q(c)+3. For the SP capacities the thresholds are848,723 and658; the actual baseline lives exceed them comfortably, so all three reductions remain visible.','Summarize cap and rounding as distinct kinds of information loss before returning to cross-family transformations.',{'thresholds':[x['first_L_with_visible_reduction'] for x in out]==[848,723,658],'actual_visible':all(l>=x['first_L_with_visible_reduction'] for l,x in zip([962,969,777],out))})