{
  "_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-54",
  "id": "succinct-reticle-certificate",
  "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[4].claim",
    "file": "computational_lithography_lab/top40.json"
  },
  "top40_entry": {
    "id": "succinct-reticle-certificate",
    "rank": 5,
    "title": "Reticle-scale recursive succinct certificate and a stdlib-only verifier",
    "claim": "Fold-annotated certificates compose tile to reticle and stay 1,347-1,379 bytes across 64 to 1,048,576 tiles, checkable by a verifier importing only hashlib, hmac, json and math.",
    "scope": "Certificate SIZE is O(1) in tile count; certificate ASSURANCE is not. For one corrupted tile the escape bound is exactly (n-k)/n, so at n=16,384 a 1e-3 target requires 16,368 openings, and the reticle-scale sampling escape bound is above 0.999. An unchallenged tile is not proven correct.",
    "limits": "Compact commitment is not compact assurance. A disclosed section-102 novelty risk exists against Miller, Hicks, Katz and Shi, 'Authenticated Data Structures, Generically' (POPL 2014); the self-caught odd-arity duplication defect is Bitcoin CVE-2012-2459, public since 2012. Residual novelty is the domain observation that the four admission legs form a monoid under (AND, max, union-sum) -- frame the family around that, not the tree. Three fixed defects travel with it, including a false ADMIT this verifier once accepted. The measured compression is 7.934x (839 B against 6,657 B); the chiplet CLI separately PRINTS a compression_ratio of 7.9 that is a hardcoded literal and not a measurement.",
    "artifact_path": "reports/f604_reticle/evidence.json",
    "reproduce_command": "make verify-f604-full",
    "evidence_tier": "PROVEN",
    "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": "d685c9f2da40651ad10f532247f053da211fbfe21ec749140d303c0cc273e234",
      "bytes": 342
    }
  },
  "witness_quality_entry": {
    "id": "succinct-reticle-certificate",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "595a68fcfd592b491440b1ba5e2b177b2b4eba5e97e793c23c0076704bd83d2f",
      "bytes": 17
    },
    "class": "ASSERTING",
    "why": "changing the claim's 1,048,576 to 1,048,570 -- 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 succinct-reticle-certificate",
    "witness_exit": 0,
    "demonstration": {
      "kind": "claim-mutation",
      "what": "the claim's 1,048,576 was changed to 1,048,570 in a temporary copy of top40.json and the recorded witness command re-run against it with --top40",
      "number": "1,048,576",
      "mutant": "1,048,570",
      "mutant_exit": 1,
      "mutant_first_line": "WITNESS succinct-reticle-certificate: FAIL -- claim number(s) in no cited artifact: 1,048,570",
      "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": 164,
    "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.output_excerpt",
      "codes": [
        "ABSOLUTE_USER_PATH",
        "LANE_DIRECTORY_NAME",
        "OPERATOR_ACCOUNT",
        "HOME_RELATIVE_PATH"
      ]
    },
    {
      "field": "witness_quality.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"
    }
  }
}