mirror of
https://github.com/garrytan/gstack.git
synced 2026-06-17 15:20:11 +02:00
c7ae63201a
* feat: add shared call-time isConductor() helper
Single source of truth for Conductor host detection in TS consumers
(CONDUCTOR_WORKSPACE_PATH / CONDUCTOR_PORT). Reads the passed env at
call time, not a module-load snapshot, so unit tests can pin the env
inline without Bun --preload (esm-hoist-breaks-env-pin-bootstrap).
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* test: harden question-preference-hook harness against ambient Conductor env
runHook copied all of process.env into the hook subprocess, so running the
suite inside Conductor (CONDUCTOR_WORKSPACE_PATH/PORT set) would leak those
markers. Strip them so the existing cases deterministically characterize
NON-Conductor behavior before the Conductor branch lands. Baseline: 15 pass.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* feat: PreToolUse hook denies AskUserQuestion in Conductor, redirects to prose
Conductor disables native AskUserQuestion and routes through a flaky MCP
variant that returns '[Tool result missing due to internal error]'. The
hook now denies any AUQ call in a Conductor session and instructs the model
to render a prose decision brief instead (transport avoidance, not preference
enforcement) — firing for one-way doors too, with a typed-confirmation
requirement for destructive paths.
Precedence: never-ask auto-decide still wins (user already settled those);
Conductor prose is the fallback for everything else; non-Conductor behavior
is byte-for-byte unchanged. Restructured the per-question loop to compute
eligibility without early-returning so the Conductor branch can run as the
fallback while preserving memoryContext on every exit.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* feat: Conductor renders AskUserQuestion decisions as prose by default
In Conductor, native AskUserQuestion is disabled and the MCP variant is
flaky, so skills now render every decision as a plain-text prose brief the
user answers by typing a letter — proactively, not as a failure reaction.
- Preamble emits CONDUCTOR_SESSION, gated on != headless so eval/CI inside
Conductor still BLOCKs instead of rendering prose to nobody.
- AskUserQuestion Format gains a Conductor-default-prose rule (auto-decide
preferences still apply first; prose decisions log via gstack-question-log
since PostToolUse never fires), a one-way/destructive typed-confirmation
rule, and a typed-reply continuation protocol for split chains.
- Regenerated all SKILL.md + ship golden fixtures; bumped affected carve
skeleton caps to absorb the always-loaded additions.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* feat: deploy the Conductor AskUserQuestion hook (setup + upgrade migration)
The PreToolUse hook only delivers its Conductor-prose guarantee if it's
installed, but setup skips hook registration in non-interactive (conductor/CI)
setups. Two fixes so layer 3 actually deploys:
- setup: treat a Conductor workspace as an implicit opt-in for the PreToolUse
hook on the silent fall-through (never overriding an explicit opt-out).
- migration v1.58.0.0: re-register the hook for existing Conductor installs on
/gstack-upgrade, idempotent and respecting plan_tune_hooks=no.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* test: E2E for Conductor prose + fix auto-decide-preserved GSTACK_HOME bug
- New skill-e2e-conductor-prose (periodic): Conductor env + plan-eng-review
surfaces a prose decision brief, not a silent skip. Header documents this is
end-to-end behavior coverage; the deterministic Conductor guard is the
question-preference-hook unit test (the PTY harness can't register the MCP
variant — Codex #10).
- Fix the pre-existing bug in auto-decide-preserved: it seeded the never-ask
preference under GSTACK_HOME=tmpHome but never passed GSTACK_HOME into the
PTY run, so the spawned claude read the real ~/.gstack and the preference
was inert (Codex #9). Now passes GSTACK_HOME + CONDUCTOR_WORKSPACE_PATH to
prove auto-decide still wins over the Conductor prose redirect.
- Register both in touchfiles (periodic tier).
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* v1.58.0.0 feat: Conductor renders AskUserQuestion decisions as prose
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* test: strip ambient Conductor env in memory-cache-injection hook harness
Same dev-in-Conductor leak fixed for question-preference-hook: this suite's
runHook copies process.env, so running it inside Conductor flipped the
defer-path memoryContext assertions into the [conductor] prose deny. Strip
CONDUCTOR_* so the cases characterize non-Conductor behavior. (CI is headless,
so this only bit local Conductor runs.)
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* feat: gstack-detach — run agent eval/bench jobs in their own session
Long agent-run jobs (30-60 min evals, benchmarks) die when the harness sends
SIGTERM to a background task's process group on turn boundaries / monitor
stops / interruptions (observed: 'script test:gate terminated by signal
SIGTERM'). gstack-detach runs the command in a fresh session (python3
os.setsid, or setsid on Linux, nohup fallback) so a group SIGTERM can't reach
it, and wraps it in caffeinate -i on macOS so idle-sleep can't kill it either.
Returns immediately; caller polls the logfile. Secrets stay in env, never argv.
The guard test pins the contract: the command runs in a different process
group than the caller and outlives the launching shell.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* feat: eval:bg* scripts — detached eval runs for agents
Agent-facing convenience scripts that launch the eval suites through
gstack-detach so a harness SIGTERM can't kill a long run. eval:bg (diff-based),
eval:bg:all, eval:bg:gate, eval:bg:periodic — each returns immediately and
streams to /tmp/gstack-evals.log for polling. The plain test:evals / test:e2e
scripts stay foreground for humans.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* docs: CLAUDE.md — agents must run long evals via gstack-detach
Codifies the detached-execution default: agent-launched eval/benchmark runs go
through bin/gstack-detach (or the eval:bg* scripts) so a harness SIGTERM or
macOS idle-sleep can't kill a 30-60 min run, then poll the log with a
death-aware watcher. Humans keep foreground scripts.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* feat: harden gstack-detach against all four eval-infra killers
The basic bash detach fixed SIGTERM but a real run on a shared dev box hit
three more killers: cross-worktree API saturation (15-way concurrency x a
sibling worktree mass-timed-out the suite), a silent hang (periodic bun died
with no exit marker), and shared-/tmp log contamination (a concurrent
worktree's agent output bled into the log). Rewrite as a portable python3 tool
that bakes in all four fixes:
- fork + setsid: SIGTERM-proof (own session, survives harness polite-quit)
- caffeinate -i on macOS: no idle-sleep death
- --lock NAME (fcntl, machine-wide): concurrent worktrees SERIALIZE instead of
saturating the shared model API
- run-scoped default log (~/.gstack-dev/eval-runs/<label>-<slug>-<branch>-<ts>-<pid>):
no cross-worktree collision/contamination
- --timeout watchdog + a guaranteed '### gstack-detach EXIT=<code> ###' sentinel
on every terminal path: no silent hang, finished-vs-died always detectable
Guard test pins all four: detached pgid differs + outlives launcher, run-scoped
log path, watchdog EXIT=timeout, and lock serialization (second run WAITS).
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* feat: eval:bg* use run-scoped logs + machine lock + watchdog
Drop the shared /tmp/gstack-evals.log path (the cross-worktree collision that
contaminated a live run) for gstack-detach's run-scoped default, and add the
machine-wide gstack-evals lock (concurrent worktrees serialize, no API
saturation) plus per-tier watchdog timeouts (60/90/120 min). Each eval:bg*
prints its run-scoped log path to poll.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* docs: wire detached-eval guidance into /ship + correct CLAUDE.md flags
- /ship eval step (sections/tests.md): long eval suites launch via gstack-detach
(own session, machine lock, EXIT sentinel) so a turn boundary can't kill a
30+ min run mid-ship — the exact failure observed during this branch's ship.
- CLAUDE.md: correct the now-stale /tmp reference; document the --lock (serialize
worktrees, no API saturation), --timeout watchdog, run-scoped log, and the
guaranteed EXIT sentinel the poller breaks on.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* refactor: extract pure promotedEnv() from conductor-env-shim
Single source of truth for GSTACK_* key promotion semantics. The ambient
promoteConductorEnv() becomes a wrapper; behavior-preserving. Needed by the
hermetic env builder which must not mutate process.env.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* feat: hermetic child-env builder for E2E runners
Allowlist scrub (basics/network/named-auth kept; CONDUCTOR_*, CLAUDE_*,
GSTACK_*, MCP_*, GBRAIN_*, operator credentials dropped), per-runner
extraAllow, overrides merge last, EVALS_HERMETIC=0 byte-identical escape
hatch read at call time (ESM-hoist safe). Sync memoized singleton temp dirs
(<runRoot>/.claude keeps the extractPlanFilePath contract), seeded
.claude.json for non-interactive first run, pid-aware GC of crashed runs.
19 free unit tests.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* feat: session-runner spawns hermetic children + isolation canaries
claude -p children now get the allowlist-scrubbed env and a gated
--strict-mcp-config (EVALS_HERMETIC=0 restores operator env AND args).
Two gate-tier canaries make the clean room falsifiable: hermetic-canary
asserts env redirect + scrub + zero MCP servers + nonzero API-key cost
from the Bash tool_result (never model prose); hermetic-sentinel plants a
poisoned operator config (user CLAUDE.md + MCP server) and proves the
child cannot see it. Empirically verified on claude 2.1.175: print mode
needs no seed config (the seed serves the PTY path); the child CLI sets
CLAUDECODE for its own tools, so that scrub is pinned in unit tests, not
E2E. hermetic-env.ts joins GLOBAL_TOUCHFILES.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* feat: PTY runner spawns hermetic claude sessions
launchClaudePty children get the allowlist-scrubbed env, a gated
--strict-mcp-config, and the session exposes hermeticConfigDir for
forensics (hermetic plan files live under <dir>/plans/ and still match
extractPlanFilePath via the /.claude dir-name contract). Seeded trust
state covers repo-cwd sessions; the 15s trust-watcher stays as fallback.
Verified foreground via the plan-mode-no-op gate test.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* feat: codex/gemini runners spawn hermetic children
Same allowlist scrub as the claude runners, with each provider's auth
surface re-admitted via extraAllow (codex: OPENAI_API_KEY/CODEX_* plus
its tempHome .codex copy; gemini: GEMINI_*/GOOGLE_* with real HOME for
~/.gemini auth). The gemini spawn previously inherited the full operator
env with no env property at all.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* feat: agent-sdk-runner spawns hermetic children via complete Options.env
The historical 'env: breaks SDK auth' failure was partial-env replacement:
Options.env replaces the child's entire environment, so objects lacking
ANTHROPIC_API_KEY killed auth. Passing the complete hermetic env (key +
PATH + redirected CLAUDE_CONFIG_DIR/GSTACK_HOME) works — validated live
via query() with a Bash tool call (success, real cost, Conductor vars
scrubbed). Per-test opts.env merges last; ambient key mutation still
works because the builder reads process.env at call time.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* test: static tripwire pins hermetic wiring in all five runners
Free-tier invariants: every runner builds child env via hermeticChildEnv,
no raw ...process.env spread at any spawn site, --strict-mcp-config gated
on isHermeticEnabled in both claude runners, and no test callsite passes
the operator env into a runner's override parameter (scoped to runner
calls — unit tests spawning gstack bin scripts directly are exempt).
Mirrors the terminal-agent-pid-identity / server-embedder-terminal-port
tripwire idiom.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* test: refresh codex/factory ship goldens with detached-eval block
a38089aa added the gstack-detach guidance to the ship template and
updated the claude golden; the codex and factory goldens missed the same
16-line block. Regenerated via bun run gen:skill-docs.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* docs: hermetic local E2E is the default; retire stale SDK env warning
CLAUDE.md now documents the hermetic clean room (allowlist scrub, fresh
seeded CLAUDE_CONFIG_DIR, temp GSTACK_HOME, --strict-mcp-config),
EVALS_HERMETIC=0 as the debug escape hatch, and replaces the 'never pass
env: to runAgentSdkTest' rule with the verified mechanism (partial-env
replacement was the failure; complete env is safe).
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* fix: operational-learning fixture copies lib/jsonl-store.ts with the bin
gstack-learnings-log imports $SCRIPT_DIR/../lib/jsonl-store.ts (hasInjection,
v1.57.5.0) — copying only the bin scripts into the temp fixture broke the
script with exit 1 since then. Latent because diff-based selection rarely
runs this test; surfaced when hermetic-env.ts joined GLOBAL_TOUCHFILES and
selected everything. Reproduced outside the hermetic env to confirm blame.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* fix: ios-qa daemon scenarios use unique pidfiles under --concurrent
All scenarios shared join(workDir, 'daemon.pid') through a module-scope
workDir binding that beforeEach reassigns mid-flight under bun --concurrent.
First daemon claims; siblings get already_running against the test process's
own always-alive pid and fail in milliseconds — the failure mode seen at
15-way gate concurrency. Per-claim unique pidfiles keep the single-instance
semantics under test.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* fix: workflow judge re-appends body-carved sections after the marker slice
runWorkflowJudge appended sections/*.md before slicing startMarker..endMarker.
That handles skills that moved their MARKERS into sections (plan-eng,
plan-design) but not document-release, which keeps its markers in the
skeleton and carved the workflow BODY (Steps 2-9 -> sections/release-body.md)
AFTER the endMarker — so the slice dropped it and the judge scored
completeness 2 ('Steps 2-9 are in an external file'). Now any carved section
the marker window excluded is re-appended, so the judge sees the full
workflow the agent executes. document-release: completeness 2->5, clarity
3->4. ship/plan-ceo/plan-eng/plan-design judges unchanged (their section
content is already inside the slice, so the head-dedup skips re-append).
Pre-existing since the v1.57.0.0 carve (#1907); surfaced now because
hermetic-env.ts is a global touchfile that selects every llm-judge test.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
* harden: hermetic temp-dir GC grace window + half-seed cleanup
Codex adversarial review (ship) flagged two temp-dir lifecycle edges:
- GC deleted any dead-pid dir; PID reuse could delete a freshly-created dir
whose original pid exited and was recycled to a live process. Now requires
BOTH a dead pid AND mtime older than a 1h floor.
- A seed-write failure after mkdir left an unseeded dir named with our live
pid that this process's GC skips, leaking until exit. Now the partial dir
is torn down before the (still loud) rethrow.
Two findings left as-is by design: HOME stays allowlisted (CLAUDE_CONFIG_DIR
wins for claude; codex/gemini need ~/.codex|~/.gemini auth; FS sandbox is
TODOS.md:454 scope; the hermetic-sentinel canary proves config isolation),
and PTY extraArgs --mcp-config is a deliberate caller opt-in like env overrides.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
* docs: document hermetic-by-default E2E + eval:bg detached runs in CONTRIBUTING
The Testing & evals section now tells contributors that local E2E runners
spawn children through a sealed clean room (allowlist-scrubbed env, seeded
CLAUDE_CONFIG_DIR, temp GSTACK_HOME, --strict-mcp-config) so local signal
matches CI, with EVALS_HERMETIC=0 as the escape hatch. The eval-tools list
gains the eval:bg* detached-run scripts (gstack-detach: SIGTERM-proof,
caffeinate-wrapped, machine-locked, run-scoped logs, EXIT= sentinel).
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
* chore: sync package.json to 1.58.1.0
The merge took main's package.json (1.58.0.0); gstack-version-bump repair
fixed the working tree but the change was left uncommitted. Without this the
committed tree disagrees with VERSION and CI's version-match test fails.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
* docs: regenerate diagram SKILL.md with Conductor prose preamble
The diagram skill (new from main) was missing the Conductor-session prose
AskUserQuestion blocks that gen-skill-docs propagates to every SKILL.md.
Pure generated output; reproduced by bun run gen:skill-docs.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
---------
Co-authored-by: Claude Fable 5 <noreply@anthropic.com>
481 lines
17 KiB
TypeScript
481 lines
17 KiB
TypeScript
#!/usr/bin/env bun
|
|
/**
|
|
* PreToolUse hook for AskUserQuestion (Claude Code, plan-tune cathedral T6).
|
|
*
|
|
* Enforces never-ask / always-ask / ask-only-for-one-way preferences
|
|
* deterministically — no agent compliance required.
|
|
*
|
|
* Decision tree (per question in tool_input.questions):
|
|
* 1. Extract question_id via marker (<gstack-qid:foo-bar>). If no marker,
|
|
* enforcement is skipped for this question (D18 — hash IDs are
|
|
* observed-only, never used as preference keys).
|
|
* 2. Look up door_type from scripts/question-registry.ts (default two-way).
|
|
* 3. Read preferences with precedence: project-local > global (D8).
|
|
* 4. Apply:
|
|
* never-ask + one-way → defer (safety override; one-way always asks).
|
|
* never-ask + two-way + marker → deny with auto-decided recommendation
|
|
* in reason. Mark tool_use_id so PostToolUse logs as 'auto-decided'.
|
|
* ask-only-for-one-way + two-way + marker → same as never-ask.
|
|
* always-ask, or no preference → defer.
|
|
*
|
|
* Why deny+reason instead of allow+updatedInput:
|
|
* AskUserQuestion's `updatedInput` shape for "pre-resolve this question"
|
|
* isn't structurally pinned in Claude Code docs (spike T4 left as open
|
|
* question). `deny` with a reason that names the auto-decided option is
|
|
* conservative + reliable: the model receives the rejection feedback,
|
|
* reads the recommended option from the reason, and proceeds without
|
|
* re-firing AUQ. When the spike around input mutation lands, we can
|
|
* swap to allow+updatedInput without changing the contract.
|
|
*
|
|
* Recommended-option extraction (per D2):
|
|
* - First: (recommended) label suffix on an option.
|
|
* - Fall back: "Recommendation: X" prose match against option labels.
|
|
* - Refuse to auto-decide if ambiguous (multiple labels OR no parseable
|
|
* recommendation): defer instead of silent-wrong.
|
|
*
|
|
* Always exits 0. Hook errors land in ~/.gstack/hook-errors.log.
|
|
* See docs/spikes/claude-code-hook-mutation.md for the protocol contract.
|
|
*/
|
|
import * as fs from 'fs';
|
|
import * as path from 'path';
|
|
import * as os from 'os';
|
|
import { spawnSync } from 'child_process';
|
|
import { isConductor } from '../../../lib/is-conductor';
|
|
|
|
interface HookStdin {
|
|
session_id?: string;
|
|
hook_event_name?: string;
|
|
tool_name?: string;
|
|
tool_use_id?: string;
|
|
tool_input?: {
|
|
questions?: Array<{
|
|
question?: string;
|
|
options?: Array<string | { label?: string; description?: string }>;
|
|
multiSelect?: boolean;
|
|
}>;
|
|
};
|
|
cwd?: string;
|
|
}
|
|
|
|
const MARKER_RE = /<gstack-qid:([a-z0-9-]{1,64})>/i;
|
|
const RECOMMENDED_LABEL_RE = /\(recommended\)\s*$/i;
|
|
|
|
function stateRoot(): string {
|
|
return (
|
|
process.env.GSTACK_STATE_ROOT ||
|
|
process.env.GSTACK_HOME ||
|
|
path.join(os.homedir(), '.gstack')
|
|
);
|
|
}
|
|
|
|
function logHookError(msg: string): void {
|
|
try {
|
|
const sr = stateRoot();
|
|
fs.mkdirSync(sr, { recursive: true });
|
|
fs.appendFileSync(
|
|
path.join(sr, 'hook-errors.log'),
|
|
`${new Date().toISOString()} question-preference-hook: ${msg}\n`,
|
|
);
|
|
} catch {
|
|
// last-resort swallow
|
|
}
|
|
}
|
|
|
|
function readStdin(): Promise<string> {
|
|
return new Promise((resolve) => {
|
|
let buf = '';
|
|
process.stdin.setEncoding('utf-8');
|
|
process.stdin.on('data', (chunk) => (buf += chunk));
|
|
process.stdin.on('end', () => resolve(buf));
|
|
process.stdin.on('error', () => resolve(buf));
|
|
setTimeout(() => resolve(buf), 2000);
|
|
});
|
|
}
|
|
|
|
function defer(additionalContext?: string): void {
|
|
const out: Record<string, unknown> = {
|
|
hookEventName: 'PreToolUse',
|
|
permissionDecision: 'defer',
|
|
};
|
|
if (additionalContext) out.additionalContext = additionalContext;
|
|
process.stdout.write(JSON.stringify({ hookSpecificOutput: out }));
|
|
process.exit(0);
|
|
}
|
|
|
|
function deny(reason: string): void {
|
|
process.stdout.write(
|
|
JSON.stringify({
|
|
hookSpecificOutput: {
|
|
hookEventName: 'PreToolUse',
|
|
permissionDecision: 'deny',
|
|
permissionDecisionReason: reason,
|
|
},
|
|
}),
|
|
);
|
|
process.exit(0);
|
|
}
|
|
|
|
function readJsonSafe(filePath: string): Record<string, unknown> | null {
|
|
try {
|
|
return JSON.parse(fs.readFileSync(filePath, 'utf-8'));
|
|
} catch {
|
|
return null;
|
|
}
|
|
}
|
|
|
|
interface PreferenceLookup {
|
|
preference: string | undefined;
|
|
source: 'project' | 'global' | 'none';
|
|
}
|
|
|
|
function lookupPreference(slug: string, questionId: string): PreferenceLookup {
|
|
const sr = stateRoot();
|
|
const projectFile = path.join(sr, 'projects', slug, 'question-preferences.json');
|
|
const globalFile = path.join(sr, 'global-question-preferences.json');
|
|
|
|
const project = readJsonSafe(projectFile);
|
|
if (project && typeof project[questionId] === 'string') {
|
|
return { preference: project[questionId] as string, source: 'project' };
|
|
}
|
|
const global = readJsonSafe(globalFile);
|
|
if (global && typeof global[questionId] === 'string') {
|
|
return { preference: global[questionId] as string, source: 'global' };
|
|
}
|
|
return { preference: undefined, source: 'none' };
|
|
}
|
|
|
|
interface RegistryEntry {
|
|
id: string;
|
|
door_type?: 'one-way' | 'two-way';
|
|
signal_key?: string;
|
|
}
|
|
|
|
interface MemoryNugget {
|
|
nugget: string;
|
|
applies_to_signal_keys: string[];
|
|
applied_at?: string;
|
|
}
|
|
|
|
/**
|
|
* Read per-session cache first, fall back to canonical local file. Cache
|
|
* invalidates by being missing — gstack-distill-apply doesn't touch the
|
|
* cache because the canonical file is always the source-of-truth on read
|
|
* miss. Sub-1ms cache reads (D13 perf).
|
|
*/
|
|
function loadMemoryNuggets(sessionId: string | undefined): MemoryNugget[] {
|
|
const sr = stateRoot();
|
|
const canonical = path.join(sr, 'free-text-memory.json');
|
|
let nuggets: MemoryNugget[] | null = null;
|
|
|
|
if (sessionId) {
|
|
const cachePath = path.join(sr, 'sessions', sessionId, 'memory-cache.json');
|
|
try {
|
|
const cached = JSON.parse(fs.readFileSync(cachePath, 'utf-8'));
|
|
if (Array.isArray(cached.nuggets)) {
|
|
return cached.nuggets;
|
|
}
|
|
} catch {
|
|
// miss → fall through
|
|
}
|
|
}
|
|
|
|
try {
|
|
const j = JSON.parse(fs.readFileSync(canonical, 'utf-8'));
|
|
nuggets = Array.isArray(j.nuggets) ? j.nuggets : [];
|
|
} catch {
|
|
nuggets = [];
|
|
}
|
|
|
|
// Write through to the per-session cache so subsequent hooks on this
|
|
// session take the fast path. Best-effort; never fails the hook.
|
|
if (sessionId && nuggets) {
|
|
try {
|
|
const dir = path.join(sr, 'sessions', sessionId);
|
|
fs.mkdirSync(dir, { recursive: true });
|
|
fs.writeFileSync(
|
|
path.join(dir, 'memory-cache.json'),
|
|
JSON.stringify({ nuggets, cached_at: new Date().toISOString() }, null, 2),
|
|
);
|
|
} catch {
|
|
// swallow
|
|
}
|
|
}
|
|
|
|
return nuggets || [];
|
|
}
|
|
|
|
/**
|
|
* For a given signal_key, return up to N nuggets whose applies_to_signal_keys
|
|
* include it. Sorted by recency (most-recently-applied first), capped.
|
|
*/
|
|
function nuggetsForSignal(nuggets: MemoryNugget[], signalKey: string, max = 3): string[] {
|
|
return nuggets
|
|
.filter((n) => Array.isArray(n.applies_to_signal_keys) && n.applies_to_signal_keys.includes(signalKey))
|
|
.sort((a, b) => (b.applied_at || '').localeCompare(a.applied_at || ''))
|
|
.slice(0, max)
|
|
.map((n) => n.nugget);
|
|
}
|
|
|
|
let registryCache: Record<string, RegistryEntry> | null = null;
|
|
|
|
function loadRegistry(): Record<string, RegistryEntry> {
|
|
if (registryCache) return registryCache;
|
|
registryCache = {};
|
|
try {
|
|
// Hook lives at hosts/claude/hooks/; registry at scripts/question-registry.ts
|
|
const here = path.dirname(new URL(import.meta.url).pathname);
|
|
const repoRoot = path.resolve(here, '..', '..', '..');
|
|
const regPath = path.join(repoRoot, 'scripts', 'question-registry.ts');
|
|
if (!fs.existsSync(regPath)) return registryCache;
|
|
const src = fs.readFileSync(regPath, 'utf-8');
|
|
// Cheap regex extraction so the hook doesn't need to import the TS file
|
|
// (which would require bun resolving the module at hook-invocation time).
|
|
// Matches entries like:
|
|
// 'ship-test-failure-triage': {
|
|
// id: 'ship-test-failure-triage',
|
|
// ...
|
|
// door_type: 'one-way',
|
|
// signal_key: 'test-discipline',
|
|
// ...
|
|
// },
|
|
const blockRe =
|
|
/'([a-z0-9-]+)':\s*\{[^}]*?door_type:\s*'(one-way|two-way)'[^}]*?\}/g;
|
|
let m: RegExpExecArray | null;
|
|
while ((m = blockRe.exec(src))) {
|
|
const [block, id, door_type] = m;
|
|
const sk = block.match(/signal_key:\s*'([a-z0-9-]+)'/);
|
|
registryCache[id] = {
|
|
id,
|
|
door_type: door_type as 'one-way' | 'two-way',
|
|
signal_key: sk ? sk[1] : undefined,
|
|
};
|
|
}
|
|
} catch (e) {
|
|
logHookError(`registry load failed: ${(e as Error).message}`);
|
|
}
|
|
return registryCache;
|
|
}
|
|
|
|
function optionLabels(opts: Array<string | { label?: string; description?: string }>): string[] {
|
|
return opts.map((o) => (typeof o === 'string' ? o : o.label || o.description || ''));
|
|
}
|
|
|
|
function extractRecommended(
|
|
questionText: string,
|
|
opts: string[],
|
|
): { recommended: string | undefined; ambiguous: boolean } {
|
|
const labelMatches = opts.filter((o) => RECOMMENDED_LABEL_RE.test(o));
|
|
if (labelMatches.length === 1) {
|
|
return { recommended: labelMatches[0].replace(RECOMMENDED_LABEL_RE, '').trim(), ambiguous: false };
|
|
}
|
|
if (labelMatches.length > 1) return { recommended: undefined, ambiguous: true };
|
|
|
|
const m = questionText.match(/Recommendation:\s*([^\n]+)/i);
|
|
if (!m) return { recommended: undefined, ambiguous: false };
|
|
const recPhrase = m[1].trim();
|
|
const prefixMatches = opts.filter((o) =>
|
|
o.toLowerCase().startsWith(recPhrase.toLowerCase().slice(0, 12)),
|
|
);
|
|
if (prefixMatches.length === 1) return { recommended: prefixMatches[0], ambiguous: false };
|
|
if (prefixMatches.length > 1) return { recommended: undefined, ambiguous: true };
|
|
return { recommended: undefined, ambiguous: false };
|
|
}
|
|
|
|
function slugFromCwd(cwd: string | undefined): string {
|
|
// Mirror gstack-slug's basename fallback. The full slug resolver shells out
|
|
// to git, which is too expensive on a hot hook path; the basename is close
|
|
// enough for preference lookup (preferences are keyed by question_id, slug
|
|
// is just the directory bucket).
|
|
if (!cwd) return 'unknown';
|
|
return path.basename(cwd);
|
|
}
|
|
|
|
function markAutoDecided(sessionId: string | undefined, toolUseId: string | undefined): void {
|
|
if (!sessionId || !toolUseId) return;
|
|
try {
|
|
const sr = stateRoot();
|
|
const dir = path.join(sr, 'sessions', sessionId);
|
|
fs.mkdirSync(dir, { recursive: true });
|
|
fs.writeFileSync(path.join(dir, `.auto-decided-${toolUseId}`), '');
|
|
} catch (e) {
|
|
logHookError(`markAutoDecided failed: ${(e as Error).message}`);
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Log an auto-decided event directly from PreToolUse, since `deny` prevents
|
|
* the tool from running and PostToolUse never fires. Without this, /plan-tune
|
|
* Recent auto-decisions would be blind to enforcement hits.
|
|
*/
|
|
function logAutoDecided(
|
|
questionId: string,
|
|
questionSummary: string,
|
|
recommended: string,
|
|
optionsCount: number,
|
|
sessionId: string | undefined,
|
|
toolUseId: string | undefined,
|
|
cwd: string | undefined,
|
|
): void {
|
|
try {
|
|
const here = path.dirname(new URL(import.meta.url).pathname);
|
|
const repoRoot = path.resolve(here, '..', '..', '..');
|
|
const bin = path.join(repoRoot, 'bin', 'gstack-question-log');
|
|
const payload: Record<string, unknown> = {
|
|
skill: 'unknown',
|
|
question_id: questionId,
|
|
question_summary: questionSummary.slice(0, 200),
|
|
options_count: optionsCount,
|
|
user_choice: recommended.slice(0, 64),
|
|
recommended: recommended.slice(0, 64),
|
|
source: 'auto-decided',
|
|
session_id: sessionId?.slice(0, 64),
|
|
tool_use_id: toolUseId?.slice(0, 128),
|
|
};
|
|
spawnSync(bin, [JSON.stringify(payload)], {
|
|
encoding: 'utf-8',
|
|
stdio: ['ignore', 'pipe', 'pipe'],
|
|
timeout: 3000,
|
|
// cwd of the originating tool call so gstack-slug resolves to the
|
|
// project the user is actually in, not the hook script's location.
|
|
cwd: cwd && fs.existsSync(cwd) ? cwd : undefined,
|
|
});
|
|
} catch (e) {
|
|
logHookError(`logAutoDecided failed: ${(e as Error).message}`);
|
|
}
|
|
}
|
|
|
|
async function main(): Promise<void> {
|
|
const raw = await readStdin();
|
|
if (!raw.trim()) {
|
|
defer();
|
|
return;
|
|
}
|
|
let stdin: HookStdin;
|
|
try {
|
|
stdin = JSON.parse(raw);
|
|
} catch (e) {
|
|
logHookError(`stdin parse failed: ${(e as Error).message}`);
|
|
defer();
|
|
return;
|
|
}
|
|
|
|
const toolName = stdin.tool_name || '';
|
|
if (
|
|
toolName !== 'AskUserQuestion' &&
|
|
!toolName.match(/^mcp__.+__AskUserQuestion$/)
|
|
) {
|
|
defer();
|
|
return;
|
|
}
|
|
|
|
const questions = stdin.tool_input?.questions || [];
|
|
if (questions.length === 0) {
|
|
defer();
|
|
return;
|
|
}
|
|
|
|
// For multi-question AUQ, enforcement is all-or-nothing per call:
|
|
// we deny only if ALL questions have marker + never-ask + safe door type.
|
|
// Mixed cases pass through (defer) so the user still gets to answer.
|
|
const registry = loadRegistry();
|
|
const slug = slugFromCwd(stdin.cwd);
|
|
const memoryNuggets = loadMemoryNuggets(stdin.session_id);
|
|
|
|
// Compute Layer 8 memory context inline: any nuggets matching the
|
|
// signal_keys of the questions in this AUQ get surfaced as additionalContext.
|
|
// This applies whether we defer OR deny — gives the agent + user the
|
|
// relevant prior context either way.
|
|
const contextNuggets: string[] = [];
|
|
for (const q of questions) {
|
|
const qText = q.question || '';
|
|
const marker = qText.match(MARKER_RE);
|
|
if (!marker) continue;
|
|
const entry = registry[marker[1]];
|
|
if (!entry?.signal_key) continue;
|
|
const hits = nuggetsForSignal(memoryNuggets, entry.signal_key);
|
|
for (const h of hits) {
|
|
if (!contextNuggets.includes(h)) contextNuggets.push(h);
|
|
}
|
|
}
|
|
const memoryContext = contextNuggets.length
|
|
? '[plan-tune memory] Past answers suggest: ' + contextNuggets.join(' | ')
|
|
: undefined;
|
|
|
|
// Determine whether EVERY question is eligible for never-ask auto-decide.
|
|
// We deliberately do NOT early-return defer on the first ineligible question:
|
|
// a Conductor session still needs the [conductor] prose deny as a fallback,
|
|
// so we compute eligibility, then branch. memoryContext is preserved on every
|
|
// non-enforcing exit. (All-or-nothing per-call semantics are unchanged: any
|
|
// ineligible question makes the whole call not auto-decidable.)
|
|
const autoDecisions: Array<{ id: string; recommended: string }> = [];
|
|
let fullyAutoDecidable = true;
|
|
for (const q of questions) {
|
|
const qText = q.question || '';
|
|
const marker = qText.match(MARKER_RE);
|
|
if (!marker) { fullyAutoDecidable = false; break; }
|
|
const questionId = marker[1];
|
|
const pref = lookupPreference(slug, questionId);
|
|
if (!pref.preference || pref.preference === 'always-ask') { fullyAutoDecidable = false; break; }
|
|
|
|
const entry = registry[questionId];
|
|
const doorType = entry?.door_type || 'two-way';
|
|
// Safety override — even never-ask doesn't bypass one-way doors.
|
|
if (doorType === 'one-way') { fullyAutoDecidable = false; break; }
|
|
|
|
const opts = optionLabels(q.options || []);
|
|
const { recommended, ambiguous } = extractRecommended(qText, opts);
|
|
// Refuse-on-ambiguous per D2 — fail safe.
|
|
if (!recommended || ambiguous) { fullyAutoDecidable = false; break; }
|
|
autoDecisions.push({ id: questionId, recommended });
|
|
}
|
|
|
|
if (fullyAutoDecidable && autoDecisions.length > 0) {
|
|
// All questions were eligible for enforcement.
|
|
markAutoDecided(stdin.session_id, stdin.tool_use_id);
|
|
|
|
// Log each auto-decided question now, since deny prevents PostToolUse from
|
|
// firing. /plan-tune Recent auto-decisions reads source=auto-decided events.
|
|
for (let i = 0; i < autoDecisions.length; i++) {
|
|
const d = autoDecisions[i];
|
|
const q = questions[i];
|
|
const qText = (q.question || '').replace(MARKER_RE, '').trim();
|
|
const opts = optionLabels(q.options || []);
|
|
logAutoDecided(d.id, qText, d.recommended, opts.length, stdin.session_id, stdin.tool_use_id, stdin.cwd);
|
|
}
|
|
|
|
const reasonLines = autoDecisions.map(
|
|
(d) =>
|
|
`[plan-tune auto-decide] ${d.id} → ${d.recommended} (your never-ask preference). Proceed with that option without re-prompting. Change with /plan-tune.`,
|
|
);
|
|
deny(reasonLines.join('\n'));
|
|
return;
|
|
}
|
|
|
|
// Not fully auto-decidable. In Conductor, AskUserQuestion is unreliable
|
|
// (native is disabled, the mcp__conductor__AskUserQuestion variant is flaky),
|
|
// so deny the tool and redirect to a prose decision brief. This is TRANSPORT
|
|
// AVOIDANCE, not preference enforcement: it fires regardless of marker,
|
|
// preference, or door type — including one-way doors, which must reach the
|
|
// human via prose rather than the unreliable tool.
|
|
if (isConductor()) {
|
|
const conductorReason =
|
|
'[conductor] AskUserQuestion is unreliable in Conductor (native disabled, MCP variant flaky). ' +
|
|
'Do NOT call AskUserQuestion (native or any mcp__*__AskUserQuestion). Render this decision as a ' +
|
|
'PROSE decision brief now: a D<N> label, an ELI10 of the issue, a Recommendation line, then one ' +
|
|
'paragraph per choice carrying its `(recommended)` marker and `Completeness: X/10`; tell the user ' +
|
|
'to reply with a letter, then STOP. For a one-way/destructive confirmation, require an explicit ' +
|
|
'typed confirmation and do NOT proceed on a vague reply. Capture the decision with gstack-question-log ' +
|
|
'(PostToolUse will not fire on a prose path).' +
|
|
(memoryContext ? `\n${memoryContext}` : '');
|
|
deny(conductorReason);
|
|
return;
|
|
}
|
|
|
|
defer(memoryContext);
|
|
}
|
|
|
|
main().catch((e) => {
|
|
logHookError(`main crash: ${(e as Error).message}`);
|
|
defer();
|
|
});
|