@gobing-ai/ts-ai-runner 0.5.30 → 0.5.33

package/README.md

@@ -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/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"}