…ee paths

The repair matcher was includes("devcoach"), which missed dev-tree commands
(node …/dev-coach/dist/bin.js lesson-ready — they spell it dev-coach), so
legacy entries survived install and double-counted interactions next to the
current stop-hook (seen live: 3 Stop entries). A shared isDevcoachHookCommand
(binary hint + hook subcommand) now drives install, the skill hint, and
doctor; doctor also warns when more than one devcoach Stop entry remains.

…t read

- log_lesson no longer echoes the rendered card: the conditional imperative
  ("print it now if not visible") made the model re-print it after the
  tool-approval pause — the double-card bug. The Stop hook's recovery block
  now renders the card from the DB itself and stays the only reprint path.
- new aggregated devcoach://briefing resource (11 resources): onboarding,
  rate limit, taught topics, profile and notebook in ONE read; SKILL.md
  prescribes that single silent read and forbids narrating tool calls or
  resource reads between the cue and the card.
- e2e: assert the band appears exactly once; stage min_gap per scenario so
  the deferred same-turn re-cue cannot masquerade as the double-print bug;
  warn about installed-vs-repo hook version skew in attached mode.