{
  "_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-04",
  "id": "tiled-composition-epsilon",
  "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[8].claim",
    "file": "computational_lithography_lab/top40.json"
  },
  "top40_entry": {
    "id": "tiled-composition-epsilon",
    "rank": 9,
    "title": "Certified tiled composition with bounded coupling",
    "claim": "Per-tile certificates compose into a regional certificate with an explicit bounded cross-tile optical coupling residual, with 0 soundness violations over 18,432 checks.",
    "scope": "Certified area grows by proof rather than by a bigger imager, under the stated coupling bound and at the stated grid. The epsilon ladder is measured, not assumed.",
    "limits": "Finite battery. The composition lemma is kernel-checked in Lean (GateCore.regionSafe_all) but the optical coupling bound it consumes is measured, not proven. Simulator-relative.",
    "artifact_path": "patent/certified_composition_kpis.json",
    "reproduce_command": "make verify-sprint130",
    "evidence_tier": "PROVEN",
    "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": "5486869aadf646837a4ff41eb79ddef37267c7fdc44904316c9e1c70378f2b66",
      "bytes": 88
    }
  },
  "witness_quality_entry": {
    "id": "tiled-composition-epsilon",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "0f0caa08b7f20d52b11ab63d41f8c4d33dcb7474a37d73fe7454b8a2cd88ccfe",
      "bytes": 17
    },
    "class": "ASSERTING",
    "why": "changing the claim's 18,432 to 18,430 -- 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 tiled-composition-epsilon",
    "witness_exit": 0,
    "demonstration": {
      "kind": "claim-mutation",
      "what": "the claim's 18,432 was changed to 18,430 in a temporary copy of top40.json and the recorded witness command re-run against it with --top40",
      "number": "18,432",
      "mutant": "18,430",
      "mutant_exit": 1,
      "mutant_first_line": "WITNESS tiled-composition-epsilon: FAIL -- claim number(s) in no cited artifact: 18,430",
      "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": "tiled-composition-epsilon",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "0f0caa08b7f20d52b11ab63d41f8c4d33dcb7474a37d73fe7454b8a2cd88ccfe",
      "bytes": 17
    },
    "witness_command": "python3 scripts/witness_jewel.py tiled-composition-epsilon",
    "path": "repro/tiled-composition-epsilon/",
    "inputs": 7,
    "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": 2,
        "repro_red": 2,
        "witness_runs": 30,
        "tiers": {
          "claim_values": {
            "candidates": 0,
            "claim_moving": 0,
            "witness_runs": 0
          },
          "listed": {
            "candidates": 169,
            "claim_moving": 2,
            "witness_runs": 30
          },
          "traced": {
            "candidates": 0,
            "claim_moving": 0,
            "witness_runs": 0
          }
        }
      },
      "neutral_mutations": {
        "drawn": 15,
        "repro_red": 0,
        "coverage": {
          "listed_inputs_with_edits": 7,
          "runs": 15
        }
      },
      "inputs_graded": 7,
      "kit_pins_sha256": "c0320c0f0557fcdeeb9140d886b4267da9af9763ca14510c6eed40f0d3ca039c"
    }
  },
  "measured": {
    "measured": true,
    "basis": "demonstration.mutant_exit = 1",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 159,
    "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": "packet.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"
    }
  }
}