{
 "_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:monitorgen-five-targets",
 "title": "Protocol monitor synthesis — one machine, five compiled targets — `monitorgen/` (F3-04)",
 "claim": "One verified state machine compiles to five real artifacts — SystemVerilog assertions, an eBPF object, C firmware, a Python trace checker and a CI test suite — and each target's mutants are caught in its own target, with no false alarm on 1,675 conforming traces.",
 "limits": "The artifact's own `not_done` field is the honest headline: `kernel_loaded = False`, `in_kernel_verifier_run = False` — **the eBPF object has never been loaded into a kernel** (there is no `bpf()` syscall on macOS), so the in-kernel verifier has never seen it.",
 "claim_excerpts": [],
 "limits_excerpts": [],
 "lab_commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
 "source": {
  "file": "portfolio-control registry/CLAIMS_CURRENT.jsonl",
  "line": 29,
  "sha256": "81776df15a1498abec7228ea179c952d01c54e031ffd4144498a30660963074b"
 },
 "evidence": "/receipts/wireless-reliability/results/monitorgen-five-targets.json",
 "copied_utc": "2026-10-03T16:11:27Z"
}