{
  "schema_version": 1,
  "kind": "formal-wiki-evidence-review",
  "review_id": "payment-teaching-evidence-review-r1",
  "status": "accepted",
  "independent": true,
  "reviewers": [
    "Primary implementation agent, technical review independent of these teaching-model authors; automated checks and source reading, not a human audience study"
  ],
  "summary": "Independent technical review of the exact original teaching model and nine selected raw checks. Six arithmetic fixtures are prepared assertions. The wallet specialization has one attempt, explicit zero/decline distinction, atomic debit/use recording, and WF(Complete) only. Late-use controls fail UseRecorded; observation-stop traces are legal witnesses, not correctness failures. This does not qualify a general cost interpreter or every full-profile payment contract.",
  "package_id": "payment",
  "input_manifest_sha256": "f25d31eca9f7d00b9561f2e29e15e615f25726e4a7790a562cfd7b700f5f9e97",
  "tool_sha256": "5bd7b64db99ae4c6c35f290de5e809c0ee41af43f8699cf696099ffb6452b1e2",
  "models": [
    {
      "model_id": "arithmetic",
      "raw_receipt_sha256": "18b044cb2400250def61706457fbabeb7ca761d2cc40ed8118ebf29c88a67f0f",
      "outcome": "success",
      "actual_exit": 0,
      "properties": [
        "ArithmeticExamples"
      ],
      "bounds": {
        "prepared_examples": 6
      },
      "fairness": [],
      "assumptions": [],
      "constraints": []
    },
    {
      "model_id": "ordinary-zero",
      "raw_receipt_sha256": "45dea8db3eb3d5fe4679b3026f31c5cc91f5461bb6ba4d6f539de6bdac78449f",
      "outcome": "success",
      "actual_exit": 0,
      "properties": [
        "TypeOK",
        "UseRecorded",
        "PaymentIsExact",
        "DeclineIsUnpaid",
        "AdmissionMatchesWallet",
        "NoDoublePayment",
        "Completion"
      ],
      "bounds": {
        "base_cost": 0,
        "initial_funds": 3,
        "late_use": false,
        "single_attempt": true
      },
      "fairness": [
        "WF_vars(Complete): continuously enabled completion cannot be postponed forever."
      ],
      "assumptions": [
        "A single supported wallet payment; no general cost interpreter.",
        "Completion fairness applies only to this finite teaching model."
      ],
      "constraints": []
    },
    {
      "model_id": "ordinary-positive",
      "raw_receipt_sha256": "a0c186823e6983d181b3439d0ba7b8c2d069f9abfc21c9da50ee5444ad96ec18",
      "outcome": "success",
      "actual_exit": 0,
      "properties": [
        "TypeOK",
        "UseRecorded",
        "PaymentIsExact",
        "DeclineIsUnpaid",
        "AdmissionMatchesWallet",
        "NoDoublePayment",
        "Completion"
      ],
      "bounds": {
        "base_cost": 2,
        "initial_funds": 3,
        "late_use": false,
        "single_attempt": true
      },
      "fairness": [
        "WF_vars(Complete): continuously enabled completion cannot be postponed forever."
      ],
      "assumptions": [
        "A single supported wallet payment; no general cost interpreter.",
        "Completion fairness applies only to this finite teaching model."
      ],
      "constraints": []
    },
    {
      "model_id": "ordinary-insufficient",
      "raw_receipt_sha256": "d6dca9d0a624901ba3c82f8aa780f182d7448cad8d6152616e21123bfb89dbbf",
      "outcome": "success",
      "actual_exit": 0,
      "properties": [
        "TypeOK",
        "UseRecorded",
        "PaymentIsExact",
        "DeclineIsUnpaid",
        "AdmissionMatchesWallet",
        "NoDoublePayment",
        "Completion"
      ],
      "bounds": {
        "base_cost": 2,
        "initial_funds": 1,
        "late_use": false,
        "single_attempt": true
      },
      "fairness": [
        "WF_vars(Complete): continuously enabled completion cannot be postponed forever."
      ],
      "assumptions": [
        "A single supported wallet payment; no general cost interpreter.",
        "Completion fairness applies only to this finite teaching model."
      ],
      "constraints": []
    },
    {
      "model_id": "zero-empty-wallet",
      "raw_receipt_sha256": "1de56250f8f033a5445079aaf29f2a1bb63d9c95554a1ed6fe728168a410b126",
      "outcome": "success",
      "actual_exit": 0,
      "properties": [
        "TypeOK",
        "UseRecorded",
        "PaymentIsExact",
        "DeclineIsUnpaid",
        "AdmissionMatchesWallet",
        "NoDoublePayment",
        "Completion"
      ],
      "bounds": {
        "base_cost": 0,
        "initial_funds": 0,
        "late_use": false,
        "single_attempt": true
      },
      "fairness": [
        "WF_vars(Complete): continuously enabled completion cannot be postponed forever."
      ],
      "assumptions": [
        "A single supported wallet payment; no general cost interpreter.",
        "Completion fairness applies only to this finite teaching model."
      ],
      "constraints": []
    },
    {
      "model_id": "late-use-zero",
      "raw_receipt_sha256": "939ab98357fcbc6196004254ecd8deb06d05779969784d8b3e3064889fb4d412",
      "outcome": "safety-counterexample",
      "actual_exit": 12,
      "properties": [
        "TypeOK",
        "UseRecorded",
        "PaymentIsExact",
        "DeclineIsUnpaid",
        "AdmissionMatchesWallet",
        "NoDoublePayment"
      ],
      "bounds": {
        "base_cost": 0,
        "initial_funds": 3,
        "late_use": true,
        "single_attempt": true
      },
      "fairness": [
        "WF_vars(Complete): continuously enabled completion cannot be postponed forever."
      ],
      "assumptions": [
        "A single supported wallet payment; no general cost interpreter.",
        "Completion fairness applies only to this finite teaching model."
      ],
      "constraints": []
    },
    {
      "model_id": "late-use-positive",
      "raw_receipt_sha256": "d6e909349c9019969fbc3fbca55043b6de333c3bd1620c62b6a0efd1ec0a02f5",
      "outcome": "safety-counterexample",
      "actual_exit": 12,
      "properties": [
        "TypeOK",
        "UseRecorded",
        "PaymentIsExact",
        "DeclineIsUnpaid",
        "AdmissionMatchesWallet",
        "NoDoublePayment"
      ],
      "bounds": {
        "base_cost": 2,
        "initial_funds": 3,
        "late_use": true,
        "single_attempt": true
      },
      "fairness": [
        "WF_vars(Complete): continuously enabled completion cannot be postponed forever."
      ],
      "assumptions": [
        "A single supported wallet payment; no general cost interpreter.",
        "Completion fairness applies only to this finite teaching model."
      ],
      "constraints": []
    },
    {
      "model_id": "witness-zero",
      "raw_receipt_sha256": "9ef4e440ac9df66d6a15bb638a329d8cbbd362765b375651087cb8efbf216067",
      "outcome": "witness",
      "actual_exit": 12,
      "properties": [
        "StopBeforeCompletion"
      ],
      "bounds": {
        "base_cost": 0,
        "initial_funds": 3,
        "late_use": false,
        "single_attempt": true
      },
      "fairness": [
        "WF_vars(Complete): continuously enabled completion cannot be postponed forever."
      ],
      "assumptions": [
        "A single supported wallet payment; no general cost interpreter.",
        "Completion fairness applies only to this finite teaching model."
      ],
      "constraints": []
    },
    {
      "model_id": "witness-positive",
      "raw_receipt_sha256": "3be679476886943bf6d788799ca7dd67c3593eb2f31dee95edfbaf23f59036cc",
      "outcome": "witness",
      "actual_exit": 12,
      "properties": [
        "StopBeforeCompletion"
      ],
      "bounds": {
        "base_cost": 2,
        "initial_funds": 3,
        "late_use": false,
        "single_attempt": true
      },
      "fairness": [
        "WF_vars(Complete): continuously enabled completion cannot be postponed forever."
      ],
      "assumptions": [
        "A single supported wallet payment; no general cost interpreter.",
        "Completion fairness applies only to this finite teaching model."
      ],
      "constraints": []
    }
  ],
  "open_findings": []
}