{
  "steps": [
    "Write the intended claim.",
    "Fix the original unit, denominator, task and deadline.",
    "Trace material and observations through preparation and measurement.",
    "Construct another explanation that fits the record but changes the decision.",
    "Choose an observation or intervention and budget its uncertainty, material, time and disturbance.",
    "Validate the complete prespecified rule in its intended setting, retaining unresolved and unevaluable outcomes."
  ],
  "future_records": [
    {
      "record": "supported",
      "result": "supported"
    },
    {
      "record": "excluded",
      "result": "excluded"
    },
    {
      "record": "unresolved",
      "result": "unresolved"
    },
    {
      "record": "missing",
      "result": "unevaluable"
    },
    {
      "record": "incompatible",
      "result": "incompatible"
    },
    {
      "record": "nonempty-outer-without-witness",
      "result": "unresolved: feasibility not established"
    }
  ],
  "denominator": 6,
  "evidence_scope": "This casebook executes mathematical source contracts; it performs no biological validation. Its different guarantee types cannot be substituted for one another."
}