@gobing-ai/ts-ai-runner 0.5.29 → 0.5.32

package/README.md

@@ -500,7 +500,7 @@ Agent-specific behavior:
 | `gemini` *(deprecated)* | `gemini` | 1 | env-only | `-p`, `-r latest` (resume), `-m`, `-o` |
 | `pi` | `pi` | 1 | `pi --list-models` | `--no-session`, `-p`, `-c` (resume), `--model`, `--mode` |
 | `omp` | `omp` | 1 | `omp --list-models` | `--no-session`, `-p`, `-c` (resume), `--model`, `--mode` |
-| `opencode` | `opencode` | 1 | `opencode providers` | `run`, `-c`, `-m`, `--format json` |
+| `opencode` | `opencode` | 1 | `opencode providers` | `run`, `--auto` (headless `ask` auto-rejects otherwise), `-c`, `-m`, `--format json` |
 | `antigravity-cli` | `agy` | 1 | env-only | `-p`, `--continue`, `--model` |
 | `openclaw` | `openclaw` | 2 | `openclaw health` | `agent --local -m` |
 | `hermes` | `hermes` | 1 | `hermes doctor` | `chat -q`, `--continue`, `-m` |
@@ -740,11 +740,31 @@ shared state and get typed, discriminated answers back. Questions are built with
 answers are decoded into neutral `ChoiceAnswer` / `ScoreAnswer` / `NoulAnswer` types — no SDK type
 crosses this boundary.
 
-Named backends are selected with `backend:`: `typesafe` (the default, reads `TYPESAFE_API_KEY`),
-`laya-local` (`@gobing-ai/ts-laya-mlx`), and `fm-local` (`@gobing-ai/ts-decision-fm`). Both local
-backends resolve their driver by dynamic import on first use — this package declares no dependency
-on either driver package (ADR-028); install the one you select. For typed, non-default driver
-options, construct the driver yourself and pass it as `driver:`.
+Named backends are selected with `backend:`: `laya-local` (`@gobing-ai/ts-laya-mlx`), `fm-local`
+(`@gobing-ai/ts-decision-fm`) and — deprecated — `typesafe` (`@gobing-ai/ts-ai-decision`). All three
+resolve their driver by dynamic import on first use: this package declares no dependency on any
+driver package (ADR-028/ADR-039); install the one you select. For typed, non-default driver options,
+construct the driver yourself and pass it as `driver:`.
+
+**TypeSafe moved out (ADR-039, 2026-10-19).** `createTypesafeDriver` and the pinned
+`@typesafe-ai/sdk` dependency now live in `@gobing-ai/ts-ai-decision`; this package keeps only the
+neutral contract, the validators, the sampled-driver core and `createDecisionMaker`.
+
+```ts
+import { createDecisionMaker } from '@gobing-ai/ts-ai-runner';
+import { createTypesafeDriver } from '@gobing-ai/ts-ai-decision'; // preferred
+
+const decisions = createDecisionMaker({ driver: createTypesafeDriver({ apiKey }) });
+```
+
+The `typesafe` backend name — including the implicit default — still works for one release through a
+deprecated dynamic import, so it now **requires `@gobing-ai/ts-ai-decision` to be installed**:
+
+- missing key → `DecisionConfigError` `TYPESAFE_API_KEY` (unchanged, and checked before the import);
+- package not installed → `DecisionConfigError` `TYPESAFE_BACKEND` naming the `bun add` command.
+
+The bridge is removed in the next minor. `resolveApiKey` stays exported here and is what both the
+bridge and the `ts-ai-decision` registry use, so `TYPESAFE_API_KEY` precedence is unchanged.
 
 ### Batch `ask` — many questions, one request
 
@@ -847,6 +867,41 @@ errors from its own boundary. Driver-local concerns the neutral validators do no
 question/option counts, JSON-serializability of `state`, provider response caps) stay in the
 driver — see [`@gobing-ai/ts-decision-clef`](../decision-clef/README.md) for a worked example.
 
