s899.py

from research import *
s=begin(899,'Recover the two complete civil comparison squares','Do the paired30 shifts preserve each entire source-appointed arm?',{},['File63 §7.9'])
p=json.loads((ROOT/'model/covenant_inputs.json').read_text())['named_inputs']['external_civil_squares']
out=[]
for r in p:
 h,l=r['macro_head_BC'],r['lower_BC'];e=r['external_label']
 xh,xl=1-h,1-l;xe=1-e if r['external_era']=='BC' else e
 out.append({'civil_nodes':[xh,xl,xe],'body':xl-xh,'terminal':xe-xl,'total':xe-xh,'source_total':r['total']})
a=artifact('model/paired_civil_squares.json',json.dumps(out,indent=2)+'\n')
finish(s,{'squares':out,'artifact':a},'Both complete arms decompose145600 as143520+2080. Their corresponding civil nodes all shift by30, including1BC→AD30. The equality uses civil crossing and preserves the source-appointed comparison roles.','Integrate the carrier lift and retained-subdivision result into the common grammar.',{'whole_arms':all(r['total']==r['source_total']==145600 and r['body']==143520 and r['terminal']==2080 for r in out),'translation':[b-a for a,b in zip(out[0]['civil_nodes'],out[1]['civil_nodes'])]==[30,30,30]})