verify-terminal-lifecycle: deferred minor findings #583

Deferred minor findings for the verify-terminal-lifecycle skill (#525, #544 reviews). The maintainer chose on 2026-11-12 to stop the formal-models run after its open PRs and track these here.

Owner: ThomasK33. Trigger: the next change to .agents/skills/verify-terminal-lifecycle/.

• SKILL.md: the bug-9 row lacks its "Fixed in" cell (fix(terminal): keep the native start going when an autocmd closes its split #527); the scope notes around the window-ownership and failed-start items should say what the user sees; the note on a Snacks Claude in another tab's marked window; the claim that the spec "tests the young-job rule" (no 10 s boundary test yet).
• check.sh: two fact regexes (the adoption window check and is_last_window) can read TRUE with their guard rewritten (unit specs catch both today).
• replays/run.sh: use timeout -k, so a replay stuck in a Lua loop is killed.
• replays/snacks-exit-handlers.lua: remove two unused assignments.

Generated with xum • Model: anthropic:claude-opus-5-5 • Thinking: high\n