@gobing-ai/ts-decision-fm 0.5.30 → 0.5.32

package/README.md

@@ -10,6 +10,15 @@ frequencies — the model is never asked for a confidence
 
 Part of the `@gobing-ai/ts-libs` monorepo and lockstep-versioned with it.
 
+**Built on the shared sampled-driver core.** Since task 0114 the engine-agnostic
+half — prompt rendering, enum schema, answer parsing and the frequency
+estimators — lives in `@gobing-ai/ts-ai-runner`
+(`src/decision/sampled-driver.ts`). This package keeps only the `fm` process
+bridge: the availability probe, the prompt-token budget and the per-ask schema
+temp file. **Every export is unchanged** — `FM_INSTRUCTIONS`,
+`buildFmSchema`, `FmSchema`, `formatDesc`, `declaredOptions`, `buildPrompt`, the
+four estimators and `requireEnumValue` are re-exported or aliased from the core.
+
 - **License:** Apache-2.0 (see [LICENSE](./LICENSE)).
 - **No model weights or third-party code are bundled.** The engine is the `fm`
   system binary on the host.

package/dist/driver.d.ts

@@ -1,9 +1,10 @@
 /**
- * The Apple `fm` decision driver (task 0084 R2, R8, R9; design § Main export).
- * Satisfies the same {@link DecisionDriver} contract as the other backends over
- * one-shot `fm` processes: one schema per ask answers the whole question map,
- * probabilities come from k sample frequencies (ADR-030), and every failure
- * surfaces through the decision error taxonomy — never as an answer.
+ * The Apple `fm` decision driver (task 0084 R2, R8, R9; task 0114 R7). Satisfies
+ * the same {@link DecisionDriver} contract as the other backends over one-shot
+ * `fm` processes, built on the shared sampled-driver core: one schema per ask
+ * answers the whole question map, probabilities come from k sample frequencies
+ * (ADR-030), and every failure surfaces through the decision error taxonomy —
+ * never as an answer.
  */
 import { type DecisionDriver } from '@gobing-ai/ts-ai-runner';
 import { type ProcessExecutor } from '@gobing-ai/ts-runtime';

