s1301.py

from research import *
s=begin(1301,'Register grouping and source-qualified reflection','When can acoarserrepresentation preserve ameasureorsymmetry?',{},['C1300','inherited/model/toledot_quotient.json','C1009–C1029 inherited'])
ops=[{'id':'group_source_blocks','input':'orderedweightedsourceobjectanddeclaredblockmap','action':'sumweightsinblocks; retainmultiplicityforidentifiedoccurrences','output':'coarserlabelledmeasure','preserved':'totalmeasurewhenweightsandmultiplicitiescarried','lost':'internalpositionsandweightsunlessretainedseparately','domain':'Sourcecategoriesandorderdeclaredbeforeexecution','evidence':['C1009–C1029','C1277']},{'id':'source_reflection','input':'declaredcoordinatechartorfiniteorderedobjectwithappointedcenter/reversal','action':'applythesource-definedreflectiononthatobject','output':'reflectedfieldwithsameobjecttags','preserved':'dependsonthefixedsourceaction;groupingmustmapwholefibrescompatiblyfordescent','lost':'noautomaticdescenttoarbitraryquotients','domain':'RoundedqMirror,civil-displayreflectionandsame-sidereflectionaredistinct','evidence':['Strategy4.5/5E','C1024–C1029 inherited']}]
a=artifact('model/operations_group_and_reflect.json',json.dumps({'operations':ops,'contrast':'NTseven-edgegroupingpreservesitsreflection;Toledotoccurrencecollapsepreservesmeasurewithmultiplicitybutnotitsreflection.'},indent=2)+'\n')
finish(s,{'group_reflection':a},'Groupingpreservesaselectedmeasure whenitsweightsandmultiplicitiesarecarried. Reflectionrequiresadditionalcompatibilityofthesourcegrouping, explainingwhytheNT andToledot examplesdiffer.','Assemble theoperationinventory andlink eachoperationtoitsretainedsourcepremises.',{'two_ops':len(ops)==2,'multiplicity':'multiplicity' in ops[0]['action']})