{
  "schema_version": 1,
  "kind": "formal-wiki-evidence-review",
  "review_id": "priority-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 finite teaching protocol and four selected raw checks. Two seats, at most two calls and ten receipt identifiers exercise actor return, exact caller/child/transaction/reception binding and consecutive passes. The three controls fail their intended named properties. Checkpoint draining and child completion are supplied providers; no fairness or eventual completion result is claimed.",
  "package_id": "priority",
  "input_manifest_sha256": "04133ab1081702b4cce15176241db1644c4ae12d305408b232f0a078b55597fa",
  "tool_sha256": "5bd7b64db99ae4c6c35f290de5e809c0ee41af43f8699cf696099ffb6452b1e2",
  "models": [
    {
      "model_id": "ordinary",
      "raw_receipt_sha256": "c1d03fb3b7ad57c021d03b771cd0b75fee773e1d432f13025413d01a92b9ae4c",
      "outcome": "success",
      "actual_exit": 0,
      "properties": [
        "TypeOK",
        "FreshCalls",
        "FreshReceipts",
        "SuspendedCallerCannotAct",
        "ReturnStaysWithActor",
        "ExactCallerReceipt",
        "TwoConsecutivePasses",
        "ReadyPassMarker",
        "StaleReturnRejected"
      ],
      "bounds": {
        "MaxCalls": 2,
        "MaxReceipts": 10,
        "maximum_child_depth": 1
      },
      "fairness": [],
      "assumptions": [],
      "constraints": []
    },
    {
      "model_id": "alternate-holder",
      "raw_receipt_sha256": "be45b2ef2ab98144a4fecb78ffa199cec776df7f3fcbe0b2ec3777cf874e9209",
      "outcome": "safety-counterexample",
      "actual_exit": 12,
      "properties": [
        "TypeOK",
        "FreshCalls",
        "FreshReceipts",
        "SuspendedCallerCannotAct",
        "ReturnStaysWithActor",
        "ExactCallerReceipt",
        "TwoConsecutivePasses",
        "ReadyPassMarker",
        "StaleReturnRejected"
      ],
      "bounds": {
        "MaxCalls": 2,
        "MaxReceipts": 10,
        "maximum_child_depth": 1
      },
      "fairness": [],
      "assumptions": [],
      "constraints": []
    },
    {
      "model_id": "sticky-pass",
      "raw_receipt_sha256": "513168949488dc30bf12ea24cec46fb0610e53391929693ce10312c08951d966",
      "outcome": "safety-counterexample",
      "actual_exit": 12,
      "properties": [
        "TypeOK",
        "FreshCalls",
        "FreshReceipts",
        "SuspendedCallerCannotAct",
        "ReturnStaysWithActor",
        "ExactCallerReceipt",
        "TwoConsecutivePasses",
        "StaleReturnRejected"
      ],
      "bounds": {
        "MaxCalls": 2,
        "MaxReceipts": 10,
        "maximum_child_depth": 1
      },
      "fairness": [],
      "assumptions": [],
      "constraints": []
    },
    {
      "model_id": "wrong-caller",
      "raw_receipt_sha256": "d20af280fb748395e0dae85107ff48eb20c5858ac6e41262ac206a479bb0ac02",
      "outcome": "safety-counterexample",
      "actual_exit": 12,
      "properties": [
        "TypeOK",
        "FreshCalls",
        "FreshReceipts",
        "SuspendedCallerCannotAct",
        "ReturnStaysWithActor",
        "ExactCallerReceipt",
        "TwoConsecutivePasses",
        "ReadyPassMarker",
        "StaleReturnRejected"
      ],
      "bounds": {
        "MaxCalls": 2,
        "MaxReceipts": 10,
        "maximum_child_depth": 1
      },
      "fairness": [],
      "assumptions": [],
      "constraints": []
    }
  ],
  "open_findings": []
}