{ "_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:mutation-kill-rate", "id": "mutation-kill-rate", "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[7].claim", "file": "dataroom/top40.json" }, "top40_entry": { "id": "mutation-kill-rate", "portfolio_id": { "withheld": true, "why": "a working-directory name (R8)", "sha256_of_value": "2e734d60bf39a8fd740e41c7bd8fd5ceef8139eb1fe302ab53c019e6ab1e9adf", "bytes": 26 }, "rank": 8, "native_rank": 35, "title": "Every non-equivalent mutant of the invariant suite was killed, and the equivalent-mutant count is declared rather than hidden — and it moves between runs", "claim": "Every non-equivalent mutant of the invariant suite was killed (kill rate 1.0, zero survivors); the equivalent-mutant count is declared rather than counted as a kill, and it is not stable between runs (1 of 66 committed, 3 of 68 on regeneration 2026-09-02).", "scope": "Mutation over the INVARIANT SUITE, not the whole repository. 'Equivalent mutant' is this repository's judgement about its own code, and the mutant set itself moved between runs (66 -> 68); a reader who disagrees with the judgement should read the rate as killed over total for the run they regenerate.", "artifact_path": "artifacts/native/mutation_scale_ci.json", "witness_command": "make mutation-scale", "witness_result": { "withheld": true, "why": "the operator's account name (R8); a macOS private temporary path on the machine that produced the file (R8); an agent scratch directory (R8); an agent build root, which carries the operator uid and home directory in slugged form (R8); a home directory in slugged form (R8)", "sha256_of_value": "f550677b86c065aea29f54d45b1746d7cebae1521184538eae4da273d42e384a", "bytes": 395 }, "third_party_axis": "—", "facts": { "ran_with_receipt": true, "third_party_graded": false, "negative_control_stated": true, "ip_class_known": false, "reproduce_command": true, "regenerates": true }, "fact_count": 4, "repro_command": "make mutation-scale", "ip_class": null, "ip_class_basis": "no source in this repository states an IP class for this entry; never guessed" }, "witness_quality_entry": { "id": "mutation-kill-rate", "portfolio_id": { "withheld": true, "why": "a working-directory name (R8)", "sha256_of_value": "2e734d60bf39a8fd740e41c7bd8fd5ceef8139eb1fe302ab53c019e6ab1e9adf", "bytes": 26 }, "title": "Every non-equivalent mutant of the invariant suite was killed, and the equivalent-mutant count is declared rather than hidden — and it moves between runs", "claim": "Every non-equivalent mutant of the invariant suite was killed (kill rate 1.0, zero survivors); the equivalent-mutant count is declared rather than counted as a kill, and it is not stable between runs (1 of 66 committed, 3 of 68 on regeneration 2026-09-02).", "class": "ASSERTING", "why": "clean-clone exit 0; every decisive planted defect went red: [0] make the no_key_reinstall invariant vacuous (always held): its always_true mutant is now equivalent to the original and survives -> exit 2", "witness_command": "make mutation-scale", "clean_clone": { "withheld": true, "why": "the operator's account name (R8); a macOS private temporary path on the machine that produced the file (R8); an agent scratch directory (R8); an agent build root, which carries the operator uid and home directory in slugged form (R8); a home directory in slugged form (R8)", "sha256_of_value": "fa05e7587da10b79acca5a10b2fc25b3c79e5542ae4bd773d92f741c9f421945", "bytes": 447 }, "planted_defects": [ { "index": 0, "what": "make the no_key_reinstall invariant vacuous (always held): its always_true mutant is now equivalent to the original and survives", "falsifies": "number: kill rate 1.0 / zero survivors (the teeth mutant is no longer killed)", "decisive": true, "planted": [ { "path": "lib/wifipqc/attacks.py", "diff": "' held = (r.nonce_resets == 0)\\n return held, (\"no reinstall\" if held' -> ' held = True\\n return held, (\"no reinstall\" if held' (x1 of 1)" } ], "exit": 2, "seconds": 0.4, "last_line": "make: *** [mutation-scale] 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": true }, "register": { "truth_state": "attested", "truth_line": 127, "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": "top40.witness_result", "codes": [ "OPERATOR_ACCOUNT", "PRIVATE_TMP_PATH", "AGENT_BUILD_ROOT", "SLUGGED_HOME" ] }, { "field": "witness_quality.portfolio_id", "codes": [ "LANE_DIRECTORY_NAME" ] }, { "field": "witness_quality.clean_clone", "codes": [ "OPERATOR_ACCOUNT", "PRIVATE_TMP_PATH", "AGENT_BUILD_ROOT", "SLUGGED_HOME" ] }, { "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" } } }