{
  "_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": "computational-lithography",
  "repository": "computational-lithography",
  "commit": "6125a0f77a7b0cc496c0a603457822c1c7d1ae26",
  "portfolio_id": "computational-lithography:PA-AST-37",
  "id": "external-authority-lane",
  "attestation_row": {
    "attested_at": "2026-09-12",
    "attestor": "05-litho",
    "repository": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "93ec0f405f633cd9604a6ee26e901b56a1753abd5b42dcdeaf60042b8f86436b",
      "bytes": 7
    },
    "source_doc": "CROWN_JEWELS_RESOLVED.md",
    "source_doc_sha256": "cb73e0a3a8244612dc4978a76fd4fefddef7e049b70c87d40cb62469365137e3",
    "state": "attested",
    "top_n": 9,
    "note_sha256": "5f8935b3620ee12775855cfb67d57e467a626ae38cbc0a9b9823eaac2593eb8b",
    "ids_in_row": 9,
    "file": "dataroom/TOP_N_ATTESTATION.jsonl",
    "line": 1
  },
  "claim_source": {
    "receipt": "computational-lithography/top40.json",
    "sha256": "9f0461a0d2984e3758cbc833be85e031425cbae2003aaab4fb239f6be6f71334",
    "field": "entries[35].claim",
    "file": "computational_lithography_lab/top40.json"
  },
  "top40_entry": {
    "id": "external-authority-lane",
    "rank": 36,
    "title": "Score-versus-certificate leaderboard and measurement-readiness lane",
    "claim": "Surfaces that let an outsider be scored -- a score-versus-certificate leaderboard finding 19 of 24 in-repo masks from four optimizer families score-acceptable under a fast EPE/PV-band/DRC signoff yet certificate-rejected, under a pre-registered protocol (740f21a7...) -- plus the machinery that turns on the day real measurements exist.",
    "scope": "The measurement-readiness half is IMPLEMENTED BUT UNTESTED: no SEM, AIMS or wafer data exists anywhere in this estate, so its oracle is an independent analytical resist proxy, not silicon.",
    "limits": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "baa148f47ec7a337a4f280a6190f41f464c22dcf6f3e54aea9f2eccc3925e7ab",
      "bytes": 1295
    },
    "artifact_path": "patent/sprint211_kpis.json",
    "reproduce_command": "make verify-sprint211",
    "evidence_tier": "MEASURED",
    "run_status": "RAN",
    "output_excerpt": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "b9e59a2881ee8c2a8040537fa642e4adf5f571d7096ca842fecec9bcadb55b9d",
      "bytes": 101
    }
  },
  "witness_quality_entry": {
    "id": "external-authority-lane",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "aa468fbfc4533f565731c359a35040532ef25f030b81e9e59ebfe917ef30b94f",
      "bytes": 17
    },
    "class": "ASSERTING",
    "why": "changing the claim's 740 to 741 -- a value no cited artifact carries -- makes the witness exit 1 (it exits 0 unmutated). The witness fails when the claim is false.",
    "witness_command": "python3 scripts/witness_jewel.py external-authority-lane",
    "witness_exit": 0,
    "demonstration": {
      "kind": "claim-mutation",
      "what": "the claim's 740 was changed to 741 in a temporary copy of top40.json and the recorded witness command re-run against it with --top40",
      "number": "740",
      "mutant": "741",
      "mutant_exit": 1,
      "mutant_first_line": {
        "withheld": true,
        "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
        "sha256_of_value": "76eae4eb942c7401e117978afca55dd281137b5a383bb0fc7b37cf0aece08b7f",
        "bytes": 82
      },
      "reddened": true,
      "restore": "no file in the repository was mutated; the defect was planted in a temporary copy, which is deleted whether or not the witness reddens"
    }
  },
  "packet": null,
  "measured": {
    "measured": true,
    "basis": "demonstration.mutant_exit = 1",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 162,
    "measured_per_register": true,
    "witness_class_per_register": "ASSERTING",
    "ip_class_public": "unknown",
    "ip_class_sha256": "b23a6a8439c0dde5515893e7c90c1e3233b8616e634470f20dc4928bcf3609bc",
    "ip_class_source": "computational_lithography_lab/top40.json:6 @ 361371e8a8b4",
    "receipt": "register/CROWN_JEWELS_TRUTH.md",
    "receipt_sha256": "bde06cf0d3e99644522d18e79b6bd5d84ed4f5c86e315a48fef207e9e49c5022",
    "ip_class_receipt": "register/ip_class.jsonl",
    "ip_class_receipt_sha256": "b1e8f97aa6779e0fefed2f7a7726e1a03563b536b497392401b49bb8ef84d4ca"
  },
  "withheld_fields": [
    {
      "field": "witness_quality.portfolio_id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "top40.limits",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "top40.output_excerpt",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "witness_quality.demonstration.mutant_first_line",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "attestation_row.repository",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    }
  ],
  "sources": {
    "attestation": {
      "receipt": "computational-lithography/_root/dataroom/TOP_N_ATTESTATION.jsonl",
      "source": "dataroom/TOP_N_ATTESTATION.jsonl",
      "commit": "6125a0f77a7b0cc496c0a603457822c1c7d1ae26",
      "sha256": "5462913bd97fec4f3ef4194a42526e90ca14d220bdc0dc62b8fcb26c3fd854e4",
      "bytes": 2085,
      "visibility": "sealed"
    },
    "top40": {
      "receipt": "computational-lithography/top40.json",
      "source": "computational_lithography_lab/top40.json",
      "commit": "6125a0f77a7b0cc496c0a603457822c1c7d1ae26",
      "sha256": "9f0461a0d2984e3758cbc833be85e031425cbae2003aaab4fb239f6be6f71334",
      "bytes": 105530,
      "visibility": "sealed"
    },
    "witness_quality": {
      "receipt": "computational-lithography/_root/dataroom/witness_quality.json",
      "source": "dataroom/witness_quality.json",
      "commit": "6125a0f77a7b0cc496c0a603457822c1c7d1ae26",
      "sha256": "c47bd4cc8d393e88caf1dfff3a54bb65a8f55c87ba9950a34283650d807a22aa",
      "bytes": 78922,
      "visibility": "sealed"
    },
    "repro_index": {
      "receipt": "computational-lithography/_root/repro/INDEX.json",
      "source": "repro/INDEX.json",
      "commit": "6125a0f77a7b0cc496c0a603457822c1c7d1ae26",
      "sha256": "5ecd6948d20c51116b2ba71ecfb3a156273448579c0ec19ad1ed0a91c554d4f3",
      "bytes": 30664,
      "visibility": "sealed"
    }
  }
}