| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324 |
- /**
- * Bridge for unmodified Codex command hooks on harness interception seams. It
- * supports five points (SessionStart, prompt/tool pre/post, Stop), regex-only
- * matchers, snake_case payloads without a trailing newline, no hook environment
- * or command substitution, and no pre-tool approval or rewrite path; only
- * blocking decisions are honored. Shared execution and parsing live in
- * `dsh-hook-protocol`; see the
- * [hook-bridges Agent Note](../../../../.agents/notes/implemented/feature/2026-06-30-hook-bridges.md).
- * @module @deepseek-ai/dsh-hooks-codex
- */
- // Each dialect bridge keeps its complete dependency list visible at the entry
- // point; a cross-package facade for imports alone would add indirection.
- /* jscpd:ignore-start */
- import { readFileSync } from 'node:fs'
- import type { Context } from 'cordis'
- import z from 'schemastery'
- import type { Agent, PromptDecision } from '@deepseek-ai/dsh-agent'
- import type { ContentBlock, MessageSource } from '@deepseek-ai/dsh-llm'
- import type { UserMessageData } from '@deepseek-ai/dsh-session'
- import type {} from '@deepseek-ai/dsh-session-persistence'
- import type { PostToolDecision, PreToolDecision, ToolExecution, ToolExecutionResult } from '@deepseek-ai/dsh-tools'
- import {
- appendHookInvoked,
- appendHookResult,
- createDetachedRuns,
- DEFAULT_HOOK_TIMEOUT_MS,
- DEFAULT_STDERR_SUMMARY_MAX_CHARS,
- matchesMatcher,
- mergeHookOutputs,
- runHook,
- type HookOutput,
- type MatcherGroup,
- type MergedHookOutcome,
- } from '@deepseek-ai/dsh-hook-protocol'
- import { parseCodexConfig, type CodexHookConfig } from './config.ts'
- /* jscpd:ignore-end */
- export const name = 'hooks-codex'
- export const inject = ['bash']
- /** Plugin config: where the Codex hooks.json lives + the model name for payloads. */
- export interface Config {
- /**
- * Path to a Codex `hooks.json`. Process-level: read once at load, a relative
- * path resolves against the process launch cwd.
- * TODO(per-session-hook-config): per-session project-local discovery from each
- * `session/new.cwd` is not yet implemented.
- */
- configPath: string
- /** The model name stamped on every payload (Codex includes `model` on each event). */
- model?: string
- /** Default per-hook timeout in ms when a hook sets none (Codex default: 600000). */
- defaultTimeoutMs?: number
- /** Character cap for the `hook/result` event's persisted stderr summary. */
- stderrSummaryMaxChars?: number
- }
- export const Config: z<Config> = z.object({
- configPath: z.string().required(),
- model: z.string().default(''),
- defaultTimeoutMs: z.number().default(DEFAULT_HOOK_TIMEOUT_MS),
- stderrSummaryMaxChars: z.number().default(DEFAULT_STDERR_SUMMARY_MAX_CHARS),
- })
- let handlerCounter = 0
- function nextHandlerId(point: string): string {
- return `codex:${point}:${++handlerCounter}`
- }
- const PLUGIN_SOURCE: MessageSource = { kind: 'plugin', plugin: 'hooks-codex' }
- /** The summary cap bounds a persisted event field — a positive integer or the slice misbehaves silently. */
- function assertPositiveInteger(name: string, value: number): void {
- if (!Number.isInteger(value) || value < 1) {
- throw new Error(`hooks-codex: ${name} must be a positive integer`)
- }
- }
- export function apply(ctx: Context, config: Config): void {
- // Validate before config parsing so a bad value cannot be hidden by its early return.
- const stderrSummaryMaxChars = config.stderrSummaryMaxChars ?? DEFAULT_STDERR_SUMMARY_MAX_CHARS
- assertPositiveInteger('stderrSummaryMaxChars', stderrSummaryMaxChars)
- const defaultTimeoutMs = config.defaultTimeoutMs ?? DEFAULT_HOOK_TIMEOUT_MS
- let parsed: CodexHookConfig = {}
- try {
- const raw: unknown = JSON.parse(readFileSync(config.configPath, 'utf8'))
- const result = parseCodexConfig(raw)
- parsed = result.config
- for (const s of result.skipped) {
- ctx.logger.warn(`hooks-codex: skipping ${s.reason} on ${s.event} (only sync command hooks run)`)
- }
- } catch (error: unknown) {
- ctx.logger.warn(`hooks-codex: could not load hook config "${config.configPath}": ${String(error)} — no hooks registered`)
- return
- }
- const model = config.model ?? ''
- // SessionStart is the one emit-shaped (detached) point Codex has: track its
- // run chains so disposal aborts a still-running hook process and drains the
- // continuation (docs/defensive-patterns.md: dispose must reach quiescence).
- const detached = createDetachedRuns()
- ctx.effect(() => () => detached.drain(), 'hooks-codex: drain detached hook runs')
- /**
- * Run and fold one configured Codex hook point.
- *
- * A supplied turn records the hook provenance pair inside that open turn.
- * Pre-turn `UserPromptSubmit` and detached lifecycle points omit it.
- */
- async function runPoint(
- point: string,
- matchQuery: string,
- payload: unknown,
- opts: {
- agent?: Agent
- turn?: number
- readonly signal: AbortSignal
- plainStdoutAsContext?: boolean
- },
- ): Promise<MergedHookOutcome> {
- const groups: MatcherGroup[] = parsed[point] ?? []
- const outputs: HookOutput[] = []
- // Run hooks in the agent's session workspace so relative paths address the
- // user's project rather than the server launch directory.
- const workdir = opts.agent?.session.header.cwd
- for (const group of groups) {
- // Codex always interprets matchers as regexes; it has no literal fast path.
- if (!matchesMatcher(group.matcher, matchQuery, 'codex')) continue
- for (const hook of group.hooks) {
- const handlerId = nextHandlerId(point)
- const session = opts.agent?.session
- if (session && opts.turn !== undefined) {
- appendHookInvoked(session, {
- turn: opts.turn, point, dialect: 'codex', handlerId,
- ...group.matcher !== undefined ? { matcher: group.matcher } : {},
- })
- }
- const { output, durationMs } = await runHook(ctx.bash, hook, {
- payload,
- defaultTimeoutMs,
- ...workdir !== undefined ? { cwd: workdir } : {},
- signal: opts.signal,
- trailingNewline: false, // Codex writes stdin without a trailing newline.
- // Discard a `hookSpecificOutput` block naming a different event.
- expectedEventName: point,
- }, () => performance.now())
- // Clean plain stdout becomes context only when no structured context
- // exists; nonzero output and raw JSON never leak as prose.
- if (opts.plainStdoutAsContext === true && output.exitCode === 0
- && output.additionalContext === undefined
- && output.stdout.length > 0 && !output.stdout.startsWith('{')) {
- output.additionalContext = output.stdout
- }
- outputs.push(output)
- // Execution and decision mapping remain in each bridge so dialect
- // differences stay explicit at their owning seam.
- /* jscpd:ignore-start */
- if (output.systemMessage !== undefined) {
- ctx.logger.warn(`hooks-codex: ${point} hook emitted a systemMessage, which is not yet surfaced (ignored)`)
- }
- if (session && opts.turn !== undefined) {
- appendHookResult(session, { turn: opts.turn, point, handlerId, output, stderrSummaryMaxChars, durationMs })
- }
- }
- }
- return mergeHookOutputs(outputs)
- }
- // TODO(hook-continue-false): `merged.stop` is logged but needs a run-level halt seam.
- function contextFrom(merged: MergedHookOutcome): UserMessageData | undefined {
- if (merged.additionalContext.length === 0) return undefined
- const content: ContentBlock[] = merged.additionalContext.map(text => ({ type: 'text', text }))
- return { content, source: PLUGIN_SOURCE }
- }
- /** Prepend one context without flattening downstream provenance or metadata. */
- function prependContext(ours: UserMessageData, theirs: UserMessageData[] | undefined): UserMessageData[] {
- return [ours, ...theirs ?? []]
- }
- // SessionStart injects plain stdout when its detached hook resolves; a slow
- // hook may miss the first request.
- // TODO(session-start-gating): add a startup gate before promising first-turn delivery.
- ctx.on('agent/session-start', (agent, source) => {
- detached.track(runPoint('SessionStart', source, { ...base(ctx, agent, 'SessionStart', model), source }, { agent, plainStdoutAsContext: true, signal: detached.signal })
- .then((merged) => {
- const context = contextFrom(merged)
- if (context) agent.inject({ content: context.content, source: context.source })
- })
- .catch((error: unknown) => { ctx.logger.warn(`hooks-codex: SessionStart hook failed: ${String(error)}`) }))
- /* jscpd:ignore-end */
- })
- // UserPromptSubmit → PromptDecision. Codex supports block, not allow or ask.
- ctx.on('agent/prompt-submit', async (agent, content, _source, signal, next): Promise<PromptDecision> => {
- const payload = {
- ...base(ctx, agent, 'UserPromptSubmit', model),
- turn_id: String(lastTurn(agent) + 1),
- prompt: blocksToText(content),
- }
- const merged = await runPoint('UserPromptSubmit', '', payload, { agent, plainStdoutAsContext: true, signal })
- /* jscpd:ignore-start */
- if (merged.decision === 'deny') return { kind: 'block', reason: merged.reason ?? 'blocked by UserPromptSubmit hook' }
- // Context alone is not a veto: DELEGATE so a later prompt-submit listener can
- // still block/rewrite, then fold our context onto its decision.
- const downstream = await next()
- const ours = contextFrom(merged)
- if (!ours || downstream.kind !== 'allow') return downstream
- return {
- kind: 'allow',
- ...downstream.content !== undefined ? { content: downstream.content } : {},
- additionalContexts: prependContext(ours, downstream.additionalContexts),
- }
- })
- // PreToolUse → PreToolDecision. Codex blocks only (no allow/ask honored).
- ctx.on('tools/pre-execute', async (exec, next): Promise<PreToolDecision> => {
- const turn = lastTurn(exec.agent)
- const merged = await runPoint('PreToolUse', exec.name, preToolPayload(ctx, exec, model), { ...exec.agent ? { agent: exec.agent } : {}, turn, signal: exec.signal })
- /* jscpd:ignore-end */
- if (merged.decision === 'deny') return { kind: 'deny', reason: merged.reason ?? 'blocked by PreToolUse hook' }
- return next()
- })
- // PostToolUse → PostToolDecision (block with feedback, or attach context).
- ctx.on('tools/post-execute', async (exec, result, next): Promise<PostToolDecision> => {
- const turn = lastTurn(exec.agent)
- /* jscpd:ignore-start */
- const merged = await runPoint('PostToolUse', exec.name, postToolPayload(ctx, exec, result, model), { ...exec.agent ? { agent: exec.agent } : {}, turn, signal: exec.signal })
- const context = contextFrom(merged)
- if (merged.decision === 'deny') {
- return { kind: 'block', feedback: [{ type: 'text', text: merged.reason ?? 'blocked by PostToolUse hook' }], ...context ? { additionalContexts: [context] } : {} }
- }
- // Context alone is not a veto: DELEGATE, then fold our context onto the
- // downstream decision (a downstream block carries it too).
- const downstream = await next()
- if (!context) return downstream
- if (downstream.kind === 'block') {
- return { ...downstream, additionalContexts: prependContext(context, downstream.additionalContexts) }
- }
- return {
- ...downstream,
- additionalContexts: prependContext(context, downstream.additionalContexts),
- }
- })
- // A blocking Stop hook steers at the stopping boundary, which makes the
- // machine observe pending input and run another step.
- // TODO(stop-loop-guard): Codex supplies `stop_hook_active` so a Stop hook can
- // avoid continuing the same turn indefinitely. It is always false here, so an
- // unconditionally blocking hook force-continues every step until it self-limits.
- ctx.on('agent/turn-stopping', async (agent, turn, signal): Promise<void> => {
- const merged = await runPoint('Stop', '', { ...turnBase(ctx, agent, 'Stop', model), stop_hook_active: false, last_assistant_message: null }, { agent, turn, signal })
- /* jscpd:ignore-end */
- if (merged.decision === 'deny') {
- // A blocking Stop hook forces continuation; a block with no reason (exit 2,
- // empty stderr) still forces it — fall back to a generic steering line
- // rather than letting the turn stop.
- const text = merged.reason ?? 'continue: blocked by Stop hook'
- agent.steer({ content: [{ type: 'text', text }], source: PLUGIN_SOURCE })
- }
- })
- }
- // --- Codex DIALECT payloads: snake_case, model on every event, turn_id on
- // turn-scoped events. ---
- // These small payload helpers intentionally remain next to the dialect shape;
- // sharing them would pull bridge-only agent/LLM dependencies into hook-protocol.
- /* jscpd:ignore-start */
- function lastTurn(agent: Agent | undefined): number {
- if (!agent) return 0
- const last = [...agent.session.events].findLast(e => e.type === 'turn/start')
- /* v8 ignore next -- agent-present turnBase callers are tool/stop seams inside an open turn. */
- return last?.type === 'turn/start' ? last.data.turn : 0
- }
- function blocksToText(content: ContentBlock[]): string {
- return content.filter((b): b is Extract<ContentBlock, { type: 'text' }> => b.type === 'text').map(b => b.text).join('')
- }
- /* jscpd:ignore-end */
- /** Base fields on every Codex payload (no turn_id). */
- function base(ctx: Context, agent: Agent | undefined, event: string, model: string): Record<string, unknown> {
- return {
- session_id: agent?.session.header.id ?? '',
- transcript_path: agent === undefined
- ? null
- : ctx.get('sessionPersistence')?.locate(agent.session.header)?.path ?? null,
- cwd: agent?.session.header.cwd ?? process.cwd(),
- hook_event_name: event,
- model,
- permission_mode: 'default',
- }
- }
- /** Base + turn_id, for the turn-scoped events (PreToolUse/PostToolUse/UserPromptSubmit/Stop). */
- function turnBase(ctx: Context, agent: Agent | undefined, event: string, model: string): Record<string, unknown> {
- return { ...base(ctx, agent, event, model), turn_id: String(lastTurn(agent)) }
- }
- /** Extract a `command` string from a tool call's parsed arguments, else ''. */
- function commandOf(args: unknown): string {
- if (typeof args === 'object' && args !== null && 'command' in args) {
- const command: unknown = args.command
- if (typeof command === 'string') return command
- }
- return ''
- }
- function preToolPayload(ctx: Context, exec: ToolExecution, model: string): Record<string, unknown> {
- // `tool_name` is the REAL tool name (matching the `exec.name` matcher subject);
- // a hardcoded constant would disagree with what the matcher tests and make a
- // config's tool matcher never fire. `tool_input` keeps Codex's `{ command }`
- // shape (its shell payload), derived from the call's `command` arg when present.
- return { ...turnBase(ctx, exec.agent, 'PreToolUse', model), tool_name: exec.name, tool_input: { command: commandOf(exec.arguments) }, tool_use_id: exec.callId }
- }
- function postToolPayload(ctx: Context, exec: ToolExecution, result: ToolExecutionResult, model: string): Record<string, unknown> {
- return { ...turnBase(ctx, exec.agent, 'PostToolUse', model), tool_name: exec.name, tool_input: { command: commandOf(exec.arguments) }, tool_use_id: exec.callId, tool_response: blocksToText(result.content) }
- }
|