from research import *
s=begin(936,'Audit the origin of the weighted coefficient','Does conservation of a selected shift independently explain the4:1 weighting?',{'delta_C':-2,'delta_R':8},['C492–494;File52c §3.14'])
dc,dr=-2,8;lam=F(dr,dr-dc)
out={'lambda_from_selected_shift':lam,'condition':'lambda*deltaC+(1−lambda)*deltaR=0','general_solution':'lambda=deltaR/(deltaR−deltaC), when deltaR!=deltaC','information':'given two unequal shifts, this lambda is determined; its existence alone is not an extra constraint','additional_test':'does the independently specified component inverse radius equal this weighted coordinate?'}
a=artifact('model/weighted_coefficient_provenance.json',json.dumps(clean(out),indent=2)+'\n')
finish(s,{'coefficient':lam,'provenance':a},'The4/5 weight is uniquely determined by the selected−2,+8 displacement. Finding a conserved weighted coordinate from two unequal shifts is automatic; agreement with the independently declared component construction is the substantive compatibility question.','Express that compatibility as a minimal equation on duration totals and decimal evaluation.',{'weight':lam==F(4,5),'conservation':lam*dc+(1-lam)*dr==0,'nonparallel':dc!=dr})
Evidence
s936.py
Linked sources and evidence
Edition and provenance
s936.py
SHA-256 776a54b3af907b48a35528b472e8aef9c9c87effcec10b9702a2502cdbacaf9c
C480–C1634/Research_Cycles/C0932_C1131/evidence/s936.py