{
 "tm": "1RB---_0LC1RF_1LE0RD_0RB1RC_1RD0LE_0RC1RA",
 "status": "KILLED_NONHALT",
 "stage": "done",
 "updated": "2026-10-10",
 "reason": "check_kill PASS, independently re-verified",
 "parent": "1RB0LA_0RC1RD_0LD1RE_1LA0RB_0RD1RF_1RC---",
 "parent_note": "1RB0LA_0RC1RD_0LD1RE_1LA0RB_0RD1RF_1RC--- (#4)",
 "label": "#4b",
 "relation": "same transition table as #4 (states renamed), started in a different state; found by the family sweep",
 "pr": "https://github.com/ccz181078/busycoq/pull/24",
 "pr_state": "merged",
 "pr_file": "verify/M_1RBHHH_0LC1RF_1LE0RD_0RB1RC_1RD0LE_0RC1RA.v",
 "pr_opened": "2026-10-15T22:46:17Z",
 "pr_comments": 0,
 "pr_head_sha": "1b57cbac0ccf590232647c1b29389f2efe7f26a4",
 "posted": "2026-10-15 (Discord; user confirmed sent)",
 "pr_merged_at": "2026-10-16T07:07:18Z",
 "pr_merged_by": "ccz181078"
}