Evidence

s979.py

Download source fileOpen in research workspace
from research import *
s=begin(979,'Support after rounding','Does this particular rounded field keep exactly the three clipped rows?',{},['C978'])
p=json.loads((ROOT/'model/sp_cap_rounded_counts.json').read_text());active=[i for i,(l,c) in enumerate(zip(p['rounded_baseline'],p['rounded_capacities'])) if l>c];ties=[i for i,(l,c) in enumerate(zip(p['rounded_baseline'],p['rounded_capacities'])) if l==c]
finish(s,{'rounded_active_indices':active,'ties':ties},'This source field retains the same three strictly clipped rows and introduces no threshold ties. That is a property of these values, not a universal preservation theorem.', 'Compare rounding counts with rounding date labels first.',{'same_support':active==[5,7,8],'no_ties':ties==[]})
Edition and provenance

s979.py

SHA-256 65f16552f97601ca121aeddac788cbc9de08186372a1adcfce4a752e99373cbf

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