{
  "washed": {
    "verdict": "at or above",
    "lower": {
      "exact": "169/100",
      "decimal": 1.69
    },
    "upper": null,
    "threshold": {
      "exact": "8/5",
      "decimal": 1.6
    },
    "q": [
      {
        "exact": "29/5",
        "decimal": 5.8
      },
      {
        "exact": "19/5",
        "decimal": 3.8
      }
    ],
    "certificates": [
      {
        "lower": {
          "exact": "169/100",
          "decimal": 1.69
        },
        "expressions": {
          "nonnegativity": {
            "exact": "0",
            "decimal": 0.0
          },
          "first_window": {
            "exact": "-21/5",
            "decimal": -4.2
          },
          "total": {
            "exact": "-3/5",
            "decimal": -0.6
          },
          "reserve_sensitive": {
            "exact": "169/100",
            "decimal": 1.69
          },
          "uniform_retention": {
            "exact": "-9/50",
            "decimal": -0.18
          }
        },
        "active": [
          "reserve_sensitive"
        ],
        "first_deficit": {
          "exact": "0",
          "decimal": 0.0
        },
        "remaining_stock": {
          "exact": "21/5",
          "decimal": 4.2
        },
        "maximum_carryover": {
          "exact": "191/100",
          "decimal": 1.91
        },
        "effective_reserve_parameter": {
          "exact": "2",
          "decimal": 2.0
        },
        "premise": "Direct bound on reserve immediately before recovery.",
        "sensitivity": [
          "The reserve-sensitive expression is active. Tightening its parameter increases this expression at slope 17/20; follow all expressions through ties."
        ]
      }
    ],
    "target": "Fresh credited inventory during the two completed windows, per original aliquot.",
    "evidence": "Deterministic implication conditional on simultaneous validity of every stated bound.",
    "feasibility": "Each individual model has an attaining history. Combined premises or extra correlations require a joint compatibility check."
  },
  "unwashed": {
    "verdict": "unresolved",
    "lower": {
      "exact": "38/25",
      "decimal": 1.52
    },
    "upper": null,
    "threshold": {
      "exact": "8/5",
      "decimal": 1.6
    },
    "q": [
      {
        "exact": "29/5",
        "decimal": 5.8
      },
      {
        "exact": "11/2",
        "decimal": 5.5
      }
    ],
    "certificates": [
      {
        "lower": {
          "exact": "38/25",
          "decimal": 1.52
        },
        "expressions": {
          "nonnegativity": {
            "exact": "0",
            "decimal": 0.0
          },
          "first_window": {
            "exact": "-21/5",
            "decimal": -4.2
          },
          "total": {
            "exact": "11/10",
            "decimal": 1.1
          },
          "reserve_sensitive": {
            "exact": "38/25",
            "decimal": 1.52
          },
          "uniform_retention": {
            "exact": "38/25",
            "decimal": 1.52
          }
        },
        "active": [
          "reserve_sensitive",
          "uniform_retention"
        ],
        "first_deficit": {
          "exact": "0",
          "decimal": 0.0
        },
        "remaining_stock": {
          "exact": "21/5",
          "decimal": 4.2
        },
        "maximum_carryover": {
          "exact": "189/50",
          "decimal": 3.78
        },
        "effective_reserve_parameter": {
          "exact": "2",
          "decimal": 2.0
        },
        "premise": "Direct bound on reserve immediately before recovery.",
        "sensitivity": [
          "Local tightening of this reserve parameter has no effect while e=s or J remains above the remaining stock."
        ]
      }
    ],
    "target": "Fresh credited inventory during the two completed windows, per original aliquot.",
    "evidence": "Deterministic implication conditional on simultaneous validity of every stated bound.",
    "feasibility": "Each individual model has an attaining history. Combined premises or extra correlations require a joint compatibility check."
  },
  "attaining": {
    "first": {
      "mobile": {
        "exact": "10",
        "decimal": 10.0
      },
      "reserve": {
        "exact": "0",
        "decimal": 0.0
      },
      "fresh": {
        "exact": "0",
        "decimal": 0.0
      },
      "release": {
        "exact": "0",
        "decimal": 0.0
      },
      "uptake": {
        "exact": "2",
        "decimal": 2.0
      },
      "collection": {
        "exact": "29/5",
        "decimal": 5.8
      },
      "mobile_loss": {
        "exact": "0",
        "decimal": 0.0
      },
      "reserve_loss": {
        "exact": "0",
        "decimal": 0.0
      }
    },
    "second": {
      "mobile": {
        "exact": "11/100",
        "decimal": 0.11
      },
      "reserve": {
        "exact": "2",
        "decimal": 2.0
      },
      "fresh": {
        "exact": "169/100",
        "decimal": 1.69
      },
      "release": {
        "exact": "369/100",
        "decimal": 3.69
      },
      "uptake": {
        "exact": "0",
        "decimal": 0.0
      },
      "collection": {
        "exact": "19/5",
        "decimal": 3.8
      },
      "mobile_loss": {
        "exact": "0",
        "decimal": 0.0
      },
      "reserve_loss": {
        "exact": "0",
        "decimal": 0.0
      }
    },
    "recovery": {
      "mobile_retention": {
        "exact": "1/20",
        "decimal": 0.05
      },
      "reserve_retention": {
        "exact": "9/10",
        "decimal": 0.9
      },
      "mobile_input": {
        "exact": "0",
        "decimal": 0.0
      },
      "reserve_input": {
        "exact": "1/5",
        "decimal": 0.2
      }
    }
  },
  "matched_upper_edge_histories": [
    {
      "history": {
        "first": {
          "mobile": {
            "exact": "8",
            "decimal": 8.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          },
          "release": {
            "exact": "0",
            "decimal": 0.0
          },
          "uptake": {
            "exact": "0",
            "decimal": 0.0
          },
          "collection": {
            "exact": "6",
            "decimal": 6.0
          },
          "mobile_loss": {
            "exact": "0",
            "decimal": 0.0
          },
          "reserve_loss": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        "second": {
          "mobile": {
            "exact": "1/10",
            "decimal": 0.1
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "fresh": {
            "exact": "21/10",
            "decimal": 2.1
          },
          "release": {
            "exact": "41/10",
            "decimal": 4.1
          },
          "uptake": {
            "exact": "0",
            "decimal": 0.0
          },
          "collection": {
            "exact": "21/5",
            "decimal": 4.2
          },
          "mobile_loss": {
            "exact": "0",
            "decimal": 0.0
          },
          "reserve_loss": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        "recovery": {
          "mobile_retention": {
            "exact": "1/20",
            "decimal": 0.05
          },
          "reserve_retention": {
            "exact": "9/10",
            "decimal": 0.9
          },
          "mobile_input": {
            "exact": "0",
            "decimal": 0.0
          },
          "reserve_input": {
            "exact": "1/5",
            "decimal": 0.2
          }
        }
      },
      "fresh": {
        "exact": "21/10",
        "decimal": 2.1
      },
      "ledger": [
        {
          "window": 1,
          "event": "initial",
          "mobile": {
            "exact": "8",
            "decimal": 8.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 1,
          "event": "fresh",
          "mobile": {
            "exact": "8",
            "decimal": 8.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 1,
          "event": "release",
          "mobile": {
            "exact": "8",
            "decimal": 8.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 1,
          "event": "uptake",
          "mobile": {
            "exact": "8",
            "decimal": 8.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 1,
          "event": "collection",
          "mobile": {
            "exact": "2",
            "decimal": 2.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "6",
            "decimal": 6.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 1,
          "event": "mobile-loss",
          "mobile": {
            "exact": "2",
            "decimal": 2.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "6",
            "decimal": 6.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 1,
          "event": "reserve-loss",
          "mobile": {
            "exact": "2",
            "decimal": 2.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "6",
            "decimal": 6.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 2,
          "event": "initial",
          "mobile": {
            "exact": "1/10",
            "decimal": 0.1
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 2,
          "event": "fresh",
          "mobile": {
            "exact": "1/10",
            "decimal": 0.1
          },
          "reserve": {
            "exact": "41/10",
            "decimal": 4.1
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "21/10",
            "decimal": 2.1
          }
        },
        {
          "window": 2,
          "event": "release",
          "mobile": {
            "exact": "21/5",
            "decimal": 4.2
          },
          "reserve": {
            "exact": "0",
            "decimal": 0.0
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "21/10",
            "decimal": 2.1
          }
        },
        {
          "window": 2,
          "event": "uptake",
          "mobile": {
            "exact": "21/5",
            "decimal": 4.2
          },
          "reserve": {
            "exact": "0",
            "decimal": 0.0
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "21/10",
            "decimal": 2.1
          }
        },
        {
          "window": 2,
          "event": "collection",
          "mobile": {
            "exact": "0",
            "decimal": 0.0
          },
          "reserve": {
            "exact": "0",
            "decimal": 0.0
          },
          "collected": {
            "exact": "21/5",
            "decimal": 4.2
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "21/10",
            "decimal": 2.1
          }
        },
        {
          "window": 2,
          "event": "mobile-loss",
          "mobile": {
            "exact": "0",
            "decimal": 0.0
          },
          "reserve": {
            "exact": "0",
            "decimal": 0.0
          },
          "collected": {
            "exact": "21/5",
            "decimal": 4.2
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "21/10",
            "decimal": 2.1
          }
        },
        {
          "window": 2,
          "event": "reserve-loss",
          "mobile": {
            "exact": "0",
            "decimal": 0.0
          },
          "reserve": {
            "exact": "0",
            "decimal": 0.0
          },
          "collected": {
            "exact": "21/5",
            "decimal": 4.2
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "21/10",
            "decimal": 2.1
          }
        }
      ]
    },
    {
      "history": {
        "first": {
          "mobile": {
            "exact": "8",
            "decimal": 8.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          },
          "release": {
            "exact": "0",
            "decimal": 0.0
          },
          "uptake": {
            "exact": "0",
            "decimal": 0.0
          },
          "collection": {
            "exact": "6",
            "decimal": 6.0
          },
          "mobile_loss": {
            "exact": "0",
            "decimal": 0.0
          },
          "reserve_loss": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        "second": {
          "mobile": {
            "exact": "9/5",
            "decimal": 1.8
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "fresh": {
            "exact": "21/10",
            "decimal": 2.1
          },
          "release": {
            "exact": "41/10",
            "decimal": 4.1
          },
          "uptake": {
            "exact": "0",
            "decimal": 0.0
          },
          "collection": {
            "exact": "59/10",
            "decimal": 5.9
          },
          "mobile_loss": {
            "exact": "0",
            "decimal": 0.0
          },
          "reserve_loss": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        "recovery": {
          "mobile_retention": {
            "exact": "9/10",
            "decimal": 0.9
          },
          "reserve_retention": {
            "exact": "9/10",
            "decimal": 0.9
          },
          "mobile_input": {
            "exact": "0",
            "decimal": 0.0
          },
          "reserve_input": {
            "exact": "1/5",
            "decimal": 0.2
          }
        }
      },
      "fresh": {
        "exact": "21/10",
        "decimal": 2.1
      },
      "ledger": [
        {
          "window": 1,
          "event": "initial",
          "mobile": {
            "exact": "8",
            "decimal": 8.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 1,
          "event": "fresh",
          "mobile": {
            "exact": "8",
            "decimal": 8.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 1,
          "event": "release",
          "mobile": {
            "exact": "8",
            "decimal": 8.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 1,
          "event": "uptake",
          "mobile": {
            "exact": "8",
            "decimal": 8.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 1,
          "event": "collection",
          "mobile": {
            "exact": "2",
            "decimal": 2.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "6",
            "decimal": 6.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 1,
          "event": "mobile-loss",
          "mobile": {
            "exact": "2",
            "decimal": 2.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "6",
            "decimal": 6.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 1,
          "event": "reserve-loss",
          "mobile": {
            "exact": "2",
            "decimal": 2.0
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "6",
            "decimal": 6.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 2,
          "event": "initial",
          "mobile": {
            "exact": "9/5",
            "decimal": 1.8
          },
          "reserve": {
            "exact": "2",
            "decimal": 2.0
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "0",
            "decimal": 0.0
          }
        },
        {
          "window": 2,
          "event": "fresh",
          "mobile": {
            "exact": "9/5",
            "decimal": 1.8
          },
          "reserve": {
            "exact": "41/10",
            "decimal": 4.1
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "21/10",
            "decimal": 2.1
          }
        },
        {
          "window": 2,
          "event": "release",
          "mobile": {
            "exact": "59/10",
            "decimal": 5.9
          },
          "reserve": {
            "exact": "0",
            "decimal": 0.0
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "21/10",
            "decimal": 2.1
          }
        },
        {
          "window": 2,
          "event": "uptake",
          "mobile": {
            "exact": "59/10",
            "decimal": 5.9
          },
          "reserve": {
            "exact": "0",
            "decimal": 0.0
          },
          "collected": {
            "exact": "0",
            "decimal": 0.0
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "21/10",
            "decimal": 2.1
          }
        },
        {
          "window": 2,
          "event": "collection",
          "mobile": {
            "exact": "0",
            "decimal": 0.0
          },
          "reserve": {
            "exact": "0",
            "decimal": 0.0
          },
          "collected": {
            "exact": "59/10",
            "decimal": 5.9
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "21/10",
            "decimal": 2.1
          }
        },
        {
          "window": 2,
          "event": "mobile-loss",
          "mobile": {
            "exact": "0",
            "decimal": 0.0
          },
          "reserve": {
            "exact": "0",
            "decimal": 0.0
          },
          "collected": {
            "exact": "59/10",
            "decimal": 5.9
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "21/10",
            "decimal": 2.1
          }
        },
        {
          "window": 2,
          "event": "reserve-loss",
          "mobile": {
            "exact": "0",
            "decimal": 0.0
          },
          "reserve": {
            "exact": "0",
            "decimal": 0.0
          },
          "collected": {
            "exact": "59/10",
            "decimal": 5.9
          },
          "lost": {
            "exact": "0",
            "decimal": 0.0
          },
          "fresh": {
            "exact": "21/10",
            "decimal": 2.1
          }
        }
      ]
    }
  ]
}