{ "_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-29", "id": "proof-carrying-mask-edits", "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[9].claim", "file": "computational_lithography_lab/top40.json" }, "top40_entry": { "id": "proof-carrying-mask-edits", "rank": 10, "title": "Proof-carrying incremental mask edits", "claim": "A tile whose inputs did move is proved still valid when a certified bound on the edit's influence fits inside the margin its stored certificate was already carrying, with 0 violations over 9,175,040 pointwise comparisons.", "scope": "SINGLE-edit re-certification only. Chained multi-edit soundness is NOT established.", "limits": "P1-NEG-008 is mandatory: over a FOUR-EDIT CHAIN, 9 of 64 tile serves fell below from-scratch, worst by 4.3267 nm, and the single-edit battery was structurally blind to it. Do not call the incremental path generally sound. Published null: on uniform sub-threshold dose trims the proof leg recovers 8 of 640 (1%), and past the printability cliff the engine is OVERHEAD at 0.88x. The bound is 2.89x loose at its tightest. The zeros mean something only because the plants fire: 15/640 unsound at zero halo, 12/640 at zero inflation worst by 240.07 nm, 2,623 pointwise violations at Dhat x0.25.", "artifact_path": "reports/f603_incremental/evidence.json", "reproduce_command": "make verify-f603-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": "ebe08ae7840964b902e75f5be94bc012e74de6a84db5a42cad8e7ddf26a1a72a", "bytes": 379 } }, "witness_quality_entry": { "id": "proof-carrying-mask-edits", "portfolio_id": { "withheld": true, "why": "a working-directory name (R8)", "sha256_of_value": "3074794cf79ea5d585981ee83795291c7a3f0c795f2ede975dbe6478d2fd602b", "bytes": 17 }, "class": "ASSERTING", "why": "changing the claim's 9,175,040 to 9,175,041 -- 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-carrying-mask-edits", "witness_exit": 0, "demonstration": { "kind": "claim-mutation", "what": "the claim's 9,175,040 was changed to 9,175,041 in a temporary copy of top40.json and the recorded witness command re-run against it with --top40", "number": "9,175,040", "mutant": "9,175,041", "mutant_exit": 1, "mutant_first_line": "WITNESS proof-carrying-mask-edits: FAIL -- claim number(s) in no cited artifact: 9,175,041", "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-carrying-mask-edits", "portfolio_id": { "withheld": true, "why": "a working-directory name (R8)", "sha256_of_value": "3074794cf79ea5d585981ee83795291c7a3f0c795f2ede975dbe6478d2fd602b", "bytes": 17 }, "witness_command": "python3 scripts/witness_jewel.py proof-carrying-mask-edits", "path": "repro/proof-carrying-mask-edits/", "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": 3, "repro_red": 3, "witness_runs": 3, "tiers": { "claim_values": { "candidates": 0, "claim_moving": 0, "witness_runs": 0 }, "listed": { "candidates": 2450, "claim_moving": 3, "witness_runs": 3 }, "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": 161, "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": "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" } } }