s878.py

from research import *
s=begin(878,'Transform the complete File46 head field','Does the integral outer completion imply integral internal heads?',{'anchor_BC':14006},['File46 §6A.5'])
p=json.loads((ROOT/'model/operator_inputs.json').read_text())['file46_literal_Adam_field']
heads=[p['apparent_BC_head']]+p['BC_heads']
rows=[{'head':h,'radius':h-14006,'E_radius':clean(E*(h-14006)),'image':clean(14006+E*(h-14006)),'integral':(E*(h-14006)).denominator==1} for h in heads]
a=artifact('model/File46_full_head_image.json',json.dumps(rows,indent=2)+'\n')
finish(s,{'head_field':a,'rows':rows},'The exact whole field exists, but only apparent14926,14466 and anchor14006 map to integer heads at this anchor. The source920→1000 completion does not make the890 and430 radii integral.','Determine whether any single integer anchor could repair the full field.',{'whole_field':len(rows)==5,'mixed':sum(r['integral'] for r in rows)==3,'outer':rows[0]['E_radius']==1000})