s1025.py

from research import *
s=begin(1025,'Reflection obstruction under contraction','Can occurrence reflection define a consistent map on the ten sections?',{},['C1023','C1024'])
p=json.loads((ROOT/'model/toledot_quotient.json').read_text());q=p['occurrence_to_section'];bad=[]
for block in p['blocks']:
 imgs=[12-i for i in block];sections=sorted({q[i-1] for i in imgs})
 if len(sections)>1:bad.append({'block':block,'reflected_occurrences':imgs,'sections':sections})
finish(s,{'obstructions':bad,'reflection_descends':not bad},'The merged Esau class reflects into distinct Noah and Adam sections. Therefore occurrence reflection cannot define a single section-level image for that class.','Retain multiplicity to preserve the occurrence measure without changing the source sections.',{'unique_obstruction':len(bad)==1,'Esau_obstruction':bad[0]=={'block':[9,10],'reflected_occurrences':[3,2],'sections':[2,3]}})