hivecode-mcp 0.8.0 → 0.11.1

package/hive-mcp.js

@@ -22,6 +22,7 @@
 import fs from 'fs'
 import path from 'path'
 import crypto from 'crypto'
+import { fileURLToPath } from 'url'
 import { Server } from '@modelcontextprotocol/sdk/server/index.js'
 import { StdioServerTransport } from '@modelcontextprotocol/sdk/server/stdio.js'
 import { ListToolsRequestSchema, CallToolRequestSchema } from '@modelcontextprotocol/sdk/types.js'
@@ -33,9 +34,10 @@ import { ListToolsRequestSchema, CallToolRequestSchema } from '@modelcontextprot
 if (!process.env.HIVE_PROVENANCE) process.env.HIVE_PROVENANCE = 'on'
 if (!process.env.HIVE_FORK_GATE) process.env.HIVE_FORK_GATE = 'on'
 import { startSync, parseLink } from './sync.js'
+import { createMailbox, formatMessage, mentionsName, priorityOf } from './hive-mailbox.js'
 
 const DEFAULT_RELAY = process.env.HIVE_RELAY || 'wss://livecode-xoss.onrender.com'
-let session = null // { hive, room, relay, dir, name }
+let session = null // { hive, room, relay, dir, name, mailbox }
 
 const text = (s) => ({ content: [{ type: 'text', text: typeof s === 'string' ? s : JSON.stringify(s, null, 2) }] })
 const err = (s) => ({ content: [{ type: 'text', text: s }], isError: true })
