s870.py

from research import *
s=begin(870,'Recover the full reflection of the primary display','Which part of the chiasm is automatic grid closure and which part is supplied placement?',{},['File54 primary chiasm','C860,869'])
xs=[-5325+70*k for k in range(78)]
pairs=[{'k':k,'mate_k':77-k,'x':x,'mate_x':-5260-x} for k,x in enumerate(xs)]
coarse=json.loads((ROOT/'model/NT_49_70_coarsening.json').read_text())
marked={'outer_pair':[xs[0],xs[77]],'BJ_pair':[xs[21],xs[56]],'center_civil':-2630,'center_BC':2631}
a=artifact('model/NT_primary_reflection.json',json.dumps({'pairs':pairs,'marked':marked},indent=2)+'\n')
finish(s,{'reflection':a,'marked':marked},'Reflection x→−5260−x closes the entire primary grid and sends coarse indexm to11−m. Closure follows from uniform spacing; the placement of BJ Creation and Conquest at swapped indices21 and56 is the supplied structural fact.','Checkpoint the completed NT transfer, then test Key domains beyond the homogeneous display.',{'full_closure':all(p['mate_x']==xs[p['mate_k']] for p in pairs),'coarse_closure':all(-5260-r['civil_x']==coarse[11-r['m']]['civil_x'] for r in coarse),'marked_pair':xs[21]+xs[56]==-5260,'center_between':-2630 not in xs})