{
  "record_type": "teleon_cas_object_envelope/v1",
  "swhid": "swh:1:cnt:1b91506676978c7faad266519496b5eabd6924bc",
  "sha256_hex": "938612a0f4ff59b5ee6e54b26dbddf13cf846847fb0d7ab536c6f6c403e09cfc",
  "r2_object_key": "sha256/93/938612a0f4ff59b5ee6e54b26dbddf13cf846847fb0d7ab536c6f6c403e09cfc",
  "storage_backend": "cloudflare_r2_plus_d1_index",
  "teleon_uri": "teleon://swh:1:cnt:1b91506676978c7faad266519496b5eabd6924bc",
  "vault_url": "https://files.teleon.dev/objects/swh:1:cnt:1b91506676978c7faad266519496b5eabd6924bc",
  "raw_stream_url": "https://files.teleon.dev/raw/sha256/938612a0f4ff59b5ee6e54b26dbddf13cf846847fb0d7ab536c6f6c403e09cfc",
  "slug": "out-of-model-pass-hat-k-oracle",
  "title": "Out-of-Model Criterion Verifier (`pass@k` + `pass^k` + Unreadable-Input Audit)",
  "artifact_kind": "grading_oracle",
  "filename": "pass_hat_k_oracle_spec.json",
  "content_type": "application/json; charset=utf-8",
  "byte_length": 484,
  "spdx_license": "Apache-2.0",
  "facets": {
    "oracle.holdout_split@v1": {
      "min_pass_hat_k_for_prod": 1,
      "forbid_same_family_review": true
    },
    "search.l0_card@v1": {
      "keywords": [
        "oracle",
        "pass@k",
        "pass^k",
        "cpop",
        "security",
        "verification"
      ]
    }
  },
  "provenance": {
    "submitter": "teleon-assurance",
    "verified_maintainer": "teleon-assurance",
    "repo_owner": "teleon-dev",
    "inspired_by": "Sierra tau-bench pass^k, House Party Protocol, SUNGLASSES",
    "evidence_status": "verified_first_party"
  },
  "verification": {
    "tier": "deterministic_verified",
    "pass_at_k": 1,
    "pass_hat_k": 1,
    "k": 5,
    "spec_hash": "spec_oracle_pass_hat_k_v1",
    "unreadable_inputs": []
  },
  "inline_text": "{\n  \"record_type\": \"teleon_criterion_oracle_contract/v1\",\n  \"rules\": [\n    \"Record criterion exit codes and output SHA-256 digests outside the model process.\",\n    \"Refuse review verdicts when reviewer_model_family == producer_model_family.\",\n    \"Compute both pass@k (1 - ((n-c)/n)^k discovery ceiling) and pass^k ((c/n)^k production reliability gate).\",\n    \"Report unreadable_inputs explicitly alongside matched findings so binary/encrypted blind spots never silently pass.\"\n  ]\n}\n",
  "created_at": "2026-10-24T22:58:16.875Z"
}