from research import *
s=begin(798,'Keep the reflection and deletion constructions distinct','Does substituting the expunged Flood preserve the displayed reflection?',{},['File53 §3A.2 versus §3A.4'])
f=json.loads((ROOT/'model/BJ_comparison_reflection.json').read_text());old=[x['BC'] for x in f['nodes']];diagnostic=[2492 if x==2549 else x for x in old];mirror=lambda x:5198-x
finish(s,{'comparison_Flood':2549,'expunged_ledger_Flood':2492,'diagnostic_missing_mirrors':[mirror(x) for x in diagnostic if mirror(x) not in diagnostic],'state_rule':'Do not transfer a node from one comparison object into the other.'},'Replacing only the original Flood with the expunged Flood breaks closure. The positive reflection is preserved by respecting the source comparison roles, not by declaring the entire compressed chronology symmetric.','Reconstruct the whole biological and surface BJ spine.',{'source_states_differ':2549-2492==57,'no_false_closure':set(map(mirror,diagnostic))!=set(diagnostic)})