s572.py

from research import *
s=begin(572,'Close the Actual-to-Rounded cumulative square','Does the J image followed by the source pair adjustment recover both Rounded endpoints?',{'Actual':[14004,1446],'Rounded':[14006,1406],'pair_translation':2},['File63 §9.7; File51a; latest File52c'])
actual=(14004,1446);mapped=(F(14004),14004-J*(14004-1446));rounded=tuple(x+2 for x in mapped)
finish(s,{'Actual_span':12558,'J_pair':mapped,'translated_pair':rounded,'span_gain':12600-12558,'endpoint_change':[2,-40]},'The Actual Creation–Exodus pair maps by anchored J to14004/1404, then by a declared+2 pair translation to Rounded Creation–Conquest14006/1406. This is an exact interface between differently typed endpoint pairs.','Relate this pair interface to the separate12026 regular/cumulative bridge.',{'endpoints':rounded==(14006,1406),'span_gain':J*12558-12558==42==2-(-40)})