+### Sampled-driver core
+
+Every backend that answers by drawing k samples from a model shares one
+engine-agnostic core in this package (`src/decision/sampled-driver.ts`). It
+imports nothing — no SDK, no workspace package, no platform API — so a driver
+package outside `ts-ai-runner` can build on it without a cycle. A backend
+supplies only the per-ask session hook; rendering, enum enforcement, parsing
+and frequency estimation come from the core.
+
+```ts
+import { createSampledDriver, extractJsonAnswer } from '@gobing-ai/ts-ai-runner';
+
+const driver = createSampledDriver({
+    name: 'my-backend',
+    samples: 5, // k draws per ask; collapsed to 1 when deterministic
+    concurrency: 1, // max draws in flight
+    sampleLabel: 'my-backend', // prefix in enum-violation messages
+    async open({ instructions, prompt, questions }) {
+        const scratch = await openScratchDir();
+        return {
+            sample: async () => extractJsonAnswer(await runModel(instructions, prompt, scratch)),
+            close: () => removeScratchDir(scratch),
+        };
+    },
+});
+```
+
+`ask` validates the map (nonempty, at least two options per question) **before**
+calling `open`, draws k samples at most `concurrency` at a time, enum-checks
+every sample against `declaredOptions`, and always runs `close` — then reduces
+the draws to empirical frequencies (ADR-030). The exported helpers are
+`DECISION_INSTRUCTIONS`, `buildPrompt`, `buildEnumSchema`, `declaredOptions`,
+`formatDesc`, `requireEnumValue`, `extractJsonAnswer`, `entropyConfidence`,
+`estimateChoice`, `estimateScore` and `estimateNoul`.
+
 ### Adding a backend driver
 
 Additional backend drivers are the intended extension point. A driver implements only `ask` —

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