@@ -53,18 +55,30 @@ function resolveRoom(link, dir) {
 // its own MCP process from its own directory) resumes only its own identity. Lets the
 // session survive MCP host restarts, which otherwise silently drop the agent from the room.
 const SESSION_FILE = path.join(process.cwd(), '.hive-mcp-session.json')
-function persistSession({ dir, name, owner }) {
-  try { fs.writeFileSync(SESSION_FILE, JSON.stringify({ dir, name, owner })) } catch { /* best-effort */ }
+function persistSession({ dir, name, owner, cursor }) {
+  try {
+    const prev = readSessionFile() || {}
+    const chatCursor = cursor === undefined ? prev.chatCursor : cursor
+    fs.writeFileSync(SESSION_FILE, JSON.stringify({ dir, name, owner, chatCursor }))
+  } catch { /* best-effort */ }
+}
+function readSessionFile() {
+  try { return JSON.parse(fs.readFileSync(SESSION_FILE, 'utf8')) } catch { return null }
+}
+/** Save the read cursor so a host restart does not reopen the blind window it just closed. */
+function persistCursor() {
+  if (!session || !session.mailbox) return
+  persistSession({ dir: session.dir, name: session.name, owner: session.owner, cursor: session.mailbox.cursor })
 }
 async function tryResumeSession() {
   try {
     if (!fs.existsSync(SESSION_FILE)) return
-    const s = JSON.parse(fs.readFileSync(SESSION_FILE, 'utf8'))
+    const s = readSessionFile()
     if (s && s.dir && s.name && fs.existsSync(path.join(path.resolve(s.dir), '.hive.json'))) await joinRoom(s)
   } catch { /* resume is best-effort; the agent can always hive_join explicitly */ }
 }
 
-async function joinRoom({ link = '', dir = './workspace', name = `agent-${crypto.randomBytes(2).toString('hex')}`, owner = '', token = '' }) {
+async function joinRoom({ link = '', dir = './workspace', name = `agent-${crypto.randomBytes(2).toString('hex')}`, owner = '', token = '', chatCursor }) {
   if (session) { try { session.hive.stop() } catch {} ; session = null }
   const ROOT = path.resolve(dir)
   fs.mkdirSync(ROOT, { recursive: true })
@@ -75,7 +89,7 @@ async function joinRoom({ link = '', dir = './workspace', name = `agent-${crypto
   // invitee pastes the link once; subsequent joins just read the folder config).
   fs.writeFileSync(path.join(ROOT, '.hive.json'), JSON.stringify({ relay, room, ...(useToken ? { token: useToken } : {}) }, null, 2))
   const hive = startSync({ relay, room, dir, name, kind: 'ai', owner, token: useToken, log: () => {} })
-  session = { hive, room, relay, dir, name }
+  session = { hive, room, relay, dir, name, owner, mailbox: null }
   persistSession({ dir, name, owner }) // survive MCP host restarts (see tryResumeSession)
   // wait for the first sync so members/board/rules are ready
   await new Promise((resolve) => {
@@ -84,8 +98,17 @@ async function joinRoom({ link = '', dir = './workspace', name = `agent-${crypto
     hive.provider.on('sync', (s) => s && finish())
     setTimeout(finish, 8000) // don't hang if the relay is cold
   })
+  // The mailbox is created AFTER the first sync, so chat.length is the real room history and
+  // not 0 — otherwise a fresh joiner would be handed the entire backlog as unread mail.
+  // A resumed session carries its saved cursor forward instead, so anything posted while this
+  // process was down is still delivered rather than falling into the old blind window.
+  const chatLen = hive.doc.getArray('chat').length
+  const startAt = Number.isFinite(Number(chatCursor)) ? Number(chatCursor) : chatLen
+  session.mailbox = createMailbox({ me: name, startAt })
+  persistCursor()
+
   const others = hive.members().filter((m) => m.name !== name).map((m) => `${m.name}(${m.kind})`)
-  
+
   // Event-Driven Wakeups: notify the MCP client the millisecond the DCO state changes
   hive.doc.getMap('swarm_state').observe(() => {
     try {
@@ -94,17 +117,69 @@ async function joinRoom({ link = '', dir = './workspace', name = `agent-${crypto
       // client might not support notifications, swallow error
     }
   })
-  
+
+  // MAIL WAKEUPS — the other half of the same channel, and it was missing.
+  //
+  // The observer above pushes a notification the instant swarm_state changes, so a state flip
+  // reaches an agent mid-task. Chat had no such channel: it is observed only INSIDE the
+  // hive_wait handler, which means an @mention reached a working agent only if it happened to
+  // already be blocked in that call. An agent heads-down in a task is exactly the one that
+  // cannot choose to look.
+  //
+  // Measured on a real four-agent build (JARVIS, 2026-07-28/29): 345 mentions in the room log,
+  // agents repeatedly reporting they never saw the one addressed to them, and a PM that ended up
+  // writing open work to disk files and a shell watcher because the coordination channel could
+  // not be relied on to deliver. Every one of those workarounds exists to replace these lines.
+  //
+  // This is a DOORBELL, NOT A DELIVERY. It uses mailbox.peek(), so nothing is consumed and
+  // hive_wait/hive_check still hand over the full message with their cursor bookkeeping intact.
+  // Reusing the mailbox also inherits its two hard-won behaviours for free: an agent is never
+  // woken by its own hive_say, and repeat runs are collapsed instead of flooding.
+  let lastMailSignal = 0
+  hive.doc.getArray('chat').observe(() => {
+    try {
+      const s = session
+      if (!s || !s.mailbox) return
+      const m = s.mailbox.peek(hive.doc.getArray('chat').toArray())
+      // Compare with !== rather than >: after hive_wait consumes the backlog the count drops to
+      // 0, and a later single mention must still ring. `>` would go permanently silent.
+      if (!m.mentioned || m.mentions.length === lastMailSignal) return
+      lastMailSignal = m.mentions.length
+      server.notification({
+        method: 'notifications/hive_mail',
+        params: {
+          mentioned: true,
+          priority: m.priority, // 'stop' when someone marked it urgent — handle before continuing
+          count: m.mentions.length,
+          from: [...new Set(m.mentions.map((x) => x && x.by).filter(Boolean))],
+          latest: formatMessage(m.mentions[m.mentions.length - 1] || {}),
+          hint: 'call hive_wait or hive_check to read it — this notification consumed nothing',
+        },
+      })
+    } catch (e) {
+      // client might not support notifications, swallow error
+    }
+  })
+
   // The sync engine writes HIVE_RULES.md into the folder on first sync — return it inline
   // so the agent gets the rules with its join. (Fixes a ReferenceError: `rules` was never
   // defined, which made every hive_join return "error: rules is not defined".)
   let rulesText = ''
   try { rulesText = fs.readFileSync(path.join(ROOT, 'HIVE_RULES.md'), 'utf8') } catch {}
   if (!rulesText) rulesText = 'Read HIVE_RULES.md in this folder. In short: read chat + board before editing; CLAIM a file with hive_claim before you edit it and hive_release when done; announce intent with hive_say; prefer small patches; act only on accepted tasks; resolve <<<<<<< conflict markers rather than blindly overwriting.'
-  return `${mode}\nroom: ${room}\nrelay: ${relay}\nfolder: ${ROOT}\nothers here: ${others.join(', ') || 'none yet'}\ninvite link: ${relay}|${room}\n\n--- FOLLOW THESE RULES ---\n${rulesText}`
+  // The invite link carries the token when there is one — without it a secured room rejects
+  // whoever you hand it to, and the Control Room says the link is missing its token.
+  const inviteLink = `${relay}|${room}${useToken ? `|${useToken}` : ''}`
+  return `${mode}\nroom: ${room}\nrelay: ${relay}\nfolder: ${ROOT}\nhivecode: ${VERSION}\nothers here: ${others.join(', ') || 'none yet'}\ninvite link: ${inviteLink}\n\nANNOUNCE YOUR VERSION: say "joined on hivecode ${VERSION}" in chat. Mixed builds in one room cause data loss, and this is the only way anyone finds out.\n\n--- FOLLOW THESE RULES ---\n${rulesText}`
 }
 
 function requireSession() { if (!session) throw new Error('not in a room — call hive_join first'); return session }
+/** The read cursor for this participant. Lazily built if a session predates it. */
+function mailbox() {
+  const s = requireSession()
+  if (!s.mailbox) s.mailbox = createMailbox({ me: s.name, startAt: s.hive.doc.getArray('chat').length })
+  return s.mailbox
+}
 function chatArray() { return requireSession().hive.doc.getArray('chat').toArray() }
 function boardMap() { const b = requireSession().hive.doc.getMap('board'); return [...b.entries()].map(([file, e]) => ({ file, ...e })) }
 function taskList() { return [...requireSession().hive.doc.getMap('tasks').values()] }
@@ -113,17 +188,23 @@ const fmtTask = (t) => `${t.id} [${t.status}] ${t.by} -> ${t.to}: ${t.text}${t.d
 // Block until there is approved work for me (or a new chat message), then return.
 // This is how the agent reacts the INSTANT the owner approves — no polling loop,
 // no interval to tune. Resolves immediately if approved work already exists.
-function waitForWork(timeoutMs) {
+function waitForWork(timeoutMs, opts = {}) {
   const s = requireSession()
   const tmap = s.hive.doc.getMap('tasks')
   const chat = s.hive.doc.getArray('chat')
   const controls = s.hive.doc.getMap('controls')
   const me = s.name
+  const box = mailbox()
   const paused = () => { const c = controls.get(me); return !!(c && c.state === 'paused') }
   const accepted = () => (paused() ? [] : [...tmap.values()].filter((t) => t.to === me && t.status === 'accepted'))
-  const baseChatLen = chat.length
-  const rx = new RegExp('@' + me.replace(/[.*+?^${}()|[\]\\]/g, '\\$&'), 'i')
-  const mentionsMe = (t) => rx.test(String(t || ''))
+  // Deliver through the mailbox on EVERY return path. The old code captured a call-scoped
+  // `baseChatLen` here and returned `chat.slice(baseChatLen)`, which meant anything posted
+  // between one wait returning and the next one starting — the whole time the agent was
+  // working — was returned by no path at all. Two paths also hardcoded `newChat: []`.
+  const deliver = (extra) => { const got = box.take(chat.toArray()); persistCursor(); return { ...got, ...extra } }
+  // Only wake for ambient chatter if asked to. Defaults to waking on anything, as before.
+  const wakeOnMentionOnly = opts.wakeOn === 'mention'
+  const mentionsMe = (t) => mentionsName(t, me)
   // PAUSED: stop auto-working, but STAY LISTENING. A paused agent doesn't pull its
   // queued work — yet it still wakes the moment it's directly addressed: a new
   // @mention in chat, or a new task assigned to it. It handles that, then calls
@@ -133,28 +214,47 @@ function waitForWork(timeoutMs) {
     return new Promise((resolve) => {
       let done = false
       const finish = (v) => { if (!done) { done = true; controls.unobserve(onCtl); chat.unobserve(onChat); tmap.unobserve(onTask); resolve(v) } }
-      const mentions = () => chat.toArray().slice(baseChatLen).filter((m) => mentionsMe(m.text))
       const directTasks = () => [...tmap.values()].filter((t) => t.to === me && t.status === 'accepted' && !baseTaskIds.has(t.id))
       const check = () => {
-        if (!paused()) return finish({ tasks: accepted(), newChat: [], resumed: true })
-        const dt = directTasks(), mn = mentions()
-        if (dt.length || mn.length) finish({ paused: true, mentioned: true, tasks: dt, newChat: mn })
+        // Resumed: hand over the backlog too. This path returned `newChat: []`, so an agent
+        // came back from a pause having silently lost everything said while it was paused.
+        if (!paused()) return finish(deliver({ tasks: accepted(), resumed: true }))
+        const dt = directTasks()
+        if (dt.length) return finish(deliver({ paused: true, mentioned: true, tasks: dt }))
+        // A paused agent stays deaf to chatter but wakes when directly addressed. Unchanged,
+        // except the messages come from the mailbox now, so none are skipped.
+        if (box.peek(chat.toArray()).mentioned) finish(deliver({ paused: true, tasks: [] }))
       }
       const onCtl = check, onChat = check, onTask = check
       controls.observe(onCtl); chat.observe(onChat); tmap.observe(onTask)
       setTimeout(() => finish({ paused: true }), timeoutMs)
     })
   }
+  // Queued work no longer hides the mail. This returned `newChat: []` outright, which made
+  // the busiest agent in the room the one guaranteed to see no messages at all.
   const ready = accepted()
-  if (ready.length) return Promise.resolve({ tasks: ready, newChat: [] })
+  if (ready.length) return Promise.resolve(deliver({ tasks: ready }))
+  // Anything already unread is handed over immediately rather than waited past — that backlog
+  // is exactly what used to be unreachable.
+  if (box.hasUnread(chat.toArray())) {
+    const pending = box.peek(chat.toArray())
+    if (!wakeOnMentionOnly || pending.mentioned) return Promise.resolve(deliver({ tasks: [] }))
+  }
   return new Promise((resolve) => {
     let done = false
     const finish = (v) => { if (!done) { done = true; tmap.unobserve(onTask); chat.unobserve(onChat); controls.unobserve(onCtl); resolve(v) } }
-    const onTask = () => { const a = accepted(); if (a.length) finish({ tasks: a, newChat: [] }) }
-    const onChat = () => { const extra = chat.toArray().slice(baseChatLen); if (extra.length) finish({ tasks: accepted(), newChat: extra }) }
+    const onTask = () => { const a = accepted(); if (a.length) finish(deliver({ tasks: a })) }
+    const onChat = () => {
+      const seen = box.peek(chat.toArray())
+      if (!seen.unreadCount) return                      // only this agent's own messages — not mail
+      if (wakeOnMentionOnly && !seen.mentioned) return    // ambient chatter, and the caller opted out
+      finish(deliver({ tasks: accepted() }))
+    }
     const onCtl = () => { if (paused()) finish({ paused: true }) } // paused mid-wait -> stop handing out work
     tmap.observe(onTask); chat.observe(onChat); controls.observe(onCtl)
-    setTimeout(() => finish(null), timeoutMs)
+    // On timeout, flush anything that arrived rather than dropping it: a message must never
+    // expire unread just because the wait window closed on it.
+    setTimeout(() => finish(box.hasUnread(chat.toArray()) ? deliver({ tasks: accepted() }) : null), timeoutMs)
   })
 }
 
@@ -165,18 +265,20 @@ const TOOLS = [
     inputSchema: { type: 'object', properties: { to: { type: 'string', description: 'participant name to assign to' }, text: { type: 'string', description: 'what to do' } }, required: ['to', 'text'] } },
   { name: 'hive_read_tasks', description: 'Read tasks. Shows tasks directed at YOU (act only on accepted ones) and all pending tasks awaiting approval.',
     inputSchema: { type: 'object', properties: {} } },
-  { name: 'hive_wait', description: 'BLOCK until there is approved work for you (or new chat), then return it. Use this as your main loop: call hive_wait; when it returns an accepted task, do the work and call hive_complete; then call hive_wait again. Returns instantly if approved work already exists. Times out after timeoutSeconds (default 60) so you can re-call.',
-    inputSchema: { type: 'object', properties: { timeoutSeconds: { type: 'number', description: 'max seconds to wait (default 60, max 300)' } } } },
+  { name: 'hive_wait', description: 'BLOCK until there is approved work for you, or unread mail arrives, then return BOTH. Use this as your main loop: call hive_wait; do the work; hive_complete; call hive_wait again. Returns instantly if approved work or unread mail already exists — nothing addressed to you can be missed while you were busy, because your read position is remembered between calls.',
+    inputSchema: { type: 'object', properties: { timeoutSeconds: { type: 'number', description: 'max seconds to wait (default 60, max 300)' }, wakeOn: { type: 'string', enum: ['any', 'mention'], description: "'any' (default) wakes on any new message; 'mention' only wakes when you are @mentioned or assigned a task — use it in a noisy room. Ambient messages are still delivered on the next wake either way, never dropped." } } } },
+  { name: 'hive_check', description: 'NON-BLOCKING: is anyone calling me? Returns unread messages addressed to you, plus approved work, and returns immediately. Call this between edits during a long task — that is the whole point: hive_wait blocks, so it cannot be used while you are working, and this can. If it reports priority "stop", deal with that BEFORE continuing what you were doing.',
+    inputSchema: { type: 'object', properties: { peek: { type: 'boolean', description: 'true = look without marking messages read (default false: reading them here counts as read)' } } } },
   { name: 'hive_approve', description: 'Approve a pending task (you must be the owner of the target AI). The AI may then act on it.',
     inputSchema: { type: 'object', properties: { id: { type: 'string' } }, required: ['id'] } },
   { name: 'hive_deny', description: 'Deny a pending task (you must be the owner of the target AI).',
     inputSchema: { type: 'object', properties: { id: { type: 'string' } }, required: ['id'] } },
   { name: 'hive_complete', description: 'Mark a task you were doing as done (optionally with a note).',
     inputSchema: { type: 'object', properties: { id: { type: 'string' }, note: { type: 'string' } }, required: ['id'] } },
-  { name: 'hive_say', description: 'Post a coordination message to the room chat. Use this to announce what you are about to work on BEFORE editing (e.g. "taking auth.js: adding login").',
-    inputSchema: { type: 'object', properties: { text: { type: 'string', description: 'the message' } }, required: ['text'] } },
-  { name: 'hive_read_chat', description: 'Read the room conversation. Read this to see what humans and other agents are doing before and while you work.',
-    inputSchema: { type: 'object', properties: { limit: { type: 'number', description: 'how many recent messages (default 30)' } } } },
+  { name: 'hive_say', description: 'Post a coordination message to the room chat. Use this to announce what you are about to work on BEFORE editing (e.g. "taking auth.js: adding login"). Address someone directly with @Name — that is what makes it land as mail rather than ambient chatter. Set urgent:true when you need them to stop what they are doing.',
+    inputSchema: { type: 'object', properties: { text: { type: 'string', description: 'the message' }, urgent: { type: 'boolean', description: 'true = prefix [!] so the recipient treats it as "handle before continuing", not "read at your next boundary"' } }, required: ['text'] } },
+  { name: 'hive_read_chat', description: 'Read the room conversation. Read this to see what humans and other agents are doing before and while you work. Use mentioningMe to recover only what was addressed to you.',
+    inputSchema: { type: 'object', properties: { limit: { type: 'number', description: 'how many recent messages (default 30)' }, mentioningMe: { type: 'boolean', description: 'true = only messages that @mention you, across the whole room history — use this to recover your own backlog' }, unreadOnly: { type: 'boolean', description: 'true = only what you have not been handed yet (does not mark it read)' } } } },
   { name: 'hive_read_board', description: 'Read recent whole-file rewrites (who rewrote what, which symbols). Read this before editing a file — if it was just rewritten, re-read the file first.',
     inputSchema: { type: 'object', properties: {} } },
   { name: 'hive_claim', description: 'CLAIM a file (or region) BEFORE you edit it, so other agents flow around you instead of colliding. Returns whether you got it — if false, someone else holds it: work on something else. Claims auto-expire, so call hive_release when done (or it frees itself).',
@@ -185,25 +287,129 @@ const TOOLS = [
     inputSchema: { type: 'object', properties: { region: { type: 'string', description: 'the file path (or region id) to release' } }, required: ['region'] } },
   { name: 'hive_claims', description: 'See what every agent is currently working on (the live claim board). Read this to pick open work and avoid taken regions.',
     inputSchema: { type: 'object', properties: {} } },
+  { name: 'hive_edit', description: 'Write a file THROUGH the medium (preferred over editing on disk): your intent and exact change are cryptographically stamped into the provenance ledger at the instant of writing — race-free — then merged and synced like any edit. Claim the file first with hive_claim; pass your intent here too so the WHY travels with the change.',
+    inputSchema: { type: 'object', properties: { file: { type: 'string', description: 'relative file path in the room' }, content: { type: 'string', description: 'the complete new file content' }, intent: { type: 'string', description: 'WHY you are making this change (signed into provenance)' } }, required: ['file', 'content'] } },
+  { name: 'hive_fork', description: 'Read an active SILENT FORK on a file as a resolvable object: the common base plus EVERY divergent version with its author and cryptographically signed intent (the WHY). Call this when chat announces a fork, then reconcile both intents and submit via hive_resolve.',
+    inputSchema: { type: 'object', properties: { file: { type: 'string', description: 'the forked file path (as announced in chat)' } }, required: ['file'] } },
+  { name: 'hive_resolve', description: 'Resolve an active fork by submitting the FULL reconciled file content — code that serves EVERY side\'s signed intent (read them with hive_fork), not just one winner. The medium VALIDATES your proposal with ICR (must parse, no dangling references) before it lands; a broken proposal is refused and nothing changes. On success the resolution is signed by you, synced to every peer, and announced.',
+    inputSchema: { type: 'object', properties: { file: { type: 'string', description: 'the forked file path' }, code: { type: 'string', description: 'the complete resolved file content (no <<<<<<< markers)' } }, required: ['file', 'code'] } },
   { name: 'hive_members', description: 'List who is currently in the room (humans and AI agents).', inputSchema: { type: 'object', properties: {} } },
   { name: 'hive_status', description: 'Show the current session (room, relay, folder, name).', inputSchema: { type: 'object', properties: {} } },
   { name: 'hive_leave', description: 'Leave the room and stop syncing.', inputSchema: { type: 'object', properties: {} } },
   { name: 'hive_set_state', description: 'PM ONLY: Set a global project state flag (e.g. key="contract", val="READY"). This physically unblocks/blocks other agents. WARNING: ONLY use short enum values. Do NOT use this to store paragraphs of text or code, as it will bloat the context window. Use files for text.', inputSchema: { type: 'object', properties: { key: { type: 'string' }, val: { type: 'string' } }, required: ['key', 'val'] } },
   { name: 'hive_read_state', description: 'Read the global project state flags.', inputSchema: { type: 'object', properties: {} } },
-  { name: 'hive_set_schema', description: 'PM ONLY: Define strict JSON schema validation for a global state key to prevent agents from hallucinating values (e.g. key="contract", rules={"enum": ["PLANNING", "READY", "APPROVED"]}).', inputSchema: { type: 'object', properties: { key: { type: 'string' }, rules: { type: 'object' } }, required: ['key', 'rules'] } },
+  { name: 'hive_set_schema', description: 'PM ONLY: Define strict JSON schema validation for a global state key. Beyond `enum` you can make it a real state MACHINE: `transitions` ({"READY":["IN_PROGRESS"]}) says which moves are legal at all, and `requires` ({"LIVE":{"suppression_ui":"APPROVED"}}) says what must already be true to arrive at a value — which is how you make a release gate hold by construction instead of by everyone remembering it. Example: rules={"enum":["PLANNING","READY","APPROVED"],"transitions":{"PLANNING":["READY"],"READY":["APPROVED"],"APPROVED":[]},"requires":{"APPROVED":{"tests":"GREEN"}}}', inputSchema: { type: 'object', properties: { key: { type: 'string' }, rules: { type: 'object' } }, required: ['key', 'rules'] } },
+  { name: 'hive_attest', description: 'Record what YOUR folder actually holds for a file, so the room can tell whether peers agree. Measure it yourself (bytes and lines) and report. If another peer has attested a DIFFERENT size, everyone is warned immediately — that disagreement is the point. Use it after publishing a file, and when asked to confirm somebody else\'s publish. Two matching attestations from different peers is the only real proof a write landed; your own folder shows your own write whether or not it propagated.', inputSchema: { type: 'object', properties: { file: { type: 'string', description: 'workspace-relative path' }, bytes: { type: 'number', description: 'exact byte count in YOUR folder' }, lines: { type: 'number', description: 'line count in YOUR folder' } }, required: ['file', 'bytes'] } },
+  { name: 'hive_verified', description: 'Has a file been independently confirmed? Returns every peer\'s attested size, whether they DISAGREE, and whether quorum is reached (2+ peers, same bytes). Check this before trusting that a publish landed, and before building on a file somebody else wrote.', inputSchema: { type: 'object', properties: { file: { type: 'string' } }, required: ['file'] } },
 ]
 
-function enforceDcoLock() {
-  const state = requireSession().hive.getState()
-  const name = requireSession().name
-  if (state[`${name}_status`] === 'LOCKED' || state[`${name}_locked`] === 'true') {
+// The state machine's enforcement point. Three separate gates, and each one exists because a rule
+// written in prose was read by four capable agents and then broken anyway (JARVIS, 2026-07-29).
+//
+//   1. LOCKED           the original gate — you may work, you may not publish
+//   2. PUBLISH:<n>      a LEASED grant: n writes, decremented by the server, auto-closes at zero
+//   3. path:<p>=POISONED a path nobody may write, ever, for as long as the flag stands
+//
+// `opts.consumes` marks a tool as spending a lease (the write tools). `opts.path` is the region it
+// would write, checked against the path gate.
+function enforceDcoLock(opts = {}) {
+  const s = requireSession()
+  const state = s.hive.getState()
+  const name = s.name
+  const status = state[`${name}_status`]
+
+  // --- gate 3: the path itself may be untouchable, regardless of who you are -------------------
+  // Attached to the RESOURCE, not the ACTOR, and that is the new idea here. Every other guard in
+  // this system asks "may this agent write?"; none could express "this file must never be written
+  // again by anyone." That question has a real answer: a path whose delete has propagated is
+  // poisoned — writing it silently resurrects the old content over the new, or leaves two folders
+  // permanently disagreeing with no marker and no warning. Tonight that fact lived in a markdown
+  // file that agents had to remember to read, and the PM ordered a live credential route deleted
+  // anyway. A flag in the state map cannot be forgotten.
+  // FIVE VALUES, BECAUSE EACH ONE IMPLIES A DIFFERENT ACTION. A single POISONED flag was the first
+  // design and it was wrong — @Claude-Engine caught it live: `path:engine/brain/llm.js = POISONED`
+  // was FALSE in its folder, where that path held the correct 8,012-byte file while mine held a
+  // 22,312-line wreck. Marking it globally poisoned broadcast ONE FOLDER'S REALITY as room truth,
+  // inside the one channel every agent trusts. Its objection is the rule: a per-folder fact must
+  // never be stored as a global one.
+  //
+  //   LIVE / OPEN         default. Writable under the normal one-spaced-write rule.
+  //   SUPERSEDED          clean, valid code that has been REPLACED. Read freely, do not import, do
+  //                       not write. Distinct from corruption: calling hn.js "poisoned" would send
+  //                       the next agent rewriting a file that is perfectly fine.
+  //   CORRUPT             content unusable in every folder that has measured it. Do not read it as
+  //                       reference; publish the replacement to a NEW path.
+  //   DIVERGED            peers hold DIFFERENT bytes. Nobody writes until it is reconciled, because
+  //                       there is no single truth to write on top of. Use hive_attest to establish
+  //                       who holds what — that is what it is for.
+  //   DELETED_UNWRITABLE  a delete propagated. Writes here vanish or silently resurrect the old
+  //                       content. Never write, never delete, new path only. Globally true.
+  if (opts.path) {
+    const ps = state[`path:${String(opts.path)}`]
+    const stop = {
+      POISONED: `[Path Poisoned] ${opts.path} must NOT be written. Publish to a NEW path instead. (Legacy flag — prefer DELETED_UNWRITABLE / CORRUPT / DIVERGED, which say WHY.)`,
+      DELETED_UNWRITABLE: `[Path Unwritable] ${opts.path} had a delete propagate. A write here vanishes or silently resurrects the deleted content, and two folders end up permanently disagreeing with no marker. Never write it and never delete it again — publish to a NEW path.`,
+      CORRUPT: `[Path Corrupt] ${opts.path} is unusable in every folder that has measured it. Do not write it and do not read it as reference — build the replacement out-of-tree and publish it to a NEW path.`,
+      DIVERGED: `[Path Diverged] peers hold DIFFERENT bytes for ${opts.path}, so there is no single truth to write on top of. Call hive_attest to record what YOUR folder holds and see who disagrees. Nobody writes this path until it is reconciled.`,
+      FROZEN: `[Path Frozen] ${opts.path} is frozen by the state machine. Ask the owner to set path:${opts.path}=LIVE before writing it.`,
+    }
+    if (ps && stop[ps]) throw new Error(stop[ps])
+    // An unrecognised value fails CLOSED. A safety registry that silently ignores a flag it does not
+    // understand is worse than no registry, because agents will trust it — and a 0.9.0 client
+    // ignoring these flags entirely is already the known hole here.
+    if (ps && ps !== 'LIVE' && ps !== 'OPEN') {
+      throw new Error(`[Path Restricted] path:${opts.path} is set to "${ps}", which this build does not recognise. Refusing the write rather than guessing. Ask the room what it means, or have the owner set it to LIVE.`)
+    }
+  }
+
+  if (status === 'LOCKED' || state[`${name}_locked`] === 'true') {
     throw new Error(`[DCO Enforced] You are locked by the global state machine. Tool execution denied. Block on hive_wait until your status changes.`)
   }
+
+  // --- gate 2: leased publication grants -------------------------------------------------------
+  // "One clean write per path" was the single most expensive lesson of the JARVIS build: a file
+  // written once landed byte-perfect in every folder (7 for 7), and a file written twice in quick
+  // succession was destroyed (333 -> 22,312 lines; 104 -> 70,881). Stated as a protocol it was
+  // violated within the hour by everyone including its author. A COUNTED lease makes the second
+  // write impossible rather than discouraged: the server spends it, and the window shuts itself.
+  const lease = /^PUBLISH(?::(\d+))?$/.exec(String(status || ''))
+  if (lease && opts.consumes) {
+    const left = lease[1] === undefined ? 1 : Number(lease[1])
+    if (left <= 0) {
+      throw new Error(`[Lease Spent] Your PUBLISH window is used up. Ask for a new one — and if this is a revision of what you just wrote, publish to a NEW path rather than rewriting it.`)
+    }
+    const next = left - 1
+    try {
+      s.hive.setState(`${name}_status`, next > 0 ? `PUBLISH:${next}` : 'LOCKED')
+    } catch (e) {
+      // A schema whose transitions forbid the auto-close must not strand the agent mid-write, and
+      // must not silently leave the window open either. Say it loudly and let the write proceed.
+      try { s.hive.say(`[!] lease for ${name} could not auto-close (${e.message}) — treat the window as SPENT and do not write again.`) } catch { }
+    }
+  }
 }
 
-const server = new Server({ name: 'hivecode', version: '0.8.0' }, { capabilities: { tools: {} } })
+// Bumped from 0.8.0 when message delivery changed (see hive-mailbox.js). Two builds with the
+// same version number but different delivery behaviour is precisely the mixed-build room that
+// breaks rooms — and the standing rule "report your Hivecode version when you join" cannot work
+// if the builds are indistinguishable. So the version is reported on join and by hive_status.
+// 0.10.0 — mail now rides out on EVERY tool result (mailBanner), the DCO gate gained leased
+// PUBLISH:<n> grants and per-PATH poisoning, setState became a real state machine (transitions +
+// requires), and hive_attest/hive_verified were added. Delivery behaviour changed, so by the rule
+// stated directly above this line the version MUST move: a 0.9.0 room and a 0.10.0 room disagree
+// about how a message reaches a working agent, and that is exactly the mixed-build condition that
+// breaks rooms. Two builds that behave differently must never share a number.
+// 0.11.1 -- what this client SENDS to the relay changed: sync.js now passes `name` and `kind`
+// as connection params so the relay can record who is in a room and how many at once (it
+// previously stamped every connection `anon`/`unknown` and could not tell an agent from a
+// person). By the rule above that is a delivery-behaviour change, and it is the kind that
+// matters most here: an 0.10.0 client in a room with an 0.11.1 one is invisible in the audit
+// log while its roommate is named, so the room's own membership record disagrees with itself.
+// Also carries the ICR fix that stopped a whole-file rewrite duplicating every declaration.
+export const VERSION = '0.11.1'
+const server = new Server({ name: 'hivecode', version: VERSION }, { capabilities: { tools: {} } })
 server.setRequestHandler(ListToolsRequestSchema, async () => ({ tools: TOOLS }))
-server.setRequestHandler(CallToolRequestSchema, async (req) => {
+async function dispatch(req) {
   const { name, arguments: args = {} } = req.params
   try {
     // AUTO-RESUME: the MCP host may restart this server process at any time, which
@@ -213,8 +419,54 @@ server.setRequestHandler(CallToolRequestSchema, async (req) => {
     if (!session && name !== 'hive_join' && name !== 'hive_leave') await tryResumeSession()
     switch (name) {
       case 'hive_join': return text(await joinRoom(args))
-      case 'hive_say': { requireSession().hive.say(String(args.text || '')); return text(`sent: ${args.text}`) }
-      case 'hive_read_chat': { const n = args.limit || 30; const msgs = chatArray().slice(-n).map((m) => `${m.at} ${m.by}(${m.kind}): ${m.text}`); return text(msgs.join('\n') || '(no messages yet)') }
+      case 'hive_say': {
+        const raw = String(args.text || '')
+        // The marker is in the text itself so it survives into HIVE_CHAT.md and is visible to
+        // a human reading the log, not just to the recipient's tool output.
+        const body = args.urgent && !/^\s*\[!\]/.test(raw) ? `[!] ${raw}` : raw
+        requireSession().hive.say(body)
+        return text(`sent: ${body}`)
+      }
+      case 'hive_read_chat': {
+        const me = requireSession().name
+        const all = chatArray()
+        if (args.mentioningMe) {
+          // Backlog recovery: the whole history, filtered to what was addressed to you. This
+          // is what the PM agent had to do by hand with grep when delivery failed.
+          const mine = all.filter((m) => mentionsName(m.text, me))
+          if (!mine.length) return text('(nothing in this room has @mentioned you)')
+          return text(`${mine.length} message(s) addressed to you:\n` + mine.map(formatMessage).join('\n'))
+        }
+        if (args.unreadOnly) {
+          const seen = mailbox().peek(all)
+          if (!seen.unreadCount) return text('(nothing unread)')
+          return text(`${seen.unreadCount} unread (still marked unread — hive_check or hive_wait will hand these over):\n` + seen.messages.map(formatMessage).join('\n'))
+        }
+        const n = args.limit || 30
+        const msgs = all.slice(-n).map((m) => `${m.at} ${m.by}(${m.kind}): ${m.text}`)
+        return text(msgs.join('\n') || '(no messages yet)')
+      }
+      case 'hive_check': {
+        const s = requireSession()
+        const all = chatArray()
+        const box = mailbox()
+        const got = args.peek ? box.peek(all) : box.take(all)
+        if (!args.peek) persistCursor()
+        const tasks = [...s.hive.doc.getMap('tasks').values()].filter((t) => t.to === s.name && t.status === 'accepted')
+        if (!got.unreadCount && !tasks.length) return text('✓ nothing waiting — nobody is calling you and you have no approved work. Carry on.')
+        const parts = []
+        if (got.priority === 'stop') {
+          parts.push('🛑 URGENT — someone needs you to STOP what you are doing and handle this FIRST:')
+          parts.push(got.mentions.filter((m) => priorityOf(m.text) === 'stop').map(formatMessage).join('\n'))
+        } else if (got.mentioned) {
+          parts.push(`📣 ${got.mentions.length} message(s) addressed to YOU — answer at your next safe stopping point:`)
+          parts.push(got.mentions.map(formatMessage).join('\n'))
+        }
+        const ambient = got.messages.filter((m) => !mentionsName(m.text, s.name))
+        if (ambient.length) parts.push(`room activity (${ambient.length}):\n` + ambient.map(formatMessage).join('\n'))
+        if (tasks.length) parts.push(`approved work queued for you:\n${tasks.map(fmtTask).join('\n')}`)
+        return text(parts.join('\n\n'))
+      }
       case 'hive_read_board': { const b = boardMap(); return text(b.length ? b.map((e) => `${e.at} ${e.by} rewrote ${e.file} (${e.churn}) — touched: ${(e.symbols || []).join(', ')}`).join('\n') : '(no rewrites logged)') }
       case 'hive_assign': { enforceDcoLock(); const id = requireSession().hive.assign(String(args.to || ''), String(args.text || '')); return id ? text(`assigned task ${id} to ${args.to} (pending approval if they have an owner)`) : err('need to and text') }
       case 'hive_read_tasks': {
@@ -225,35 +477,79 @@ server.setRequestHandler(CallToolRequestSchema, async (req) => {
       }
       case 'hive_wait': {
         const ms = Math.min(Math.max(Number(args.timeoutSeconds) || 60, 1), 300) * 1000
-        const r = await waitForWork(ms)
+        const r = await waitForWork(ms, { wakeOn: args.wakeOn })
         const globalState = requireSession().hive.getState()
         const stateStr = Object.keys(globalState).length ? `\n[GLOBAL PROJECT STATE]\n${JSON.stringify(globalState, null, 2)}\n` : ''
+        // Connection state, reported ONLY when it is bad. An agent that cannot tell a
+        // quiet room from a dead socket reaches for hive_join -- which calls stop() and
+        // tears the session down, turning a blip that would have healed itself into a
+        // real detach, and running the rejoin path that can overwrite local edits. The
+        // provider reconnects on its own with backoff, so the correct action is to do
+        // nothing; the agent just has to be told that, in the one place it is looking.
+        const conn = (() => {
+          try { return requireSession().hive.status() } catch { return null }
+        })()
+        const connStr = (conn && !conn.connected)
+          ? `\n[CONNECTION] ${conn.connecting ? 'reconnecting' : 'offline'} — this heals itself, the client retries automatically. Do NOT call hive_join; that tears down the session and can overwrite your local edits. Keep calling hive_wait.\n`
+          : ''
         
+        const me = requireSession().name
+        // Direct address is separated from ambient traffic on every path. It used to be that
+        // only a PAUSED agent got this distinction, so a working agent could not tell "stop,
+        // wrong file" from two other agents talking to each other.
+        const mentionBlock = (r) => (r.mentions && r.mentions.length)
+          ? `${r.priority === 'stop' ? '🛑 STOP — handle this BEFORE anything else' : '📣 ADDRESSED TO YOU'}:\n${r.mentions.map(formatMessage).join('\n')}`
+          : ''
+        const ambientBlock = (r) => {
+          const rest = (r.messages || []).filter((m) => !mentionsName(m.text, me))
+          return rest.length ? `room activity:\n${rest.map(formatMessage).join('\n')}` : ''
+        }
+
         if (r && r.paused) {
-          if (r.mentioned) {
-            const parts = []
-            if (r.newChat && r.newChat.length) parts.push(`💬 Mentioned while paused:\n${r.newChat.map((m) => `${m.by}(${m.kind}): ${m.text}`).join('\n')}`)
-            if (r.tasks && r.tasks.length) parts.push(`📌 Directed task(s):\n${r.tasks.map(fmtTask).join('\n')}`)
+          const parts = [mentionBlock(r), ambientBlock(r)].filter(Boolean)
+          if (r.tasks && r.tasks.length) parts.push(`📌 Directed task(s):\n${r.tasks.map(fmtTask).join('\n')}`)
+          if (parts.length) {
             return text(`⏸ You are PAUSED, but were directly addressed. Handle ONLY this, then call hive_wait again (you stay paused until a human resumes you — don't pick up other queued work):\n\n${parts.join('\n\n')}`)
           }
           return text(`⏸ You are PAUSED by mission control. Stop new work and wait. You will be woken if someone @mentions you or assigns you a task; otherwise just call hive_wait again.${stateStr}`)
         }
-        if (!r) return text(`(nothing yet — no approved work or new messages in the wait window. Call hive_wait again to keep waiting.)${stateStr}`)
+        if (!r) return text(`(nothing yet — no approved work or new messages in the wait window. Call hive_wait again to keep waiting.)${connStr}${stateStr}`)
         const parts = []
         if (r.resumed) parts.push('▶ You were RESUMED by mission control — continue.')
+        const mb = mentionBlock(r); if (mb) parts.push(mb)
         if (r.tasks.length) parts.push(`APPROVED WORK — do these now, then hive_complete each:\n${r.tasks.map(fmtTask).join('\n')}`)
-        if (r.newChat.length) parts.push(`NEW MESSAGES:\n${r.newChat.map((m) => `${m.at} ${m.by}(${m.kind}): ${m.text}`).join('\n')}`)
-        return text(`${stateStr}\n` + (parts.join('\n\n') || '(resumed — no queued work yet. Call hive_wait again.)'))
+        const ab = ambientBlock(r); if (ab) parts.push(ab)
+        return text(`${connStr}${stateStr}\n` + (parts.join('\n\n') || '(resumed — no queued work yet. Call hive_wait again.)'))
       }
       case 'hive_set_state': { requireSession().hive.setState(String(args.key), String(args.val)); return text(`Set global state [${args.key}] to [${args.val}]`) }
       case 'hive_read_state': { return text(requireSession().hive.getState()) }
       case 'hive_set_schema': { requireSession().hive.setSchema(String(args.key), args.rules); return text(`Set schema validation for [${args.key}]`) }
+      case 'hive_attest': {
+        const f = String(args.file || ''); if (!f) return err('need a file path')
+        if (!Number.isFinite(Number(args.bytes))) return err('need bytes — measure your own folder, do not estimate')
+        const r = requireSession().hive.attest(f, Number(args.bytes), Number(args.lines || 0))
+        const who = Object.entries(r.peers).map(([n, v]) => `${n}: ${v.bytes} bytes / ${v.lines} lines`).join('\n  ')
+        if (r.diverged) {
+          return text(`[!] DIVERGENCE on ${f} — peers do NOT agree:\n  ${who}\n\nThe room has no single truth for this path. Nobody should write it. If it cannot be reconciled, have the owner set path:${f}=POISONED and publish the correct content to a NEW path.`)
+        }
+        return text(`attested ${f} at ${args.bytes} bytes.\n  ${who}\n${r.count >= 2 ? 'QUORUM: 2+ peers agree — this publish is confirmed.' : 'Only you so far. Ask another agent to hive_attest the same path; a single folder proves nothing.'}`)
+      }
+      case 'hive_verified': {
+        const f = String(args.file || ''); if (!f) return err('need a file path')
+        const r = requireSession().hive.verified(f)
+        if (!r.count) return text(`${f}: NOT attested by anyone. Unverified — measure it and call hive_attest.`)
+        const who = Object.entries(r.peers).map(([n, v]) => `${n}: ${v.bytes} bytes / ${v.lines} lines at ${v.at}`).join('\n  ')
+        return text(`${f}\n  ${who}\n\n${r.diverged ? '[!] DIVERGED — peers hold different bytes. Do not write or build on this path.' : r.quorum ? 'QUORUM: confirmed by 2+ peers at the same size.' : 'Attested by ONE peer only — not yet proof.'}`)
+      }
       case 'hive_approve': { const r = requireSession().hive.decide(String(args.id), true); return r.ok ? text(`approved ${args.id}`) : err(r.error) }
       case 'hive_deny': { const r = requireSession().hive.decide(String(args.id), false); return r.ok ? text(`denied ${args.id}`) : err(r.error) }
       case 'hive_complete': { enforceDcoLock(); const r = requireSession().hive.complete(String(args.id), String(args.note || '')); return r.ok ? text(`completed ${args.id}`) : err(r.error) }
       case 'hive_claim': {
-        enforceDcoLock();
         const region = String(args.region || ''); if (!region) return err('need a region (file path)')
+        // Claiming does not spend a lease — it is not a write. But claiming a poisoned path is
+        // always a mistake, and refusing here is far cheaper than refusing after the agent has
+        // built the content it intended to write.
+        enforceDcoLock({ path: region });
         const got = requireSession().hive.claim(region, String(args.intent || 'edit'))
         if (got) return text(`claimed ${region} — it's yours. Edit it, then call hive_release.`)
         const c = requireSession().hive.senseClaim(region)
@@ -261,15 +557,158 @@ server.setRequestHandler(CallToolRequestSchema, async (req) => {
       }
       case 'hive_release': { const region = String(args.region || ''); if (!region) return err('need a region'); requireSession().hive.release(region); return text(`released ${region}`) }
       case 'hive_claims': { const b = requireSession().hive.claimsBoard(); return text(b.length ? b.map((c) => `${c.region} — ${c.by}${c.intent ? ` (${c.intent})` : ''}`).join('\n') : '(nothing claimed right now — all open)') }
+      case 'hive_edit': {
+        const editPath = String(args.file || '')
+        // Path gate + lease consumed BEFORE the write, not after: a spent lease that still wrote is
+        // indistinguishable from no lease at all.
+        enforceDcoLock({ consumes: true, path: editPath })
+        const r = requireSession().hive.edit(editPath, String(args.content ?? ''), String(args.intent || ''))
+        if (r.error) return err(r.error)
+        return text(r.conflicted
+          ? `wrote ${r.file}, but it now carries <<<<<<< conflict markers (a concurrent edit collided). Read the file and resolve before continuing.`
+          : `✓ wrote ${r.file} through the medium — your intent is signed into its provenance ledger and the change is syncing to every peer.`)
+      }
+      case 'hive_fork': {
+        const file = String(args.file || ''); if (!file) return err('need a file path')
+        const f = requireSession().hive.forkInfo(file)
+        if (!f) return text(`(no active fork on ${file} — nothing to resolve)`)
+        const vs = f.versions.map((v, i) => `--- VERSION ${i + 1}: ${v.name} — signed intent: "${v.intent || '(none stated)'}" ---\n${v.text ?? '(text unavailable)'}`).join('\n\n')
+        return text(`ACTIVE FORK on ${file} — ${f.versions.length} agents changed the same region concurrently. Reconcile ALL intents into one version and submit it with hive_resolve.\n\n--- COMMON BASE (what everyone edited from) ---\n${f.base ?? '(unavailable)'}\n\n${vs}`)
+      }
+      case 'hive_resolve': {
+        const file = String(args.file || ''); if (!file) return err('need a file path')
+        // A resolution IS a write, so it spends a lease and respects the path gate. Resolving a
+        // poisoned path is the exact move that produced two permanently disagreeing folders.
+        enforceDcoLock({ consumes: true, path: file })
+        const r = requireSession().hive.resolveFork(file, String(args.code ?? ''))
+        if (!r.ok) return err(`resolution NOT landed: ${r.reason}`)
+        const dropped = (r.coverage || []).filter((c) => !c.covered)
+        return text(`✓ resolution LANDED in ${file} — validated by ICR (parses, no dangling refs), signed by you, synced to every peer.${dropped.length ? ` ⚠ Intent coverage: ${dropped.map((c) => `${c.name}'s changes (${c.missing.slice(0, 5).join(', ')}) did not survive`).join('; ')} — if that was not deliberate, submit a better reconciliation.` : ' Full intent coverage: every side\'s changes survived.'}`)
+      }
       case 'hive_members': { const now = Date.now(); return text(requireSession().hive.members().map((m) => `${m.name} (${m.kind})${m.editing && now - m.editing.at < 15000 ? ` — editing ${m.editing.file}` : ''}`).join('\n') || '(none)') }
-      case 'hive_status': { const s = requireSession(); return text({ room: s.room, relay: s.relay, dir: s.dir, name: s.name }) }
+      case 'hive_status': {
+        const s = requireSession()
+        // Connection state belongs here too, not only in hive_wait: this is the tool an
+        // agent reaches for when it suspects something is wrong, and the answer it needs
+        // is almost always "you are still connected, do nothing".
+        let conn = null
+        try { conn = s.hive.status() } catch { }
+        return text({
+          room: s.room, relay: s.relay, dir: s.dir, name: s.name, hivecode: VERSION,
+          unread: mailbox().peek(chatArray()).unreadCount,
+          connected: conn ? conn.connected : null,
+          filesSynced: conn ? `${conn.filesSynced}/${conn.files}` : null,
+        })
+      }
       case 'hive_leave': { requireSession().hive.stop(); session = null; try { fs.rmSync(SESSION_FILE) } catch {}; return text('left the room') }
       default: return err(`unknown tool: ${name}`)
     }
   } catch (e) { return err(`error: ${e.message}`) }
+}
+
+// MAIL PIGGYBACK — the delivery channel that cannot be ignored.
+//
+// Everything else that tries to reach a busy agent is best-effort. `notifications/hive_mail` and
+// `notifications/hive_state_changed` are CUSTOM MCP methods, and the spec requires a receiver to
+// IGNORE notification methods it does not recognise — so on most hosts they are a doorbell wired to
+// nothing. That is why a live four-agent build accumulated 345 mentions in the room log while agents
+// repeatedly reported never seeing the one addressed to them, and why the room resorted to disk files
+// and a shell watcher to do the job of a coordination tool.
+//
+// A TOOL RESULT, by contrast, lands in the model's context by definition. So mail rides out on every
+// single tool call. An agent that is heads-down still calls tools constantly — that is what being
+// heads-down IS — and now every one of those calls tells it who is waiting.
+//
+// PEEK, NOT TAKE, and the distinction is the whole design: this is a DOORBELL, not a delivery. It
+// consumes nothing and advances no cursor, so hive_wait/hive_check remain the only things that hand
+// over a message and mark it read. Delivering here instead would make the full text arrive on a
+// random unrelated tool call and vanish from the inbox, which is worse than not delivering at all.
+// A CONTEXT IS APPEND-ONLY, AND THAT CHANGES THE DESIGN.
+//
+// The obvious implementation — append the banner whenever mail is pending — is wrong in two ways, and
+// both are the very drift SMP exists to prevent:
+//
+//   1. SPAM. Mail stays pending until the agent reads it, so 50 tool calls produce 50 identical
+//      banners, burning context to say one thing.
+//   2. STALE TRUTH. Nothing can REMOVE text from a transcript. Once a banner is in context it is there
+//      for the rest of the session, so after the agent reads its mail the old "URGENT MAIL" notices
+//      remain, contradicting the present. An agent scanning back acts on a message handled ten
+//      minutes ago.
+//
+// Since removal is impossible, the only correct approach is to make LATER TEXT AUTHORITATIVE and say
+// so explicitly:
+//
+//   - emit ONLY when the mail state actually changes, so one new message = one notice
+//   - NUMBER each notice, and state that it supersedes every earlier one
+//   - emit exactly ONE "cleared" notice when the inbox empties, which retires the stale banners
+//     instead of leaving them as the newest thing the agent can see
+//
+// Signature includes the session name so a rejoin re-announces rather than inheriting a stale state.
+let mailSig = ''
+let mailNotice = 0
+
+function mailBanner() {
+  try {
+    if (!session || !session.mailbox) return ''
+    const m = session.mailbox.peek(chatArray())
+    const frame = (body) => `\n\n--- MAIL NOTICE #${mailNotice} (supersedes every earlier MAIL NOTICE above) ---\n${body}\n--- end notice #${mailNotice} ---`
+
+    if (!m.mentioned) {
+      // Emit the all-clear once, and only if we had previously announced something. Without this the
+      // last thing in context stays "you have 2 unread", forever, after they were read.
+      if (!mailSig) return ''
+      mailSig = ''
+      mailNotice += 1
+      return frame('MAIL CLEARED: nothing is addressed to you right now. Any unread-mail notice earlier in this conversation has been handled and is now STALE — ignore it.')
+    }
+
+    const last = m.mentions[m.mentions.length - 1] || {}
+    // Keyed on the NEWEST mention, not the count: a count alone would stay silent when one message is
+    // read and another arrives, and would re-fire on unrelated ambient chatter.
+    const sig = `${session.name}|${m.mentions.length}|${last.at || ''}|${last.by || ''}`
+    if (sig === mailSig) return '' // already announced — the notice is in context, do not repeat it
+    mailSig = sig
+    mailNotice += 1
+
+    const who = [...new Set(m.mentions.map((x) => x && x.by).filter(Boolean))].join(', ')
+    const urgent = m.priority === 'stop'
+    return frame(`${urgent ? '[!] URGENT MAIL' : 'UNREAD MAIL'}: ${m.mentions.length} message(s) addressed to you from ${who}. `
+      + `${urgent ? 'Handle before continuing. ' : ''}Call hive_wait or hive_check to read them — this notice consumed nothing.`)
+  } catch { return '' }
+}
+
+server.setRequestHandler(CallToolRequestSchema, async (req) => {
+  const res = await dispatch(req)
+  // Never let the banner break a tool: append only to a well-formed text result, and skip the two
+  // tools that already deliver mail themselves (appending would double-report the same messages).
+  const skip = req.params && (req.params.name === 'hive_wait' || req.params.name === 'hive_check')
+  if (skip) return res
+  const banner = mailBanner()
+  if (!banner) return res
+  try {
+    if (res && Array.isArray(res.content) && res.content[0] && typeof res.content[0].text === 'string') {
+      return { ...res, content: [{ ...res.content[0], text: res.content[0].text + banner }, ...res.content.slice(1)] }
+    }
+  } catch { /* fall through — a delivered result matters more than a banner */ }
+  return res
 })
 
-const transport = new StdioServerTransport()
-await server.connect(transport)
-// stderr is fine for logs; stdout is the JSON-RPC channel and must stay clean.
-console.error('[hive-mcp] Hivecode MCP server ready (stdio). Default relay:', DEFAULT_RELAY)
+// Only claim stdio when this file IS the program. Importing it (a test, a tool) must not
+// hijack the JSON-RPC channel — that is what made the wait/mailbox logic untestable before.
+const isEntryPoint = process.argv[1] && path.resolve(process.argv[1]) === path.resolve(fileURLToPath(import.meta.url))
+if (isEntryPoint) {
+  const transport = new StdioServerTransport()
+  await server.connect(transport)
+  // stderr is fine for logs; stdout is the JSON-RPC channel and must stay clean.
+  console.error('[hive-mcp] Hivecode MCP server ready (stdio). Default relay:', DEFAULT_RELAY)
+}
+
+/** Test seam: drive the real wait/delivery logic against a doc, with no relay and no stdio. */
+export const _test = {
+  waitForWork,
+  mailbox,
+  setSession(s) { session = s },
+  getSession() { return session },
+  callTool: (name, args = {}) =>
+    server._requestHandlers.get('tools/call')({ method: 'tools/call', params: { name, arguments: args } }, {}),
+}