{
 "tm": "1RB0RF_1RC1RF_1LD0RE_---0LE_1LA0LE_0RA0LC",
 "status": "KILLED_NONHALT",
 "stage": "done",
 "updated": "2026-10-10",
 "reason": "check_kill PASS, independently re-verified",
 "pr": "https://github.com/ccz181078/busycoq/pull/25",
 "pr_state": "merged",
 "pr_file": "verify/M_1RB0RF_1RC1RF_1LD0RE_HHH0LE_1LA0LE_0RA0LC.v",
 "pr_opened": "2026-10-15T22:46:50Z",
 "pr_comments": 0,
 "pr_head_sha": "b5060df30aabdde3b1eacd4a2cfa932557b0b53d",
 "posted": "2026-10-15 (Discord; user confirmed sent)",
 "pr_merged_at": "2026-10-16T07:08:02Z",
 "pr_merged_by": "ccz181078"
}