{
  "_doc": "One result, read from the codebase’s own files at the commit named here. Every value is that file’s own, copied verbatim; nothing here is written by hand. A value replaced by {withheld: true, sha256_of_value, bytes} is committed by its sha256 instead of published, for the reason it states, and is never edited. Each whole source file is committed by sha256 below, and its bytes are published only where its visibility says so. The codebase is named by the public subject its files are published under.",
  "lane": "packaging-extraction",
  "repository": "packaging-extraction",
  "commit": "b8d9325aea6d8ef103cb3d1dd1c4ba77bd80ee2f",
  "portfolio_id": "packaging-extraction:pdk-portable-verifier",
  "id": "pdk-portable-verifier",
  "attestation_row": {
    "attested_at": "2026-09-19",
    "attestor": "07-genesis",
    "repository": "genesis",
    "source_doc": "CROWN_JEWELS_RESOLVED.md",
    "source_doc_sha256": "781bf515d77ef14469d543ce87b2a15d0420237f5a9bc9b1a7b4899d0f935cb7",
    "state": "attested",
    "top_n": 31,
    "note_sha256": "1218191deb85b45fe5d2ef07e47c7d4e6c09061b6b8386e86759a6105204cd17",
    "ids_in_row": 31,
    "file": "dataroom/TOP_N_ATTESTATION.jsonl",
    "line": 1
  },
  "claim_source": {
    "receipt": "packaging-extraction/top40.json",
    "sha256": "1dca1ae6d762bd584ae11aa353701b702e3378cf912d8d64ec065e74f589319e",
    "field": "entries[0].claim",
    "file": "top40.json"
  },
  "top40_entry": {
    "id": "pdk-portable-verifier",
    "rank": 1,
    "title": "Stdlib PDK portable verifier that proves its own checks can fail",
    "claim": "A buyer verifies the compiled PDK with zero dependencies, and can make the verifier generate 26 forgeries of the object and reject every one — a verifier that passes everything scores 0/26.",
    "scope": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "930456d0dd9d481ed5455e66f30d8c3cc4705c17b943c628814da1e9165fac24",
      "bytes": 217
    },
    "limits": "Its 26 mutations were written by seven independent adversarial passes, each of which had already forged a PDK past the then-current gate. The compiler's anchor solver is 2-D quasi-static, measured median 18.2% / p95 22.6% against the Palace Driven full-wave reference below 110 GHz, while this PDK compiles at 10 GHz and advertises a tighter envelope. Realised holdout coverage is 0.8810 against a 0.95 target (40 seeds show the estimator unbiased at mean 0.9494 — a 10th-percentile draw), and the guarantee is marginal over the corpus, not on the narrower fab window (~0.906). Its gate verify_pdk_compiler_gate.py is NOT in the counted suite.",
    "artifact_path": "scripts/audit/pdk_portable_verify.py",
    "witness_command": "env -i /usr/bin/python3 scripts/audit/pdk_portable_verify.py benchmarks/pdk/compiled_pdk_2026_08.json --self-test",
    "witness_result": "exit=0 · EXIT0_NO_TOUCH · PASS|| every check is load-bearing: 26/26 mutations rejected, clean object verifies",
    "witness_class": "ASSERTING",
    "witness_class_basis": "measured",
    "third_party_axis": "-",
    "facts": {
      "ran_with_receipt": true,
      "third_party_graded": false,
      "negative_control_stated": true,
      "ip_class_known": false,
      "reproduce_command": true,
      "regenerates_not_verifies": false
    },
    "facts_count": 3,
    "repro_command": "env -i /usr/bin/python3 scripts/audit/pdk_portable_verify.py benchmarks/pdk/compiled_pdk_2026_08.json --self-test",
    "reproduce_command": "env -i /usr/bin/python3 scripts/audit/pdk_portable_verify.py benchmarks/pdk/compiled_pdk_2026_08.json --self-test",
    "repro_packet": null,
    "ip_class": "UNKNOWN",
    "evidence_tier": "MEASURED",
    "run_status": "RAN",
    "output_excerpt": "PASS|| every check is load-bearing: 26/26 mutations rejected, clean object verifies",
    "attestation_rank": 10,
    "negative_control": "--self-test forges 26 mutants; each must be rejected (26/26)"
  },
  "witness_quality_entry": {
    "id": "pdk-portable-verifier",
    "portfolio_id": "genesis:pdk-portable-verifier",
    "class": "ASSERTING",
    "measured_class": "ASSERTING",
    "basis": "measured",
    "why": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "9cc4b5688249d5dc635c252af85d232bbdf58b97e7d721185cdaf595b9d74d2d",
      "bytes": 621
    },
    "witness_command": "env -i /usr/bin/python3 scripts/audit/pdk_portable_verify.py benchmarks/pdk/compiled_pdk_2026_08.json --self-test",
    "exit_clean": 0,
    "exit_mutated": 1,
    "asserts": "FAIL|| 0 mutation(s) not caught; 0 mutation(s) changed nothing and demonstrate nothing; 26 generated (floor 26); uncovered checks=[]; unmutated verifies=False"
  },
  "packet": null,
  "measured": {
    "measured": true,
    "basis": "exit_mutated = 1 (basis == measured)",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 199,
    "measured_per_register": true,
    "witness_class_per_register": "ASSERTING",
    "ip_class_public": "not_public",
    "ip_class_sha256": "c2ab54a718ff5484fea4f59ecc2a446deef5412ea225434433529a34a9764660",
    "ip_class_source": "docs/audit/CHIPLETOS_CANON_FACTS_2026_09_17.json:34 @ e47033d4758e",
    "receipt": "register/CROWN_JEWELS_TRUTH.md",
    "receipt_sha256": "bde06cf0d3e99644522d18e79b6bd5d84ed4f5c86e315a48fef207e9e49c5022",
    "ip_class_receipt": "register/ip_class.jsonl",
    "ip_class_receipt_sha256": "b1e8f97aa6779e0fefed2f7a7726e1a03563b536b497392401b49bb8ef84d4ca"
  },
  "withheld_fields": [
    {
      "field": "top40.scope",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "witness_quality.why",
      "codes": [
        "PROCESS_NARRATION"
      ]
    }
  ],
  "sources": {
    "attestation": {
      "receipt": "packaging-extraction/dataroom/TOP_N_ATTESTATION.jsonl",
      "source": "dataroom/TOP_N_ATTESTATION.jsonl",
      "commit": "b8d9325aea6d8ef103cb3d1dd1c4ba77bd80ee2f",
      "sha256": "73bf88d1ecd6c3299599f1929a6fda2e3b20dbe725d908375a1aec5038f199e8",
      "bytes": 3855,
      "visibility": "sealed"
    },
    "top40": {
      "receipt": "packaging-extraction/top40.json",
      "source": "top40.json",
      "commit": "b8d9325aea6d8ef103cb3d1dd1c4ba77bd80ee2f",
      "sha256": "1dca1ae6d762bd584ae11aa353701b702e3378cf912d8d64ec065e74f589319e",
      "bytes": 245175,
      "visibility": "sealed"
    },
    "witness_quality": {
      "receipt": "packaging-extraction/dataroom/witness_quality.json",
      "source": "dataroom/witness_quality.json",
      "commit": "b8d9325aea6d8ef103cb3d1dd1c4ba77bd80ee2f",
      "sha256": "a5b45f767596df7e20404884fd30f0975b1931cf08bb7f3b4e4bfc4b83073c51",
      "bytes": 161552,
      "visibility": "sealed"
    },
    "repro_index": {
      "receipt": "packaging-extraction/repro/INDEX.json",
      "source": "repro/INDEX.json",
      "commit": "b8d9325aea6d8ef103cb3d1dd1c4ba77bd80ee2f",
      "sha256": "3e1cdc5f09bf5c34a582d32529e944a4fe565211faccceb3dc5a7a1724f68635",
      "bytes": 28509,
      "visibility": "sealed"
    }
  }
}