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