{ "_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:rounds-sandwich", "id": "rounds-sandwich", "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[20].claim", "file": "05_wireless_reliability_fallback_lab/dataroom/top40.json" }, "top40_entry": { "id": "rounds-sandwich", "rank": 21, "title": { "withheld": true, "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)", "sha256_of_value": "57af1de70e5cd66ba502c0a0e7fee492073fe7a0c499a5b5aebba7ab61a9897e", "bytes": 82 }, "claim": "A tail-sum sphere-packing converse gives the physics floor on expected HARQ rounds; the shipped guard captures **84.0%** of the entire distance between the naive fixed policy and that floor, and stop-at-first-decode is proved **exactly optimal** among zero-false-ACK schemes.", "scope": { "withheld": true, "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)", "sha256_of_value": "efe184d5f71eae3e6abc7ca10c4a1cbf2d3c99547f01bf0af25e81069435228b", "bytes": 251 }, "limits": "The artifact's `explicit_non_claim` is explicit: it **does not** claim the measured 1.48 approaches the channel floor (~1.0); the optimality claim is about the *policy class*, not the code.", "artifact_path": "artifacts/rounds_converse_v54.json", "witness_command": "python3 scripts/rounds_converse_v54.py && python3 portfolio/valuation_rollup.py && python3 scripts/check_acceptance_v54.py", "witness_result": "exit=0 · 4.1s · v54 acceptance: 9/9 criteria pass (EXECUTED)", "witness_class": "ASSERTING", "witness_class_basis": "`dataroom/witness_quality.json` id `rounds-sandwich` — class ASSERTING; clean-clone exit 0; planted defect(s) D17", "clean_clone_exit": 0, "third_party_axis": "—", "third_party_basis": "`out/s02/verdicts.json` rank 21 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/rounds_converse_v54.py && python3 portfolio/valuation_rollup.py && python3 scripts/check_acceptance_v54.py", "reproduce_command": "python3 scripts/rounds_converse_v54.py && python3 portfolio/valuation_rollup.py && python3 scripts/check_acceptance_v54.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": "guard_attains True", "attestation_rank": 25 }, "witness_quality_entry": { "id": "rounds-sandwich", "claim": "A tail-sum sphere-packing converse gives the physics floor on expected HARQ rounds; the shipped guard captures **84.0%** of the entire distance between the naive fixed policy and that floor, and stop-at-first-decode is proved **exactly optimal** among zero-false-ACK schemes.", "class": "ASSERTING", "why": "Producer and acceptance checker are separate processes chained with `&&`; 4.2 s green in the clean clone with `executed: true`.", "clean_clone": { "artifact_skip_markers": { "executed": true, "skipped": false }, "exit": 0, "receipt": "out/s02_witness_quality/clean_clone_receipts_2026-09-12.json#21:rounds-sandwich", "seconds": 2.4, "skip_reason": null, "skipped": null }, "planted_defects": [ { "demo": "D17", "exit_after_restore": 0, "exit_before": 0, "exit_with_defect": 1, "expectation": "nonzero", "expectation_met": true, "file_restored_byte_identical": true, "mutation": { "from": "shares = {name: R12((fixed_rounds - guard_rounds) / (fixed_rounds - f))", "to": "shares = {name: R12(1.10 * (fixed_rounds - guard_rounds) / (fixed_rounds - f))" }, "needle": null, "needle_in_baseline": false, "needle_with_defect": false, "planted": "the captured-share figure the claim quotes as 84.0% is inflated by 10% in the producer. The acceptance checker recomputes the share from the v48 numbers, so if that criterion is real it must catch the disagreement", "ran_at": "2026-09-19T00:37:43+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": "9 acceptance criteria including the 84.0% capture figure the claim quotes and the exact optimality of stop-at-first-decode", "file": "scripts/check_acceptance_v54.py", "lines": [ 202 ], "needle": "sys.exit(0 if all_pass else 1)", "source": "sys.exit(0 if all_pass 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": 100, "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.title", "codes": [ "PROCESS_NARRATION" ] }, { "field": "top40.scope", "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" } } }