Receipt r841

{
  "forbids": null,
  "inputs": {
    "mechanism": "overpayment_recovery"
  },
  "payload": {
    "basis": "assumption",
    "basis_detail": {
      "inputs": [
        {
          "basis": "assumption",
          "name": "mechanism"
        },
        {
          "basis": "cited",
          "name": "hard_and_soft_definitions",
          "source": "this world's published hard and soft savings definitions, served in full by hello_world with skill \"hammer-savings-classification\""
        }
      ],
      "rule": "A figure computed from inputs of more than one basis carries the weakest basis among them, strongest to weakest being measured, then cited, then assumption, so a figure is never stronger than the weakest input that produced it."
    },
    "classification": "hard",
    "classification_meaning": "a hard saving is a reduction evidenced in adjudicated paid claims against the prior period's run rate, expressed on a plan membership basis",
    "classification_reason": "a recovery is a ledger entry against an adjudicated claim, so the dollars are observed rather than modelled",
    "definition_source": "this world's published hard and soft savings definitions, served in full by hello_world with skill \"hammer-savings-classification\"",
    "evidence_required": "the recovery ledger tied to the adjudicated claims it corrects; this world sits on the contracted-pricing leaf, holds no adjudications, and classifies this mechanism without serving any figure for it",
    "is_not": "NOT a savings figure and NOT evidence that the declared mechanism operates: this payload classifies the mechanism the caller declared against this world's cited definitions and carries no number anywhere. Whether the mechanism delivers anything is settled by the evidence class named above, which this world does not hold.",
    "mechanism": "overpayment_recovery",
    "mechanism_meaning": "dollars already paid in error are identified and recovered",
    "not_summed_note": "hard and soft are classified one mechanism at a time and never summed, because a claims-evidenced reduction added to a modelled counterfactual reports one number with two different evidence classes behind it.",
    "world_version": "hammer-coverage-intelligence:2026-10-01+2"
  },
  "redeemed": false,
  "refused": false,
  "tool": "savings_methodology"
}