s510.py

from research import *
s=begin(510,'Mirror requires a declared coordinate chart','How can Mirror join the affine grammar without confusing civil and rounded crossings?',{'civil':'q(BC B)=1−B; q(AD Y)=Y','rounded':'q(BC B)=1−B; q(AD Y)=Y−1','sample_pair':[601,1351]},['File51a coordinate clarification','File52c §§1,3.12,6'])
B,Y=601,1351
finish(s,{'civil_crossing':B+Y-1,'rounded_crossing':B+Y-2,'rounded_reflection':'q -> −q carries BC B to AD B in this display','affine_compatibility':'M D_k,a = D_k,M(a) M for M(q)=−q','source_roles':'ordinary same-side reflection, cross-polarity Mirror, and decimal reversal remain distinct operators'},
 'Reflection is affine once its coordinate chart is declared. Civil and rounded opposite-side spans differ by one; they cannot be pooled as one metric. The rounded origin is a comparison convention, not a historical year zero.',
 'Reconstruct the rounded macro529 endpoint ladder in that declared chart.',{'civil':B+Y-1==1951,'rounded':B+Y-2==1950,'difference':(B+Y-1)-(B+Y-2)==1})