s1106.py

from research import *
s=begin(1106,'Shared operation inventory','What short list of operations can reconstruct the connected families?',{},['Strategy §5B–G','C1069','C1105'])
ops=[{'name':'Select a declared source state','rule':'Use the finite source inventory with its row and event bindings.','preservation':'No unlimited repeated variant addition is inferred.'},{'name':'Choose and accumulate a measure','rule':'X_i=a+sum of selected downstream weights.','preservation':'A complete ordered field and anchor recover adjacent weights.'},{'name':'Round resolved row counts','rule':'Q(n)=5 floor((n+2)/5) on the positive integer count domain used here; retain e=Q(n)−n.','preservation':'Order is preserved; additivity and exact invertibility generally fail.'},{'name':'Cap a resolved lifespan ledger','rule':'Y_i=min(L_i,B_i−F+1), with source-qualified count/death tags.','preservation':'Monotone, idempotent, many-to-one.'},{'name':'Reverse admitted original components once','rule':'Strip and retain trailing-zero placeholders; reverse the remaining decimal core; restore placeholders.','preservation':'Partition and digit register matter; no general additive law.'},{'name':'Apply an exact Key about a pivot','rule':'D(k,a)(x)=a+k(x−a); selected components may have separate declared roles.','preservation':'Exact rational differences scale; integer-stage domains require divisibility.'},{'name':'Translate a specified field','rule':'Move precisely the source-declared nodes by the stated amount.','preservation':'Internal differences survive common translation; scope cannot be enlarged.'},{'name':'Group or coarsen with retained measure','rule':'Sum declared blocks or identify source classes; carry multiplicities when needed.','preservation':'Symmetry descends only when the grouping respects the action.'}]
a=artifact('deliverables/Operation_Inventory_C1131.json',json.dumps(ops,indent=2)+'\n')
md='## A short operation inventory\n\n| Operation | Construction | What must be retained |\n|---|---|---|\n'+'\n'.join('| '+x['name']+' | '+x['rule']+' | '+x['preservation']+' |' for x in ops)+'\n\nThese operations have different domains and information effects. Together they form a source-qualified network of constructions. They do not form one group of reversible date transformations.\n'
b=artifact('deliverables/components/Operation_Inventory.md',md)
finish(s,{'inventory':a,'reader_table':b,'operations':len(ops)},'Eight operations describe the working grammar while keeping measurement, source scope and information loss explicit. The inventory does not claim global minimality.','State the nonredundant constraints and classify their dependent displays.',{'eight_operations':len(ops)==8,'cap_and_round_separate':ops[2]['name']!=ops[3]['name'],'no_global_group':'one group' in md})