{
  "artifactClass": "worked-example-recording",
  "schemaVersion": "1.0",
  "engineSourceRevision": "49bae762c23c90433a62b8e51e6b1efd3e7f6303",
  "engine": {
    "entrypoint": "YichusApiCore from the Scala.js api-mcp bundle",
    "artifactSha256": "c89a97090bc58368bf97f056a3b898aaad67e3786ed4603e079d3756c3c7b0c6"
  },
  "method": "Static api_access_check on each complete source; api_permissions on the repaired source; and seven recorded api_why executions: owner view, denied view, direct staff review, missing case, owner reply, denied reply, and direct staff resolution. Every runtime example uses a fresh in-memory world seeded from the displayed rows; direct staff calls do not pass through HTTP authentication or route-role enforcement.",
  "runtimeParameters": {
    "seed": 41,
    "observe": false,
    "variations": 5
  },
  "sources": {
    "before": {
      "path": "demos/examples/support-access/support-access-before.bosatsu",
      "sha256": "376677ca621b40b324dcca9c2f840a0462c5d6b62284c64ebd41b88c6171719c"
    },
    "after": {
      "path": "demos/examples/support-access/support-access-after.bosatsu",
      "sha256": "57c925c01d7a146d3cb2fc247f9ffe511830319dbd45081524b710da7f4ad488"
    }
  },
  "access": {
    "before": {
      "proven": false,
      "resourceStatus": "violated"
    },
    "after": {
      "proven": true,
      "resourceStatus": "holds"
    }
  },
  "runtime": {
    "ownerStatus": 200,
    "deniedStatus": 403,
    "staffStatus": 200,
    "missingStatus": 404,
    "replyStatus": 200,
    "deniedReplyStatus": 403,
    "resolveStatus": 200
  }
}