getEffectiveDevToolsConfig
getEffectiveDevToolsConfig(
config,command):GthDevToolsConfig|undefined
Defined in: _worktrees/docs-release/gaunt-sloth/packages/core/src/config/shell-policy.ts:339
Resolve the GthDevToolsConfig that applies to the active command from the unified
GthConfig.builtInTools registry (CFG-18 — replaces the removed per-command devTools).
Mirrors the per-command selection used by builtInToolsConfig.getDefaultTools: exec →
commands.exec, ask --write → commands.ask, code → commands.code; undefined elsewhere
(the dev/shell tools are inert there). The effective registry for the scope is the per-command
builtInTools if set, else the root builtInTools — matching getEffectiveConfig’s replace
merge. Shared in core so the runner’s allow-list/judge gates stay in lockstep with where the
shell tool is actually emitted.
Parameters
Section titled “Parameters”config
Section titled “config”Pick<GthConfig, "commands" | "builtInTools" | "askWriteMode"> | undefined
command
Section titled “command”GthCommand | undefined
Returns
Section titled “Returns”GthDevToolsConfig | undefined