from research import *
s=begin(571,'Distinguish endpoint agreement from path identity','Do whole J and terminal-cell E have the same intermediate coordinate?',{'head':14004,'junction':1929,'terminal':1446},['File63 §§7.3–7.4,9.7; C570'])
global_path=[F(14004),14004-J*(14004-1929),14004-J*(14004-1446)]
partial_path=[F(14004),F(1929),1929-E*(1929-1446)]
finish(s,{'whole_J_path':global_path,'terminal_E_path':partial_path,'junction_difference':partial_path[1]-global_path[1]},'Both paths end at1404, but whole J moves the junction to24552/13 while terminal E retains1929. The new compression is equality after evaluating total span, not identity of the ordered chronological path.','Use the shared endpoint1404 to reconstruct the Actual-to-Rounded cumulative interface.',{'same_endpoint':global_path[-1]==partial_path[-1]==1404,'different_junction':global_path[1]!=partial_path[1],'exact_difference':partial_path[1]-global_path[1]==F(525,13)})