operations cap and round.json

{
  "operations": [
    {
      "id": "cap_resolved_life",
      "input": "labelledbaselineL andresolvedcapacityc",
      "action": "y=min(L,c)",
      "output": "selectedlifecountwithsourcecounttag",
      "preserved": "orderundercoordinatewiseincrease; unchangedinputbelowcap",
      "lost": "excessL\u2212c abovecap",
      "retained_recovery": "branch-appropriateexcess/residualregister",
      "evidence": [
        "C1202",
        "C1204",
        "C1206"
      ]
    },
    {
      "id": "round_resolved_count",
      "input": "specifiednonnegativeintegerrowcount",
      "action": "Q(x)=5floor((x+2)/5)",
      "output": "roundedrowcountplusoptionalrho=x\u2212Q(x)",
      "preserved": "order;translationsby5Z",
      "lost": "within-cellresidualwhenomitted",
      "retained_recovery": "Q(x)+rho=x;aggregatepathresidualisun-normalizedsum",
      "evidence": [
        "C1190",
        "C1213",
        "C1277",
        "C1278"
      ]
    }
  ],
  "composition": "Q(min(L,c))=min(Q(L),Q(c)) forconsistentlyresolvedcounts; separatelyroundeddatecapacitiesarenotthesameinput.",
  "classification": "Monotone many-to-onemaps; notinvertibleaffinesymmetries."
}