{
 "tm": "1RB0RB_1LC0RA_1LE0LD_1LC1LF_1RA0LD_1LC---",
 "status": "KILLED_NONHALT",
 "stage": "done",
 "updated": "2026-10-10",
 "reason": "check_kill PASS, independently re-verified",
 "label": "#11b",
 "parent": "1RB0LE_1RC0RC_1LD0RB_1LA0LE_1LD1LF_1LD---",
 "parent_note": "#11; this machine is #11's table renamed by tau = EABCDF (no mirror), started in #11's state B",
 "relation": "sibling of #11: #11's table renamed, started in #11's state B",
 "existing_work": "There may be existing work by hipparcos. The sheet (Results row 1276, Level 1 row 44) gives 'Done By: hipparcos' and links the Discord thread https://discord.com/channels/960643023006490684/1432566675533992019. The thread's opening posts (2025-10-27, pasted by Dennis on 2026-10-10 into data/discord/2025-10-27_hipparcos_1RB0RB.txt) are about THIS string (1RB0RB_..., not #33's 1RB0RE_...): block rules, a stride acceleration and hypotheses, with 'I don't have enough analysis to prove that yet'. Later posts were not pasted. The string is not in busycoq and is still on the 740 list (line 511). Dennis, 2026-10-10: prove it anyway as part of the #11 family and say plainly that there may be existing work by hipparcos; the submission does so and credits the thread.",
 "note": "Killed 2026-10-10: check_kill PASS on sha256 153aa11a...290a (702 lines; the audited 7fc83eeb...2ae3 plus comment-only header edits that replace internal kill labels with 'the parent'; code identical with comments stripped). Package in submission/ (with parent-proof.md = #11's submission proof.md). Not posted. Before posting: #11's and #33b's README/discord twins paragraphs still call this machine not formalized.",
 "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"
}