{
  "_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-59",
  "id": "proof-cache-pcache1",
  "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[23].claim",
    "file": "computational_lithography_lab/top40.json"
  },
  "top40_entry": {
    "id": "proof-cache-pcache1",
    "rank": 24,
    "title": "Proof cache pcache/1, and the stale certificate it served",
    "claim": "A content-addressed proof cache whose invalidation rule is checked against an independent reachability implementation, refusing 300 of 300 forged input-digest mutations, and whose honest artifact is the stale certificate it once served across processes.",
    "scope": "Soundness is measured over the stated planted-edit batteries (60 out-of-cone, 60 in-cone, 300 digest mutations). The speedups are load-dependent corroboration, not the measurement.",
    "limits": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "c097bd00acaccbc87644713b387271f8eb861de006b480749632cae741fb35a5",
      "bytes": 463
    },
    "artifact_path": "reports/f610_proof_cache/evidence.json",
    "reproduce_command": "make verify-f610-full",
    "evidence_tier": "MEASURED",
    "run_status": "RAN",
    "output_excerpt": {
      "withheld": true,
      "why": "an absolute path from the machine that produced the file (R8); a working-directory name (R8); the operator's account name (R8); a home-relative machine path (R8)",
      "sha256_of_value": "08e427074a08231cbae8db976561b2f48a2a83266d7995abe0b03c5b801925eb",
      "bytes": 393
    }
  },
  "witness_quality_entry": {
    "id": "proof-cache-pcache1",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "2037e6cc622b0cb67bf164de5f80964dbf37fa24967cd575bc12c3ee24c5cab9",
      "bytes": 17
    },
    "class": "ASSERTING",
    "why": "changing the claim's 300 to 301 -- 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 proof-cache-pcache1",
    "witness_exit": 0,
    "demonstration": {
      "kind": "claim-mutation",
      "what": "the claim's 300 was changed to 301 in a temporary copy of top40.json and the recorded witness command re-run against it with --top40",
      "number": "300",
      "mutant": "301",
      "mutant_exit": 1,
      "mutant_first_line": "WITNESS proof-cache-pcache1: FAIL -- claim number(s) in no cited artifact: 301",
      "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": {
    "id": "proof-cache-pcache1",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "2037e6cc622b0cb67bf164de5f80964dbf37fa24967cd575bc12c3ee24c5cab9",
      "bytes": 17
    },
    "witness_command": "python3 scripts/witness_jewel.py proof-cache-pcache1",
    "path": "repro/proof-cache-pcache1/",
    "inputs": 9,
    "grade": "ASSERTING",
    "kit2": {
      "grade": "ASSERTING",
      "graded_commit": "5690820eb64446296f8582095287ccfdcef59c2a",
      "lane_head_at_grading": "5690820eb64446296f8582095287ccfdcef59c2a",
      "graded_utc": "2026-09-19T05:15:28Z",
      "reasons": [],
      "semantic_mutations": {
        "claim_moving": 3,
        "repro_red": 3,
        "witness_runs": 8,
        "tiers": {
          "claim_values": {
            "candidates": 0,
            "claim_moving": 0,
            "witness_runs": 0
          },
          "listed": {
            "candidates": 525,
            "claim_moving": 3,
            "witness_runs": 8
          },
          "traced": {
            "candidates": 0,
            "claim_moving": 0,
            "witness_runs": 0
          }
        }
      },
      "neutral_mutations": {
        "drawn": 17,
        "repro_red": 0,
        "coverage": {
          "listed_inputs_with_edits": 9,
          "runs": 17
        }
      },
      "inputs_graded": 9,
      "kit_pins_sha256": "c0320c0f0557fcdeeb9140d886b4267da9af9763ca14510c6eed40f0d3ca039c"
    }
  },
  "measured": {
    "measured": true,
    "basis": "demonstration.mutant_exit = 1",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 166,
    "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": "top40.limits",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "top40.output_excerpt",
      "codes": [
        "ABSOLUTE_USER_PATH",
        "LANE_DIRECTORY_NAME",
        "OPERATOR_ACCOUNT",
        "HOME_RELATIVE_PATH"
      ]
    },
    {
      "field": "witness_quality.portfolio_id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "packet.portfolio_id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "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"
    }
  }
}