@@ -1 +1 @@
-{"version":3,"file":"shims.d.ts","sourceRoot":"","sources":["../../src/agents/shims.ts"],"names":[],"mappings":"AAIA,gEAAgE;AAChE,MAAM,MAAM,SAAS,GACf,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,IAAI,GACJ,UAAU,GACV,iBAAiB,GACjB,UAAU,GACV,QAAQ,GACR,KAAK,GACL,MAAM,GACN,UAAU,GACV,IAAI,CAAC;AAEX,0CAA0C;AAC1C,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,CAAC;AAEzC,mEAAmE;AACnE,MAAM,WAAW,WAAW;IACxB,4BAA4B;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,2CAA2C;IAC3C,IAAI,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,4CAA4C;AAC5C,MAAM,WAAW,aAAa;IAC1B,yDAAyD;IACzD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB;;;;;OAKG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,wDAAwD;IACxD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,mDAAmD;IACnD,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,8EAA8E;IAC9E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,2DAA2D;IAC3D,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,kCAAkC;IAClC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB;;;;OAIG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,kEAAkE;IAClE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,iEAAiE;IACjE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qDAAqD;IACrD,KAAK,CAAC,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC9D;;;;;;;;;;OAUG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED,qFAAqF;AACrF,MAAM,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;AASnD,2EAA2E;AAC3E,MAAM,WAAW,gBAAgB;IAC7B,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,8CAA8C;IAC9C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC;CACnC;AAED,qDAAqD;AACrD,MAAM,WAAW,SAAS;IACtB,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,+BAA+B;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;IACrB,sFAAsF;IACtF,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,wFAAwF;IACxF,QAAQ,CAAC,UAAU,CAAC,EAAE,gBAAgB,CAAC;IACvC,2GAA2G;IAC3G,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,oCAAoC;IACpC,cAAc,IAAI,WAAW,CAAC;IAC9B,yCAAyC;IACzC,iBAAiB,IAAI,WAAW,CAAC;IACjC,yCAAyC;IACzC,gBAAgB,CAAC,OAAO,EAAE,aAAa,GAAG,WAAW,CAAC;IACtD,8DAA8D;IAC9D,cAAc,IAAI,WAAW,GAAG,IAAI,CAAC;IACrC;;;;;OAKG;IACH,QAAQ,CAAC,uBAAuB,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;KAAE,CAAC;CACrE;AA0VD,6DAA6D;AAC7D,eAAO,MAAM,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,CAa9D,CAAC;AAEF,kEAAkE;AAClE,MAAM,WAAW,sBAAsB;IACnC,oFAAoF;IACpF,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,oEAAoE;IACpE,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,2GAA2G;IAC3G,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,oEAAoE;IACpE,QAAQ,CAAC,wBAAwB,EAAE,OAAO,CAAC;IAC3C,sGAAsG;IACtG,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,4GAA4G;IAC5G,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CAC1B;AAyHD,6EAA6E;AAC7E,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,SAAS,GAAG,sBAAsB,CAElF;AAED,mEAAmE;AACnE,eAAO,MAAM,cAAc,EAAE,SAAS,SAAS,EAU9C,CAAC;AAEF,kDAAkD;AAClD,eAAO,MAAM,aAAa,EAAE,SAAS,SAAS,EAa7C,CAAC;AAEF,6CAA6C;AAC7C,eAAO,MAAM,YAAY,EAAE,WAAW,CAAC,SAAS,CAAyB,CAAC;AAU1E;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAQrE;AAED;mEACmE;AACnE,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAElD;AAED,6EAA6E;AAC7E,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,CAMxD"}
+{"version":3,"file":"shims.d.ts","sourceRoot":"","sources":["../../src/agents/shims.ts"],"names":[],"mappings":"AAIA,gEAAgE;AAChE,MAAM,MAAM,SAAS,GACf,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,IAAI,GACJ,UAAU,GACV,iBAAiB,GACjB,UAAU,GACV,QAAQ,GACR,KAAK,GACL,MAAM,GACN,UAAU,GACV,IAAI,CAAC;AAEX,0CAA0C;AAC1C,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,CAAC;AAEzC,mEAAmE;AACnE,MAAM,WAAW,WAAW;IACxB,4BAA4B;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,2CAA2C;IAC3C,IAAI,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,4CAA4C;AAC5C,MAAM,WAAW,aAAa;IAC1B,yDAAyD;IACzD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB;;;;;OAKG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,wDAAwD;IACxD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,mDAAmD;IACnD,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,8EAA8E;IAC9E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,2DAA2D;IAC3D,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,kCAAkC;IAClC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB;;;;OAIG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,kEAAkE;IAClE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,iEAAiE;IACjE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qDAAqD;IACrD,KAAK,CAAC,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC9D;;;;;;;;;;OAUG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED,qFAAqF;AACrF,MAAM,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;AASnD,2EAA2E;AAC3E,MAAM,WAAW,gBAAgB;IAC7B,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,8CAA8C;IAC9C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC;CACnC;AAED,qDAAqD;AACrD,MAAM,WAAW,SAAS;IACtB,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,+BAA+B;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;IACrB,sFAAsF;IACtF,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,wFAAwF;IACxF,QAAQ,CAAC,UAAU,CAAC,EAAE,gBAAgB,CAAC;IACvC,2GAA2G;IAC3G,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,oCAAoC;IACpC,cAAc,IAAI,WAAW,CAAC;IAC9B,yCAAyC;IACzC,iBAAiB,IAAI,WAAW,CAAC;IACjC,yCAAyC;IACzC,gBAAgB,CAAC,OAAO,EAAE,aAAa,GAAG,WAAW,CAAC;IACtD,8DAA8D;IAC9D,cAAc,IAAI,WAAW,GAAG,IAAI,CAAC;IACrC;;;;;OAKG;IACH,QAAQ,CAAC,uBAAuB,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;KAAE,CAAC;CACrE;AAkWD,6DAA6D;AAC7D,eAAO,MAAM,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,CAa9D,CAAC;AAEF,kEAAkE;AAClE,MAAM,WAAW,sBAAsB;IACnC,oFAAoF;IACpF,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,oEAAoE;IACpE,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,2GAA2G;IAC3G,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,oEAAoE;IACpE,QAAQ,CAAC,wBAAwB,EAAE,OAAO,CAAC;IAC3C,sGAAsG;IACtG,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,4GAA4G;IAC5G,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CAC1B;AAyHD,6EAA6E;AAC7E,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,SAAS,GAAG,sBAAsB,CAElF;AAED,mEAAmE;AACnE,eAAO,MAAM,cAAc,EAAE,SAAS,SAAS,EAU9C,CAAC;AAEF,kDAAkD;AAClD,eAAO,MAAM,aAAa,EAAE,SAAS,SAAS,EAa7C,CAAC;AAEF,6CAA6C;AAC7C,eAAO,MAAM,YAAY,EAAE,WAAW,CAAC,SAAS,CAAyB,CAAC;AAU1E;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAQrE;AAED;mEACmE;AACnE,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAElD;AAED,6EAA6E;AAC7E,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,CAMxD"}

