s675.py

from research import *
s=begin(675,'Recover all phase-envelope measurements','Which widths belong to each suffix or cross-phase measurement?',{'corresponding_widths':[34,40],'phase_offset':F(1,2)},['Supplement A §4.3; C672–C674'])
rows=[[F(w)-F(1,2),w,F(w)+F(1,2)] for w in [34,40]]
finish(s,{'columns':['inner_cross','same_suffix','outer_cross'],'rows':rows,'coordinate_width_gain':40-34,'scalar_normalization_gain':40-F(69,2)},'The full phase table is33.5/34/34.5 before and39.5/40/40.5 after. Outward endpoint motion adds6 to every matched measurement, whereas34.5→40 adds5.5 because it changes measurement class. Those two statements are compatible once the measured objects are named.','Resolve the source’s recovered35 row using exact phase coordinates.',{'rows':rows==[[F(67,2),34,F(69,2)],[F(79,2),40,F(81,2)]],'uniform_gain':[rows[1][i]-rows[0][i] for i in range(3)]==[6]*3,'different_class':F(40)-F(69,2)==F(11,2)})