s948.py

from research import *
s=begin(948,'Weight as a consequence of gains','How does the 4:1 coefficient relate to the two aggregate reversal gains?',{'regular_total':2700,'cumulative_total':12600,'common_reverse':10620,'state_shifts':[-2,8]},['C935','C936','C937','C947'])
gain=10620-2700;loss=12600-10620; lam=F(gain,gain+loss); shifted=F(8,8-(-2))
finish(s,{'regular_gain':gain,'cumulative_loss':loss,'gain_to_loss':F(gain,loss),'cumulative_weight_from_gains':lam,'from_state_shifts':shifted},'The convergent inverse radius implies the same 4:1 weight that preserves the selected Actual–Rounded shifts. Their equality is a compatibility statement; neither derivation licenses counting the weight again as a fresh independent observation.','Write a reduced premise ledger before moving into the new whole-family test.',{'gains':(gain,loss)==(7920,1980),'ratio':F(gain,loss)==4,'weights_agree':lam==shifted==F(4,5)})