{
 "tm": "1RB0LD_1RC0RE_1LD0RE_1LA0LA_1RB1RF_1RB---",
 "status": "KILLED_NONHALT",
 "stage": "done",
 "updated": "2026-10-10",
 "reason": "check_kill PASS, independently re-verified",
 "parent": "1RB0RE_1LC0RE_1LD0LD_1RA0LC_1RA1RF_1RA---",
 "parent_note": "#33; = #11 1RB0LE_1RC0RC_1LD0RB_1LA0LE_1LD1LF_1LD--- mirrored",
 "label": "#33b",
 "relation": "same transition table as #33 (states renamed), started in a different state; found by the family sweep",
 "pr": "https://github.com/ccz181078/busycoq/pull/16",
 "pr_state": "merged",
 "pr_comments": 0,
 "pr_merged_at": "2026-10-13T12:26:07Z",
 "pr_merged_by": "ccz181078"
}