返回目录
其他 插件

cordis-plugin-tool-deadline-guard

argszero/cordis-plugin-tool-deadline-guard

Deployment-level deadlines for dsh tool calls that declare none: mounted on the tools/execute waterfall, it turns a silently wedged tool call into a model-visible TOOL_DEADLINE_EXCEEDED.

Stars
0
Forks
0
Issues
0
更新
1 天前

PROJECT TOPICS

项目标签

INSTALL REFERENCE

安装参考

未验证
dsh plugin --profile web add github:argszero/cordis-plugin-tool-deadline-guard

该命令指向仓库当前默认分支;尚无绑定当前 commit 的完整验证结果。

PROJECT README

README

@argszero/cordis-plugin-tool-deadline-guard

A cordis plugin for the DeepSeek Harness (dsh) that puts a deadline on tool calls that declare none — the calls for which nothing in the harness arms anything today.

input:  user        "keep working on the migration until it is done"
        assistant   tool_calls: [subagent(prompt="...") id=call-1]
        ⋯           nothing in the log, nothing on screen, turn still "running"

A tool call is bounded exactly when its own definition says so. ToolDefinition.timeoutMs is optional ("Cooperative tool-call timeout budget in milliseconds. Omit for no deadline"), and the core enforcer (@deepseek-ai/dsh-tool-call-timeout-policy, mounted by the base bundle) opens with if (timeoutMs === undefined) return next(). Omit the field and nothing arms anything — not a timer, not a signal, not a diagnostic.

