{ "_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-56", "id": "minimal-solve-selection", "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[10].claim", "file": "computational_lithography_lab/top40.json" }, "top40_entry": { "id": "minimal-solve-selection", "rank": 11, "title": "Minimal rigorous-solve selection against an LP-proved floor", "claim": "A margin-earned certified ball selects 86 rigorous solves against 125 on a dense lattice, and an LP relaxation of the covering ILP proves no selection from the 284-candidate pool covers the loop's own certified volume with fewer than 50.", "scope": "The floor is proved for THIS candidate pool and THIS certified volume, not for selection in general. L is an EMPIRICAL modulus, not a proven constant.", "limits": "L is empirical: the obvious estimator gives 0.2031, multiscale sampling 0.5617 (2.77x larger), shipped L = 0.7303. The headline rung violates the run's own fairness principle and the run says so -- 124 of its 125 lattice points are not candidates the loop could buy. 10 of the 30 checks are recordings, not gates. PA-NEG-14: the original escape battery STRUCTURALLY COULD NOT FAIL and reported zero anyway; the corrected probe finds 250 of 999 and the original is republished as non-evidence. The loop also kills one of its own claims mid-run, and the lattice-only modulus is shown unsound at 4/200 escapes against the shipped modulus's 0/200.", "artifact_path": "reports/f602_selection/evidence.json", "reproduce_command": "make verify-f602-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": "ac9427b23385e312098388c7f39d6bcc7864219fe688b49c77892efe41314948", "bytes": 411 } }, "witness_quality_entry": { "id": "minimal-solve-selection", "portfolio_id": { "withheld": true, "why": "a working-directory name (R8)", "sha256_of_value": "46728e9a1bb64ea951515959e90427ade521332a8c1dd33abc99f8dadac90d7b", "bytes": 17 }, "class": "ASSERTING", "why": "changing the claim's 125 to 126 -- 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 minimal-solve-selection", "witness_exit": 0, "demonstration": { "kind": "claim-mutation", "what": "the claim's 125 was changed to 126 in a temporary copy of top40.json and the recorded witness command re-run against it with --top40", "number": "125", "mutant": "126", "mutant_exit": 1, "mutant_first_line": "WITNESS minimal-solve-selection: FAIL -- claim number(s) in no cited artifact: 126", "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": "minimal-solve-selection", "portfolio_id": { "withheld": true, "why": "a working-directory name (R8)", "sha256_of_value": "46728e9a1bb64ea951515959e90427ade521332a8c1dd33abc99f8dadac90d7b", "bytes": 17 }, "witness_command": "python3 scripts/witness_jewel.py minimal-solve-selection", "path": "repro/minimal-solve-selection/", "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": 536, "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": 165, "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" } } }