s494.py

from research import *
states={'rounded':(14006,4106),'actual_completion':(14004,4114),'strict_comparison':(14006,4112),'Year6_pair':(14006,4116)}
s=begin(494,'The exact residual conservation law','Which declared endpoint changes preserve the weighted anchor?',states,['File51a §§3,16','File22 §§5.1,7.1','File52c §3.14'])
r={k:{'weighted_point':F(4*c+r,5),'shift_from_12026':F(4*c+r,5)-12026} for k,(c,r) in states.items()}
finish(s,{'states':r,'kernel':'4 delta_C + delta_R = 0','selected_vector':[-2,8],'general_integer_kernel':'t*(1,-4)'},
 'The actual completion selection lies exactly in the kernel. Strict and Year6 alternatives give shifts6/5 and2. The conserved anchor is therefore a precise relation between selected states, not invariance under every actual/rounded convention.',
 'Formalize the rounded path evaluator so convergence and nonconvergence can be explained by one rule.',{'completion':r['actual_completion']['weighted_point']==12026,'strict':r['strict_comparison']['shift_from_12026']==F(6,5),'year6':r['Year6_pair']['shift_from_12026']==2})