That omission is the norm rather than the exception. Of the 40 non-test source files calling defineTool( at dsh-v0.1.6-alpha.2, 26 contain no timeoutMs at all — 25 shipped tool modules plus the test fixture helper — among them tool-subagent (delegation), mcp-resources (tools owned by someone else's server), tool-terminal, tool-ask-user, the fs read/write/edit tools, and tool-workflow / tool-ralph / tool-todo / plan-mode. Two of those are exactly where a long-horizon run spends its time: a delegation whose child never settles, and a tool on the far side of a network boundary.

The symptom is not an error. It is a turn that keeps rendering as running with nothing anywhere to explain it. Compare the model call: the provider adapters announce a stall (DEFAULT_STREAM_IDLE_TIMEOUT_MS = 300_000, re-armed per chunk by idleWatchdog), so silence is the signature of a wedged tool call, not a wedged model call. Reported as discussion #7339 ("long-horizon tasks stall with nothing in the output"), and adjacent to #6226 (a foreground subagent call whose child process had already exited).

Mounted, the same call ends with something the model can act on:

        tool_result [error] "tool call to "subagent" timed out: it exceeded the
                    600000ms deadline supplied by the tool-deadline-guard mount,
                    and the tool declares no timeoutMs of its own"

Install

npm install @argszero/cordis-plugin-tool-deadline-guard

In a cordis.yml / profile bundle, add the row (or merge this package's cordis.patch.yml, which contains the same one):

- insert:
    - id: tool-deadline-guard
      name: '@argszero/cordis-plugin-tool-deadline-guard'

With no configuration it bounds every tool that declares no timeoutMs at ten minutes and dispatches every other call untouched.

field default meaning
mode auto auto arms deadlines; observe reports what it would bound and dispatches unchanged; off registers nothing
defaultTimeoutMs 600000 budget for a tool that declares none (10 minutes)
perTool {} per-tool budgets by resolved tool name; wins over defaultTimeoutMs
exempt [] tool names this mount never bounds, whatever else is configured
applyTo undeclared undeclared leaves a tool that declares timeoutMs to the core policy; all bounds every known tool
onExpiry cooperative what an expiry does; see Honest limits
warnLimit 5 diagnostics emitted per mount; 0 silences them

A budget must be a positive finite number ≤ 2147483647 (setTimeout's saturation point): a larger value would fire immediately, so "no deadline" is expressed by leaving a tool out of scope — exempt, or mode: off — rather than by asking for infinity.

What it does, precisely

The plugin mounts on the documented tools/execute waterfall — the same public seam the core policy uses — and for each dispatch:

  1. Resolves the tool's own definition (ctx.tools.get(exec.name, exec.agent)) and decides whether to arm at all. An unknown tool is the registry's business (UNKNOWN_TOOL), and there is no definition to weigh a budget against.
  2. Arms one timer and one controller, and hands the tool a fused signal (AbortSignal.any([caller, own])) through exec.signal, exactly as the core policy hands it its derived deadline.
  3. Restores the caller's signal in a finally, so post-execute listeners and every later wrapper never see this mount's (possibly already-aborted) signal — the rule the core policy documents for the same reason.
  4. Substitutes a result only when its own timer fired. A call that settles inside its budget returns the tool's own result object, unchanged: no re-dispatch, no wrapper, no diagnostic.

An expired budget produces the shape the loop already understands — isError: true with error.info.code === 'TOOL_DEADLINE_EXCEEDED' — under a code this plugin owns, deliberately not the core policy's TOOL_TIMEOUT: a deployment can then tell "the tool declared a budget and blew it" from "this mount supplied a budget the tool never declared", which is the difference between a tool bug and a deployment policy. ToolTimeoutError-style routing on TOOL_TIMEOUT keeps working for declared tools and does not silently capture these.

Honest limits

It does not race by default, so it cannot free a tool that ignores its signal. timeoutMs is a cooperative contract: declaring it asserts that the tool forwards exec.signal to an implementation that reaches quiescence when the signal aborts. A tool that never looks at its signal cannot be unblocked from this seam — the wrapper awaits the tool's promise, and a promise that never settles keeps the wrapper (and the turn) waiting. In cooperative mode an expiry is therefore converted into the structured error after the call has settled, which is what keeps the invariant that a committed tool/result corresponds to work that has stopped, and never before. Measured on a fixture that ignores its signal with a 60 ms budget (probe-seam.mjs): the call returned at 402 ms, and only then did the wrapper report.

It cannot see why a call settled. A tool that honors the signal returns an abort artifact; one that ignores it and finishes anyway returns its own late result; both arrive here as "the promise resolved after the timer fired". The core policy resolves that ambiguity by contract — the tool's author declared a budget, so the tool promised to stop — and this plugin resolves it the same way for a tool that declared nothing, which is a promise the deployment is making on the tool's behalf. The consequence, stated plainly: a stubborn tool's late successful result is replaced by the deadline failure. A tool whose late result matters must be listed in exempt. The diagnostic claims only the timing ("x" settled after 402ms, past its 40ms budget; its result was replaced) and never asserts that the tool observed the abort, because this seam cannot know that.

onExpiry: 'replace' buys a usable turn with a weaker guarantee. The wrapper returns the deadline failure as soon as its timer fires and lets the call keep running, unobserved. It does not leave an orphan tool/call in the log — the loop records a tool/result for the call it dispatched, ours (packages/core/agent-loop/src/tool-calls.ts:282), so the transcript stays balanced and the next request is accepted; the abandoned branch is settled with a no-op so a later rejection cannot surface as an unhandled rejection. What it does do is let a tool's side effects happen after the model was told the call failed, so a model that retries may duplicate them. For a tool that never settles, this is the only mode that returns at all.

applyTo: 'all' is for deployments without the core policy. The base bundle mounts timeout-policy unconditionally, so on a stock profile undeclared is the correct default: two wrappers racing one budget would produce two contradictory codes for one call. all exists for a composition that dropped the policy — and for the case where a tool's declared budget is larger than the deployment is willing to wait.

Verifying it

npm test                # tsc, then the wiring suite and the packaging guard
python3 mutations.py    # each claim above, broken one at a time, must go red
node probe-seam.mjs     # the numbers above, against a real registry
node probe-tools.mjs    # what a real ToolRuntime accepts and what a wrapper sees

test/cordis.spec.mjs mounts a real Cordis context, a real ToolRuntime and a real tools/execute waterfall, with an unmounted control arm that demonstrates the defect (with no plugin, a tool that declares no budget and never settles stays pending and nothing reports it). mutations.py edits the built artifact — never the source — and requires the suite to fail for each of the eight mutations, so a claim no test actually holds cannot pass unnoticed. test/packaging.spec.mjs asserts both directions of the manifest against the shipped imports (a runtime import declared only in devDependencies is a consumer's ERR_MODULE_NOT_FOUND; a declared package never imported widens the install closure for nothing).

Compatibility

Requires the tools/execute waterfall, ToolDispatchExecution, ToolDefinition.timeoutMs and ctx.tools.get(name, agent), all present in @deepseek-ai/dsh-tools from 0.1.2-rc.1 through 0.1.6-alpha.2 (checked by unpacking each published tarball and reading its d.ts and lib/index.js). @deepseek-ai/cordis ^4.0.2 is a peer; @deepseek-ai/schemastery is the only runtime dependency.

License

MIT

CLASSIFICATION EVIDENCE

分类依据

项目类型插件
功能分类其他
规则置信度

系统优先读取 GitHub Topics,再与站内分类词典和词根规则比对。当前命中: 无有效分类标签。