from research import *
s=begin(1026,'Multiplicity preserves a lost measure','What source information restores the5|1|5 occurrence count?',{},['C1023–C1025'])
p=json.loads((ROOT/'model/toledot_quotient.json').read_text());weights=[len(b) for b in p['blocks']];before=sum(weights[:5]);after=sum(weights[6:])
finish(s,{'section_weights':weights,'weighted_arms':[before,after],'total_occurrences':sum(weights),'limit':'measure restored; single-valued section reflection still absent'},'Retaining section multiplicities preserves the occurrence count and its center. It does not make the obstructed reflection single-valued on unexpanded sections.','Identify the extra grouping a formal reflection-stable quotient would require.',{'weights':weights==[1,1,1,1,1,1,1,1,2,1],'equal_weighted_arms':before==after==5,'count':sum(weights)==11})
Evidence
s1026.py
Edition and provenance
s1026.py
SHA-256 bf13c35c0188ad0dd16f8b9ae9304c46fc5d94ba017770fc81bc3b347a82b1b9
C480–C1634/Research_Cycles/C0932_C1131/evidence/s1026.py