anchor-ai-sdk 0.1.7 → 0.1.9

package/README.md

@@ -77,11 +77,47 @@ No sandbox is needed for this chat example. Model calls may incur cost.
 pass its returned `compaction` settings to the engine as shown. Catalog lookup is
 best-effort; configure overrides and fallbacks for endpoints without this metadata.
 
+## Task verification
+
+For tasks that need evidence before completion, enable the opt-in verifier:
+
+```ts
+const result = await runAgent(
+  { task: "Investigate where auth is refreshed" },
+  {
+    llm,
+    sandbox,
+    thread: { store, id: threadId },
+    verifier: true,
+  },
+);
+```
+
+The SDK owns the ledger, intent routing, evidence capture, and phase/finish
+checks. The consumer supplies only the normal `ThreadStore` (the ledger is an
+optional field on `StoredThread`) and the model. Greetings and other chat turns
+create no ledger and make no verifier call. A separate cheap verifier model is
+optional:
+
+```ts
+verifier: {
+  llm: cheapLlm,
+  gates: ["phase", "finish"],
+  allowWaived: true,
+}
+```
+
+`finish` is rejected while a required ledger item is open or lacks linked
+evidence; the agent loops with the missing-evidence feedback. Compiler and
+verifier token usage is counted against the run budget.
+
 ## One sandbox interface
 
 **Configure the provider once. Keep the agent-facing machine interface the same.**
 The same layer works with the built-in coding tools, custom agents, or direct
-`sandbox.exec()` calls without an agent.
+`sandbox.exec()` calls without an agent. For long-lived consumers — LSPs, REPLs,
+dev servers, watchers — `sandbox.openProcess()` is the optional persistent
+stdin/stdout primitive; check `provider.capabilities.processStream` first.
 
 | Provider | Import | Boot configuration |
 | --- | --- | --- |
