s785.py

from research import *
s=begin(785,'Distinguish zero row residual from zero coordinate residual','What residual does the inserted MT Cainan boundary inherit?',{'regular_Shelah':[2421,2421],'cumulative_Shelah':[4393,4396]},['File51a paired rows; File18 Cainan130/460'])
reg=[x+130 for x in [2421,2421]];cum=[x+460 for x in [4393,4396]]
finish(s,{'regular_Cainan':reg,'cumulative_Cainan':cum,'residuals':[reg[1]-reg[0],cum[1]-cum[0]]},'The inserted local durations are already round, but the cumulative Cainan coordinate inherits Shelah’s+3 residual:4853→4856. Local exactness and coordinate exactness are different properties.','Check Terah triangle compatibility with both rounding selectors.',{'regular':reg==[2551,2551],'cumulative':cum==[4853,4856]})