{
  "_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": "eda-platform",
  "repository": "eda-platform",
  "commit": "725a66e8aab3d3bf86ed03c788bcaa841e18d875",
  "portfolio_id": "eda-platform:scr-external-oracle",
  "id": "scr-external-oracle",
  "attestation_row": {
    "attested_at": "2026-09-20",
    "attestor": "06-edaplatform",
    "repository": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "51453f34d8af79dde7e003577a2b2e5c5727533b4bc085716117daadd92d0240",
      "bytes": 7
    },
    "source_doc": "CROWN_JEWELS_RESOLVED.md",
    "source_doc_sha256": "a4a7952bb00d0095d09bea483248fea1d78c91c00d9fad2ce97f01d64626b23a",
    "state": "attested",
    "top_n": 8,
    "note_sha256": "87e54fa3dfdfefa5e3477b1cd74272137046eb53fb3d0d1625c3a529cafc28cf",
    "ids_in_row": 8,
    "file": "dataroom/TOP_N_ATTESTATION.jsonl",
    "line": 1
  },
  "claim_source": {
    "receipt": "eda-platform/top40.json",
    "sha256": "f596a2eb43c925696a8d4b135ffbbbe5885a3a9c79da715b2f257c2466ff9078",
    "field": "entries[35].claim",
    "file": "top40.json"
  },
  "top40_entry": {
    "id": "scr-external-oracle",
    "rank": 36,
    "title": "scr external oracle",
    "claim": "`scr/1.0`'s `flatten_assembly` + `oracle_depends` construct the whole-system netlist across all four PRIVATE designs at once — something no participant and no verifier can do — and solve the miter directly, giving an independent ground truth to check the protocol's verdict against.",
    "scope": "An oracle used to TEST the protocol; it is not part of the trust chain and could not be deployed, because its power is exactly the power the protocol denies its participants.",
    "limits": "Fixture-scale, combinational, and the oracle is a test instrument rather than a shipped capability.",
    "artifact_path": "core/scr.py",
    "reproduce_command": "python3 -m pytest -q tests/test_scr_passport.py",
    "evidence_tier": "E3",
    "run_status": "RAN",
    "output_excerpt": "48 passed in 12.02s"
  },
  "witness_quality_entry": {
    "id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "fd3073d90beaf0891ec2d4b0ea748b5a511f8b8950b1cf363b786dadf683cd40",
      "bytes": 27
    },
    "title": "scr external oracle",
    "class": "ASSERTING",
    "why": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "431e6557e5278247f1911510d6bb2353d40678c6d430e5ba85cca982720f3cd4",
      "bytes": 429
    },
    "witness_command": "python3 -m pytest -q tests/test_scr_passport.py",
    "witness_exit": 0,
    "defect_demonstration": {
      "id": "scr-external-oracle",
      "witness_command": "python3 -m pytest -q tests/test_scr_passport.py",
      "requires_stdout": [],
      "mutated_paths": [
        "core/scr.py"
      ],
      "baseline_exit": 0,
      "baseline_ok": true,
      "mutated_exit": 1,
      "mutated_assertion_present": true,
      "mutated_ok": false,
      "witness_rejects_the_defect": true,
      "restored_exit": 0,
      "restored_ok": true,
      "tree_clean_after_restore": true,
      "mutated_tail": "), 'u_ip/ip_out', ['SECRET/ip_vendor/ip_key'])\nE            +    where <function oracle_depends at 0x1104971a0> = scr.oracle_depends\n\ntests/test_scr_passport.py:790: AssertionError\n---------------------------- pytest-regtest report -----------------------------\ntotal number of failed regression tests: 0\ntotal number of failed snapshot tests  : 0\n=========================== short test summary info ============================\nFAILED tests/test_scr_passport.py::test_the_honest_system_genuinely_does_not_leak\nFAILED tests/test_scr_passport.py::test_the_oracle_agrees_with_the_receipts_at_every_tier",
      "defect": "the claim is that flatten_assembly + oracle_depends SOLVE the whole-system miter directly and so give an INDEPENDENT ground truth. oracle_depends in core/scr.py is made to answer without solving.",
      "baseline_seconds": 48,
      "mutated_seconds": 61.1,
      "mutated_first_line": "...F.......................................F....                         [100%]",
      "mutated_last_line": "FAILED tests/test_scr_passport.py::test_the_oracle_agrees_with_the_receipts_at_every_tier"
    },
    "asserts": [
      "the external oracle is constructed and solved in this run",
      "the protocol's verdict must match the oracle's"
    ],
    "stale_claims_ref": null
  },
  "packet": null,
  "measured": {
    "measured": true,
    "basis": "defect_demonstration.mutated_exit = 1",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 238,
    "measured_per_register": false,
    "witness_class_per_register": "ASSERTING",
    "ip_class_public": "unknown",
    "ip_class_sha256": "b23a6a8439c0dde5515893e7c90c1e3233b8616e634470f20dc4928bcf3609bc",
    "ip_class_source": " @ ",
    "receipt": "register/CROWN_JEWELS_TRUTH.md",
    "receipt_sha256": "e7c4dcfa93e6508b6d15e509eb4b085df9652d871a5997b785cc04e15d2757c5",
    "ip_class_receipt": "register/ip_class.jsonl",
    "ip_class_receipt_sha256": "9c8680142d83d9a94b22d0b57ae0c0c2737cb7df88633da1c399750bcd535d68"
  },
  "withheld_fields": [
    {
      "field": "witness_quality.id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "witness_quality.why",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "attestation_row.repository",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    }
  ],
  "sources": {
    "attestation": {
      "receipt": "eda-platform/dataroom/TOP_N_ATTESTATION.jsonl",
      "source": "dataroom/TOP_N_ATTESTATION.jsonl",
      "commit": "725a66e8aab3d3bf86ed03c788bcaa841e18d875",
      "sha256": "4ea60d434eb8586b23590d67d8249ebd2bf6fb28e9e9bec318f8e2f7481f18c1",
      "bytes": 2996,
      "visibility": "sealed"
    },
    "top40": {
      "receipt": "eda-platform/top40.json",
      "source": "top40.json",
      "commit": "725a66e8aab3d3bf86ed03c788bcaa841e18d875",
      "sha256": "f596a2eb43c925696a8d4b135ffbbbe5885a3a9c79da715b2f257c2466ff9078",
      "bytes": 60955,
      "visibility": "sealed"
    },
    "witness_quality": {
      "receipt": "eda-platform/dataroom/witness_quality.json",
      "source": "dataroom/witness_quality.json",
      "commit": "725a66e8aab3d3bf86ed03c788bcaa841e18d875",
      "sha256": "6266e6d93125ba682752e46c0f25fbafcb43387197d0ff8d5dacc6c6d43b7dde",
      "bytes": 151651,
      "visibility": "sealed"
    },
    "repro_index": {
      "receipt": "eda-platform/repro/INDEX.json",
      "source": "repro/INDEX.json",
      "commit": "725a66e8aab3d3bf86ed03c788bcaa841e18d875",
      "sha256": "13b3f6b79408780f0a75dc0e05a2a57991e79c8035a53610cace3119125f59a2",
      "bytes": 11454,
      "visibility": "sealed"
    }
  }
}