{ "_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:covert-square-root-law", "id": "covert-square-root-law", "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[6].claim", "file": "05_wireless_reliability_fallback_lab/dataroom/top40.json" }, "top40_entry": { "id": "covert-square-root-law", "rank": 7, "title": { "withheld": true, "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)", "sha256_of_value": "093f6a887af618b28aeceb393d819ed3dac9e4dccc37c7f539ba1f85b6b1ca75", "bytes": 94 }, "claim": "A *detection* converse rather than a decoding one: with a Gaussian warden running the optimal detector, total covert bits scale like √n and per-use covert rate goes to zero.", "scope": "A detection converse against a Gaussian warden running the optimal detector, within a declared model. Corrected UPWARD from 34.55 to ~65.9 bits after a biased-quadrature estimator bug; MODEL, not measured.", "limits": "MODEL: Gaussian warden, quasi-static Rician fading, low-SNR covert regime.", "artifact_path": "artifacts/covert_fbl_v98c.json", "witness_command": "python3 scripts/covert_fbl_v98c.py", "witness_result": { "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": "987085ac39bfad95f9883e143268d7dea279f23e0c1175134bbbad6da222c051", "bytes": 155 }, "witness_class": "ASSERTING", "witness_class_basis": "`dataroom/witness_quality.json` id `covert-square-root-law` — class ASSERTING; clean-clone exit 0; planted defect(s) D9", "clean_clone_exit": 0, "third_party_axis": "—", "third_party_basis": "`out/s02/verdicts.json` rank 7 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 scripts/covert_fbl_v98c.py", "reproduce_command": "python3 scripts/covert_fbl_v98c.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_ok True executed True", "attestation_rank": 19 }, "witness_quality_entry": { "id": "covert-square-root-law", "claim": "A *detection* converse rather than a decoding one: with a Gaussian warden running the optimal detector, total covert bits scale like √n and per-use covert rate goes to zero.", "class": "ASSERTING", "why": "Recomputes the detection converse and exits non-zero on a failed leg. Its `_skip()` path (line 61) would write `executed: false` and exit 0 if a dependency were missing — the clean-clone run recorded `executed: true`, so the assertion actually ran. The audit records the skip-clean path because it is the shape that produced rank 9's vacuous green.", "clean_clone": { "artifact_skip_markers": { "executed": true, "skipped": false }, "exit": 0, "receipt": "out/s02_witness_quality/clean_clone_receipts_2026-09-12.json#7:covert-square-root-law", "seconds": 78.7, "skip_reason": null, "skipped": null }, "planted_defects": [ { "demo": "D9", "exit_after_restore": 0, "exit_before": 0, "exit_with_defect": 1, "expectation": "nonzero", "expectation_met": true, "file_restored_byte_identical": true, "mutation": { "from": "bits_double = all(abs(bits[i + 1] / bits[i] - 2.0) <= 1e-9", "to": "bits_double = all(abs(bits[i + 1] / bits[i] - 2.5) <= 1e-9" }, "needle": null, "needle_in_baseline": false, "needle_with_defect": false, "planted": "the square-root law itself is destroyed: the witness is made to assert that quadrupling the blocklength multiplies total covert bits by 2.5, when √n scaling means exactly 2. If the witness recomputes the ladder it must refuse", "ran_at": "2026-09-19T00:32:02+00:00", "receipt_file": "out/s02_witness_quality/planted_defects_2026-09-19.json", "verdict": "ASSERTING — the planted defect turned the witness red" } ], "asserts": [ { "asserts": "every acceptance leg of the covert square-root-law derivation", "file": "scripts/covert_fbl_v98c.py", "lines": [ 248 ], "needle": "return 0 if all_ok else 1", "source": "return 0 if all_ok 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": 91, "measured_per_register": false, "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": "top40.witness_result", "codes": [ "ABSOLUTE_USER_PATH", "LANE_DIRECTORY_NAME", "OPERATOR_ACCOUNT", "HOME_RELATIVE_PATH" ] }, { "field": "top40.title", "codes": [ "PROCESS_NARRATION" ] }, { "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" } } }