s511.py

from research import *
s=begin(511,'The rounded macro529 endpoint realization','Does the reflected12026 anchor complete the macro ladder with the declared rounded coordinates?',{'anchor_AD':12026,'starting_AD':1446,'widths':[10580,11500,12500]},['File52c §§3.8–3.9','C505,C510'])
a=12026-1;qs=[a-F(10580)*E**i for i in range(3)]
display=lambda q:('AD '+str(q+1)) if q>0 else (str(1-q)+' BC')
finish(s,{'anchor_q':a,'outputs_q':qs,'display':[display(q) for q in qs],'successive_widths':[a-q for q in qs],'civil_first_width_if_substituted':12026-1446},
 'The supplied rounded Mirror ladder is AD1446→AD526→476BC, with AD12026 held. This is a licensed endpoint realization of the tenfold duration ladder. The last crossing uses the rounded convention; a civil substitution would produce a different final display.',
 'Use the14726 anchor-change law to reconstruct the complete ten-member family rather than selected coincidences.',{'q':qs==[1445,525,-475],'display':[display(q) for q in qs]==['AD 1446','AD 526','476 BC']})