{
 "_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:composition-certificates",
 "title": "Composition certificates — pairwise-safe is not set-safe — `compose/` (F3-08)",
 "claim": "Ten individually safe agent tools; 2,379 executed sessions against real files and a real SQLite database, exhaustive to three calls; and the finding that **three ⊆-minimal dangerous compositions exist and only one of them is a pair**.",
 "limits": "An approval is single-use only in memory: it is consumed by the first transition it covers, so one approval plus three `net.post` calls now puts exactly one copy of the credential in the sink, but nothing persists that consumption, and an approval rebuilt from its JSON or shown to another process is unused again.",
 "claim_excerpts": [],
 "limits_excerpts": [],
 "lab_commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
 "source": {
  "file": "portfolio-control registry/CLAIMS_CURRENT.jsonl",
  "line": 23,
  "sha256": "81776df15a1498abec7228ea179c952d01c54e031ffd4144498a30660963074b"
 },
 "evidence": "/receipts/wireless-reliability/results/composition-certificates.json",
 "copied_utc": "2026-10-03T16:11:27Z"
}