{
  "_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:lic-oracle-disagreement-gate",
  "id": "lic-oracle-disagreement-gate",
  "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[36].claim",
    "file": "top40.json"
  },
  "top40_entry": {
    "id": "lic-oracle-disagreement-gate",
    "rank": 37,
    "title": "Oracle disagreement as a gate",
    "claim": "`make lic-demo` exits non-zero if any oracle ever stops disagreeing with the protocol's verdict. The disagreement is not narrated in a report; it is enforced by an exit code.",
    "scope": "One demo over the `lic` fixtures. It gates the property that the oracle and the protocol see different things — which is what makes the confidentiality meaningful — not any statement about a real licence.",
    "limits": "Fixture-scale.",
    "artifact_path": "reports/lic/silicon_licence.json",
    "reproduce_command": "PYTHONPATH=. python3 scripts/lic_demo.py",
    "evidence_tier": "E3",
    "run_status": "RAN",
    "output_excerpt": "lic/1.0: 1 accepted licence + 5 matched refusals, all as expected"
  },
  "witness_quality_entry": {
    "id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "beec46365862e92f286bfac97ecbdd217434756b8c9d82dd4d8e66ac0c732405",
      "bytes": 36
    },
    "title": "Oracle disagreement as a gate",
    "class": "ASSERTING",
    "why": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "d541c28b65cdb9b9266559b355fceb649e4b4e8bd3d5e01148f9c5d85fe450fe",
      "bytes": 439
    },
    "witness_command": "PYTHONPATH=. python3 scripts/lic_demo.py",
    "witness_exit": 0,
    "defect_demonstration": {
      "id": "lic-oracle-disagreement-gate",
      "witness_command": "PYTHONPATH=. python3 scripts/lic_demo.py",
      "requires_stdout": [],
      "mutated_paths": [
        "tests/fixtures/lic/licensed_tied_fuse.v"
      ],
      "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": "wrote reports/lic/silicon_licence.json\nGATE FAILED — tied fuse oracle: the customer-id nets are still free inputs of feat_out on the tied block (['cid0'])",
      "defect": "the claim is that the command exits non-zero if any oracle ever stops disagreeing with the protocol's verdict. The driver of cid0 is deleted from tests/fixtures/lic/licensed_tied_fuse.v so the tied-fuse oracle no longer finds what it must find.",
      "baseline_seconds": 25,
      "mutated_seconds": 35.8,
      "mutated_first_line": "wrote reports/lic/silicon_licence.json",
      "mutated_last_line": "GATE FAILED — tied fuse oracle: the customer-id nets are still free inputs of feat_out on the tied block (['cid0'])"
    },
    "asserts": [
      "one accepted licence and five matched refusals are re-derived in this run",
      "an oracle that agrees where it must disagree exits 1"
    ],
    "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": 236,
    "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"
    }
  }
}