{
  "operations": [
    {
      "id": "row_repartition",
      "input_object": "ordinarycompatible(b,r,L),L=b+r",
      "action": "(b+d,r\u2212d,L)",
      "preserved": "L",
      "lost": "nonewhen d retained",
      "domain": "b+d>=0 andr\u2212d>=0; sourcechoosesallowedd androws",
      "source_support": "namedrowmask",
      "evidence": [
        "C1152",
        "C1173",
        "C1175"
      ]
    },
    {
      "id": "life_adjustment",
      "input_object": "ordinarycompatible(b,r,L),L=b+r",
      "action": "(b,r+e,L+e)",
      "preserved": "b",
      "lost": "nonewhen e retained",
      "domain": "r+e>=0; sourcechoosesallowede androws",
      "source_support": "namedrowmask",
      "evidence": [
        "C1152",
        "C1182"
      ]
    }
  ],
  "combined": "Uniqueordinaryrowdifference hasd=delta_b ande=delta_L.",
  "composition": "Unrestrictedmapscommute; intermediatevalidity andsourceadmission areadditionalconditions.",
  "not_applied": "InclusiveSPcountrows arenotsilentlyordinarybiographies."
}