{
  "_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-26",
  "id": "ler-budget-gate",
  "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[15].claim",
    "file": "computational_lithography_lab/top40.json"
  },
  "top40_entry": {
    "id": "ler-budget-gate",
    "rank": 16,
    "title": "Certified LER-budget gate",
    "claim": "An admission gate on line-edge roughness driven by secondary-electron blur, validated over 1,280,005 Monte-Carlo samples with 0 exceedances.",
    "scope": "Admits 1 of 6 at a generous 2.0 nm ceiling and 0 of 6 at a realistic 1.5 nm. The worst admitted case sits at a 1.980 nm ceiling. It is a gate that mostly refuses.",
    "limits": "Admits 1/6 at 2.0 nm and 0/6 at 1.5 nm -- do not present it as an enabling gate. PEER REVIEW 2026-09-02 (OVERCLAIMED on the former title): the sentence 'a later, richer noise model REVOKED some admissions the earlier one granted' has no receipt in any committed artifact -- patent/sprint184_kpis.json records ler-gate-admitted 1 and no revocation, and no other KPI, criteria file or script names one (grep revok over patent/, reports/criteria/, scripts/) -- so the title clause and the claim's 'whose richer successor model withdrew some of its own earlier admissions' are withdrawn until an artifact carries them. Simulator-relative.",
    "artifact_path": "patent/sprint184_kpis.json",
    "reproduce_command": "make verify-sprint184",
    "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": "66bc5001aa7b97986e5722e5e485ce855b408ad4210efb958ddb7334aa0ebaf7",
      "bytes": 321
    }
  },
  "witness_quality_entry": {
    "id": "ler-budget-gate",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "df030428370fb336ca15a82a496c8941c74a3742cadf50b1eaa771f6e5fa2fb6",
      "bytes": 17
    },
    "class": "ASSERTING",
    "why": "changing the claim's 1,280,005 to 1,280,000 -- 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 ler-budget-gate",
    "witness_exit": 0,
    "demonstration": {
      "kind": "claim-mutation",
      "what": "the claim's 1,280,005 was changed to 1,280,000 in a temporary copy of top40.json and the recorded witness command re-run against it with --top40",
      "number": "1,280,005",
      "mutant": "1,280,000",
      "mutant_exit": 1,
      "mutant_first_line": "WITNESS ler-budget-gate: FAIL -- claim number(s) in no cited artifact: 1,280,000",
      "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": 160,
    "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.output_excerpt",
      "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"
    }
  }
}