{
 "tm": "1RB0RF_1LC0RE_0LC0LD_1RD1LB_0RF1RA_0RB---",
 "status": "KILLED_NONHALT",
 "stage": "done",
 "updated": "2026-10-10",
 "reason": "check_kill PASS, independently re-verified",
 "pr": "https://github.com/ccz181078/busycoq/pull/14",
 "pr_file": "verify/BellEatsCounter_1RB0RF.v",
 "posted": "PR #14 opened and Discord post made 2026-10-10 (Dennis)",
 "pr_state": "merged",
 "merged": "2026-10-10T20:47:35Z (ccz181078, merge commit 9cf9e88; upstream file verify/BellEatsCounter_1RB0RF.v)",
 "holdouts_740": "absent (removed: solved by our PR #14)",
 "pr_merged_at": "2026-10-10T20:47:35Z",
 "pr_merged_by": "ccz181078",
 "pr_comments": 0
}