{
  "schema_version": 1,
  "kind": "formal-wiki-evidence-review",
  "review_id": "identity-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 model and two selected raw checks. Two physical items, two areas, two positions and occurrence identifiers bounded to four exercise renewal, retirement, immutable history and explicit successor following. The implicit-follow control fails NoImplicitRetarget. Hosts, controllers, general visibility and hidden-information noninterference are outside this model.",
  "package_id": "identity",
  "input_manifest_sha256": "7b551331382b7a65fb4dcca7ffbef38cfa953807befbb2472bd9039fe2f73b7b",
  "tool_sha256": "5bd7b64db99ae4c6c35f290de5e809c0ee41af43f8699cf696099ffb6452b1e2",
  "models": [
    {
      "model_id": "ordinary",
      "raw_receipt_sha256": "7b6ecc2bc45636100e5a6dd87d9e144dbc1943d181eb4190c71943ccb07efec1",
      "outcome": "success",
      "actual_exit": 0,
      "properties": [
        "TypeOK",
        "LivePastSeparated",
        "FreshAllocation",
        "UniquePhysicalItems",
        "StationaryObjectFrame",
        "NoImplicitRetarget",
        "RenewalClearsMarks",
        "RetiredReferenceIsNotLive",
        "StableHistory"
      ],
      "bounds": {
        "MaxOccurrence": 4,
        "physical_items": 2,
        "positions": 2
      },
      "fairness": [],
      "assumptions": [],
      "constraints": []
    },
    {
      "model_id": "implicit-follow",
      "raw_receipt_sha256": "a2f41c2e091a927dafe5b402308f5e2332a35dcfcb851f5411b96aa64c30fa0b",
      "outcome": "safety-counterexample",
      "actual_exit": 12,
      "properties": [
        "TypeOK",
        "LivePastSeparated",
        "FreshAllocation",
        "UniquePhysicalItems",
        "StationaryObjectFrame",
        "NoImplicitRetarget",
        "RenewalClearsMarks",
        "RetiredReferenceIsNotLive"
      ],
      "bounds": {
        "MaxOccurrence": 4,
        "physical_items": 2,
        "positions": 2
      },
      "fairness": [],
      "assumptions": [],
      "constraints": []
    }
  ],
  "open_findings": []
}