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