{
  "_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": "wireless-pqc",
  "repository": "wireless-pqc",
  "commit": "709160c57c9eb875e239acdf1eb3d0c4462e4c29",
  "portfolio_id": "wireless-pqc:modelrisk-two-of-four",
  "id": "modelrisk-two-of-four",
  "attestation_row": {
    "attested_at": "2026-09-13",
    "attestor": "03-wifipqc",
    "repository": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "6f37ed958c37482bf7ee04acba61df04492fe3186c1ba6c10b77519cd450c69f",
      "bytes": 7
    },
    "source_doc": "CROWN_JEWELS_RESOLVED.md",
    "source_doc_sha256": "6958cd834026328936c2fbfb51a8b00a4dd5ec6cb65b1d0d8960bcfe0b9e2418",
    "state": "attested",
    "top_n": 26,
    "note_sha256": "c1af3e3220ffc4290cc975a79bf85d216638fd8abd3f4d8e7e67f6f5af0aff3b",
    "ids_in_row": 26,
    "file": "dataroom/TOP_N_ATTESTATION.jsonl",
    "line": 1
  },
  "claim_source": {
    "receipt": "wireless-pqc/dataroom/top40.json",
    "sha256": "6076db4027d7499ac53b5cf15f9a07bb7e41c38f56fb0f469a62353e10e65353",
    "field": "entries[15].claim",
    "file": "dataroom/top40.json"
  },
  "top40_entry": {
    "id": "modelrisk-two-of-four",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "cd5ebb6007b203c2047020b31b0424d290ff53897f0450d7651c65314cd1f226",
      "bytes": 29
    },
    "rank": 16,
    "native_rank": 14,
    "title": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "65edd47fc270202ad8f1da63f313d781ddf2de517d8a79efb5ede49ecf7b0258",
      "bytes": 91
    },
    "claim": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "c786c9e55da139484b2edf81b9401db049e677302b233f9e62d6443dccc18575",
      "bytes": 88
    },
    "scope": "Nine due-diligence fields per model, each taken by running the model. The gate is green BECAUSE the failing grades are published. Highest-variance item in the estate.",
    "artifact_path": "artifacts/native/modelrisk_ci.json",
    "witness_command": "make modelrisk-gate",
    "witness_result": {
      "status": "RAN",
      "exit": 0,
      "line": "6 warnings generated.",
      "seconds": 28.3,
      "run_at": "2026-09-13T02:32:45Z",
      "owner_gated": false,
      "reason": null,
      "run_of_record": "clean clone at HEAD (S03, dataroom/witness_quality_20260913/clean_clone_baseline.json)"
    },
    "third_party_axis": "—",
    "facts": {
      "ran_with_receipt": true,
      "third_party_graded": false,
      "negative_control_stated": false,
      "ip_class_known": false,
      "reproduce_command": true,
      "regenerates": true
    },
    "fact_count": 3,
    "repro_command": "make modelrisk-gate",
    "ip_class": null,
    "ip_class_basis": "no source in this repository states an IP class for this entry; never guessed"
  },
  "witness_quality_entry": {
    "id": "modelrisk-two-of-four",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "cd5ebb6007b203c2047020b31b0424d290ff53897f0450d7651c65314cd1f226",
      "bytes": 29
    },
    "title": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "65edd47fc270202ad8f1da63f313d781ddf2de517d8a79efb5ede49ecf7b0258",
      "bytes": 91
    },
    "claim": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "c786c9e55da139484b2edf81b9401db049e677302b233f9e62d6443dccc18575",
      "bytes": 88
    },
    "class": "ASSERTING",
    "why": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "cb66574a453a4fe0ddb4e42a7dc1997d9459c24a5aa4bf3934266e0c3b6cee09",
      "bytes": 294
    },
    "witness_command": "make modelrisk-gate",
    "clean_clone": {
      "exit": 0,
      "status": "RAN",
      "seconds": 28.3,
      "first_line": "PASS  bom-verifies",
      "last_line": "6 warnings generated.",
      "artifact_rewritten": true,
      "dirtied": [
        " M artifacts/modelrisk/forgeries/abstention-declared-not-exhibited.bom.json",
        " M artifacts/modelrisk/forgeries/anchor-citation-unchecked.bom.json",
        " M artifacts/modelrisk/forgeries/anchor-quietly-dropped.bom.json",
        " M artifacts/modelrisk/forgeries/anchor-value-swapped.bom.json",
        " M artifacts/modelrisk/forgeries/built-from-a-run-that-could-not-measure.bom.json",
        " M artifacts/modelrisk/forgeries/claim-cites-a-field-that-is-not-there.bom.json",
        " M artifacts/modelrisk/forgeries/comparison-count-inflated.bom.json",
        " M artifacts/modelrisk/forgeries/contaminated-model-in-the-clean-column.bom.json",
        " M artifacts/modelrisk/forgeries/contamination-flipped-off.bom.json",
        " M artifacts/modelrisk/forgeries/digest-zeroed.bom.json",
        " M artifacts/modelrisk/forgeries/discrepancy-retired-as-absent.bom.json",
        " M artifacts/modelrisk/forgeries/dod-field-dropped.bom.json",
        " M artifacts/modelrisk/forgeries/drift-binding-never-recomputed.bom.json",
        " M artifacts/modelrisk/forgeries/drift-boolean-contradicts-its-own-sides.bom.json",
        " M artifacts/modelrisk/forgeries/drift-field-deleted.bom.json",
        " M artifacts/modelrisk/forgeries/drift-sides-deleted-so-absent-equals-absent.bom.json",
        " M artifacts/modelrisk/forgeries/drift-stale-but-the-verdict-does-not-say-so.bom.json",
        " M artifacts/modelrisk/forgeries/fit-corpus-erased.bom.json",
        " M artifacts/modelrisk/forgeries/invented-score-key.bom.json",
        " M artifacts/modelrisk/forgeries/must-verify-honest-models-reordered.bom.json",
        " M artifacts/modelrisk/forgeries/must-verify-honest.bom.json",
        " M artifacts/modelrisk/forgeries/not-a-gate-block-trimmed.bom.json",
        " M artifacts/modelrisk/forgeries/out-of-domain-use-without-a-number.bom.json",
        " M artifacts/modelrisk/forgeries/price-laundered-into-an-anchor.bom.json",
        " M artifacts/modelrisk/forgeries/provenance-invented.bom.json",
        " M artifacts/modelrisk/forgeries/rollup-count-inflated.bom.json",
        " M artifacts/modelrisk/forgeries/schema-bumped.bom.json",
        " M artifacts/modelrisk/forgeries/stated-limits-trimmed.bom.json",
        " M artifacts/modelrisk/forgeries/threshold-cites-an-unregistered-corpus.bom.json",
        " M artifacts/modelrisk/forgeries/threshold-gatedness-unmeasured.bom.json",
        " M artifacts/modelrisk/forgeries/verdict-relabelled.bom.json",
        " M artifacts/modelrisk/forgeries/zero-mismatches-over-zero-rows.bom.json",
        " M artifacts/modelrisk/portfolio.bom.json",
        " M artifacts/native/modelrisk_ci.json",
        " M reports/modelrisk.md"
      ],
      "run_at": "2026-09-13T02:32:45Z",
      "reason": null
    },
    "planted_defects": [
      {
        "index": 0,
        "what": "declare a different validation corpus for dyncap-signal-separation so it is no longer contaminated: a third model would pass",
        "falsifies": "number: two of four (the contamination negative result)",
        "decisive": true,
        "planted": [
          {
            "path": "tools/modelrisk/producer.py",
            "diff": "'            \"corpora\": [\"dyncap-matrix-5x5\"],' -> '            \"corpora\": [\"dyncap-matrix-5x5-out-of-sample\"],' (x1 of 1)"
          }
        ],
        "exit": 2,
        "seconds": 30.4,
        "last_line": "make: *** [modelrisk-gate] Error 2",
        "failure_moved_by": null
      },
      {
        "index": 1,
        "what": {
          "withheld": true,
          "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
          "sha256_of_value": "9efd7a344edb474e87915ea9c164e07595d3aab962527a9447d316ff9641b648",
          "bytes": 80
        },
        "falsifies": "property: the Lean controller model matches the shipped C constants",
        "decisive": true,
        "planted": [
          {
            "path": "tools/dyncap/dyncap.c",
            "diff": "'#define CAP_FLOOR_SLOTS    32' -> '#define CAP_FLOOR_SLOTS    33' (x1 of 1)"
          }
        ],
        "exit": 2,
        "seconds": 30.3,
        "last_line": "make: *** [modelrisk-gate] Error 2",
        "failure_moved_by": null
      }
    ],
    "measured": true,
    "stale_claims_ref": null
  },
  "packet": null,
  "measured": {
    "measured": true,
    "basis": "planted_defects[].exit = 2",
    "exit": 2,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 126,
    "measured_per_register": true,
    "witness_class_per_register": "ASSERTING",
    "ip_class_public": "unknown",
    "ip_class_sha256": "b23a6a8439c0dde5515893e7c90c1e3233b8616e634470f20dc4928bcf3609bc",
    "ip_class_source": "TOP_N_CROWN_JEWELS.md:72 @ 102044d55aab",
    "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.portfolio_id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "witness_quality.portfolio_id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "top40.title",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "top40.claim",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "witness_quality.title",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "witness_quality.claim",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "witness_quality.why",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "witness_quality.planted_defects[1].what",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "attestation_row.repository",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    }
  ],
  "sources": {
    "attestation": {
      "receipt": "wireless-pqc/dataroom/TOP_N_ATTESTATION.jsonl",
      "source": "dataroom/TOP_N_ATTESTATION.jsonl",
      "commit": "709160c57c9eb875e239acdf1eb3d0c4462e4c29",
      "sha256": "9bf48d398fc36b52f21264edc3a04b8e2c3cd7da3c53f24ec80636897997097e",
      "bytes": 3364,
      "visibility": "sealed"
    },
    "top40": {
      "receipt": "wireless-pqc/dataroom/top40.json",
      "source": "dataroom/top40.json",
      "commit": "709160c57c9eb875e239acdf1eb3d0c4462e4c29",
      "sha256": "6076db4027d7499ac53b5cf15f9a07bb7e41c38f56fb0f469a62353e10e65353",
      "bytes": 167747,
      "visibility": "sealed"
    },
    "witness_quality": {
      "receipt": "wireless-pqc/dataroom/witness_quality.json",
      "source": "dataroom/witness_quality.json",
      "commit": "709160c57c9eb875e239acdf1eb3d0c4462e4c29",
      "sha256": "5d379a10112d400163b35100a423124c28e8bfbbdbe4378b71840eda85f75cfe",
      "bytes": 143046,
      "visibility": "sealed"
    },
    "repro_index": {
      "receipt": "wireless-pqc/repro/INDEX.json",
      "source": "repro/INDEX.json",
      "commit": "709160c57c9eb875e239acdf1eb3d0c4462e4c29",
      "sha256": "378fd4a3ce4f44403b7c9ca6a3f19c11895831f892736376c90cf9423037f9eb",
      "bytes": 26512,
      "visibility": "sealed"
    }
  }
}