s947.py

from research import *
s=begin(947,'A diagnostic against tautology','Does keeping the original totals and 4:1 weight ensure inverse convergence?',{'source_cumulative':[9170,3430],'diagnostic_only':[9970,2630],'regular_total':2700,'anchor':1406},['C936','C940','C946'])
c,d=s['inputs']['source_cumulative'],s['inputs']['diagnostic_only']; weighted=F(4*sum(c)+2700,5); reverse=sum(inv(x) for x in d)
finish(s,{'weighted_radius':weighted,'source_reverse':sum(inv(x) for x in c),'diagnostic_reverse':reverse,'diagnostic_reverse_anchor':1406+reverse,'status':'unadmitted arithmetic control'},'Fixed original totals retain the weighted radius but permit a different inverse branch. The convergence therefore uses an additional register-and-carry condition.','Derive the weight from the actual aggregate gains and compare its status with the state-shift derivation.',{'totals_held':sum(c)==sum(d)==12600,'weight_held':weighted==10620,'inverse_differs':reverse==11610})