{
 "_doc": "The lab's current claim and limits for one result, copied word for word from the portfolio's current-claims file at the line named here. A value this site does not print in full is replaced by its sha256 and byte count, with the reason; the excerpts beside it are copied word for word from the same value. Nothing here is written by hand.",
 "result": "wireless-reliability:uec-interconnect-essentiality",
 "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.",
 "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`).",
 "claim_excerpts": [],
 "limits_excerpts": [],
 "lab_commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
 "source": {
  "file": "portfolio-control registry/CLAIMS_CURRENT.jsonl",
  "line": 36,
  "sha256": "81776df15a1498abec7228ea179c952d01c54e031ffd4144498a30660963074b"
 },
 "evidence": "/receipts/wireless-reliability/results/uec-interconnect-essentiality.json",
 "copied_utc": "2026-10-03T16:11:27Z"
}