s678.py

from research import *
s=begin(678,'Derive the nested25|35|35|25 field','What follows once the source70 and120 bodies share center2911?',{'center':2911,'outer_width':120,'Enoch_width':70,'source_Enoch':[2946,2876]},['Supplement A §4.5'])
nodes=[2911+60,2911+35,2911,2911-35,2911-60]; gaps=[nodes[i]-nodes[i+1] for i in range(4)]
finish(s,{'nodes':nodes,'gaps':gaps,'margin':F(120-70,2),'Key_decomposition':[E*23,P*F(69,2),P*F(69,2),E*23]},'The two source widths and their common center force25|35|35|25. Each35 is P(34.5), each25 is E(23), but their sum is a retained-component construction rather than a newly defined whole120 Key image.','Distinguish the source’s scalar1470 closure from its coordinate1475 envelope.',{'source_Enoch':[nodes[1],nodes[3]]==[2946,2876],'gaps':gaps==[25,35,35,25],'keys':[E*23,P*F(69,2),P*F(69,2),E*23]==gaps})