@@ -116,8 +152,9 @@ const provider = heyo({
 ```
 
 Use an artifact/store you can access and a toolchain suitable for the task.
-Heyo configures its image on the provider and rejects per-sandbox `image` and
-`workspacePath` overrides. `requiredEnv` is defined in the shared runner below.
+Heyo configures its default image on the provider. With `imageKind: "artifact"`,
+`spec.image` can override the artifact per sandbox. `workspacePath` can select
+a checkout already in the image. `requiredEnv` is defined in the shared runner below.
 
 </details>
 
@@ -193,16 +230,80 @@ try {
 }
 ```
 
-Provider boot settings and optional capabilities differ. Retention needs a cleanup
-policy; remote machines and model calls can cost money. Private HTTPS repositories
-can use `spec.git.token`, a caller-supplied credential callback.
+Provider boot settings and optional capabilities differ. Per-sandbox
+`spec.image` is supported by Docker and E2B (as a template name), and by Heyo
+for artifact refs; Local rejects it. Retention needs a cleanup policy; remote
+machines and model calls can cost money. Private HTTPS repositories can use
+`spec.git.token`, a caller-supplied credential callback.
+
+The Docker adapter also supports `spec.egress: "none"`: it disconnects container
+networks after `start()` setup. Other adapters reject that setting. This is not a
+claim that all providers offer equivalent isolation.
+
+### Long-lived processes
+
+`exec()` is one-shot. When a consumer needs a REPL, watcher, dev server, or
+language server, providers that declare `capabilities.processStream` also expose
+`openProcess()`:
+
+```js
+const proc = await sandbox.openProcess("node", ["server.js"], {
+  cwd: sandbox.workspace,
+  timeoutSecs: 3600,
+});
+await proc.write("input\n");
+for await (const chunk of proc.stdout) process.stdout.write(chunk);
+await proc.endInput();
+await proc.wait();
+```
+
+Streams, `wait`, `kill`, deadline/abort handling, and destroy cleanup are
+available. Heyo uses a PTY: stderr is merged, EOF is Ctrl-D, and there is no
+transport drain signal. See the [process-stream contract](src/sandbox/README.md).
+
+### Preview a guest port
+
+Providers that declare `capabilities.previewPort` implement
+`sandbox.exposePort(port)`. E2B is the first provider: it returns a public
+`https://` host for the guest port. Anchor does not add preview authentication,
+health checks, iframes, or product UI; that policy belongs to the consumer.
+
+### Publish sandbox images
+
+Providers that can publish expose the common `imagePublisher` contract and the
+`anchor image publish` command. Docker pushes a container image, E2B builds a
+template, and Heyo uploads an artifact through `heyctl`:
+
+```bash
+anchor image publish --provider docker --name ghcr.io/acme/agent:v1 \
+  --dockerfile Dockerfile --context .
+```
+
+Use the returned `ref` as `spec.image`, or merge Heyo's provider config. This is
+provider-native publishing, not a shared Anchor registry. Live registry paths
+are credential-gated; see
+[docs/sandbox-image-publishing.md](docs/sandbox-image-publishing.md).
+
+### Optional TypeScript LSP
+
+The optional `anchor-ai-sdk/lsp` entry point adds read-only TypeScript/JavaScript
+diagnostics, definition, references, and document symbols over process streams:
 
-The latest Docker adapter also supports `spec.egress: "none"`: it disconnects
-container networks after `start()` setup. Other adapters reject that setting.
-This is not a claim that all providers offer equivalent isolation.
+```js
+import { createCodingAgent } from "anchor-ai-sdk";
+import { createLspTools } from "anchor-ai-sdk/lsp";
+
+const base = createCodingAgent();
+const agent = { ...base, tools: [...base.tools, ...createLspTools()] };
+```
+
+The sandbox image must provide `typescript-language-server` and `typescript`.
+Search and file reads remain the fallback. See [docs/lsp.md](docs/lsp.md).
 
 **[Configuration examples](https://anchor-sdk.dev/docs.html#machine)** ·
-**[Provider contract and image guide](https://github.com/hrithikkoduri/anchor-ai-sdk/blob/main/src/sandbox/README.md)**
+**[Provider contract and image guide](https://github.com/hrithikkoduri/anchor-ai-sdk/blob/main/src/sandbox/README.md)** ·
+**[Optional LSP tools](docs/lsp.md)** ·
+**[Changelog](https://anchor-sdk.dev/changelog.html)**
 
 ## Make the agent yours
 
@@ -278,11 +379,13 @@ Validate inputs and enforce permissions in your implementation.
 | Capability | Your controls |
 | --- | --- |
 | **Budgets and correction** | Step/token/known-dollar budgets, repeated-call detection, silent-tool and visible-verbosity nudges, prose checkpoints, and per-call output requests. |
+| **Reasoning budget** | Per-run `reasoningEffort` (`minimal`–`max`) or an agent-bundle default, sent in the provider's native shape (`reasoning.effort` on OpenRouter, `reasoning_effort` on OpenAI). |
 | **Context and memory** | Catalog-derived or explicit compaction, supplied thread stores, agent-authored notes, and best-effort output spill. |
 | **Revival and resume** | Opt-in budget warnings, `request_revival`, `planRevival`, and `ThreadBudget`. Your app persists state and decides whether to fund or enqueue another run. |
 | **Snapshots and lifecycle** | Git-backed or custom snapshot hooks, optional push, phase-boundary pauses, heartbeats, and cancellation. |
 | **Streaming and traces** | Raw `onEvent` updates; sequenced, pattern-redacted `traceSinks`; NDJSON files, custom sinks, live projection, and replay. |
 | **Execution evidence** | Tool names/status/metadata plus recorded test-command outcomes and optional post-run Git freshness checks. Your app defines verification and release gates. |
+| **External effects** | Declared effects, a write-ahead operation journal, stable operation ids, reconciliation on resume, and a stop on unknown outcomes. |
 
 <details>
 <summary><strong>Example: limits, nudges, compaction, and a recorded trace</strong></summary>
@@ -331,11 +434,51 @@ are not redacted. Use distinct trace files/IDs per run in your application.
 > `latestEvidenceForTree` can compare it with the current tree, but does not prove
 > an immutable tested snapshot, require a full suite, or inspect assertions.
 
+## Recovering external writes
+
+A crash between "the target accepted the write" and "the thread saved the
+result" must not become a duplicate write. A tool that changes something outside
+the workspace declares an effect; the engine then records the intent before the
+call and settles it after:
+
+```js
+const createIssue = defineTool({ name: "create_issue", /* ... */ }, async (input, ctx) => {
+  const issue = await github.createIssue(input, {
+    idempotencyKey: ctx.operationId, // stable across retries
+  });
+  await ctx.acknowledge?.({ issue: issue.number });
+  return { ok: true, content: `Created #${issue.number}` };
+}, {
+  effect: {
+    async reconcile({ operationId }) {
+      const found = await github.findByKey(operationId);
+      return found
+        ? { status: "applied", result: { ok: true, content: found.url } }
+        : { status: "unknown" };
+    },
+  },
+});
+
+await runAgent(task, {
+  llm, agent, sandbox,
+  operations: { store }, // a durable table in production
+});
+```
+
+On resume, a pending operation is reconciled, never replayed. An unknowable
+outcome ends the run with `reason: "recovery_required"` and
+`AgentResult.pendingOperations`. `MemoryOperationStore` is for tests; production
+needs a durable table with a unique `operation_id`. The target's participation
+(an idempotency key or a status lookup) is what turns this into
+effectively-once; without it, the harness surfaces the ambiguity instead of
+guessing.
+
 ## Test the machine contract
 
 `runSandboxConformance(provider)` from `anchor-ai-sdk/testing` exercises the
 public sandbox contract: command results, deadlines, environment handling, Git
-checkpoints, retention/adoption, and declared optional capabilities.
+checkpoints, retention/adoption, process streams, and declared optional image
+publishing capability.
 
 The repository configures local and Docker conformance in CI. Heyo and E2B live
 suites are opt-in and credential-gated; having a suite is not certification that
@@ -347,7 +490,35 @@ same contract and tests without rewriting the agent engine.
 
 ## Evaluated, with the limits visible
 
-The completed **Parasail GLM 5.3 / SWE-bench Lite-10** records show:
+### Latest complete harness round: v0.1.7
+
+Anchor versus the external arm (`SWE-agent` for SWE, `Terminus-2` for Terminal)
+on the same selected task set. Means are reported in parentheses.
+
+| Bench | Model | Anchor | External | Delta |
+|---|---|---:|---:|---:|
+| SWE Lite | DeepSeek V4.1 Flash | **7/9 (77.8%)** | 0/10 (0%) | +77.8 pp |
+| SWE Lite | Qwen3 Coder Next | **4/8 (50.0%)** | 0/10 (0%) | +50.0 pp |
+| SWE Pro | DeepSeek V4.1 Flash | **10/10 (100%)** | 6/10 (60%) | +40.0 pp |
+| SWE Pro | Qwen3 Coder Next | **5/10 (50%)** | 3/10 (30%) | +20.0 pp |
+| Terminal | DeepSeek V4.1 Flash | 7/10 (70%) | **8/10 (80%)** | -10.0 pp |
+| Terminal | Qwen3 Coder Next | 1/10 (10%) | **3/10 (30%)** | -20.0 pp |
+
+Anchor’s full-credit denominator excludes failed tasks; external counts all ten.
+The arms use different harnesses, task handling, and budgets. These are selected
+samples, not a general superiority claim. The canonical v0.1.7 artifact was
+measured at `2fbc92b`, while the `v0.1.7` tag points to `08472b1`.
+
+### v0.1.8
+
+There is **no recorded benchmark result for v0.1.8**. The full round was
+interrupted before the Anchor and external arms completed, so partial rows are
+not published or compared. The next benchmark record will be a complete round,
+labeled with its measured source SHA.
+
+### Historical selected sample
+
+The completed **Parasail GLM 5.3 / SWE-bench Lite-10** records remain available:
 
 | | Anchor | mini-swe-agent |
 | --- | --- | --- |
@@ -358,8 +529,7 @@ The completed **Parasail GLM 5.3 / SWE-bench Lite-10** records show:
 
 Both records name `zai-org/GLM-5.3` on Parasail, temperature 0, seed 42, and
 Docker-backed tasks. This is a selected ten-task sample with different budgets
-and an extraction failure, not the full benchmark or a general superiority
-claim. The older 7/10 OpenRouter cost comparison is separate historical context.
+and an extraction failure, not the full benchmark or a general superiority claim.
 
 **[Benchmark explorer](https://anchor-sdk.dev/benchmarks.html)** ·
 **[Anchor artifacts](https://github.com/hrithikkoduri/anchor-ai-sdk/tree/main/evals/benchmarks/swe-bench/results/glm53-parasail)** ·
@@ -367,16 +537,20 @@ claim. The older 7/10 OpenRouter cost comparison is separate historical context.
 
 ## Status and contributing
 
-**Early alpha, 0.x.** Pin exact versions and test your integration. Provider and
-runtime features are version-specific; the current source may be ahead of the
-installed package. Daytona, agent teams, and consumer skill bundles remain
-roadmap work in the reviewed source.
+**Early alpha, 0.x. Source version: 0.1.9; latest published release: v0.1.8.** Pin exact versions and test your
+integration. Provider and runtime features are version-specific; the current
+source may be ahead of the installed package. Daytona, agent teams, context
+reset, MCP, and consumer skill bundles remain roadmap work in the reviewed
+source. See the [changelog](https://anchor-sdk.dev/changelog.html) for what
+landed in each tag.
 
 Questions, bug reports, and provider contributions are welcome. Keep mechanics in
 the SDK and product policy in the consumer; provider changes should include
 conformance coverage and an honest capability declaration.
 
 **[Issues](https://github.com/hrithikkoduri/anchor-ai-sdk/issues)** ·
+**[Release status](https://github.com/hrithikkoduri/anchor-ai-sdk/blob/main/docs/release-status.md)** ·
+**[Completed tracker](https://github.com/hrithikkoduri/anchor-ai-sdk/blob/main/TRACKER.md)** ·
 **[Roadmap](https://github.com/hrithikkoduri/anchor-ai-sdk/blob/main/ROADMAP.md)** ·
 **[Engineering decisions](https://github.com/hrithikkoduri/anchor-ai-sdk/blob/main/DECISIONS.md)** ·
 **[MIT license](https://github.com/hrithikkoduri/anchor-ai-sdk/blob/main/LICENSE)**

package/dist/agents/coding/index.d.ts

@@ -16,6 +16,7 @@ export { codingPhases } from "./phases.js";
 export declare function createCodingAgent(opts?: {
     testCommand?: string;
     maxOutputTokens?: number | false;
+    reasoningEffort?: Agent["reasoningEffort"];
 }): Agent;
 /** The zero-config coding agent — detection instead of a configured suite. */
 export declare const codingAgent: Agent;

package/dist/agents/coding/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/agents/coding/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAIzC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,YAAY,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,GAAE;IAAE,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,eAAe,CAAC,EAAE,MAAM,GAAG,KAAK,CAAA;CAAO,GACpE,KAAK,CASP;AAED,8EAA8E;AAC9E,eAAO,MAAM,WAAW,EAAE,KAA2B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/agents/coding/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAIzC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,YAAY,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,GAAE;IACJ,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,eAAe,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IACjC,eAAe,CAAC,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC;CACvC,GACL,KAAK,CAYP;AAED,8EAA8E;AAC9E,eAAO,MAAM,WAAW,EAAE,KAA2B,CAAC"}

package/dist/agents/coding/index.js

@@ -21,6 +21,9 @@ export function createCodingAgent(opts = {}) {
         ...(opts.maxOutputTokens !== undefined
             ? { maxOutputTokens: opts.maxOutputTokens }
             : {}),
+        ...(opts.reasoningEffort !== undefined
+            ? { reasoningEffort: opts.reasoningEffort }
+            : {}),
     };
 }
 /** The zero-config coding agent — detection instead of a configured suite. */

package/dist/agents/coding/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/agents/coding/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAe,MAAM,YAAY,CAAC;AAE5D,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAEvD,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAI,GAA+D,EAAE;IAErE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,cAAc;QACxB,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC;QAC9B,GAAG,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS;YACpC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE;YAC3C,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,MAAM,CAAC,MAAM,WAAW,GAAU,iBAAiB,EAAE,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/agents/coding/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAe,MAAM,YAAY,CAAC;AAE5D,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAEvD,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAI,GAIA,EAAE;IAEN,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,cAAc;QACxB,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC;QAC9B,GAAG,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS;YACpC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE;YAC3C,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS;YACpC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE;YAC3C,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,MAAM,CAAC,MAAM,WAAW,GAAU,iBAAiB,EAAE,CAAC"}

package/dist/agents/index.d.ts

@@ -7,4 +7,5 @@
 export * from "./types.js";
 export * from "./coding/index.js";
 export * from "./chat/index.js";
+export * from "./terminal/index.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/agents/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/agents/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/agents/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC;AAChC,cAAc,qBAAqB,CAAC"}

package/dist/agents/index.js

@@ -7,4 +7,5 @@
 export * from "./types.js";
 export * from "./coding/index.js";
 export * from "./chat/index.js";
+export * from "./terminal/index.js";
 //# sourceMappingURL=index.js.map

package/dist/agents/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/agents/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/agents/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC;AAChC,cAAc,qBAAqB,CAAC"}

package/dist/agents/terminal/index.d.ts

@@ -0,0 +1,10 @@
+import type { Agent } from "../types.js";
+export { terminalStrategy } from "./strategy.js";
+export { terminalPhases } from "./phases.js";
+export { buildTerminalPrompt } from "./prompt.js";
+export declare function createTerminalAgent(opts?: {
+    maxOutputTokens?: number | false;
+    reasoningEffort?: Agent["reasoningEffort"];
+}): Agent;
+export declare const terminalAgent: Agent;
+//# sourceMappingURL=index.d.ts.map

package/dist/agents/terminal/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/agents/terminal/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAIzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAElD,wBAAgB,mBAAmB,CAAC,IAAI,GAAE;IACxC,eAAe,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IACjC,eAAe,CAAC,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC;CACvC,GAAG,KAAK,CAYb;AAED,eAAO,MAAM,aAAa,EAAE,KAA6B,CAAC"}

package/dist/agents/terminal/index.js

@@ -0,0 +1,20 @@
+import { createCodingTools } from "../coding/tools.js";
+import { terminalStrategy } from "./strategy.js";
+export { terminalStrategy } from "./strategy.js";
+export { terminalPhases } from "./phases.js";
+export { buildTerminalPrompt } from "./prompt.js";
+export function createTerminalAgent(opts = {}) {
+    return {
+        name: "terminal",
+        strategy: terminalStrategy,
+        tools: createCodingTools(),
+        ...(opts.maxOutputTokens !== undefined
+            ? { maxOutputTokens: opts.maxOutputTokens }
+            : {}),
+        ...(opts.reasoningEffort !== undefined
+            ? { reasoningEffort: opts.reasoningEffort }
+            : {}),
+    };
+}
+export const terminalAgent = createTerminalAgent();
+//# sourceMappingURL=index.js.map

package/dist/agents/terminal/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/agents/terminal/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAElD,MAAM,UAAU,mBAAmB,CAAC,IAAI,GAGpC,EAAE;IACJ,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,gBAAgB;QAC1B,KAAK,EAAE,iBAAiB,EAAE;QAC1B,GAAG,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS;YACpC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE;YAC3C,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS;YACpC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE;YAC3C,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAU,mBAAmB,EAAE,CAAC"}

package/dist/agents/terminal/phases.d.ts

@@ -0,0 +1,4 @@
+import type { StrategyPhase } from "../../engine/strategy.js";
+/** Terminal work: inspect the machine, act, prove, report. No repo assumption. */
+export declare const terminalPhases: StrategyPhase[];
+//# sourceMappingURL=phases.d.ts.map

package/dist/agents/terminal/phases.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"phases.d.ts","sourceRoot":"","sources":["../../../src/agents/terminal/phases.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAE9D,kFAAkF;AAClF,eAAO,MAAM,cAAc,EAAE,aAAa,EA+BzC,CAAC"}

package/dist/agents/terminal/phases.js

@@ -0,0 +1,29 @@
+/** Terminal work: inspect the machine, act, prove, report. No repo assumption. */
+export const terminalPhases = [
+    {
+        id: "inspect",
+        goal: "Establish the machine state, task artifacts, and available tooling.",
+        guidance: "Use the shell. Check the working directory, installed runtimes, task files, and any verifier/tests. Do not assume a git repository, /testbed, or a project test command.",
+    },
+    {
+        id: "plan",
+        goal: "Choose the shortest reliable path to the task's own success condition.",
+        guidance: "Name the concrete commands, installs, edits, and checks. Prefer the task's own verifier over generic repo tests.",
+    },
+    {
+        id: "act",
+        goal: "Execute the task with terminal-native steps.",
+        guidance: "Run commands, install missing tools, modify files, and adjust when output changes the picture. Keep the workspace clean of scratch artifacts.",
+    },
+    {
+        id: "verify",
+        goal: "Run the task's verifier and inspect its actual output.",
+        guidance: "The task's test/verifier is the source of truth. Re-run after the final change. Report missing or flaky checks honestly.",
+    },
+    {
+        id: "respond",
+        goal: "Deliver the outcome with the commands and evidence that prove it.",
+        guidance: "State what changed and what was actually verified. Do not claim a pass you did not observe.",
+    },
+];
+//# sourceMappingURL=phases.js.map

package/dist/agents/terminal/phases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"phases.js","sourceRoot":"","sources":["../../../src/agents/terminal/phases.ts"],"names":[],"mappings":"AAEA,kFAAkF;AAClF,MAAM,CAAC,MAAM,cAAc,GAAoB;IAC7C;QACE,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,qEAAqE;QAC3E,QAAQ,EACN,0KAA0K;KAC7K;IACD;QACE,EAAE,EAAE,MAAM;QACV,IAAI,EAAE,wEAAwE;QAC9E,QAAQ,EACN,kHAAkH;KACrH;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,8CAA8C;QACpD,QAAQ,EACN,+IAA+I;KAClJ;IACD;QACE,EAAE,EAAE,QAAQ;QACZ,IAAI,EAAE,wDAAwD;QAC9D,QAAQ,EACN,0HAA0H;KAC7H;IACD;QACE,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,mEAAmE;QACzE,QAAQ,EACN,6FAA6F;KAChG;CACF,CAAC"}

package/dist/agents/terminal/prompt.d.ts

@@ -0,0 +1,13 @@
+import type { StrategyPhase } from "../../engine/strategy.js";
+export interface TerminalPromptOptions {
+    phases?: StrategyPhase[];
+    context?: string;
+    summary?: string;
+}
+/**
+ * Terminal-native prompt. Deliberately does not tell the model to inspect a
+ * git diff, run a repository test suite, or trust a provisioned conda env.
+ * Terminal-Bench tasks are stateful shell problems with their own verifier.
+ */
+export declare function buildTerminalPrompt(options?: TerminalPromptOptions): string;
+//# sourceMappingURL=prompt.d.ts.map

package/dist/agents/terminal/prompt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt.d.ts","sourceRoot":"","sources":["../../../src/agents/terminal/prompt.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAG9D,MAAM,WAAW,qBAAqB;IACpC,MAAM,CAAC,EAAE,aAAa,EAAE,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,GAAE,qBAA0B,GAAG,MAAM,CA4B/E"}

package/dist/agents/terminal/prompt.js

@@ -0,0 +1,33 @@
+import { terminalPhases } from "./phases.js";
+/**
+ * Terminal-native prompt. Deliberately does not tell the model to inspect a
+ * git diff, run a repository test suite, or trust a provisioned conda env.
+ * Terminal-Bench tasks are stateful shell problems with their own verifier.
+ */
+export function buildTerminalPrompt(options = {}) {
+    const phases = options.phases ?? terminalPhases;
+    return [
+        "# Character",
+        "You are a capable terminal operator. You work directly on the machine: inspect it, install what is missing, change what is needed, and prove the result with the task's own verifier.",
+        "# Operating rules",
+        [
+            "- The shell is your primary tool. Use it to inspect the real state; do not assume a repository layout, a git diff, or a pre-provisioned Python environment.",
+            "- The task instruction and its verifier are the contract. If the task supplies tests, run them and read the actual output.",
+            "- Install missing tools only when needed, with the system package manager or the language's package manager.",
+            "- Keep the final state focused: no unrelated edits, no scratch files left behind unless the task requires them.",
+            "- Never claim a command or test passed unless you observed its exit code/output. Report flaky or unavailable checks honestly.",
+        ].join("\n"),
+        "# Approach phases",
+        [
+            "These describe an approach, not a prerequisite itinerary. Skip or revisit phases as the actual environment requires.",
+            ...phases.map((phase) => `- ${phase.id}: ${phase.goal}${phase.guidance ? ` ${phase.guidance}` : ""}`),
+        ].join("\n"),
+        options.context ? `# Environment observations\n${options.context}` : "",
+        options.summary
+            ? `# Earlier thread context (may describe obsolete plans)\n${options.summary}`
+            : "",
+    ]
+        .filter((part) => part.trim())
+        .join("\n\n");
+}
+//# sourceMappingURL=prompt.js.map

package/dist/agents/terminal/prompt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt.js","sourceRoot":"","sources":["../../../src/agents/terminal/prompt.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAQ7C;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAO,GAA0B,EAAE;IACrE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,cAAc,CAAC;IAChD,OAAO;QACL,aAAa;QACb,uLAAuL;QACvL,mBAAmB;QACnB;YACE,6JAA6J;YAC7J,4HAA4H;YAC5H,8GAA8G;YAC9G,iHAAiH;YACjH,+HAA+H;SAChI,CAAC,IAAI,CAAC,IAAI,CAAC;QACZ,mBAAmB;QACnB;YACE,sHAAsH;YACtH,GAAG,MAAM,CAAC,GAAG,CACX,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9E;SACF,CAAC,IAAI,CAAC,IAAI,CAAC;QACZ,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,+BAA+B,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE;QACvE,OAAO,CAAC,OAAO;YACb,CAAC,CAAC,2DAA2D,OAAO,CAAC,OAAO,EAAE;YAC9E,CAAC,CAAC,EAAE;KACP;SACE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SAC7B,IAAI,CAAC,MAAM,CAAC,CAAC;AAClB,CAAC"}

package/dist/agents/terminal/strategy.d.ts

@@ -0,0 +1,3 @@
+import type { AgentStrategy } from "../../engine/strategy.js";
+export declare const terminalStrategy: AgentStrategy;
+//# sourceMappingURL=strategy.d.ts.map

package/dist/agents/terminal/strategy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"strategy.d.ts","sourceRoot":"","sources":["../../../src/agents/terminal/strategy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAI9D,eAAO,MAAM,gBAAgB,EAAE,aAQ9B,CAAC"}

package/dist/agents/terminal/strategy.js

@@ -0,0 +1,12 @@
+import { terminalPhases } from "./phases.js";
+import { buildTerminalPrompt } from "./prompt.js";
+export const terminalStrategy = {
+    name: "terminal",
+    phases: terminalPhases,
+    requiresSandbox: true,
+    requiredTools: ["bash", "read_file", "edit_file"],
+    systemPrompt({ context, summary }) {
+        return buildTerminalPrompt({ context, summary });
+    },
+};
+//# sourceMappingURL=strategy.js.map

package/dist/agents/terminal/strategy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"strategy.js","sourceRoot":"","sources":["../../../src/agents/terminal/strategy.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAElD,MAAM,CAAC,MAAM,gBAAgB,GAAkB;IAC7C,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,cAAc;IACtB,eAAe,EAAE,IAAI;IACrB,aAAa,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,WAAW,CAAC;IACjD,YAAY,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE;QAC/B,OAAO,mBAAmB,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IACnD,CAAC;CACF,CAAC"}

package/dist/agents/types.d.ts

@@ -11,6 +11,7 @@
  * per-field. Custom agents are just objects built from the same primitives.
  */
 import type { AgentStrategy } from "../engine/strategy.js";
+import type { ReasoningEffort } from "../llm/types.js";
 import type { Tool } from "../tools/types.js";
 export interface Agent {
     /** Short display name ("coding", "chat") — logs, dashboards, traces. */
@@ -24,5 +25,10 @@ export interface Agent {
      * An explicit engine option wins; absent, the engine default applies.
      */
     maxOutputTokens?: number | false;
+    /**
+     * Reasoning budget this bundle suggests. An explicit
+     * `EngineOptions.reasoningEffort` wins; absent, the provider default applies.
+     */
+    reasoningEffort?: ReasoningEffort;
 }
 //# sourceMappingURL=types.d.ts.map

package/dist/agents/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/agents/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAE9C,MAAM,WAAW,KAAK;IACpB,wEAAwE;IACxE,IAAI,EAAE,MAAM,CAAC;IACb,2EAA2E;IAC3E,QAAQ,EAAE,aAAa,CAAC;IACxB,6EAA6E;IAC7E,KAAK,EAAE,IAAI,EAAE,CAAC;IACd;;;OAGG;IACH,eAAe,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;CAClC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/agents/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAE9C,MAAM,WAAW,KAAK;IACpB,wEAAwE;IACxE,IAAI,EAAE,MAAM,CAAC;IACb,2EAA2E;IAC3E,QAAQ,EAAE,aAAa,CAAC;IACxB,6EAA6E;IAC7E,KAAK,EAAE,IAAI,EAAE,CAAC;IACd;;;OAGG;IACH,eAAe,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IACjC;;;OAGG;IACH,eAAe,CAAC,EAAE,eAAe,CAAC;CACnC"}

package/dist/cli.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=cli.d.ts.map

package/dist/cli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":""}