s884.py

from research import *
s=begin(884,'Keep civil counts distinct from Rounded widths','What arithmetic changes if neighboring width labels are substituted?',{},['File51a C versus W_R','C883'])
rows=json.loads((ROOT/'model/operator_inputs.json').read_text())['file51a_literal_conversion_chains']
out=[]
for r in rows:
 c,w=r['seed'],r['neighbor_WR']
 out.append({'civil':c,'Rounded_width':w,'difference':c-w,'E_width':clean(E*w),'EE_width':clean(E*E*w),'E_difference':clean(E*(c-w)),'EE_difference':clean(E*E*(c-w))})
a=artifact('model/civil_Rounded_input_distinction.json',json.dumps(out,indent=2)+'\n')
finish(s,{'responses':out,'artifact':a},'The one-unit source-type difference propagates as25/23 after E and625/529 after E². Replacing the civil inputs by neighboring Rounded widths destroys the stated integral chains; matching near labels does not authorize type substitution.','Test the predetermined six distinct-Key orders as a bounded confirmation of the prefix theorem.',{'one_unit':all(r['difference']==1 for r in out),'not_integral':all((E*r['Rounded_width']).denominator!=1 for r in out)})