{
  "configured_decisions": {
    "direct": {
      "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."
    },
    "uptake": {
      "verdict": "at or above",
      "lower": {
        "exact": "321/200",
        "decimal": 1.605
      },
      "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": "321/200",
            "decimal": 1.605
          },
          "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": "321/200",
              "decimal": 1.605
            },
            "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": "399/200",
            "decimal": 1.995
          },
          "effective_reserve_parameter": {
            "exact": "21/10",
            "decimal": 2.1
          },
          "premise": "Initial reserve plus gross first-window uptake cap; this sum is NOT a measured pre-wash reserve bound. Actual reserve may additionally contain first-window fresh material.",
          "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."
    },
    "no-reserve-information": {
      "verdict": "unresolved",
      "lower": {
        "exact": "0",
        "decimal": 0.0
      },
      "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": "0",
            "decimal": 0.0
          },
          "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": "-9/50",
              "decimal": -0.18
            },
            "uniform_retention": {
              "exact": "-9/50",
              "decimal": -0.18
            }
          },
          "active": [
            "nonnegativity"
          ],
          "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": "21/5",
            "decimal": 4.2
          },
          "premise": "No reserve information. Only reserve-free expressions determine the result.",
          "sensitivity": [
            "No reserve premise supplied; an independently justified direct reserve or gross-uptake bound may exclude additional histories."
          ]
        }
      ],
      "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."
    },
    "combined": {
      "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."
          ]
        },
        {
          "lower": {
            "exact": "321/200",
            "decimal": 1.605
          },
          "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": "321/200",
              "decimal": 1.605
            },
            "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": "399/200",
            "decimal": 1.995
          },
          "effective_reserve_parameter": {
            "exact": "21/10",
            "decimal": 2.1
          },
          "premise": "Initial reserve plus gross first-window uptake cap; this sum is NOT a measured pre-wash reserve bound. Actual reserve may additionally contain first-window fresh material.",
          "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."
    }
  },
  "all_initial_splits_attain": [
    {
      "exact": "169/100",
      "decimal": 1.69
    },
    {
      "exact": "169/100",
      "decimal": 1.69
    },
    {
      "exact": "169/100",
      "decimal": 1.69
    }
  ],
  "original_volume_ml": {
    "exact": "10",
    "decimal": 10.0
  },
  "total_window_average_lower": {
    "exact": "169/200",
    "decimal": 0.845
  },
  "paper_reference": {
    "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."
    },
    "washed_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": "9/5",
          "decimal": 1.8
        },
        "fresh": {
          "exact": "21/10",
          "decimal": 2.1
        },
        "release": {
          "exact": "39/10",
          "decimal": 3.9
        },
        "uptake": {
          "exact": "0",
          "decimal": 0.0
        },
        "collection": {
          "exact": "4",
          "decimal": 4.0
        },
        "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": "0",
          "decimal": 0.0
        }
      }
    },
    "unwashed_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": "9/5",
          "decimal": 1.8
        },
        "fresh": {
          "exact": "21/10",
          "decimal": 2.1
        },
        "release": {
          "exact": "39/10",
          "decimal": 3.9
        },
        "uptake": {
          "exact": "0",
          "decimal": 0.0
        },
        "collection": {
          "exact": "57/10",
          "decimal": 5.7
        },
        "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": "0",
          "decimal": 0.0
        }
      }
    },
    "realized_fresh": {
      "exact": "21/10",
      "decimal": 2.1
    }
  },
  "exact_replay_count": 3316,
  "matched_retention": [
    {
      "e": {
        "exact": "0",
        "decimal": 0.0
      },
      "second_collection": {
        "exact": "39/10",
        "decimal": 3.9
      },
      "nominal": {
        "exact": "19/10",
        "decimal": 1.9
      },
      "robust": {
        "exact": "17/10",
        "decimal": 1.7
      }
    },
    {
      "e": {
        "exact": "1/20",
        "decimal": 0.05
      },
      "second_collection": {
        "exact": "4",
        "decimal": 4.0
      },
      "nominal": {
        "exact": "19/10",
        "decimal": 1.9
      },
      "robust": {
        "exact": "169/100",
        "decimal": 1.69
      }
    },
    {
      "e": {
        "exact": "1/2",
        "decimal": 0.5
      },
      "second_collection": {
        "exact": "49/10",
        "decimal": 4.9
      },
      "nominal": {
        "exact": "19/10",
        "decimal": 1.9
      },
      "robust": {
        "exact": "8/5",
        "decimal": 1.6
      }
    },
    {
      "e": {
        "exact": "9/10",
        "decimal": 0.9
      },
      "second_collection": {
        "exact": "57/10",
        "decimal": 5.7
      },
      "nominal": {
        "exact": "19/10",
        "decimal": 1.9
      },
      "robust": {
        "exact": "38/25",
        "decimal": 1.52
      }
    }
  ],
  "measurement_example": {
    "volume_ml": {
      "exact": "2",
      "decimal": 2.0
    },
    "concentration_umol_per_ml": {
      "exact": "3",
      "decimal": 3.0
    },
    "volume_error": {
      "exact": "1/20",
      "decimal": 0.05
    },
    "concentration_error": {
      "exact": "1/10",
      "decimal": 0.1
    },
    "amount_error": {
      "exact": "71/200",
      "decimal": 0.355
    }
  },
  "interpretation": [
    "Credits fresh entry into declared inventory, which may include intermediates; not substrate-specific atom attribution.",
    "No inference of viability, growth, abundance, future function or a steady-state rate.",
    "Initial stock must include all old convertible reserves. Challenge substrate must be assigned once, outside before fresh entry or inside old stock.",
    "Collection physically leaves the accounting boundary once; wash waste is separate.",
    "All inputs are synthetic. Lean is not rerun; exact rational computation checks the source algebra and constructed histories."
  ]
}