{ "_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-02", "id": "sos-quartic-lower-bound", "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[2].claim", "file": "computational_lithography_lab/top40.json" }, "top40_entry": { "id": "sos-quartic-lower-bound", "rank": 3, "title": "Certified lower bound on a non-convex quartic", "claim": "An order-2 moment/SOS relaxation, solved by SCS through cvxpy, returns a solver-reported lower bound on the true non-convex SOCS intensity quartic, 0.235239 against a committed feasible point at 0.239780 at 6x6, re-solved live on this host.", "scope": "Sound lower bound on the true intensity quartic at the stated tile sizes. At tiles up to 6x6 the operator collapses to a SINGLE mode, so 'nine-kernel' is literally accurate only from 32x32 up. Proven-global on the true quartic reaches only about 5x5.", "limits": { "withheld": true, "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)", "sha256_of_value": "e1c050424b593bf2c71cec50f4a0f61fa93874b2c38264cccd94548895a52593", "bytes": 1038 }, "artifact_path": "patent/sprint179_kpis.json", "reproduce_command": "PYTHONPATH=. python3 scripts/reproduce_e1_sos_onhost.py", "evidence_tier": "MEASURED", "run_status": "RAN", "output_excerpt": "tile | on-host lb | committed lb | status | secs | sound | match\n4x4 | 0.004682 | 0.004682 | optimal | 0.1 | True | YES\n5x5 | 0.002236 | 0.002236 | optimal | 1.3 | True | YES\n6x6 | 0.235239 | 0.235238 | optimal | 71.0 | True | YES\nRESULT: REPRODUCED-ON-HOST" }, "witness_quality_entry": { "id": "sos-quartic-lower-bound", "portfolio_id": { "withheld": true, "why": "a working-directory name (R8)", "sha256_of_value": "2d433860129381488eab9cfcfa8c3b9a87f44138ec6a007354ceb608a2a1fe78", "bytes": 17 }, "class": "ASSERTING", "why": "changing the claim's 0.235239 to 0.235230 -- 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 sos-quartic-lower-bound", "witness_exit": 0, "demonstration": { "kind": "claim-mutation", "what": "the claim's 0.235239 was changed to 0.235230 in a temporary copy of top40.json and the recorded witness command re-run against it with --top40", "number": "0.235239", "mutant": "0.235230", "mutant_exit": 1, "mutant_first_line": "WITNESS sos-quartic-lower-bound: FAIL -- claim number(s) in no cited artifact: 0.235230", "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": "sos-quartic-lower-bound", "portfolio_id": { "withheld": true, "why": "a working-directory name (R8)", "sha256_of_value": "2d433860129381488eab9cfcfa8c3b9a87f44138ec6a007354ceb608a2a1fe78", "bytes": 17 }, "witness_command": "python3 scripts/witness_jewel.py sos-quartic-lower-bound", "path": "repro/sos-quartic-lower-bound/", "inputs": 10, "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": 6, "tiers": { "claim_values": { "candidates": 0, "claim_moving": 0, "witness_runs": 0 }, "listed": { "candidates": 273, "claim_moving": 3, "witness_runs": 6 }, "traced": { "candidates": 0, "claim_moving": 0, "witness_runs": 0 } } }, "neutral_mutations": { "drawn": 18, "repro_red": 0, "coverage": { "listed_inputs_with_edits": 10, "runs": 18 } }, "inputs_graded": 10, "kit_pins_sha256": "c0320c0f0557fcdeeb9140d886b4267da9af9763ca14510c6eed40f0d3ca039c" } }, "measured": { "measured": true, "basis": "demonstration.mutant_exit = 1", "exit": 1, "defect_rejected": true }, "register": { "truth_state": "attested", "truth_line": 158, "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.limits", "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" } } }