{
  "id": "cap_round_monotonicity",
  "class": "identity",
  "statement": "Q(min(L,c))=min(Q(L),Q(c))",
  "inputs": "SameintegerL,c andsameorder-preservingQ onresolvedcountmeasures",
  "proof": "WhicheverofL,c issmallerhasthenolargerQvalue;bothroutesselectthatvalue.",
  "application": "NineSPpreNoah lifecounts,withinclusivecapacityresolvedbeforeQ",
  "information": "Equalityofroutesdoesnotrestoreexcesslifeorroundingresidual.",
  "limits": [
    "Usingexactc ononlyonerouteisadifferentcomparison",
    "RoundingBCbirth/Floodlabelsfirstdoesnotcomputethesameresolvedcapacity",
    "OrdinarybiographicalL=b+r isnotinferredforinclusiveSPcounts"
  ],
  "evidence": [
    "C1202\u2013C1212",
    "model/cap_round_commutation_scope.json",
    "model/cap_round_visibility_witnesses.json"
  ]
}