Function buildGateMessage

src/agent/read-ledger.ts:109–122

(relPath: string, kind: 'unread' | 'stale')

/** The observation the model receives when the gate refuses a mutation. */
export function buildGateMessage(relPath: string, kind: 'unread' | 'stale'): string {
  if (kind === 'unread') {
    return (
      `[ACCESS_DENIED] You attempted to modify "${relPath}" without reading it first. ` +
      `Call read_file on this exact path, understand its current contents, then retry the edit. ` +
      `(grep results are NOT sufficient — they show isolated lines, not the file.)`
    );
  }
  return (
    `[ACCESS_DENIED] "${relPath}" changed on disk AFTER you last read it ` +
    `(another tool, command, or the user modified it). Your knowledge of this file is stale. ` +
    `Call read_file on it again, then retry the edit against the current contents.`
  );
}