package/dist/agents/shims.js

@@ -136,7 +136,15 @@ const opencodeShim = {
     getHelpCommand: () => ({ command: 'opencode', args: ['--help'] }),
     getVersionCommand: () => ({ command: 'opencode', args: ['--version'] }),
     getPromptCommand: (options) => {
-        const args = ['run', options.input ?? ''];
+        // `opencode run` is non-interactive and auto-REJECTS any permission the
+        // operator's config declares `ask` — there is no user to prompt, so the
+        // tool call dead-ends (probed 2026-10-18 on opencode 2.0.32: fsWrite
+        // landed, shell was rejected with "this non-interactive run cannot ask
+        // the user for permission"). `--auto` auto-approves exactly the
+        // permissions that are not explicitly denied, so an operator `deny`
+        // rule still holds; without it any non-default permission policy makes
+        // the shim unusable for tool-using work.
+        const args = ['run', options.input ?? '', '--auto'];
         if (options.continue === true)
             args.push('-c');
         if (options.model !== undefined)

package/dist/decision/decision-maker.d.ts

@@ -31,7 +31,14 @@ export type DecisionBackend = 'typesafe' | 'laya-local' | 'fm-local';
 export interface DecisionMakerOptions {
     /** Custom driver — when supplied, `backend` is ignored, no default driver is constructed and no key is required. */
     driver?: DecisionDriver;
-    /** Named backend selector. Default: `'typesafe'`. Resolution order: `driver` → `backend` → `'typesafe'`. */
+    /**
+     * Named backend selector. Default: `'typesafe'`. Resolution order: `driver` → `backend` → `'typesafe'`.
+     *
+     * @deprecated `'typesafe'` (including the implicit default) now loads its driver from
+     * `@gobing-ai/ts-ai-decision` through a dynamic import, so it requires that package to be
+     * installed. Prefer `driver: createTypesafeDriver(...)` imported from `@gobing-ai/ts-ai-decision`;
+     * this bridge is removed in the next minor (ADR-039).
+     */
     backend?: DecisionBackend;
     /** Injected env record; defaults to `getProcessEnv()` (doctor-runner convention). */
     env?: Record<string, string | undefined>;
@@ -46,12 +53,26 @@ export interface DecisionMakerOptions {
     fetch?: typeof fetch;
     [key: string]: unknown;
 }
+/**
+ * Resolve the key per R7: `options.apiKey ?? (options.env ?? getProcessEnv()).TYPESAFE_API_KEY`.
+ * Throws before any driver construction or request.
+ */
+export declare function resolveApiKey(options: DecisionMakerOptions): string;
 /**
  * @internal Exported for task 0086 R9 branch tests: `importModule` lets tests
  * simulate package-import failures that cannot occur in-workspace (workspace
  * links always resolve).
  */
 export declare function resolveLayaDriver(options: DecisionMakerOptions, importModule?: (specifier: string) => Promise<unknown>): Promise<DecisionDriver>;
+/**
+ * Resolve the `typesafe` driver from `@gobing-ai/ts-ai-decision` (task 0116 R5, ADR-039).
+ *
+ * The driver moved out of this package, which is now the contract-only surface. The key is
+ * resolved FIRST so a missing key keeps its exact pre-move error and no import is attempted.
+ *
+ * @internal Exported for the branch tests; see {@link resolveLayaDriver}.
+ */
+export declare function resolveTypesafeDriver(options: DecisionMakerOptions, importModule?: (specifier: string) => Promise<unknown>): Promise<DecisionDriver>;
 /** @internal Exported for task 0086 R9 branch tests; see {@link resolveLayaDriver}. */
 export declare function resolveFmDriver(options: DecisionMakerOptions, importModule?: (specifier: string) => Promise<unknown>): Promise<DecisionDriver>;
 /**

package/dist/decision/decision-maker.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"decision-maker.d.ts","sourceRoot":"","sources":["../../src/decision/decision-maker.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EACR,UAAU,EACV,YAAY,EACZ,cAAc,EACd,aAAa,EACb,IAAI,EACJ,UAAU,EACV,QAAQ,EACR,WAAW,EACd,MAAM,SAAS,CAAC;AAKjB,yFAAyF;AACzF,MAAM,WAAW,aAAa;IAC1B,iFAAiF;IACjF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,sFAAsF;IACtF,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,GAAG,EAAE;QAC/C,KAAK,EAAE,aAAa,CAAC;QACrB,SAAS,EAAE,CAAC,CAAC;QACb,KAAK,CAAC,EAAE,MAAM,CAAC;KAClB,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,yEAAyE;IACzE,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACzB,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,IAAI,EACZ,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,GACxB,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5B,gFAAgF;IAChF,KAAK,CAAC,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAC1G,wEAAwE;IACxE,IAAI,CAAC,KAAK,EAAE,aAAa,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE;QAAE,GAAG,CAAC,EAAE,IAAI,CAAC;QAAC,EAAE,CAAC,EAAE,IAAI,CAAA;KAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACrG;;;;OAIG;IACH,OAAO,CAAC,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACpC;AAED,gEAAgE;AAChE,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,YAAY,GAAG,UAAU,CAAC;AAErE,qFAAqF;AACrF,MAAM,WAAW,oBAAoB;IACjC,oHAAoH;IACpH,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB,4GAA4G;IAC5G,OAAO,CAAC,EAAE,eAAe,CAAC;IAC1B,qFAAqF;IACrF,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;IACzC,uDAAuD;IACvD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,4EAA4E;IAC5E,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gCAAgC;IAChC,KAAK,CAAC,EAAE,OAAO,KAAK,CAAC;IACrB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CAC1B;AAoBD;;;;GAIG;AACH,wBAAsB,iBAAiB,CACnC,OAAO,EAAE,oBAAoB,EAC7B,YAAY,GAAE,CAAC,SAAS,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAoC,GACzF,OAAO,CAAC,cAAc,CAAC,CAuBzB;AAID,uFAAuF;AACvF,wBAAsB,eAAe,CACjC,OAAO,EAAE,oBAAoB,EAC7B,YAAY,GAAE,CAAC,SAAS,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAoC,GACzF,OAAO,CAAC,cAAc,CAAC,CAkBzB;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,GAAE,oBAAyB,GAAG,aAAa,CA8DrF"}
+{"version":3,"file":"decision-maker.d.ts","sourceRoot":"","sources":["../../src/decision/decision-maker.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EACR,UAAU,EACV,YAAY,EACZ,cAAc,EACd,aAAa,EACb,IAAI,EACJ,UAAU,EACV,QAAQ,EACR,WAAW,EACd,MAAM,SAAS,CAAC;AAIjB,yFAAyF;AACzF,MAAM,WAAW,aAAa;IAC1B,iFAAiF;IACjF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,sFAAsF;IACtF,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,GAAG,EAAE;QAC/C,KAAK,EAAE,aAAa,CAAC;QACrB,SAAS,EAAE,CAAC,CAAC;QACb,KAAK,CAAC,EAAE,MAAM,CAAC;KAClB,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,yEAAyE;IACzE,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACzB,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,IAAI,EACZ,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,GACxB,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5B,gFAAgF;IAChF,KAAK,CAAC,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAC1G,wEAAwE;IACxE,IAAI,CAAC,KAAK,EAAE,aAAa,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE;QAAE,GAAG,CAAC,EAAE,IAAI,CAAC;QAAC,EAAE,CAAC,EAAE,IAAI,CAAA;KAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACrG;;;;OAIG;IACH,OAAO,CAAC,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACpC;AAED,gEAAgE;AAChE,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,YAAY,GAAG,UAAU,CAAC;AAErE,qFAAqF;AACrF,MAAM,WAAW,oBAAoB;IACjC,oHAAoH;IACpH,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB;;;;;;;OAOG;IACH,OAAO,CAAC,EAAE,eAAe,CAAC;IAC1B,qFAAqF;IACrF,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;IACzC,uDAAuD;IACvD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,4EAA4E;IAC5E,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gCAAgC;IAChC,KAAK,CAAC,EAAE,OAAO,KAAK,CAAC;IACrB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CAC1B;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,oBAAoB,GAAG,MAAM,CAUnE;AAID;;;;GAIG;AACH,wBAAsB,iBAAiB,CACnC,OAAO,EAAE,oBAAoB,EAC7B,YAAY,GAAE,CAAC,SAAS,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAoC,GACzF,OAAO,CAAC,cAAc,CAAC,CAuBzB;AAID;;;;;;;GAOG;AACH,wBAAsB,qBAAqB,CACvC,OAAO,EAAE,oBAAoB,EAC7B,YAAY,GAAE,CAAC,SAAS,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAoC,GACzF,OAAO,CAAC,cAAc,CAAC,CA4BzB;AAID,uFAAuF;AACvF,wBAAsB,eAAe,CACjC,OAAO,EAAE,oBAAoB,EAC7B,YAAY,GAAE,CAAC,SAAS,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAoC,GACzF,OAAO,CAAC,cAAc,CAAC,CAkBzB;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,GAAE,oBAAyB,GAAG,aAAa,CAuDrF"}

package/dist/decision/decision-maker.js

@@ -7,13 +7,12 @@
 import { getProcessEnv } from '@gobing-ai/ts-runtime';
 import { DecisionConfigError } from './errors.js';
 import { q } from './types.js';
-import { createTypesafeDriver } from './typesafe-driver.js';
 import { validateAnswers, validateQuestions } from './validation.js';
 /**
  * Resolve the key per R7: `options.apiKey ?? (options.env ?? getProcessEnv()).TYPESAFE_API_KEY`.
  * Throws before any driver construction or request.
  */
-function resolveApiKey(options) {
+export function resolveApiKey(options) {
     const env = options.env ?? getProcessEnv();
     const apiKey = options.apiKey ?? env.TYPESAFE_API_KEY;
     if (!apiKey) {
@@ -43,6 +42,36 @@ export async function resolveLayaDriver(options, importModule = (specifier) => i
     }
     return mod.createLayaDriver(options);
 }
+const TYPESAFE_DRIVER_PACKAGE = '@gobing-ai/ts-ai-decision';
+/**
+ * Resolve the `typesafe` driver from `@gobing-ai/ts-ai-decision` (task 0116 R5, ADR-039).
+ *
+ * The driver moved out of this package, which is now the contract-only surface. The key is
+ * resolved FIRST so a missing key keeps its exact pre-move error and no import is attempted.
+ *
+ * @internal Exported for the branch tests; see {@link resolveLayaDriver}.
+ */
+export async function resolveTypesafeDriver(options, importModule = (specifier) => import(specifier)) {
+    const apiKey = resolveApiKey(options);
+    let mod;
+    try {
+        mod = (await importModule(TYPESAFE_DRIVER_PACKAGE));
+    }
+    catch (cause) {
+        throw new DecisionConfigError(`The 'typesafe' backend requires '${TYPESAFE_DRIVER_PACKAGE}' to be installed; install it with 'bun add ${TYPESAFE_DRIVER_PACKAGE}'`, 'TYPESAFE_BACKEND', { cause });
+    }
+    if (typeof mod.createTypesafeDriver !== 'function') {
+        throw new DecisionConfigError(`Module '${TYPESAFE_DRIVER_PACKAGE}' does not export createTypesafeDriver`, 'TYPESAFE_BACKEND');
+    }
+    return mod.createTypesafeDriver({
+        apiKey,
+        model: options.model,
+        baseURL: options.baseURL,
+        timeoutMs: options.timeoutMs,
+        maxRetries: options.maxRetries,
+        fetch: options.fetch,
+    });
+}
 const FM_DRIVER_PACKAGE = '@gobing-ai/ts-decision-fm';
 /** @internal Exported for task 0086 R9 branch tests; see {@link resolveLayaDriver}. */
 export async function resolveFmDriver(options, importModule = (specifier) => import(specifier)) {
@@ -72,14 +101,7 @@ export function createDecisionMaker(options = {}) {
             return resolvedDriver;
         const backend = options.backend ?? 'typesafe';
         if (backend === 'typesafe') {
-            resolvedDriver = createTypesafeDriver({
-                apiKey: resolveApiKey(options),
-                model: options.model,
-                baseURL: options.baseURL,
-                timeoutMs: options.timeoutMs,
-                maxRetries: options.maxRetries,
-                fetch: options.fetch,
-            });
+            resolvedDriver = await resolveTypesafeDriver(options);
             return resolvedDriver;
         }
         if (backend === 'laya-local') {

package/dist/decision/sampled-driver.d.ts

@@ -0,0 +1,115 @@
+/**
+ * The engine-agnostic sampled-driver core (task 0114 R1, ADR-038): prompt
+ * rendering, per-question enum options, answer parsing and frequency
+ * estimation, shared by every backend that answers by drawing k samples from a
+ * model. A backend supplies only the per-ask session hook.
+ *
+ * Pure by contract (R2): imports only the sibling `types` and `errors` modules —
+ * no SDK, no workspace package, no platform API. That is what lets a driver
+ * package outside `ts-ai-runner` build on it without a cycle.
+ */
+import type { ChoiceAnswer, DecisionDriver, DecisionState, Desc, NoulAnswer, Question, ScoreAnswer } from './types';
+/**
+ * Fixed instructions text. It never asks for confidence, certainty or a
+ * probability — self-reported confidence would be fabricated calibration, which
+ * the decision contract forbids (ADR-030).
+ */
+export declare const DECISION_INSTRUCTIONS: string;
+/** The constrained-output schema over the whole question map (fm passes it to `fm respond --schema`). */
+export interface EnumSchema {
+    type: 'object';
+    title: string;
+    'x-order': string[];
+    required: string[];
+    additionalProperties: false;
+    properties: Record<string, {
+        type: 'string';
+        enum: string[];
+    }>;
+}
+/** One ask's sampling session; opened once per ask and closed in `finally`. */
+export interface SampleSession {
+    /** Return one sample as a key → option-string record (parsed, not yet enum-checked). */
+    sample(): Promise<Record<string, string>>;
+    /** Release per-ask resources (temp schema file, scratch dir). Called on success and failure. */
+    close?(): void | Promise<void>;
+}
+/** Configuration for {@link createSampledDriver}. */
+export interface SampledDriverOptions {
+    /** Driver name reported through `DecisionDriver.name`. */
+    readonly name: string;
+    /** Samples per ask. Default: 5. Ignored when `deterministic`. Positive integer. */
+    readonly samples?: number;
+    /** One sample; the sampler is expected to decode greedily. Default: false. */
+    readonly deterministic?: boolean;
+    /** Max samples in flight. Default: 1 (sequential). Positive integer. */
+    readonly concurrency?: number;
+    /** Prefix used in enum-violation messages. Default: `name` (fm passes `'fm'`). */
+    readonly sampleLabel?: string;
+    /** Open the per-ask session. Receives the rendered texts and the validated request. */
+    open(ctx: {
+        instructions: string;
+        prompt: string;
+        questions: Record<string, Question>;
+        state: DecisionState;
+        model?: string;
+    }): Promise<SampleSession>;
+    /** Override the default {@link DECISION_INSTRUCTIONS} text. */
+    readonly instructions?: string;
+}
+/** A {@link DecisionDriver} built on sample frequencies, with the estimator it declares (ADR-030). */
+export interface SampledDecisionDriver extends DecisionDriver {
+    readonly estimator: {
+        readonly kind: 'sample-frequency';
+        readonly samples: number;
+        readonly greedy: boolean;
+    };
+}
+/** Build the enum schema over the whole question map: one call answers every key. */
+export declare function buildEnumSchema(questions: Record<string, Question>): EnumSchema;
+/** Format a {@link Desc} into prompt text: strings verbatim, structured values JSON, absence empty. */
+export declare function formatDesc(desc: Desc | undefined): string;
+/** The declared option values of a question, in declaration order (estimation + validation share this). */
+export declare function declaredOptions(question: Question): string[];
+/**
+ * Render the positional prompt: the state as text (JSON when structured), then
+ * one block per question key with the prompt `Desc` and its options with
+ * descriptions — choice label keys, score level indices with the rubric text,
+ * noul `yes`/`no` with any outcome descriptions.
+ */
+export declare function buildPrompt(state: DecisionState, questions: Record<string, Question>): string;
+/**
+ * Laya reference `confidence_from_probs` on the empirical distribution:
+ * `1 − H(p) / ln(n)` over the n declared options. One-hot ⇒ 1, uniform ⇒ 0.
+ */
+export declare function entropyConfidence(probabilities: number[]): number;
+/**
+ * Choice frequencies over every supplied label (unsampled ⇒ 0). The answer
+ * label is the most frequent with ties broken by label declaration order.
+ */
+export declare function estimateChoice(labels: readonly string[], samples: readonly string[]): ChoiceAnswer<string>;
+/**
+ * Score frequencies over the level indices `0…n-1`. The answer score is the
+ * most frequent level with ties going to the lower level; the legend maps each
+ * index back to its rubric description.
+ */
+export declare function estimateScore(rubric: readonly Desc[], samples: readonly string[]): ScoreAnswer;
+/** Noul is a bare yes-probability — no `confidence` key, by contract. */
+export declare function estimateNoul(samples: readonly string[]): NoulAnswer;
+/** A parsed value outside the declared enum is a schema violation, never an answer. */
+export declare function requireEnumValue(parsed: Record<string, string>, key: string, allowed: readonly string[], label?: string): string;
+/**
+ * Lenient answer parser for models without constrained decoding (task 0114 R6).
+ * Tries the whole text, then the first fenced block, then the first balanced
+ * object in prose. The result must be a flat object of string values.
+ */
+export declare function extractJsonAnswer(text: string): Record<string, string>;
+/**
+ * Build a sampled driver: k draws through one per-ask {@link SampleSession},
+ * enum-checked against the declared options and reduced to sample frequencies.
+ *
+ * The order inside `ask` is the contract (R5): validate → render → open →
+ * sample → enum-check → estimate, with `close` in `finally` either way.
+ */
+export declare function createSampledDriver(options: SampledDriverOptions): SampledDecisionDriver;
+//# sourceMappingURL=sampled-driver.d.ts.map

package/dist/decision/sampled-driver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sampled-driver.d.ts","sourceRoot":"","sources":["../../src/decision/sampled-driver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,KAAK,EAER,YAAY,EACZ,cAAc,EACd,aAAa,EACb,IAAI,EACJ,UAAU,EACV,QAAQ,EACR,WAAW,EACd,MAAM,SAAS,CAAC;AAEjB;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,QAGmB,CAAC;AAEtD,yGAAyG;AACzG,MAAM,WAAW,UAAU;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,oBAAoB,EAAE,KAAK,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,IAAI,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CAClE;AAED,+EAA+E;AAC/E,MAAM,WAAW,aAAa;IAC1B,wFAAwF;IACxF,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1C,gGAAgG;IAChG,KAAK,CAAC,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAClC;AAED,qDAAqD;AACrD,MAAM,WAAW,oBAAoB;IACjC,0DAA0D;IAC1D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mFAAmF;IACnF,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,8EAA8E;IAC9E,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC,wEAAwE;IACxE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,kFAAkF;IAClF,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,uFAAuF;IACvF,IAAI,CAAC,GAAG,EAAE;QACN,YAAY,EAAE,MAAM,CAAC;QACrB,MAAM,EAAE,MAAM,CAAC;QACf,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACpC,KAAK,EAAE,aAAa,CAAC;QACrB,KAAK,CAAC,EAAE,MAAM,CAAC;KAClB,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC3B,+DAA+D;IAC/D,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAClC;AAED,sGAAsG;AACtG,MAAM,WAAW,qBAAsB,SAAQ,cAAc;IACzD,QAAQ,CAAC,SAAS,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC;CACjH;AAED,qFAAqF;AACrF,wBAAgB,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,UAAU,CAwB/E;AAED,uGAAuG;AACvG,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,GAAG,SAAS,GAAG,MAAM,CAIzD;AAED,2GAA2G;AAC3G,wBAAgB,eAAe,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,EAAE,CAS5D;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,MAAM,CAkC7F;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,aAAa,EAAE,MAAM,EAAE,GAAG,MAAM,CAQjE;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,YAAY,CAAC,MAAM,CAAC,CAyB1G;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,SAAS,IAAI,EAAE,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,WAAW,CAiC9F;AAED,yEAAyE;AACzE,wBAAgB,YAAY,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,UAAU,CAGnE;AAED,uFAAuF;AACvF,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAC9B,GAAG,EAAE,MAAM,EACX,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,KAAK,SAAW,GACjB,MAAM,CASR;AA6CD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CA0BtE;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,oBAAoB,GAAG,qBAAqB,CA8FxF"}