{
  "_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": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
  "portfolio_id": "wireless-reliability:uec-interconnect-essentiality",
  "id": "uec-interconnect-essentiality",
  "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": "ae73c48d3d2bde9823c48135cc3904b8d5b043ff90d576776507a63666e19dd9",
    "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": "cedd543fbe1467ee2ea90f303a8f5e03ada3afe403916618b78e934adc0baf9f",
    "field": "entries[1].claim",
    "file": "05_wireless_reliability_fallback_lab/dataroom/top40.json"
  },
  "top40_entry": {
    "id": "uec-interconnect-essentiality",
    "rank": 2,
    "title": "Interconnect essentiality against public UEC 1.0.2 normative text",
    "claim": "The UET delivery sublayer's Reliable-Ordered-Delivery recovery gate is proven to entail the published UEC 1.0.2 rule that data be delivered to the wire in the order of its sequence number — by four independent engines, against a copy of the third party's own text checked by its SHA-256 hash, with the naive one-deep window refuted by counterexample.",
    "scope": "Model-level entailment against ONE fetched sentence of public UEC 1.0.2 normative text, checked by its SHA-256 hash. NOT a declared SEP, NOT an FTO opinion, NOT over-the-air. EV-U02 records this result as having had zero coverage from all three honesty guards.",
    "limits": "(a) This is a **modeling entailment, not a legal or SEP opinion**; no professional essentiality opinion has been obtained, and the entailment runs one way only: in the same model the mandate as literally stated does not require the gate (39 distinct compliant receivers do without it), it does when read to also forbid a gap, and no compliant receiver, the gate included, is live in this 2-PSN model, which has no retransmission (`artifacts/uec_converse.json`).",
    "artifact_path": "artifacts/uet_transport_v98.json",
    "witness_command": "python3 scripts/run_uec_deep.py && python3 scripts/uet_transport_v98.py && python3 scripts/uec_converse.py",
    "witness_result": "exit=0 · 19.1s · artifact: CURRENT",
    "witness_class": "ASSERTING",
    "witness_class_basis": "`dataroom/witness_quality.json` id `uec-interconnect-essentiality` — class ASSERTING; clean-clone exit 0; planted defect(s) D8,D27,D40,D41,D42",
    "clean_clone_exit": 0,
    "third_party_axis": "B",
    "third_party_basis": "`out/s02/verdicts.json` rank 2 axis `TPG-POST`",
    "facts": {
      "ran_with_receipt": true,
      "third_party_graded": true,
      "negative_control_stated": true,
      "ip_class_known": false,
      "reproduce_command": true,
      "regenerates": true
    },
    "facts_count": 5,
    "repro_command": "python3 scripts/run_uec_deep.py && python3 scripts/uet_transport_v98.py && python3 scripts/uec_converse.py",
    "reproduce_command": "python3 scripts/run_uec_deep.py && python3 scripts/uet_transport_v98.py && python3 scripts/uec_converse.py",
    "repro_packet": {
      "path": "repro/uec-interconnect-essentiality/",
      "index_sha256": "eb2d8d52b757c80c4a4429234dd1ef455b9b10ae1f3f909877ff71ddc2a50338",
      "grade": "PENDING_KIT2",
      "kit_pin": "af52c51b8b736c1930e0f36a27ce273f13cf86c8b4b88b703df44e80d5b25553",
      "graded_rev": "c00e9fc66a81985b79a78d866a45314aa63ed123"
    },
    "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": "EXTERNAL",
    "run_status": "RAN",
    "output_excerpt": "all_ok True credited True bfs_naive_refuted True",
    "attestation_rank": 2
  },
  "witness_quality_entry": {
    "id": "uec-interconnect-essentiality",
    "claim": "The UET delivery sublayer's Reliable-Ordered-Delivery recovery gate is proven to entail the published UEC 1.0.2 rule that data be delivered to the wire in the order of its sequence number — by four independent engines, against a copy of the third party's own text checked by its SHA-256 hash, with the naive one-deep window refuted by counterexample.",
    "class": "ASSERTING",
    "why": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "2d0a74cb23c1aed674fed104aa9035b6db0ab601e0d7fa843e1bdf1e4d7380fe",
      "bytes": 652
    },
    "clean_clone": {
      "artifact_skip_markers": {
        "executed": true,
        "skipped": false
      },
      "exit": 0,
      "receipt": "out/s02_witness_quality/clean_clone_receipts_2026-09-12.json#2:uec-interconnect-essentiality",
      "seconds": 16.8,
      "skip_reason": null,
      "skipped": null
    },
    "planted_defects": [
      {
        "demo": "D8",
        "exit_after_restore": 0,
        "exit_before": 0,
        "exit_with_defect": 1,
        "expectation": "nonzero",
        "expectation_met": true,
        "file_restored_byte_identical": true,
        "mutation": {
          "from": {
            "withheld": true,
            "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
            "sha256_of_value": "341462b829cd420bdd5fe6323cbec81a7f2a4d2adc55b320577ec857ce72633c",
            "bytes": 109
          },
          "to": {
            "withheld": true,
            "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
            "sha256_of_value": "b33eab5ce4c8036d52b51965e3783fa545f8edc8eaaf5efa08f7ef4a8a47d1e5",
            "bytes": 108
          }
        },
        "needle": null,
        "needle_in_baseline": false,
        "needle_with_defect": false,
        "planted": "the third party's own normative sentence is downgraded from an absolute BCP 14 MUST to a permissive MAY — the mandate the whole essentiality claim is made against. B3's 2026-09-16 audit found this tamper left the witness GREEN; this row is the measurement of whether c9941a7's pinning fixed it",
        "ran_at": "2026-09-19T00:31:45+00:00",
        "receipt_file": "out/s02_witness_quality/planted_defects_2026-09-19.json",
        "verdict": "ASSERTING — the planted defect turned the witness red"
      },
      {
        "demo": "D27",
        "exit_after_restore": 0,
        "exit_before": 0,
        "exit_with_defect": 1,
        "expectation": "nonzero",
        "expectation_met": true,
        "file_restored_byte_identical": true,
        "mutation": {
          "from": "def apalache_available():\n    return find_apalache() is not None",
          "to": "def apalache_available():\n    return False"
        },
        "needle": null,
        "needle_in_baseline": false,
        "needle_with_defect": false,
        "planted": "Apalache is made unavailable. The claim says the entailment is confirmed by FOUR independent engines, so a witness that still reports ALL OK with one of them absent is asserting a three-engine result under a four-engine sentence",
        "ran_at": "2026-09-19T00:39:29+00:00",
        "receipt_file": "out/s02_witness_quality/planted_defects_2026-09-19.json",
        "verdict": "ASSERTING — the planted defect turned the witness red"
      },
      {
        "demo": "D40",
        "exit_after_restore": 0,
        "exit_before": 0,
        "exit_with_defect": 1,
        "expectation": "nonzero",
        "expectation_met": true,
        "file_restored_byte_identical": true,
        "mutation": {
          "from": "\n    \"distinct_compliant_receivers_without_the_gate_under_O\": 39,\n",
          "to": "\n    \"distinct_compliant_receivers_without_the_gate_under_O\": 40,\n"
        },
        "needle": null,
        "needle_in_baseline": false,
        "needle_with_defect": false,
        "planted": "the count the limits quote (39 distinct compliant receivers without the gate under the literal mandate) is moved to 40 in the committed converse artifact",
        "ran_at": "2026-09-26T17:50:08+00:00",
        "receipt_file": "out/s02_witness_quality/planted_defects_2026-09-26_uec.json",
        "verdict": "ASSERTING — the planted defect turned the witness red"
      },
      {
        "demo": "D41",
        "exit_after_restore": 0,
        "exit_before": 0,
        "exit_with_defect": 0,
        "expectation": "zero",
        "expectation_met": true,
        "file_restored_byte_identical": true,
        "mutation": {
          "from": "\n    \"distinct_compliant_receivers_without_the_gate_under_O\": 39,\n",
          "to": "\n    \"distinct_compliant_receivers_without_the_gate_under_O\":      39,\n"
        },
        "needle": null,
        "needle_in_baseline": false,
        "needle_with_defect": false,
        "planted": "INERT: whitespace inserted inside the 39 line of the converse artifact; no value changes",
        "ran_at": "2026-09-26T17:51:02+00:00",
        "receipt_file": "out/s02_witness_quality/planted_defects_2026-09-26_uec.json",
        "verdict": "INERT — a layout-only edit that changes no value left the witness green, as a check of the claim (not of the bytes) must"
      },
      {
        "demo": "D42",
        "exit_after_restore": 0,
        "exit_before": 0,
        "exit_with_defect": 1,
        "expectation": "nonzero",
        "expectation_met": true,
        "file_restored_byte_identical": true,
        "mutation": {
          "from": "\n    \"holds_under_O\": false,\n",
          "to": "\n    \"holds_under_O\": true,\n"
        },
        "needle": null,
        "needle_in_baseline": false,
        "needle_with_defect": false,
        "planted": "the converse verdict under the literal mandate is flipped from false to true in the committed converse artifact",
        "ran_at": "2026-09-26T17:52:03+00:00",
        "receipt_file": "out/s02_witness_quality/planted_defects_2026-09-26_uec.json",
        "verdict": "ASSERTING — the planted defect turned the witness red"
      }
    ],
    "asserts": [
      {
        "asserts": "every engine's verdict over the SHA-pinned UEC text must hold",
        "file": "scripts/run_uec_deep.py",
        "lines": [
          138
        ],
        "needle": "return 0 if doc[\"all_ok\"] else 1",
        "source": "return 0 if doc[\"all_ok\"] else 1"
      },
      {
        "asserts": "the transport acceptance legs, including the refutation of the naive one-deep window by counterexample",
        "file": "scripts/uet_transport_v98.py",
        "lines": [
          350
        ],
        "needle": "return 0 if all_ok else 1",
        "source": "return 0 if all_ok else 1"
      },
      {
        "asserts": "the committed converse artifact (the limits' 39 compliant receivers without the gate, and holds_under_O false) must equal a live run, by value",
        "file": "scripts/uec_converse.py",
        "lines": [
          487
        ],
        "needle": "STALE: artifacts/uec_converse.json is not what this run computes",
        "source": "print(\"STALE: artifacts/uec_converse.json is not what this run computes (keys %s); \""
      }
    ],
    "stale_claims_ref": null
  },
  "packet": {
    "id": "uec-interconnect-essentiality",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "0b8aff29e312bf6cd6f672985121da28eb25798a3ce68ee356518f3839c32a4b",
      "bytes": 37
    },
    "witness_command": "python3 scripts/run_uec_deep.py && python3 scripts/uet_transport_v98.py && python3 scripts/uec_converse.py",
    "checker_witness": "cd 05_wireless_reliability_fallback_lab && python3 scripts/run_uec_deep.py && python3 scripts/uet_transport_v98.py && python3 scripts/uec_converse.py",
    "path": "repro/uec-interconnect-essentiality/",
    "inputs": 35,
    "grade": "PENDING_KIT2",
    "facts_count": 5,
    "attestation_rank": 2,
    "env_guard": {
      "tool": "apalache-mc",
      "tools": [
        "apalache-mc",
        "z3",
        "cvc5"
      ],
      "where": "looked up before the witness; if one is missing the three gates run one after another and every block the host can decide is checked before the ENV line",
      "exit": 69
    },
    "kit2": {
      "grade": "ENV",
      "graded_commit": "c00e9fc66a81985b79a78d866a45314aa63ed123",
      "lane_head_at_grading": "c00e9fc66a81985b79a78d866a45314aa63ed123",
      "graded_utc": "2026-09-18T05:57:12Z",
      "reasons": [
        "named tools missing: ['apalache-mc']"
      ],
      "semantic_mutations": {
        "claim_moving": null,
        "repro_red": 0,
        "witness_runs": null,
        "tiers": null
      },
      "neutral_mutations": {
        "drawn": 0,
        "repro_red": 0,
        "coverage": null
      },
      "inputs_graded": 0,
      "kit_pins_sha256": "af52c51b8b736c1930e0f36a27ce273f13cf86c8b4b88b703df44e80d5b25553"
    }
  },
  "measured": {
    "measured": true,
    "basis": "planted_defects[].exit_with_defect = 1",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 151,
    "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 @ a4fcaf179309",
    "receipt": "register/CROWN_JEWELS_TRUTH.md",
    "receipt_sha256": "79ca50c3472bae4ebd179ed533456325be8e0e9027739787bfba9f06442fc39b",
    "ip_class_receipt": "register/ip_class.jsonl",
    "ip_class_receipt_sha256": "1cd70f508c6b79f941e894144715088f18fcd31092e56e98a4cf6be526d9e724"
  },
  "withheld_fields": [
    {
      "field": "packet.portfolio_id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "witness_quality.why",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "witness_quality.planted_defects[0].mutation.from",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "witness_quality.planted_defects[0].mutation.to",
      "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": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
      "sha256": "b55f1ad71bd427ddedb34c58fba1341483b67913559d6bec11bda7fb90a7cd7c",
      "bytes": 3470,
      "visibility": "sealed"
    },
    "top40": {
      "receipt": "wireless-reliability/dataroom/top40.json",
      "source": "05_wireless_reliability_fallback_lab/dataroom/top40.json",
      "commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
      "sha256": "cedd543fbe1467ee2ea90f303a8f5e03ada3afe403916618b78e934adc0baf9f",
      "bytes": 185718,
      "visibility": "sealed"
    },
    "witness_quality": {
      "receipt": "wireless-reliability/dataroom/witness_quality.json",
      "source": "05_wireless_reliability_fallback_lab/dataroom/witness_quality.json",
      "commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
      "sha256": "2f16cc1ef3a134d1fe3631acf8a14d08410f3cd9d121a24f7bfc60abf5aae27c",
      "bytes": 155622,
      "visibility": "sealed"
    },
    "repro_index": {
      "receipt": "wireless-reliability/_root/repro/INDEX.json",
      "source": "repro/INDEX.json",
      "commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
      "sha256": "eb2d8d52b757c80c4a4429234dd1ef455b9b10ae1f3f909877ff71ddc2a50338",
      "bytes": 27508,
      "visibility": "sealed"
    }
  }
}