Function extractReadPath

src/agent/read-ledger.ts:60–64

(toolName: string, args: unknown)

/** Pure: pull the path a read tool just consumed. null for non-read tools. */
export function extractReadPath(toolName: string, args: unknown): string | null {
  if (!READ_TOOLS.has(toolName)) return null;
  const p = (args as any)?.path;
  return p ? String(p) : null;
}

export type GateVerdict =
  | { ok: true }