s1188.py

from research import *
s=begin(1188,'Distinguish insertion from redistribution at the named boundary','Can the same head change conceal different internal birth paths?',{},['C1187','C1167'])
old=[135,130];inserted=[135,130,130];repartitioned=[265,130]
oldcuts=[sum(old[:i]) for i in range(3)];icuts=[sum(inserted[:i]) for i in range(4)];rcuts=[sum(repartitioned[:i]) for i in range(3)]
a=artifact('model/insertion_redistribution_witness.json',json.dumps({'scope':'formal local diagnostic, not an admitted alternate genealogy','old_Arphaxad_Shelah_intervals':old,'inserted_Cainan_path':inserted,'same_total_without_Cainan':repartitioned,'old_cuts':oldcuts,'inserted_cuts':icuts,'redistributed_cuts':rcuts,'observation':'The Cainan-labelled boundary exists only in the insertion state.'},indent=2)+'\n')
finish(s,{'witness':a,'equal_terminal_total':sum(inserted)},'An added130 can be hidden in a neighbouring interval if only the total is observed. The new Cainan-labelled boundary and its incidence recover the structural distinction.','Summarize the whole-genealogy row grammar before moving to Rounded information loss.',{'same_terminal':sum(inserted)==sum(repartitioned),'different_internal_fields':icuts!=rcuts,'extra_vertex':len(icuts)==len(rcuts)+1})