Twinned from https://github.com/cfsh/ninefold/issues/777 by tools/beads/import_github.py's reconcile pass.
Suggestions from ninefold-reviewer’s review of #773 (design 006 piece 11, deleting the dev poll loop). All are below the gate’s severity floor — filed rather than cycled, unclaimed and unlabelled.
That PR deletes the loop and sweeps poll.py, session_state.py, wrap_up.py and the notes tier. These are the leftovers it did not reach. None breaks anything; each is a reader or an operator being told about a mechanism that no longer exists.
tools/tests/test_poll.py:23 — import types is now unused. It existed only for MutationProofTest’s types.ModuleType("poll_with_bug"), which #773 deletes. No lane catches it.tools/office/spawn_dev.py:1235 — docstring routes the post-launch liveness question to *"the poll loop and the board"*. The poll-loop half is gone, and design 006 §5.3 makes the replacement contingent, so the honest text is the board plus whoever is watching.tools/office/audit_sessions.py:14 — module docstring says an unregistered session *"holds a worktree, a branch and a poll cron"*.tools/office/audit_sessions.py:1010 — the DOUBLE-BOOKED finding text says *"two poll loops writing one ledger is drift either way"*. The substance (two sessions sharing one ~/nf/tmp/<topic>/) still holds; only the phrasing is stale.CLAUDE.md:44 — the notes index row still reads *"Diagnosing a stale reviewer dispatcher; multi-session poll rules"*. notes/poll-loop.md still covers both topics, so this is phrasing only, and it sits inside the file design 006 piece 1a rewrites anyway.tools/pr/perimeter_check.py:61 and :285 — both cite WAKE: STALE-DISPATCH, a string that exists nowhere after #773; the digest prints ⚠ STALE-DISPATCH. Historical rationale, so a rename in place is enough.Two related items are deliberately NOT on this list, because the verdict asks for them in #773 itself rather than later: the holds the cron clause still printed by tools/pr/poll.py’s paused branch, and tools/office/reap.py’s _state_dir_note still requiring an operator to confirm a poll routine is gone. If #773 merges without them, they belong here.
None.
No comments.