Tick: fresh audit of a never-audited slice. The mechanism, scale proof, Silent-swallowing guarantee, and save round-trip all hold in detection.rs; the page described a retired world (enum Watch, observer id 100, band_of(100), a per-aggregate filing pool, and a line-format legacy-save migration retired with the loader on 2026-07-06). Amended the page to the shipped WatchedInput/OFFICE_ID=6/message-carrier reality, added the messages.md dependency, named the pinning tests in the criteria, and honestly marked the watched-inputs player-surface card outstanding. Coverage row added; the watched-inputs violation and the UnderReports doc-comment drift are queued in the findings queue. Defense: wiki/overview.md — stale knowledge is a bug, and law/spec pages are the binding surface detection.md's criterion 2 binds against. The code is right: the refactor settled the internal spellings (3ec6b98), the filing carrier moved to messages by the recorded 2026-07-11 decision, and dropping line-based legacy saves was Cameron's explicit call at the serde JSON switch (91feee0e0). The page amends toward the code; the one real gap (the watched-inputs surface) stays a binding clause, marked outstanding rather than silently weakened.