s704.py

from research import *
s=begin(704,'Reconstruct the fixed twelve-node phase field','Can one declared template reproduce every literal source node?',{'literal_BC_pairs':[[2939,2938],[2937,2936],[2935,2934],[2909,2908],[2907,2906],[2905,2904]],'chart':'t(B)=−B+3/4; n(B)=−B+1/4','scope':'literal existing set only'},['Supplement A §13.1; amendment-local status'])
pairs=[[2939,2938],[2937,2936],[2935,2934],[2909,2908],[2907,2906],[2905,2904]]
literal=sorted([-F(b)+eps for t,n in pairs for b,eps in [(t,F(3,4)),(n,F(1,4))]])
generated=sorted([-2921+15*r+2*g+F(p,4) for r in [-1,1] for g in [-1,0,1] for p in [-1,1]])
finish(s,{'literal_coordinates':literal,'center':F(literal[0]+literal[-1],2),'width':literal[-1]-literal[0],'template':'−2921+15r+2g+p/4'},'The declared six phase pairs form exactly the supplied twelve-node template centered at−2921 with width34.5. The template reconstructs a fixed admitted field; its local indices do not authorize new Gear or remote SKL states.','Test the whole set under its declared affine reflection and translation.',{'literal_template':literal==generated,'distinct':len(set(literal))==12,'geometry':F(literal[0]+literal[-1],2)==-2921 and literal[-1]-literal[0]==F(69,2)})