s1278.py

from research import *
s=begin(1278,'Recover the whole exact Moses field from the Rounded field','Do accumulatedrowresiduals retain everyintermediate coordinate?',{},['C1277','C1234'])
rows=json.loads((ROOT/'model/Moses_MT_complete_path.json').read_text())['rows'];out=[]
for i,x in enumerate(rows):
 residual=sum(y['actual']-y['rounded'] for y in rows[i:-1]);out.append({'name':x['name'],'rounded_BC':x['rounded_BC'],'accumulated_residual':residual,'recovered_exact_BC':x['rounded_BC']+residual,'source_exact_BC':x['actual_BC']})
a=artifact('model/Moses_complete_residual_recovery.json',json.dumps({'rows':out,'formula':'exactcoordinate=sourceRowRoundedcoordinate+suffixsum(exactrow−roundedrow)','scope':'Theaccumulatedresidual neednot be asingle-cell residual; exactreconstruction doesnot infer thesourceresidualsfromRoundedvaluesalone.'},indent=2)+'\n')
finish(s,{'whole_field_recovery':a,'nodes':len(out),'head_residual':out[0]['accumulated_residual']},'All25 exactcoordinates are recovered fromtheir Roundedcoordinates andthelocated residualsums. Thehead residual6 staysun-normalized, preserving thepublished4106 Roundedhead while recoveringstrict4112.','Write thegenealogy-to-inverse bridge withitsoperationorder andsource-roleconstraints.',{'all25':len(out)==25,'all_recovered':all(x['recovered_exact_BC']==x['source_exact_BC'] for x in out),'head6':out[0]['accumulated_residual']==6})