{
 "_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:txn-crash-recovery",
 "title": "Agent transaction semantics under 29 real process kills — `txn/` (F3-06)",
 "claim": "Twenty-nine real processes killed with `os._exit(9)` at declared interruption points, each recovered in a **fresh interpreter** from the on-disk journal, with atomic recovery recorded at every one of those 29 points and a negative control that is genuinely non-atomic; 2,893 further kills at seeded random moments found **31 recoveries that were not atomic**, some undoing committed work.",
 "limits": "The 2,893 random kills are process kills, not power cuts, so the fsync ordering the journal relies on is still untested; they sample the interleaving space (85 distinct crash states) rather than exhaust it; and the three windows they found are recorded, not fixed.",
 "claim_excerpts": [],
 "limits_excerpts": [],
 "lab_commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
 "source": {
  "file": "portfolio-control registry/CLAIMS_CURRENT.jsonl",
  "line": 35,
  "sha256": "81776df15a1498abec7228ea179c952d01c54e031ffd4144498a30660963074b"
 },
 "evidence": "/receipts/wireless-reliability/results/txn-crash-recovery.json",
 "copied_utc": "2026-10-03T16:11:27Z"
}