from research import *
s=begin(715,'Distinguish effective totals from internal paths','Does the effective whole-span ratio reproduce the retained macro junction?',{'source_parts':[9660,2940],'partial_keys':['P','E'],'effective_ratios':[F(91,90),F(16,15)]},['C690,C713–C714'])
rows=[]
for k,q in [(P,F(91,90)),(E,F(16,15))]:
    partial=[k*9660,F(2940)]; uniform=[q*9660,q*2940]
    rows.append({'partial':partial,'uniform':uniform,'difference':[partial[i]-uniform[i] for i in range(2)],'total':sum(partial)})
finish(s,{'comparisons':rows},'The effective total ratios reproduce the endpoints but move the internal junction: the P comparison differs by98/3 between arms, and the E comparison by196. This is a second complete source family showing why endpoint agreement cannot replace the retained path.','Build the claim-dependency map so the synthesis distinguishes premises from consequences.',{'totals':all(sum(r['partial'])==sum(r['uniform']) for r in rows),'differences':[r['difference'] for r in rows]==[[F(98,3),-F(98,3)],[196,-196]],'junctions_differ':all(r['partial']!=r['uniform'] for r in rows)})