{ "_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-pqc", "repository": "wireless-pqc", "commit": "709160c57c9eb875e239acdf1eb3d0c4462e4c29", "portfolio_id": "wireless-pqc:cross-genus-refutation", "id": "cross-genus-refutation", "attestation_row": { "attested_at": "2026-09-13", "attestor": "03-wifipqc", "repository": { "withheld": true, "why": "a working-directory name (R8)", "sha256_of_value": "6f37ed958c37482bf7ee04acba61df04492fe3186c1ba6c10b77519cd450c69f", "bytes": 7 }, "source_doc": "CROWN_JEWELS_RESOLVED.md", "source_doc_sha256": "6958cd834026328936c2fbfb51a8b00a4dd5ec6cb65b1d0d8960bcfe0b9e2418", "state": "attested", "top_n": 26, "note_sha256": "c1af3e3220ffc4290cc975a79bf85d216638fd8abd3f4d8e7e67f6f5af0aff3b", "ids_in_row": 26, "file": "dataroom/TOP_N_ATTESTATION.jsonl", "line": 1 }, "claim_source": { "receipt": "wireless-pqc/dataroom/top40.json", "sha256": "6076db4027d7499ac53b5cf15f9a07bb7e41c38f56fb0f469a62353e10e65353", "field": "entries[29].claim", "file": "dataroom/top40.json" }, "top40_entry": { "id": "cross-genus-refutation", "portfolio_id": { "withheld": true, "why": "a working-directory name (R8)", "sha256_of_value": "2922f5332c883430b80cd109c9eb58070f0e50519f6399682ddd32f5cc176868", "bytes": 30 }, "rank": 30, "native_rank": 19, "title": "We ran our own best cross-protocol hypothesis and it came back false — with the certificate correctly declining rather than bluffing", "claim": "We ran our own best cross-protocol hypothesis and it came back false, with the certificate correctly declining rather than bluffing.", "scope": "A refutation this repository published about itself, not a capability. The method transfers; the answer is genus-specific.", "artifact_path": "artifacts/native/cross_genus_ci.json", "witness_command": "make cross-genus", "witness_result": { "status": "RAN", "exit": 0, "line": "ACCEPTANCE: ALL PASS", "seconds": 0.7, "run_at": "2026-09-13T02:32:50Z", "owner_gated": false, "reason": null, "run_of_record": "clean clone at HEAD (S03, dataroom/witness_quality_20260913/clean_clone_baseline.json)" }, "third_party_axis": "—", "facts": { "ran_with_receipt": true, "third_party_graded": false, "negative_control_stated": false, "ip_class_known": false, "reproduce_command": true, "regenerates": false }, "fact_count": 2, "repro_command": "make cross-genus", "ip_class": null, "ip_class_basis": "no source in this repository states an IP class for this entry; never guessed" }, "witness_quality_entry": { "id": "cross-genus-refutation", "portfolio_id": { "withheld": true, "why": "a working-directory name (R8)", "sha256_of_value": "2922f5332c883430b80cd109c9eb58070f0e50519f6399682ddd32f5cc176868", "bytes": 30 }, "title": "We ran our own best cross-protocol hypothesis and it came back false — with the certificate correctly declining rather than bluffing", "claim": "We ran our own best cross-protocol hypothesis and it came back false, with the certificate correctly declining rather than bluffing.", "class": "ASSERTING", "why": { "withheld": true, "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)", "sha256_of_value": "319e51ff8cf0a90a87e3a1561315670812dde8c6291bc55d0ecf709af25d80d4", "bytes": 185 }, "witness_command": "make cross-genus", "clean_clone": { "exit": 0, "status": "RAN", "seconds": 0.7, "first_line": "cross-genus: K(802.11)=7 unique=True vs K(TLS)=4 unique=False", "last_line": "ACCEPTANCE: ALL PASS", "artifact_rewritten": false, "dirtied": [], "run_at": "2026-09-13T02:32:50Z", "reason": null }, "planted_defects": [ { "index": 0, "what": "move the 802.11 pin (K == 7 -> K == 6) while the catalogue still yields 7", "falsifies": "number: K is 7 over 802.11", "decisive": false, "planted": [ { "path": "tools/check_cross_genus.py", "diff": "' g11[\"K\"] == 7 and g11[\"subsets_enumerated\"] == 149718' -> ' g11[\"K\"] == 6 and g11[\"subsets_enumerated\"] == 149718' (x1 of 1)" } ], "exit": 2, "seconds": 0.7, "last_line": "make: *** [cross-genus] Error 1", "failure_moved_by": null }, { "index": 1, "what": { "withheld": true, "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)", "sha256_of_value": "80f453e90775172df72c7472888e035383402a64c44b93d9f7a38236b867b43d", "bytes": 111 }, "falsifies": "property: the 802.11 result is unchanged", "decisive": true, "planted": [ { "path": "lib/wifipqc/decirc/defenses.py", "diff": "' add(Defense(\"Y\", tag=_t_roam_fresh,' -> ' add(Defense(\"Yx\", tag=_t_roam_fresh,' (x1 of 1)" } ], "exit": 2, "seconds": 0.6, "last_line": "make: *** [cross-genus] Error 1", "failure_moved_by": null } ], "measured": true, "stale_claims_ref": null }, "packet": null, "measured": { "measured": true, "basis": "planted_defects[].exit = 2", "exit": 2, "defect_rejected": false }, "register": { "truth_state": "attested", "truth_line": 118, "measured_per_register": true, "witness_class_per_register": "ASSERTING", "ip_class_public": "unknown", "ip_class_sha256": "b23a6a8439c0dde5515893e7c90c1e3233b8616e634470f20dc4928bcf3609bc", "ip_class_source": "TOP_N_CROWN_JEWELS.md:72 @ 102044d55aab", "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.portfolio_id", "codes": [ "LANE_DIRECTORY_NAME" ] }, { "field": "witness_quality.portfolio_id", "codes": [ "LANE_DIRECTORY_NAME" ] }, { "field": "witness_quality.why", "codes": [ "PROCESS_NARRATION" ] }, { "field": "witness_quality.planted_defects[1].what", "codes": [ "PROCESS_NARRATION" ] }, { "field": "attestation_row.repository", "codes": [ "LANE_DIRECTORY_NAME" ] } ], "sources": { "attestation": { "receipt": "wireless-pqc/dataroom/TOP_N_ATTESTATION.jsonl", "source": "dataroom/TOP_N_ATTESTATION.jsonl", "commit": "709160c57c9eb875e239acdf1eb3d0c4462e4c29", "sha256": "9bf48d398fc36b52f21264edc3a04b8e2c3cd7da3c53f24ec80636897997097e", "bytes": 3364, "visibility": "sealed" }, "top40": { "receipt": "wireless-pqc/dataroom/top40.json", "source": "dataroom/top40.json", "commit": "709160c57c9eb875e239acdf1eb3d0c4462e4c29", "sha256": "6076db4027d7499ac53b5cf15f9a07bb7e41c38f56fb0f469a62353e10e65353", "bytes": 167747, "visibility": "sealed" }, "witness_quality": { "receipt": "wireless-pqc/dataroom/witness_quality.json", "source": "dataroom/witness_quality.json", "commit": "709160c57c9eb875e239acdf1eb3d0c4462e4c29", "sha256": "5d379a10112d400163b35100a423124c28e8bfbbdbe4378b71840eda85f75cfe", "bytes": 143046, "visibility": "sealed" }, "repro_index": { "receipt": "wireless-pqc/repro/INDEX.json", "source": "repro/INDEX.json", "commit": "709160c57c9eb875e239acdf1eb3d0c4462e4c29", "sha256": "378fd4a3ce4f44403b7c9ca6a3f19c11895831f892736376c90cf9423037f9eb", "bytes": 26512, "visibility": "sealed" } } }