package/dist/driver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"driver.d.ts","sourceRoot":"","sources":["../src/driver.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAGH,KAAK,cAAc,EAItB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAKH,KAAK,eAAe,EACvB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAEH,KAAK,YAAY,EAMpB,MAAM,cAAc,CAAC;AAGtB,wDAAwD;AACxD,MAAM,WAAW,eAAe;IAC5B,yEAAyE;IACzE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,sFAAsF;IACtF,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,0FAA0F;IAC1F,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,4DAA4D;IAC5D,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,+DAA+D;IAC/D,UAAU,CAAC,EAAE,YAAY,CAAC;IAC1B,iCAAiC;IACjC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,oEAAoE;IACpE,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,kGAAkG;IAClG,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kDAAkD;IAClD,IAAI,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,mFAAmF;AACnF,MAAM,WAAW,gBAAiB,SAAQ,cAAc;IACpD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,mFAAmF;IACnF,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;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,OAAO,GAAE,eAAoB,GAAG,gBAAgB,CAwI9E"}
+{"version":3,"file":"driver.d.ts","sourceRoot":"","sources":["../src/driver.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAMH,KAAK,cAAc,EAItB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAKH,KAAK,eAAe,EACvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAEH,KAAK,YAAY,EAKpB,MAAM,cAAc,CAAC;AAEtB,wDAAwD;AACxD,MAAM,WAAW,eAAe;IAC5B,yEAAyE;IACzE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,sFAAsF;IACtF,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,0FAA0F;IAC1F,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,4DAA4D;IAC5D,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,+DAA+D;IAC/D,UAAU,CAAC,EAAE,YAAY,CAAC;IAC1B,iCAAiC;IACjC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,oEAAoE;IACpE,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,kGAAkG;IAClG,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kDAAkD;IAClD,IAAI,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,mFAAmF;AACnF,MAAM,WAAW,gBAAiB,SAAQ,cAAc;IACpD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,mFAAmF;IACnF,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;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,OAAO,GAAE,eAAoB,GAAG,gBAAgB,CA2G9E"}

package/dist/driver.js

@@ -1,15 +1,14 @@
 /**
- * The Apple `fm` decision driver (task 0084 R2, R8, R9; design § Main export).
- * Satisfies the same {@link DecisionDriver} contract as the other backends over
- * one-shot `fm` processes: one schema per ask answers the whole question map,
- * probabilities come from k sample frequencies (ADR-030), and every failure
- * surfaces through the decision error taxonomy — never as an answer.
+ * The Apple `fm` decision driver (task 0084 R2, R8, R9; task 0114 R7). Satisfies
+ * the same {@link DecisionDriver} contract as the other backends over one-shot
+ * `fm` processes, built on the shared sampled-driver core: one schema per ask
+ * answers the whole question map, probabilities come from k sample frequencies
+ * (ADR-030), and every failure surfaces through the decision error taxonomy —
+ * never as an answer.
  */
-import { DecisionConfigError, DecisionRequestError, } from '@gobing-ai/ts-ai-runner';
+import { buildEnumSchema, createSampledDriver, DECISION_INSTRUCTIONS, DecisionConfigError, DecisionRequestError, } from '@gobing-ai/ts-ai-runner';
 import { createNodeFileSystem, getProcessEnv, joinPath, nodeBunFactory, } from '@gobing-ai/ts-runtime';
-import { estimateChoice, estimateNoul, estimateScore } from './estimate.js';
-import { countPromptTokens, parseFmRespond, probeFmAvailability, requireEnumValue, respondArgv, runFmRespond, } from './fm-process.js';
-import { buildFmSchema, buildPrompt, declaredOptions, FM_INSTRUCTIONS } from './schema.js';
+import { countPromptTokens, parseFmRespond, probeFmAvailability, respondArgv, runFmRespond, } from './fm-process.js';
 /**
  * Build the `fm-local` decision driver. Host platform/architecture is checked
  * here, at construction, without spawning (R8); the `fm` availability probe
@@ -17,10 +16,10 @@ import { buildFmSchema, buildPrompt, declaredOptions, FM_INSTRUCTIONS } from './
  */
 export function createFmDriver(options = {}) {
     const { samples = 5, deterministic = false, maxPromptTokens = 6_000, requestTimeoutMs = 30_000, guardrails, fmPath = 'fm', executor = nodeBunFactory.createProcessExecutor(), platform = process.platform, arch = process.arch, } = options;
+    // Order kept from the pre-refactor driver: the samples error precedes PLATFORM.
     if (!Number.isInteger(samples) || samples < 1) {
         throw new DecisionRequestError(`samples must be a positive integer; got ${samples}`, undefined, undefined);
     }
-    const k = deterministic ? 1 : samples;
     if (platform !== 'darwin' || arch !== 'arm64') {
         throw new DecisionConfigError(`decision-fm requires macOS on Apple Silicon (darwin arm64); current platform is '${platform} ${arch}'`, 'PLATFORM');
     }
@@ -32,74 +31,53 @@ export function createFmDriver(options = {}) {
         await probeFmAvailability(executor, fmPath, requestTimeoutMs);
         availabilityVerified = true;
     }
-    return {
+    const inner = createSampledDriver({
         name: 'fm-local',
-        estimator: { kind: 'sample-frequency', samples: k, greedy: deterministic },
-        async ask({ state, questions, model, }) {
-            // R9: only the on-device system model exists (design: fm CLI facts).
-            if (model !== undefined && model !== 'system') {
-                throw new DecisionRequestError(`fm-local supports only the 'system' model (or undefined); got '${model}'`, undefined, undefined);
-            }
-            const entries = Object.entries(questions);
-            if (entries.length === 0) {
-                throw new DecisionRequestError('expected a nonempty question map', undefined, undefined);
-            }
-            for (const [key, question] of entries) {
-                const optionCount = question.kind === 'choice'
-                    ? Object.keys(question.labels).length
-                    : question.kind === 'score'
-                        ? question.rubric.length
-                        : 2; // noul is binary by type
-                if (optionCount < 2) {
-                    throw new DecisionRequestError(`question '${key}' has fewer than two options (${optionCount})`, undefined, undefined);
-                }
-            }
+        sampleLabel: 'fm',
+        samples,
+        deterministic,
+        instructions: DECISION_INSTRUCTIONS,
+        async open({ instructions, prompt, questions }) {
             // R8: prerequisite probe before the first sample; cached per driver.
             await ensureFmAvailable();
-            const instructions = FM_INSTRUCTIONS;
-            const prompt = buildPrompt(state, questions);
             // R4: pre-flight budget — over budget rejects before any `fm respond`.
             const tokens = await countPromptTokens(executor, fmPath, instructions, prompt, requestTimeoutMs);
             if (tokens > maxPromptTokens) {
                 throw new DecisionRequestError(`prompt is ${tokens} tokens, above the maxPromptTokens budget of ${maxPromptTokens}`, undefined, undefined);
             }
             // R3: one schema per ask over the whole question map, in a uniquely
-            // named temp file, deleted in `finally` on success and failure.
+            // named temp file, deleted by `close` on success and failure.
             const schemaPath = joinPath(getProcessEnv().TMPDIR ?? '/tmp', `fm-schema-${crypto.randomUUID()}.json`);
-            try {
-                fs.writeFile(schemaPath, JSON.stringify(buildFmSchema(questions)));
-                // R5: k sequential samples; each stdout parsed as JSON, read by key.
-                const allowed = new Map(entries.map(([key, question]) => [key, declaredOptions(question)]));
-                const samplesByKey = new Map(entries.map(([key]) => [key, []]));
-                for (let i = 0; i < k; i++) {
+            const session = {
+                async sample() {
                     const stdout = await runFmRespond(executor, fmPath, respondArgv({ schemaPath, instructions, prompt, greedy: deterministic, guardrails }), requestTimeoutMs);
-                    const parsed = parseFmRespond(stdout);
-                    for (const [key, values] of samplesByKey) {
-                        values.push(requireEnumValue(parsed, key, allowed.get(key) ?? []));
-                    }
-                }
-                // R6: frequencies over the declared labels/levels, argmax with
-                // declaration-order / lower-level tie-break, entropy confidence.
-                const answers = {};
-                for (const [key, question] of entries) {
-                    const values = samplesByKey.get(key) ?? [];
-                    switch (question.kind) {
-                        case 'choice':
-                            answers[key] = estimateChoice(Object.keys(question.labels), values);
-                            break;
-                        case 'score':
-                            answers[key] = estimateScore(question.rubric, values);
-                            break;
-                        case 'noul':
-                            answers[key] = estimateNoul(values);
-                            break;
-                    }
-                }
-                return answers;
+                    return parseFmRespond(stdout);
+                },
+                close() {
+                    fs.deleteFile(schemaPath);
+                },
+            };
+            try {
+                fs.writeFile(schemaPath, JSON.stringify(buildEnumSchema(questions)));
             }
-            finally {
+            catch (error) {
+                // Mirrors the pre-refactor `finally`: a failed write still deletes.
                 fs.deleteFile(schemaPath);
+                throw error;
+            }
+            return session;
+        },
+    });
+    return {
+        name: 'fm-local',
+        estimator: inner.estimator,
+        // R9: only the on-device system model exists (design: fm CLI facts). The
+        // guard runs before the core so the model error keeps today's precedence.
+        async ask({ state, questions, model, }) {
+            if (model !== undefined && model !== 'system') {
+                throw new DecisionRequestError(`fm-local supports only the 'system' model (or undefined); got '${model}'`, undefined, undefined);
             }
+            return inner.ask({ state, questions, model });
         },
     };
 }

package/dist/estimate.d.ts

@@ -1,26 +1,7 @@
 /**
- * Probability estimation from repeated samples (task 0084 R6, ADR-030,
- * design § Probability estimation). Every probability is an empirical sample
- * frequency — never a self-reported confidence — so the resolution limit is
- * 1/k and `confidence` measures how much the k samples agreed, not calibration.
+ * Estimator aliases (task 0114 R8). The bodies moved to the dependency-free
+ * sampled-driver core in `@gobing-ai/ts-ai-runner`; the fm names stay exported
+ * so nothing that imported this module changes.
  */
-import type { ChoiceAnswer, Desc, NoulAnswer, ScoreAnswer } from '@gobing-ai/ts-ai-runner';
-/**
- * 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;
+export { entropyConfidence, estimateChoice, estimateNoul, estimateScore } from '@gobing-ai/ts-ai-runner';
 //# sourceMappingURL=estimate.d.ts.map

package/dist/estimate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"estimate.d.ts","sourceRoot":"","sources":["../src/estimate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3F;;;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"}
+{"version":3,"file":"estimate.d.ts","sourceRoot":"","sources":["../src/estimate.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC"}

package/dist/estimate.js

@@ -1,90 +1,6 @@
 /**
- * Laya reference `confidence_from_probs` on the empirical distribution:
- * `1 − H(p) / ln(n)` over the n declared options. One-hot ⇒ 1, uniform ⇒ 0.
+ * Estimator aliases (task 0114 R8). The bodies moved to the dependency-free
+ * sampled-driver core in `@gobing-ai/ts-ai-runner`; the fm names stay exported
+ * so nothing that imported this module changes.
  */
-export function entropyConfidence(probabilities) {
-    const n = probabilities.length;
-    if (n <= 1)
-        return 1;
-    let entropy = 0;
-    for (const p of probabilities) {
-        if (p > 0)
-            entropy -= p * Math.log(p);
-    }
-    return 1 - entropy / Math.log(n);
-}
-/**
- * Choice frequencies over every supplied label (unsampled ⇒ 0). The answer
- * label is the most frequent with ties broken by label declaration order.
- */
-export function estimateChoice(labels, samples) {
-    const counts = new Map(labels.map((label) => [label, 0]));
-    for (const sample of samples)
-        counts.set(sample, (counts.get(sample) ?? 0) + 1);
-    const k = samples.length;
-    const probabilities = {};
-    const distribution = [];
-    let bestLabel = labels[0] ?? '';
-    let bestCount = -1;
-    for (const label of labels) {
-        const count = counts.get(label) ?? 0;
-        const probability = count / k;
-        distribution.push(probability);
-        probabilities[label] = probability;
-        // Declaration order wins ties: strict `>` keeps the earlier label.
-        if (count > bestCount) {
-            bestCount = count;
-            bestLabel = label;
-        }
-    }
-    return {
-        kind: 'choice',
-        label: bestLabel,
-        confidence: entropyConfidence(distribution),
-        probabilities,
-    };
-}
-/**
- * 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 function estimateScore(rubric, samples) {
-    const k = samples.length;
-    const counts = [];
-    for (const sample of samples) {
-        const level = Number.parseInt(sample, 10);
-        counts[level] = (counts[level] ?? 0) + 1;
-    }
-    const probabilities = {};
-    const distribution = [];
-    let bestLevel = 0;
-    let bestCount = -1;
-    for (let level = 0; level < rubric.length; level++) {
-        const count = counts[level] ?? 0;
-        const probability = count / k;
-        distribution.push(probability);
-        probabilities[level] = probability;
-        // Lower level wins ties: strict `>` keeps the smaller index.
-        if (count > bestCount) {
-            bestCount = count;
-            bestLevel = level;
-        }
-    }
-    const legend = {};
-    rubric.forEach((desc, level) => {
-        legend[level] = desc;
-    });
-    return {
-        kind: 'score',
-        score: bestLevel,
-        confidence: entropyConfidence(distribution),
-        legend,
-        probabilities,
-    };
-}
-/** Noul is a bare yes-probability — no `confidence` key, by contract. */
-export function estimateNoul(samples) {
-    const yes = samples.filter((sample) => sample === 'yes').length;
-    return { kind: 'noul', probability: yes / samples.length };
-}
+export { entropyConfidence, estimateChoice, estimateNoul, estimateScore } from '@gobing-ai/ts-ai-runner';

package/dist/fm-process.d.ts

@@ -56,5 +56,5 @@ export declare function runFmRespond(executor: ProcessExecutor, fmPath: string,
  */
 export declare function parseFmRespond(stdout: string): Record<string, string>;
 /** A parsed value outside the declared enum is a schema violation, never an answer (R7). */
-export declare function requireEnumValue(parsed: Record<string, string>, key: string, allowed: readonly string[]): string;
+export declare function requireEnumValue(parsed: Record<string, string>, key: string, allowed: readonly string[], label?: string): string;
 //# sourceMappingURL=fm-process.d.ts.map

package/dist/fm-process.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fm-process.d.ts","sourceRoot":"","sources":["../src/fm-process.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAQH,OAAO,KAAK,EAAE,eAAe,EAAiB,MAAM,uBAAuB,CAAC;AAE5E,6EAA6E;AAC7E,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,oCAAoC,CAAC;AAE5E;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAE9E;AAED,mJAAmJ;AACnJ,wBAAgB,WAAW,CAAC,OAAO,EAAE;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,gDAAgD;IAChD,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,sDAAsD;IACtD,UAAU,CAAC,EAAE,YAAY,CAAC;CAC7B,GAAG,MAAM,EAAE,CAYX;AAED,kFAAkF;AAClF,wBAAgB,aAAa,IAAI,MAAM,EAAE,CAExC;AAaD;;;;;;GAMG;AACH,wBAAsB,mBAAmB,CACrC,QAAQ,EAAE,eAAe,EACzB,MAAM,EAAE,MAAM,EACd,SAAS,SAAS,GACnB,OAAO,CAAC,IAAI,CAAC,CAWf;AAED;;;;;GAKG;AACH,wBAAsB,iBAAiB,CACnC,QAAQ,EAAE,eAAe,EACzB,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,EACd,SAAS,SAAS,GACnB,OAAO,CAAC,MAAM,CAAC,CA0BjB;AAMD;;;;GAIG;AACH,wBAAsB,YAAY,CAC9B,QAAQ,EAAE,eAAe,EACzB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EAAE,EACd,gBAAgB,EAAE,MAAM,GACzB,OAAO,CAAC,MAAM,CAAC,CAwBjB;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAoBrE;AAED,4FAA4F;AAC5F,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAShH"}
+{"version":3,"file":"fm-process.d.ts","sourceRoot":"","sources":["../src/fm-process.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AASH,OAAO,KAAK,EAAE,eAAe,EAAiB,MAAM,uBAAuB,CAAC;AAE5E,6EAA6E;AAC7E,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,oCAAoC,CAAC;AAE5E;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAE9E;AAED,mJAAmJ;AACnJ,wBAAgB,WAAW,CAAC,OAAO,EAAE;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,gDAAgD;IAChD,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,sDAAsD;IACtD,UAAU,CAAC,EAAE,YAAY,CAAC;CAC7B,GAAG,MAAM,EAAE,CAYX;AAED,kFAAkF;AAClF,wBAAgB,aAAa,IAAI,MAAM,EAAE,CAExC;AAaD;;;;;;GAMG;AACH,wBAAsB,mBAAmB,CACrC,QAAQ,EAAE,eAAe,EACzB,MAAM,EAAE,MAAM,EACd,SAAS,SAAS,GACnB,OAAO,CAAC,IAAI,CAAC,CAWf;AAED;;;;;GAKG;AACH,wBAAsB,iBAAiB,CACnC,QAAQ,EAAE,eAAe,EACzB,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,EACd,SAAS,SAAS,GACnB,OAAO,CAAC,MAAM,CAAC,CA0BjB;AAMD;;;;GAIG;AACH,wBAAsB,YAAY,CAC9B,QAAQ,EAAE,eAAe,EACzB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EAAE,EACd,gBAAgB,EAAE,MAAM,GACzB,OAAO,CAAC,MAAM,CAAC,CAwBjB;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAoBrE;AAED,4FAA4F;AAC5F,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAC9B,GAAG,EAAE,MAAM,EACX,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,KAAK,SAAO,GACb,MAAM,CAER"}

package/dist/fm-process.js

@@ -6,7 +6,7 @@
  * `ProcessExecutor.run` has no stdin input; fm's argv limit is far above the
  * token budget, and the pre-flight `count-tokens` check keeps it bounded.
  */
-import { DecisionBackendError, DecisionConfigError, DecisionRequestError, DecisionTimeoutError, } from '@gobing-ai/ts-ai-runner';
+import { DecisionBackendError, DecisionConfigError, DecisionRequestError, DecisionTimeoutError, requireEnumValue as requireCoreEnumValue, } from '@gobing-ai/ts-ai-runner';
 /**
  * Subcommand + flag order verified against the design's live observations
  * (task 0086 R4): instructions ride in `--instructions=<value>` and the prompt
@@ -147,10 +147,6 @@ export function parseFmRespond(stdout) {
     return record;
 }
 /** A parsed value outside the declared enum is a schema violation, never an answer (R7). */
-export function requireEnumValue(parsed, key, allowed) {
-    const value = parsed[key];
-    if (value === undefined || !allowed.includes(value)) {
-        throw new DecisionBackendError(`fm sample for '${key}' violates the schema enum: ${value === undefined ? '(missing)' : `'${value}'`}`, undefined);
-    }
-    return value;
+export function requireEnumValue(parsed, key, allowed, label = 'fm') {
+    return requireCoreEnumValue(parsed, key, allowed, label);
 }

package/dist/schema.d.ts

@@ -1,43 +1,7 @@
 /**
- * fm request construction (task 0084 R3, design § Request construction):
- * the JSON schema passed to `fm respond --schema` and the instruction/prompt
- * texts passed via `-i` and as the final positional argument.
- *
- * The schema always carries `x-order` — a hand-written object schema without it
- * is rejected by `fm` ("The data couldn't be read because it is missing").
- * Score levels are string enums so every question uses the same constrained
- * string path; the driver converts them back to numbers.
+ * fm request-construction aliases (task 0114 R8). The bodies moved to the
+ * dependency-free sampled-driver core in `@gobing-ai/ts-ai-runner`; the fm names
+ * stay exported so nothing that imported this module changes.
  */
-import type { DecisionState, Desc, Question } from '@gobing-ai/ts-ai-runner';
-/**
- * Fixed `-i` instructions. 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 FM_INSTRUCTIONS: string;
-/** The JSON schema object handed to `fm respond --schema` (R3). */
-export interface FmSchema {
-    type: 'object';
-    title: string;
-    'x-order': string[];
-    required: string[];
-    additionalProperties: false;
-    properties: Record<string, {
-        type: 'string';
-        enum: string[];
-    }>;
-}
-/** Build the fm schema over the whole question map: one call answers every key. */
-export declare function buildFmSchema(questions: Record<string, Question>): FmSchema;
-/** 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;
+export { buildEnumSchema as buildFmSchema, buildPrompt, DECISION_INSTRUCTIONS as FM_INSTRUCTIONS, declaredOptions, type EnumSchema as FmSchema, formatDesc, } from '@gobing-ai/ts-ai-runner';
 //# sourceMappingURL=schema.d.ts.map

package/dist/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAE7E;;;;GAIG;AACH,eAAO,MAAM,eAAe,QAGyB,CAAC;AAEtD,mEAAmE;AACnE,MAAM,WAAW,QAAQ;IACrB,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,mFAAmF;AACnF,wBAAgB,aAAa,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,QAAQ,CAwB3E;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"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACH,eAAe,IAAI,aAAa,EAChC,WAAW,EACX,qBAAqB,IAAI,eAAe,EACxC,eAAe,EACf,KAAK,UAAU,IAAI,QAAQ,EAC3B,UAAU,GACb,MAAM,yBAAyB,CAAC"}

package/dist/schema.js

@@ -1,104 +1,6 @@
 /**
- * fm request construction (task 0084 R3, design § Request construction):
- * the JSON schema passed to `fm respond --schema` and the instruction/prompt
- * texts passed via `-i` and as the final positional argument.
- *
- * The schema always carries `x-order` — a hand-written object schema without it
- * is rejected by `fm` ("The data couldn't be read because it is missing").
- * Score levels are string enums so every question uses the same constrained
- * string path; the driver converts them back to numbers.
+ * fm request-construction aliases (task 0114 R8). The bodies moved to the
+ * dependency-free sampled-driver core in `@gobing-ai/ts-ai-runner`; the fm names
+ * stay exported so nothing that imported this module changes.
  */
-/**
- * Fixed `-i` instructions. It never asks for confidence, certainty or a
- * probability — self-reported confidence would be fabricated calibration,
- * which the decision contract forbids (ADR-030).
- */
-export const FM_INSTRUCTIONS = 'You are a decision engine. Answer every question below using only the supplied state. ' +
-    'For each question choose exactly one of the listed options. ' +
-    'Reply with the JSON object the schema requires.';
-/** Build the fm schema over the whole question map: one call answers every key. */
-export function buildFmSchema(questions) {
-    const properties = {};
-    for (const [key, question] of Object.entries(questions)) {
-        switch (question.kind) {
-            case 'choice':
-                properties[key] = { type: 'string', enum: Object.keys(question.labels) };
-                break;
-            case 'score':
-                properties[key] = { type: 'string', enum: question.rubric.map((_, level) => String(level)) };
-                break;
-            case 'noul':
-                properties[key] = { type: 'string', enum: ['yes', 'no'] };
-                break;
-        }
-    }
-    const keys = Object.keys(questions);
-    return {
-        type: 'object',
-        title: 'Decision',
-        'x-order': keys,
-        required: keys,
-        additionalProperties: false,
-        properties,
-    };
-}
-/** Format a {@link Desc} into prompt text: strings verbatim, structured values JSON, absence empty. */
-export function formatDesc(desc) {
-    if (typeof desc === 'string')
-        return desc;
-    if (desc === null || desc === undefined)
-        return '';
-    return JSON.stringify(desc);
-}
-/** The declared option values of a question, in declaration order (estimation + validation share this). */
-export function declaredOptions(question) {
-    switch (question.kind) {
-        case 'choice':
-            return Object.keys(question.labels);
-        case 'score':
-            return question.rubric.map((_, level) => String(level));
-        case 'noul':
-            return ['yes', 'no'];
-    }
-}
-/**
- * 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 function buildPrompt(state, questions) {
-    const parts = [];
-    const stateText = typeof state === 'string' ? state : state === null || state === undefined ? '' : JSON.stringify(state);
-    if (stateText.length > 0)
-        parts.push(stateText);
-    for (const [key, question] of Object.entries(questions)) {
-        const lines = [];
-        const prompt = formatDesc(question.prompt);
-        lines.push(`Question "${key}":${prompt.length > 0 ? ` ${prompt}` : ''}`);
-        lines.push('Options:');
-        switch (question.kind) {
-            case 'choice':
-                for (const [label, desc] of Object.entries(question.labels)) {
-                    const d = formatDesc(desc);
-                    lines.push(d.length > 0 ? `- ${label}: ${d}` : `- ${label}`);
-                }
-                break;
-            case 'score':
-                question.rubric.forEach((desc, level) => {
-                    const d = formatDesc(desc);
-                    lines.push(d.length > 0 ? `- ${level}: ${d}` : `- ${level}`);
-                });
-                break;
-            case 'noul': {
-                for (const outcome of ['yes', 'no']) {
-                    const d = formatDesc(question[outcome]);
-                    lines.push(d.length > 0 ? `- ${outcome}: ${d}` : `- ${outcome}`);
-                }
-                break;
-            }
-        }
-        parts.push(lines.join('\n'));
-    }
-    return parts.join('\n\n');
-}
+export { buildEnumSchema as buildFmSchema, buildPrompt, DECISION_INSTRUCTIONS as FM_INSTRUCTIONS, declaredOptions, formatDesc, } from '@gobing-ai/ts-ai-runner';

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@gobing-ai/ts-decision-fm",
-    "version": "0.5.30",
+    "version": "0.5.32",
     "description": "@gobing-ai/ts-decision-fm — Apple on-device Foundation Model decision backend driving the macOS `fm` CLI over a one-shot process bridge.",
     "keywords": [
         "typescript",
@@ -51,8 +51,8 @@
         "release": "echo 'Manual publish is disabled. Releases go through GitHub Actions via Trusted Publishing — push a tag: git tag @gobing-ai/ts-decision-fm-v<version> && git push --tags' && exit 1"
     },
     "dependencies": {
-        "@gobing-ai/ts-ai-runner": "^0.5.30",
-        "@gobing-ai/ts-runtime": "^0.5.30"
+        "@gobing-ai/ts-ai-runner": "^0.5.32",
+        "@gobing-ai/ts-runtime": "^0.5.32"
     },
     "devDependencies": {
         "@types/bun": "1.4.3"

package/src/driver.ts

@@ -1,13 +1,17 @@
 /**
- * The Apple `fm` decision driver (task 0084 R2, R8, R9; design § Main export).
- * Satisfies the same {@link DecisionDriver} contract as the other backends over
- * one-shot `fm` processes: one schema per ask answers the whole question map,
- * probabilities come from k sample frequencies (ADR-030), and every failure
- * surfaces through the decision error taxonomy — never as an answer.
+ * The Apple `fm` decision driver (task 0084 R2, R8, R9; task 0114 R7). Satisfies
+ * the same {@link DecisionDriver} contract as the other backends over one-shot
+ * `fm` processes, built on the shared sampled-driver core: one schema per ask
+ * answers the whole question map, probabilities come from k sample frequencies
+ * (ADR-030), and every failure surfaces through the decision error taxonomy —
+ * never as an answer.
  */
 
 import {
     type Answer,
+    buildEnumSchema,
+    createSampledDriver,
+    DECISION_INSTRUCTIONS,
     DecisionConfigError,
     type DecisionDriver,
     DecisionRequestError,
@@ -21,17 +25,14 @@ import {
     nodeBunFactory,
     type ProcessExecutor,
 } from '@gobing-ai/ts-runtime';
-import { estimateChoice, estimateNoul, estimateScore } from './estimate';
 import {
     countPromptTokens,
     type FmGuardrails,
     parseFmRespond,
     probeFmAvailability,
-    requireEnumValue,
     respondArgv,
     runFmRespond,
 } from './fm-process';
-import { buildFmSchema, buildPrompt, declaredOptions, FM_INSTRUCTIONS } from './schema';
 
 /** Configuration options for {@link createFmDriver}. */
 export interface FmDriverOptions {
@@ -80,10 +81,10 @@ export function createFmDriver(options: FmDriverOptions = {}): FmDecisionDriver
         arch = process.arch,
     } = options;
 
+    // Order kept from the pre-refactor driver: the samples error precedes PLATFORM.
     if (!Number.isInteger(samples) || samples < 1) {
         throw new DecisionRequestError(`samples must be a positive integer; got ${samples}`, undefined, undefined);
     }
-    const k = deterministic ? 1 : samples;
 
     if (platform !== 'darwin' || arch !== 'arm64') {
         throw new DecisionConfigError(
@@ -101,53 +102,16 @@ export function createFmDriver(options: FmDriverOptions = {}): FmDecisionDriver
         availabilityVerified = true;
     }
 
-    return {
+    const inner = createSampledDriver({
         name: 'fm-local',
-        estimator: { kind: 'sample-frequency', samples: k, greedy: deterministic },
-
-        async ask({
-            state,
-            questions,
-            model,
-        }: {
-            state: DecisionState;
-            questions: Record<string, Question>;
-            model?: string;
-        }): Promise<Record<string, Answer>> {
-            // R9: only the on-device system model exists (design: fm CLI facts).
-            if (model !== undefined && model !== 'system') {
-                throw new DecisionRequestError(
-                    `fm-local supports only the 'system' model (or undefined); got '${model}'`,
-                    undefined,
-                    undefined,
-                );
-            }
-            const entries = Object.entries(questions);
-            if (entries.length === 0) {
-                throw new DecisionRequestError('expected a nonempty question map', undefined, undefined);
-            }
-            for (const [key, question] of entries) {
-                const optionCount =
-                    question.kind === 'choice'
-                        ? Object.keys(question.labels).length
-                        : question.kind === 'score'
-                          ? question.rubric.length
-                          : 2; // noul is binary by type
-                if (optionCount < 2) {
-                    throw new DecisionRequestError(
-                        `question '${key}' has fewer than two options (${optionCount})`,
-                        undefined,
-                        undefined,
-                    );
-                }
-            }
-
+        sampleLabel: 'fm',
+        samples,
+        deterministic,
+        instructions: DECISION_INSTRUCTIONS,
+        async open({ instructions, prompt, questions }) {
             // R8: prerequisite probe before the first sample; cached per driver.
             await ensureFmAvailable();
 
-            const instructions = FM_INSTRUCTIONS;
-            const prompt = buildPrompt(state, questions);
-
             // R4: pre-flight budget — over budget rejects before any `fm respond`.
             const tokens = await countPromptTokens(executor, fmPath, instructions, prompt, requestTimeoutMs);
             if (tokens > maxPromptTokens) {
@@ -159,48 +123,56 @@ export function createFmDriver(options: FmDriverOptions = {}): FmDecisionDriver
             }
 
             // R3: one schema per ask over the whole question map, in a uniquely
-            // named temp file, deleted in `finally` on success and failure.
+            // named temp file, deleted by `close` on success and failure.
             const schemaPath = joinPath(getProcessEnv().TMPDIR ?? '/tmp', `fm-schema-${crypto.randomUUID()}.json`);
-            try {
-                fs.writeFile(schemaPath, JSON.stringify(buildFmSchema(questions)));
-
-                // R5: k sequential samples; each stdout parsed as JSON, read by key.
-                const allowed = new Map(entries.map(([key, question]) => [key, declaredOptions(question)]));
-                const samplesByKey = new Map(entries.map(([key]) => [key, [] as string[]]));
-                for (let i = 0; i < k; i++) {
+            const session = {
+                async sample(): Promise<Record<string, string>> {
                     const stdout = await runFmRespond(
                         executor,
                         fmPath,
                         respondArgv({ schemaPath, instructions, prompt, greedy: deterministic, guardrails }),
                         requestTimeoutMs,
                     );
-                    const parsed = parseFmRespond(stdout);
-                    for (const [key, values] of samplesByKey) {
-                        values.push(requireEnumValue(parsed, key, allowed.get(key) ?? []));
-                    }
-                }
-
-                // R6: frequencies over the declared labels/levels, argmax with
-                // declaration-order / lower-level tie-break, entropy confidence.
-                const answers: Record<string, Answer> = {};
-                for (const [key, question] of entries) {
-                    const values = samplesByKey.get(key) ?? [];
-                    switch (question.kind) {
-                        case 'choice':
-                            answers[key] = estimateChoice(Object.keys(question.labels), values);
-                            break;
-                        case 'score':
-                            answers[key] = estimateScore(question.rubric, values);
-                            break;
-                        case 'noul':
-                            answers[key] = estimateNoul(values);
-                            break;
-                    }
-                }
-                return answers;
-            } finally {
+                    return parseFmRespond(stdout);
+                },
+                close(): void {
+                    fs.deleteFile(schemaPath);
+                },
+            };
+            try {
+                fs.writeFile(schemaPath, JSON.stringify(buildEnumSchema(questions)));
+            } catch (error) {
+                // Mirrors the pre-refactor `finally`: a failed write still deletes.
                 fs.deleteFile(schemaPath);
+                throw error;
+            }
+            return session;
+        },
+    });
+
+    return {
+        name: 'fm-local',
+        estimator: inner.estimator,
+
+        // R9: only the on-device system model exists (design: fm CLI facts). The
+        // guard runs before the core so the model error keeps today's precedence.
+        async ask({
+            state,
+            questions,
+            model,
+        }: {
+            state: DecisionState;
+            questions: Record<string, Question>;
+            model?: string;
+        }): Promise<Record<string, Answer>> {
+            if (model !== undefined && model !== 'system') {
+                throw new DecisionRequestError(
+                    `fm-local supports only the 'system' model (or undefined); got '${model}'`,
+                    undefined,
+                    undefined,
+                );
             }
+            return inner.ask({ state, questions, model });
         },
     };
 }

package/src/estimate.ts

@@ -1,97 +1,7 @@
 /**
- * Probability estimation from repeated samples (task 0084 R6, ADR-030,
- * design § Probability estimation). Every probability is an empirical sample
- * frequency — never a self-reported confidence — so the resolution limit is
- * 1/k and `confidence` measures how much the k samples agreed, not calibration.
+ * Estimator aliases (task 0114 R8). The bodies moved to the dependency-free
+ * sampled-driver core in `@gobing-ai/ts-ai-runner`; the fm names stay exported
+ * so nothing that imported this module changes.
  */
-import type { ChoiceAnswer, Desc, NoulAnswer, ScoreAnswer } from '@gobing-ai/ts-ai-runner';
-/**
- * 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 function entropyConfidence(probabilities: number[]): number {
-    const n = probabilities.length;
-    if (n <= 1) return 1;
-    let entropy = 0;
-    for (const p of probabilities) {
-        if (p > 0) entropy -= p * Math.log(p);
-    }
-    return 1 - entropy / Math.log(n);
-}
-
-/**
- * Choice frequencies over every supplied label (unsampled ⇒ 0). The answer
- * label is the most frequent with ties broken by label declaration order.
- */
-export function estimateChoice(labels: readonly string[], samples: readonly string[]): ChoiceAnswer<string> {
-    const counts = new Map<string, number>(labels.map((label) => [label, 0]));
-    for (const sample of samples) counts.set(sample, (counts.get(sample) ?? 0) + 1);
-    const k = samples.length;
-    const probabilities: Record<string, number> = {};
-    const distribution: number[] = [];
-    let bestLabel = labels[0] ?? '';
-    let bestCount = -1;
-    for (const label of labels) {
-        const count = counts.get(label) ?? 0;
-        const probability = count / k;
-        distribution.push(probability);
-        probabilities[label] = probability;
-        // Declaration order wins ties: strict `>` keeps the earlier label.
-        if (count > bestCount) {
-            bestCount = count;
-            bestLabel = label;
-        }
-    }
-    return {
-        kind: 'choice',
-        label: bestLabel,
-        confidence: entropyConfidence(distribution),
-        probabilities,
-    };
-}
-
-/**
- * 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 function estimateScore(rubric: readonly Desc[], samples: readonly string[]): ScoreAnswer {
-    const k = samples.length;
-    const counts: number[] = [];
-    for (const sample of samples) {
-        const level = Number.parseInt(sample, 10);
-        counts[level] = (counts[level] ?? 0) + 1;
-    }
-    const probabilities: Record<number, number> = {};
-    const distribution: number[] = [];
-    let bestLevel = 0;
-    let bestCount = -1;
-    for (let level = 0; level < rubric.length; level++) {
-        const count = counts[level] ?? 0;
-        const probability = count / k;
-        distribution.push(probability);
-        probabilities[level] = probability;
-        // Lower level wins ties: strict `>` keeps the smaller index.
-        if (count > bestCount) {
-            bestCount = count;
-            bestLevel = level;
-        }
-    }
-    const legend: Record<number, Desc> = {};
-    rubric.forEach((desc, level) => {
-        legend[level] = desc;
-    });
-    return {
-        kind: 'score',
-        score: bestLevel,
-        confidence: entropyConfidence(distribution),
-        legend,
-        probabilities,
-    };
-}
 
-/** Noul is a bare yes-probability — no `confidence` key, by contract. */
-export function estimateNoul(samples: readonly string[]): NoulAnswer {
-    const yes = samples.filter((sample) => sample === 'yes').length;
-    return { kind: 'noul', probability: yes / samples.length };
-}
+export { entropyConfidence, estimateChoice, estimateNoul, estimateScore } from '@gobing-ai/ts-ai-runner';

package/src/fm-process.ts

@@ -12,6 +12,7 @@ import {
     DecisionConfigError,
     DecisionRequestError,
     DecisionTimeoutError,
+    requireEnumValue as requireCoreEnumValue,
 } from '@gobing-ai/ts-ai-runner';
 import type { ProcessExecutor, ProcessResult } from '@gobing-ai/ts-runtime';
 
@@ -199,13 +200,11 @@ export function parseFmRespond(stdout: string): Record<string, string> {
 }
 
 /** A parsed value outside the declared enum is a schema violation, never an answer (R7). */
-export function requireEnumValue(parsed: Record<string, string>, key: string, allowed: readonly string[]): string {
-    const value = parsed[key];
-    if (value === undefined || !allowed.includes(value)) {
-        throw new DecisionBackendError(
-            `fm sample for '${key}' violates the schema enum: ${value === undefined ? '(missing)' : `'${value}'`}`,
-            undefined,
-        );
-    }
-    return value;
+export function requireEnumValue(
+    parsed: Record<string, string>,
+    key: string,
+    allowed: readonly string[],
+    label = 'fm',
+): string {
+    return requireCoreEnumValue(parsed, key, allowed, label);
 }

package/src/schema.ts

@@ -1,120 +1,14 @@
 /**
- * fm request construction (task 0084 R3, design § Request construction):
- * the JSON schema passed to `fm respond --schema` and the instruction/prompt
- * texts passed via `-i` and as the final positional argument.
- *
- * The schema always carries `x-order` — a hand-written object schema without it
- * is rejected by `fm` ("The data couldn't be read because it is missing").
- * Score levels are string enums so every question uses the same constrained
- * string path; the driver converts them back to numbers.
+ * fm request-construction aliases (task 0114 R8). The bodies moved to the
+ * dependency-free sampled-driver core in `@gobing-ai/ts-ai-runner`; the fm names
+ * stay exported so nothing that imported this module changes.
  */
 
-import type { DecisionState, Desc, Question } from '@gobing-ai/ts-ai-runner';
-
-/**
- * Fixed `-i` instructions. It never asks for confidence, certainty or a
- * probability — self-reported confidence would be fabricated calibration,
- * which the decision contract forbids (ADR-030).
- */
-export const FM_INSTRUCTIONS =
-    'You are a decision engine. Answer every question below using only the supplied state. ' +
-    'For each question choose exactly one of the listed options. ' +
-    'Reply with the JSON object the schema requires.';
-
-/** The JSON schema object handed to `fm respond --schema` (R3). */
-export interface FmSchema {
-    type: 'object';
-    title: string;
-    'x-order': string[];
-    required: string[];
-    additionalProperties: false;
-    properties: Record<string, { type: 'string'; enum: string[] }>;
-}
-
-/** Build the fm schema over the whole question map: one call answers every key. */
-export function buildFmSchema(questions: Record<string, Question>): FmSchema {
-    const properties: Record<string, { type: 'string'; enum: string[] }> = {};
-    for (const [key, question] of Object.entries(questions)) {
-        switch (question.kind) {
-            case 'choice':
-                properties[key] = { type: 'string', enum: Object.keys(question.labels) };
-                break;
-            case 'score':
-                properties[key] = { type: 'string', enum: question.rubric.map((_, level) => String(level)) };
-                break;
-            case 'noul':
-                properties[key] = { type: 'string', enum: ['yes', 'no'] };
-                break;
-        }
-    }
-    const keys = Object.keys(questions);
-    return {
-        type: 'object',
-        title: 'Decision',
-        'x-order': keys,
-        required: keys,
-        additionalProperties: false,
-        properties,
-    };
-}
-
-/** Format a {@link Desc} into prompt text: strings verbatim, structured values JSON, absence empty. */
-export function formatDesc(desc: Desc | undefined): string {
-    if (typeof desc === 'string') return desc;
-    if (desc === null || desc === undefined) return '';
-    return JSON.stringify(desc);
-}
-
-/** The declared option values of a question, in declaration order (estimation + validation share this). */
-export function declaredOptions(question: Question): string[] {
-    switch (question.kind) {
-        case 'choice':
-            return Object.keys(question.labels);
-        case 'score':
-            return question.rubric.map((_, level) => String(level));
-        case 'noul':
-            return ['yes', 'no'];
-    }
-}
-
-/**
- * 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 function buildPrompt(state: DecisionState, questions: Record<string, Question>): string {
-    const parts: string[] = [];
-    const stateText =
-        typeof state === 'string' ? state : state === null || state === undefined ? '' : JSON.stringify(state);
-    if (stateText.length > 0) parts.push(stateText);
-    for (const [key, question] of Object.entries(questions)) {
-        const lines: string[] = [];
-        const prompt = formatDesc(question.prompt);
-        lines.push(`Question "${key}":${prompt.length > 0 ? ` ${prompt}` : ''}`);
-        lines.push('Options:');
-        switch (question.kind) {
-            case 'choice':
-                for (const [label, desc] of Object.entries(question.labels)) {
-                    const d = formatDesc(desc);
-                    lines.push(d.length > 0 ? `- ${label}: ${d}` : `- ${label}`);
-                }
-                break;
-            case 'score':
-                question.rubric.forEach((desc, level) => {
-                    const d = formatDesc(desc);
-                    lines.push(d.length > 0 ? `- ${level}: ${d}` : `- ${level}`);
-                });
-                break;
-            case 'noul': {
-                for (const outcome of ['yes', 'no'] as const) {
-                    const d = formatDesc(question[outcome]);
-                    lines.push(d.length > 0 ? `- ${outcome}: ${d}` : `- ${outcome}`);
-                }
-                break;
-            }
-        }
-        parts.push(lines.join('\n'));
-    }
-    return parts.join('\n\n');
-}
+export {
+    buildEnumSchema as buildFmSchema,
+    buildPrompt,
+    DECISION_INSTRUCTIONS as FM_INSTRUCTIONS,
+    declaredOptions,
+    type EnumSchema as FmSchema,
+    formatDesc,
+} from '@gobing-ai/ts-ai-runner';