{ "_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": "wireless-reliability", "repository": "wireless-reliability", "commit": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff", "portfolio_id": "wireless-reliability:exact-circuit-synthesis", "id": "exact-circuit-synthesis", "attestation_row": { "attested_at": "2026-09-19", "attestor": "02-wireless", "repository": { "withheld": true, "why": "a working-directory name (R8)", "sha256_of_value": "62a01cc8ef60803479267f32d6c312ef0eb75baeb9e054d8b1cac54bf9f40a33", "bytes": 7 }, "source_doc": "CROWN_JEWELS_RESOLVED.md", "source_doc_sha256": "0e41e33d018b8df50fc37e9a1ee7fb393ef434e338776bb04f71e8e15cf440e8", "state": "attested", "top_n": 17, "note_sha256": "e7b0dcf1a32532b1bd0eb9b3d22caa8772768191e022000636b87cd28b1536b0", "ids_in_row": 17, "file": "05_wireless_reliability_fallback_lab/dataroom/TOP_N_ATTESTATION.jsonl", "line": 1 }, "claim_source": { "receipt": "wireless-reliability/dataroom/top40.json", "sha256": "94bf9dc5735a54020b7052fde3da5f062e760f2cb351babab0fcd6f1b52c7be5", "field": "entries[32].claim", "file": "05_wireless_reliability_fallback_lab/dataroom/top40.json" }, "top40_entry": { "id": "exact-circuit-synthesis", "rank": 33, "title": "Exact circuit synthesis — 15/15 GF(2⁴) multipliers proven optimal — `circuits/`", "claim": "SAT-based exact synthesis proving **optimality**, not just improvement: 15 of 15 GF(2⁴) multiplier circuits proven minimal, inside a scoped Merkle closure disjoint from the main one.", "scope": "15 of 15 GF(2^4) constant multipliers proven minimal by SAT exact synthesis with a machine-checked lower bound per constant (r=k SAT, r circuits/gf_mult_results.json", "witness_class": "ASSERTING", "witness_class_basis": "`dataroom/witness_quality.json` id `exact-circuit-synthesis` — class ASSERTING; clean-clone exit 0; planted defect(s) D2", "clean_clone_exit": 0, "third_party_axis": "—", "third_party_basis": "`out/s02/verdicts.json` rank 33 axis `SELF`", "facts": { "ran_with_receipt": true, "third_party_graded": false, "negative_control_stated": false, "ip_class_known": false, "reproduce_command": true, "regenerates": true }, "facts_count": 3, "repro_command": "python3 circuits/gf_mult.py", "reproduce_command": "python3 circuits/gf_mult.py", "ip_class": null, "ip_class_basis": "LANE_REGISTER_2026-09.md: '`ip_class` is UNKNOWN for every row by instruction' — unassessed, therefore null, never inferred", "evidence_tier": "INTERNAL", "run_status": "RAN", "output_excerpt": "all_proved_minimal True n_results 15", "attestation_rank": 32 }, "witness_quality_entry": { "id": "exact-circuit-synthesis", "claim": "SAT-based exact synthesis proving **optimality**, not just improvement: 15 of 15 GF(2⁴) multiplier circuits proven minimal, inside a scoped Merkle closure disjoint from the main one.", "class": "ASSERTING", "why": "Planted defect D2 forced the exact-synthesis upper bound to one gate so minimality could not be proved, and the witness returned **exit 1**; restoring it returned 0 in 6.1 s. The z3 guard at line 62 exits 1, not 0, when z3 is absent — an absent solver is red here, which is the right way round.", "clean_clone": { "artifact_skip_markers": null, "exit": 0, "receipt": "out/s02_witness_quality/clean_clone_receipts_2026-09-12.json#33:exact-circuit-synthesis", "seconds": 7, "skip_reason": null, "skipped": null }, "planted_defects": [ { "demo": "D2", "exit_after_restore": 0, "exit_before": 0, "exit_with_defect": 1, "expectation": "nonzero", "expectation_met": true, "file_restored_byte_identical": true, "mutation": { "from": "hi=max(1, naive), timeout_ms=60000)", "to": "hi=1, timeout_ms=60000)" }, "planted": "the exact-synthesis upper bound is forced to one gate, so minimality cannot be proved for any of the fifteen constants", "ran_at": "2026-09-12T14:36:46+00:00", "receipt_file": "out/s02_witness_quality/planted_defects_2026-09-12.json", "verdict": "ASSERTING — the planted defect turned the witness red" } ], "asserts": [ { "asserts": "all fifteen GF(2^4) constant multipliers must be PROVEN minimal, r-1 UNSAT", "file": "circuits/gf_mult.py", "lines": [ 105 ], "needle": "return 0 if out[\"all_proved_minimal\"] else 1", "source": "return 0 if out[\"all_proved_minimal\"] else 1" } ], "stale_claims_ref": null }, "packet": null, "measured": { "measured": true, "basis": "planted_defects[].exit_with_defect = 1", "exit": 1, "defect_rejected": true }, "register": { "truth_state": "attested", "truth_line": 92, "measured_per_register": true, "witness_class_per_register": "ASSERTING", "ip_class_public": "unknown", "ip_class_sha256": "b23a6a8439c0dde5515893e7c90c1e3233b8616e634470f20dc4928bcf3609bc", "ip_class_source": "05_wireless_reliability_fallback_lab/LANE_REGISTER_2026-09.md:7 @ 3871d59d4db8", "receipt": "register/CROWN_JEWELS_TRUTH.md", "receipt_sha256": "bde06cf0d3e99644522d18e79b6bd5d84ed4f5c86e315a48fef207e9e49c5022", "ip_class_receipt": "register/ip_class.jsonl", "ip_class_receipt_sha256": "b1e8f97aa6779e0fefed2f7a7726e1a03563b536b497392401b49bb8ef84d4ca" }, "withheld_fields": [ { "field": "attestation_row.repository", "codes": [ "LANE_DIRECTORY_NAME" ] } ], "sources": { "attestation": { "receipt": "wireless-reliability/dataroom/TOP_N_ATTESTATION.jsonl", "source": "05_wireless_reliability_fallback_lab/dataroom/TOP_N_ATTESTATION.jsonl", "commit": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff", "sha256": "0a32ca5be37efe69c4770cfdc34075f6101dfd530f8f64349812f119f1dc256f", "bytes": 3470, "visibility": "sealed" }, "top40": { "receipt": "wireless-reliability/dataroom/top40.json", "source": "05_wireless_reliability_fallback_lab/dataroom/top40.json", "commit": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff", "sha256": "94bf9dc5735a54020b7052fde3da5f062e760f2cb351babab0fcd6f1b52c7be5", "bytes": 163338, "visibility": "sealed" }, "witness_quality": { "receipt": "wireless-reliability/dataroom/witness_quality.json", "source": "05_wireless_reliability_fallback_lab/dataroom/witness_quality.json", "commit": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff", "sha256": "d54d7585c2c9014d607f3a27518062eea78a5e1ac86733df5c69067c25f5f365", "bytes": 135112, "visibility": "sealed" }, "repro_index": { "receipt": "wireless-reliability/_root/repro/INDEX.json", "source": "repro/INDEX.json", "commit": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff", "sha256": "0bff5030dca36a8e129e242975c67c75d1b983c670458420bee8b943429ac3ee", "bytes": 24483, "visibility": "sealed" } } }