{
  "_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:two-engine-tail-latency-converses",
  "id": "two-engine-tail-latency-converses",
  "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[24].claim",
    "file": "05_wireless_reliability_fallback_lab/dataroom/top40.json"
  },
  "top40_entry": {
    "id": "two-engine-tail-latency-converses",
    "rank": 25,
    "title": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "69ac3f7bd39719b81aa91957979d608ae67525ab3e21027f56cc38f2fb5307fd",
      "bytes": 112
    },
    "claim": "Two deadline-miss tail-latency converses in domains that have none, each computed by **two independent exact engines agreeing to ≤1e-12**, each with the floor hit exactly by the optimal policy and the naive twin strictly above.",
    "scope": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "04368dd0e8ab8278d87ec4535dd32fd6c185b012812043fef7dde6178b2f4c20",
      "bytes": 674
    },
    "limits": "Both are converses **of the declared abstraction**, and both artifacts say so.",
    "artifact_path": "artifacts/mlo_latency_converse_v94.json",
    "witness_command": "python3 scripts/mlo_latency_converse_v94.py && python3 scripts/fec_llr_latency_v98b.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": "6ffe82ecede09d7689abf37b23ce91fae5ab3a62f1aefa296507fafe99152186",
      "bytes": 165
    },
    "witness_class": "ASSERTING",
    "witness_class_basis": "`dataroom/witness_quality.json` id `two-engine-tail-latency-converses` — class ASSERTING; clean-clone exit 0; planted defect(s) D20b",
    "clean_clone_exit": 0,
    "third_party_axis": "—",
    "third_party_basis": "`out/s02/verdicts.json` rank 25 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/mlo_latency_converse_v94.py && python3 scripts/fec_llr_latency_v98b.py",
    "reproduce_command": "python3 scripts/mlo_latency_converse_v94.py && python3 scripts/fec_llr_latency_v98b.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": 27
  },
  "witness_quality_entry": {
    "id": "two-engine-tail-latency-converses",
    "claim": "Two deadline-miss tail-latency converses in domains that have none, each computed by **two independent exact engines agreeing to ≤1e-12**, each with the floor hit exactly by the optimal policy and the naive twin strictly above.",
    "class": "ASSERTING",
    "why": "MEASURED 2026-09-19 by D20b, not read: engine A's recursion in `common/csma_backoff.py` was perturbed by one part in a million — six orders of magnitude above the 1e-12 the claim quotes, and far too small to break anything else — and the witness exited 1. A first attempt, D20, moved that function's DEFAULT `cw_min` argument and came back green; it is recorded and NOT cited, because every caller passes the parameter explicitly, so the run left the claimed datum intact (`max gap` never moved off 1.11e-16) and says nothing about the witness. Both artifacts recorded `executed: true` in the clean clone. Both scripts carry a `_skip()` that exits 0 with `executed: false` if numpy/scipy are missing; it did not fire, and the receipt is the evidence. Note the known run-to-run churn in `artifacts/mlo_latency_converse_v94.json` (float last-bit noise) — it changes the artifact, never the verdict.",
    "clean_clone": {
      "artifact_skip_markers": {
        "executed": true,
        "skipped": false
      },
      "exit": 0,
      "receipt": "out/s02_witness_quality/clean_clone_receipts_2026-09-12.json#25:two-engine-tail-latency-converses",
      "seconds": 3.6,
      "skip_reason": null,
      "skipped": null
    },
    "planted_defects": [
      {
        "demo": "D20b",
        "exit_after_restore": 0,
        "exit_before": 0,
        "exit_with_defect": 1,
        "expectation": "nonzero",
        "expectation_met": true,
        "file_restored_byte_identical": true,
        "mutation": {
          "from": "        return p_fail * retry  # success",
          "to": "        return p_fail * retry * 1.000001  # success"
        },
        "needle": null,
        "needle_in_baseline": false,
        "needle_with_defect": false,
        "planted": "engine A's recursion is perturbed by one part in a million — six orders of magnitude above the 1e-12 the claim says the two independent engines agree to, and far too small to break anything else. Engine B (the DTMC) is untouched, so the agreement the claim is made of is destroyed and nothing else is",
        "ran_at": "2026-09-19T00:40:49+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": "the MLO converse legs, including the two engines agreeing to <=1e-12",
        "file": "scripts/mlo_latency_converse_v94.py",
        "lines": [
          256
        ],
        "needle": "return 0 if all_ok else 1",
        "source": "return 0 if all_ok else 1"
      },
      {
        "asserts": "the FEC/LLR converse legs, same two-engine agreement",
        "file": "scripts/fec_llr_latency_v98b.py",
        "lines": [
          259
        ],
        "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": 102,
    "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": "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"
    }
  }
}