{
 "tm": "1RB1RF_1LC0RD_---0LD_1LE0LD_1RA0RF_0RE0LB",
 "status": "KILLED_NONHALT",
 "stage": "done",
 "updated": "2026-10-11",
 "reason": "check_kill PASS, independently re-verified",
 "label": "W4-1",
 "parent": "1RB0RF_1RC1RF_1LD0RE_---0LE_1LA0LE_0RA0LC",
 "relation": "sibling of #30: #30's table renamed by sigma (A,B,C,D,E,F -> E,A,B,C,D,F, no mirror), started in #30's state B"
}