[
  {
    "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)\u2212n.",
    "preservation": "Order is preserved; additivity and exact invertibility generally fail."
  },
  {
    "name": "Cap a resolved lifespan ledger",
    "rule": "Y_i=min(L_i,B_i\u2212F+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\u2212a); 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."
  }
]