effect 4.0.4 → 4.0.6

package/dist/ai/DecisionModel.d.ts

@@ -2,6 +2,8 @@
  * Defines the provider-neutral service for structured decisions.
  * `decide` encodes one input as JSON, sends its named decisions in one provider
  * call, and validates the answers. Failures are reported as `AiError` values.
+ * `decideSettled` makes the same call but reports each decision separately, so
+ * valid answers survive when others are missing, refused, or invalid.
  * @stability unstable
  * @since 4.0.0
  */
@@ -10,6 +12,7 @@ import * as Effect from "../Effect.ts";
 import * as Schema from "../Schema.ts";
 import * as AiError from "./AiError.ts";
 import type * as Decision from "./Decision.ts";
+import type * as Response from "./Response.ts";
 /**
  * Service key for answering decisions about an input. Create implementations
  * with `make`.
@@ -77,7 +80,17 @@ export interface Image {
     readonly data: string | Uint8Array | URL;
 }
 /**
- * Answers for every decision in a definition together with usage metadata.
+ * Provider-specific response metadata keyed by provider name. Provider
+ * packages augment this interface.
+ *
+ * @stability unstable
+ * @category models
+ * @since 4.0.6
+ */
+export interface DecideResponseMetadata extends Response.ProviderMetadata {
+}
+/**
+ * Answers for every decision in a definition with usage and response metadata.
  *
  * @see {@link DecisionUsage} for token usage metadata
  *
@@ -88,6 +101,42 @@ export interface Image {
 export interface DecideResponse<Decisions extends Record<string, Decision.Any>> {
     readonly answers: Decision.Answers<Decisions>;
     readonly usage: DecisionUsage;
+    /**
+     * Response id reported by the provider.
+     *
+     * @since 4.0.6
+     */
+    readonly id?: string | undefined;
+    /**
+     * Model that answered. Can differ from the requested model when the
+     * provider resolves an alias.
+     *
+     * @since 4.0.6
+     */
+    readonly modelId?: string | undefined;
+    /**
+     * Provider-specific metadata, such as reported cost.
+     *
+     * @since 4.0.6
+     */
+    readonly metadata: DecideResponseMetadata;
+}
+/**
+ * Per-decision outcomes, token usage, and response metadata for the whole
+ * request.
+ *
+ * @see {@link decideSettled} for producing this response
+ *
+ * @stability unstable
+ * @category models
+ * @since 4.0.6
+ */
+export interface DecideSettledResponse<Decisions extends Record<string, Decision.Any>> {
+    readonly outcomes: Decision.Outcomes<Decisions>;
+    readonly usage: DecisionUsage;
+    readonly id?: string | undefined;
+    readonly modelId?: string | undefined;
+    readonly metadata: DecideResponseMetadata;
 }
 /**
  * Provider input options for a decision request.
@@ -105,7 +154,7 @@ export interface ProviderOptions {
     readonly images?: ReadonlyArray<Image> | undefined;
 }
 /**
- * Provider answer for a classify decision.
+ * Provider classify answer. Omit `probabilities` when no distribution is available.
  *
  * @stability unstable
  * @category models
@@ -114,13 +163,12 @@ export interface ProviderOptions {
 export interface ProviderClassifyAnswer {
     readonly _tag: "Classify";
     readonly label: string;
-    readonly probabilities: Readonly<Record<string, number>>;
+    readonly probabilities?: Readonly<Record<string, number>> | undefined;
     readonly confidence?: number | undefined;
 }
 /**
- * Provider answer for a rate decision.
- * The core derives the label from the highest probability, choosing the
- * first criteria entry on ties.
+ * Provider rate answer. The highest probability determines the label, with
+ * ties going to the first criterion. Omit `probabilities` when unavailable.
  *
  * @stability unstable
  * @category models
@@ -129,7 +177,7 @@ export interface ProviderClassifyAnswer {
 export interface ProviderRateAnswer {
     readonly _tag: "Rate";
     readonly rating: number;
-    readonly probabilities: Readonly<Record<string, number>>;
+    readonly probabilities?: Readonly<Record<string, number>> | undefined;
     readonly confidence?: number | undefined;
 }
 /**
@@ -143,6 +191,16 @@ export interface ProviderProbabilityAnswer {
     readonly _tag: "Probability";
     readonly probability: number;
 }
+/**
+ * Provider refusal to answer a decision.
+ *
+ * @stability unstable
+ * @category models
+ * @since 4.0.6
+ */
+export interface ProviderRefusalAnswer {
+    readonly _tag: "Refusal";
+}
 /**
  * Provider answer for any decision kind.
  *
@@ -150,11 +208,13 @@ export interface ProviderProbabilityAnswer {
  * @category models
  * @since 4.0.0
  */
-export type ProviderAnswer = ProviderClassifyAnswer | ProviderRateAnswer | ProviderProbabilityAnswer;
+export type ProviderAnswer = ProviderClassifyAnswer | ProviderRateAnswer | ProviderProbabilityAnswer | ProviderRefusalAnswer;
 /**
  * Provider response for a decision request.
  * `answers` is keyed like the requested decisions. Each answer is validated
- * against its decision before it is returned to the caller.
+ * against its decision before it is returned to the caller. Omit the key of a
+ * decision the provider did not answer. `id`, `modelId` and `metadata` are
+ * passed through; `metadata` defaults to `{}`.
  *
  * @stability unstable
  * @category models
@@ -166,6 +226,9 @@ export interface ProviderResponse {
         readonly inputTokens: number | undefined;
         readonly outputTokens: number | undefined;
     };
+    readonly id?: string | undefined;
+    readonly modelId?: string | undefined;
+    readonly metadata?: DecideResponseMetadata | undefined;
 }
 /**
  * Decision operations over a definition.
@@ -177,13 +240,16 @@ export interface ProviderResponse {
 export interface DecisionModel {
     readonly [TypeId]: TypeId;
     readonly decide: <Input extends Schema.Constraint, Decisions extends Record<string, Decision.Any>>(definition: Decision.Definition<Input, Decisions>, options: DecideOptions<Input>) => Effect.Effect<DecideResponse<Decisions>, AiError.AiError, Input["EncodingServices"]>;
+    readonly decideSettled: <Input extends Schema.Constraint, Decisions extends Record<string, Decision.Any>>(definition: Decision.Definition<Input, Decisions>, options: DecideOptions<Input>) => Effect.Effect<DecideSettledResponse<Decisions>, AiError.AiError, Input["EncodingServices"]>;
 }
 /**
  * Creates a `DecisionModel` that encodes inputs as JSON and validates provider answers.
  * Answers must cover every decision and use its labels. Distributions must
  * sum to 1 within `1e-6`, optional confidence must be in `[0, 1]`, and ratings must be
- * in `[0, criteria.length - 1]`. Invalid answers fail with
- * `AiError.InvalidOutputError`; encoding failures use `AiError.InvalidUserInputError`.
+ * in `[0, criteria.length - 1]`. With `decide`, refused decisions fail with
+ * `AiError.ContentPolicyError` and other unanswered decisions fail with
+ * `AiError.InvalidOutputError`; `decideSettled` reports them per decision
+ * instead. Encoding failures use `AiError.InvalidUserInputError`.
  *
  * **Details**
  *
@@ -214,6 +280,9 @@ export declare const make: (params: {
  * Explicit `undefined` fields become `null`; absent fields stay absent.
  * Custom declarations need a JSON codec annotation or encoding fails.
  * Returned answers and probability dictionaries have null prototypes.
+ * Fails with `AiError.ContentPolicyError` if the provider refuses any decision,
+ * and otherwise with `AiError.InvalidOutputError` for the first unanswered
+ * decision in definition order.
  *
  * **Example** (Triaging a ticket)
  *
@@ -240,11 +309,60 @@ export declare const make: (params: {
  * ```
  *
  * @see {@link DecisionModel} for the service this function requires
+ * @see {@link decideSettled} for keeping valid answers when others fail
  *
  * @stability unstable
  * @category decisions
  * @since 4.0.0
  */
 export declare const decide: <Input extends Schema.Constraint, Decisions extends Record<string, Decision.Any>>(definition: Decision.Definition<Input, Decisions>, options: DecideOptions<Input>) => Effect.Effect<DecideResponse<Decisions>, AiError.AiError, DecisionModel | Input["EncodingServices"]>;
+/**
+ * Answers each decision with a `Result` containing a validated answer or a
+ * `Decision.Unanswered` reason. Input encoding and provider failures still
+ * fail the effect. Token usage covers the whole call.
+ *
+ * **Details**
+ *
+ * Provider response decoding errors fail the whole call. Per-decision reasons
+ * reflect the first failed validation check; `"NoDistribution"` requires an
+ * otherwise valid answer.
+ *
+ * **Example** (Falling back for unanswered decisions)
+ *
+ * ```ts
+ * import { Effect, Result, Schema } from "effect"
+ * import { Decision, DecisionModel } from "effect/ai"
+ *
+ * const TicketTriage = Decision.make({
+ *   input: Schema.String,
+ *   decisions: {
+ *     department: Decision.classify({
+ *       instructions: "Which team should handle this",
+ *       criteria: { billing: "payments", technical: "bugs" }
+ *     }),
+ *     urgent: Decision.probability({ instructions: "The message is time-sensitive" })
+ *   }
+ * })
+ *
+ * const program = Effect.gen(function*() {
+ *   const { outcomes } = yield* DecisionModel.decideSettled(TicketTriage, {
+ *     input: "My card was charged twice, please fix this today"
+ *   })
+ *   const department = Result.isSuccess(outcomes.department) &&
+ *       outcomes.department.success.probabilities.billing >= 0.8
+ *     ? "billing"
+ *     : "needs review"
+ *   const urgent = Result.isSuccess(outcomes.urgent) ? outcomes.urgent.success.probability : undefined
+ *   return { department, urgent }
+ * })
+ * ```
+ *
+ * @see {@link decide} for failing unless every decision is answered
+ *
+ * @stability unstable
+ * @category decisions
+ * @since 4.0.6
+ */
+export declare const decideSettled: <Input extends Schema.Constraint, Decisions extends Record<string, Decision.Any>>(definition: Decision.Definition<Input, Decisions>, options: DecideOptions<Input>) => Effect.Effect<DecideSettledResponse<Decisions>, AiError.AiError, DecisionModel | Input["EncodingServices"]>;
 export {};
 //# sourceMappingURL=DecisionModel.d.ts.map

package/dist/ai/DecisionModel.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"DecisionModel.d.ts","sourceRoot":"","sources":["../../src/ai/DecisionModel.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,OAAO,MAAM,eAAe,CAAA;AACxC,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AAEtC,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAA;AAE9C;;;;;;;;;GASG;AACH,eAAO,MAAM,aAAa,EAAE,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,aAAa,CAEvE,CAAA;AAED;;;;;;GAMG;AACH,MAAM,MAAM,MAAM,GAAG,0BAA0B,CAAA;AAE/C;;;;;;GAMG;AACH,eAAO,MAAM,MAAM,EAAE,MAAmC,CAAA;;;;;AAExD;;;;;;GAMG;AACH,qBAAa,aAAc,SAAQ,kBAKjC;CAAG;AAEL;;;;;;GAMG;AACH,MAAM,WAAW,aAAa,CAAC,KAAK,SAAS,MAAM,CAAC,UAAU;IAC5D,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IAC7B;;OAEG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,GAAG,SAAS,CAAA;CACnD;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,GAAG,CAAA;CACzC;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc,CAAC,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC;IAC5E,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;IAC7C,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;CAC9B;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAA;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAA;IAChD,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,GAAG,SAAS,CAAA;CACnD;AAED;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IACxD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CACzC;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IACxD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CACzC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAC7B;AAED;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,GAAG,sBAAsB,GAAG,kBAAkB,GAAG,yBAAyB,CAAA;AAEpG;;;;;;;;GAQG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAA;IAC1D,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAA;QACxC,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAA;KAC1C,CAAA;CACF;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,MAAM,CAAC,UAAU,EAAE,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,EAC/F,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,EACjD,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,KAC1B,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAA;CAC1F;AA0ID;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,IAAI,WAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,eAAe,KAAK,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;IAC/F,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAClD,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAC9C,KAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAmD3B,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,eAAO,MAAM,MAAM,GAAI,KAAK,SAAS,MAAM,CAAC,UAAU,EAAE,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,cACxF,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,WACxC,aAAa,CAAC,KAAK,CAAC,KAC5B,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,KAAK,CAAC,kBAAkB,CAAC,CACrC,CAAA"}
+{"version":3,"file":"DecisionModel.d.ts","sourceRoot":"","sources":["../../src/ai/DecisionModel.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,OAAO,MAAM,eAAe,CAAA;AACxC,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AAGtC,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAA;AAC9C,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAA;AAE9C;;;;;;;;;GASG;AACH,eAAO,MAAM,aAAa,EAAE,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,aAAa,CAEvE,CAAA;AAED;;;;;;GAMG;AACH,MAAM,MAAM,MAAM,GAAG,0BAA0B,CAAA;AAE/C;;;;;;GAMG;AACH,eAAO,MAAM,MAAM,EAAE,MAAmC,CAAA;;;;;AAExD;;;;;;GAMG;AACH,qBAAa,aAAc,SAAQ,kBAKjC;CAAG;AAEL;;;;;;GAMG;AACH,MAAM,WAAW,aAAa,CAAC,KAAK,SAAS,MAAM,CAAC,UAAU;IAC5D,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IAC7B;;OAEG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,GAAG,SAAS,CAAA;CACnD;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,GAAG,CAAA;CACzC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,sBAAuB,SAAQ,QAAQ,CAAC,gBAAgB;CAAG;AAE5E;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc,CAAC,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC;IAC5E,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;IAC7C,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACrC;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAA;CAC1C;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,qBAAqB,CAAC,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC;IACnF,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;IAC/C,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACrC,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAA;CAC1C;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAA;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAA;IAChD,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,GAAG,SAAS,CAAA;CACnD;AAED;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,aAAa,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAA;IACrE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CACzC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,aAAa,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAA;IACrE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CACzC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAC7B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CACzB;AAED;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,GACtB,sBAAsB,GACtB,kBAAkB,GAClB,yBAAyB,GACzB,qBAAqB,CAAA;AAEzB;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAA;IAC1D,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAA;QACxC,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAA;KAC1C,CAAA;IACD,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACrC,QAAQ,CAAC,QAAQ,CAAC,EAAE,sBAAsB,GAAG,SAAS,CAAA;CACvD;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,MAAM,CAAC,UAAU,EAAE,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,EAC/F,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,EACjD,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,KAC1B,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAA;IACzF,QAAQ,CAAC,aAAa,EAAE,CAAC,KAAK,SAAS,MAAM,CAAC,UAAU,EAAE,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,EACtG,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,EACjD,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,KAC1B,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAA;CACjG;AAiKD;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,IAAI,WAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,eAAe,KAAK,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;IAC/F,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAClD,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAC9C,KAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAmD3B,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,eAAO,MAAM,MAAM,GAAI,KAAK,SAAS,MAAM,CAAC,UAAU,EAAE,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,cACxF,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,WACxC,aAAa,CAAC,KAAK,CAAC,KAC5B,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,KAAK,CAAC,kBAAkB,CAAC,CACrC,CAAA;AAEjE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AACH,eAAO,MAAM,aAAa,GAAI,KAAK,SAAS,MAAM,CAAC,UAAU,EAAE,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,cAC/F,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,WACxC,aAAa,CAAC,KAAK,CAAC,KAC5B,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,KAAK,CAAC,kBAAkB,CAAC,CACrC,CAAA"}

package/dist/ai/DecisionModel.js

@@ -2,12 +2,15 @@
  * Defines the provider-neutral service for structured decisions.
  * `decide` encodes one input as JSON, sends its named decisions in one provider
  * call, and validates the answers. Failures are reported as `AiError` values.
+ * `decideSettled` makes the same call but reports each decision separately, so
+ * valid answers survive when others are missing, refused, or invalid.
  * @stability unstable
  * @since 4.0.0
  */
 import * as Context from "../Context.js";
 import * as Effect from "../Effect.js";
 import * as Predicate from "../Predicate.js";
+import * as Result from "../Result.js";
 import * as Schema from "../Schema.js";
 import * as AiError from "./AiError.js";
 /**
@@ -40,12 +43,16 @@ export class DecisionUsage extends /*#__PURE__*/Schema.Class("effect/ai/Decision
   inputTokens: /*#__PURE__*/Schema.optional(Schema.Finite),
   outputTokens: /*#__PURE__*/Schema.optional(Schema.Finite)
 }) {}
-const invalidOutput = description => AiError.make({
+const unanswered = (reason, description) => Result.fail({
+  _tag: "Unanswered",
+  reason,
+  description
+});
+const invalid = description => unanswered("Invalid", description);
+const aiError = (method, reason) => AiError.make({
   module: "DecisionModel",
-  method: "decide",
-  reason: new AiError.InvalidOutputError({
-    description
-  })
+  method,
+  reason
 });
 const isFiniteNumber = value => Predicate.isNumber(value) && Number.isFinite(value);
 const isUnitInterval = value => isFiniteNumber(value) && value >= 0 && value <= 1;
@@ -58,120 +65,140 @@ const sumTolerance = 1e-6;
 const validateDistribution = (key, labels, answer, roundingError) => {
   const raw = answer.probabilities;
   if (!Predicate.isObject(raw)) {
-    return invalidOutput(`Provider returned no probabilities for decision "${key}"`);
+    return unanswered("NoDistribution", `Provider returned no probabilities for decision "${key}"`);
   }
   const probabilities = Object.create(null);
   let total = 0;
   for (const label of labels) {
     const value = raw[label];
     if (!isUnitInterval(value)) {
-      return invalidOutput(`Provider returned no probability for label "${label}" of decision "${key}"`);
+      return invalid(`Provider returned no probability for label "${label}" of decision "${key}"`);
     }
     probabilities[label] = value;
     total += value;
   }
   const drift = Math.abs(total - 1);
   if (total === 0 || drift > labels.length * roundingError + sumTolerance) {
-    return invalidOutput(`Provider returned probabilities that do not sum to 1 for decision "${key}"`);
+    return invalid(`Provider returned probabilities that do not sum to 1 for decision "${key}"`);
   }
   if (drift > sumTolerance) {
     for (const label of labels) probabilities[label] /= total;
   }
-  return probabilities;
+  return Result.succeed(probabilities);
 };
 const validateConfidence = (key, answer) => {
   if (answer.confidence === undefined) {
-    return undefined;
+    return Result.succeed(undefined);
   }
-  return isUnitInterval(answer.confidence) ? answer.confidence : invalidOutput(`Provider returned confidence outside [0, 1] for decision "${key}"`);
+  return isUnitInterval(answer.confidence) ? Result.succeed(answer.confidence) : invalid(`Provider returned confidence outside [0, 1] for decision "${key}"`);
 };
 const validateAnswer = (key, decision, answer, roundingError) => {
   if (!Predicate.isObject(answer)) {
-    return invalidOutput(`Provider returned no answer for decision "${key}"`);
+    return unanswered("Missing", `Provider returned no answer for decision "${key}"`);
+  }
+  if (answer._tag === "Refusal") {
+    return unanswered("Refused", `Provider refused to answer decision "${key}"`);
   }
   if (answer._tag !== decision._tag) {
-    return invalidOutput(`Provider returned a "${String(answer._tag)}" answer for decision "${key}", expected "${decision._tag}"`);
+    return invalid(`Provider returned a "${String(answer._tag)}" answer for decision "${key}", expected "${decision._tag}"`);
   }
   switch (decision._tag) {
     case "Classify":
       {
         const labels = Object.keys(decision.criteria);
-        if (!Predicate.isString(answer.label) || !labels.includes(answer.label)) {
-          return invalidOutput(`Provider returned an unknown label for decision "${key}"`);
-        }
-        const confidence = validateConfidence(key, answer);
-        if (AiError.isAiError(confidence)) {
-          return confidence;
+        const label = answer.label;
+        if (!Predicate.isString(label) || !labels.includes(label)) {
+          return invalid(`Provider returned an unknown label for decision "${key}"`);
         }
-        const probabilities = validateDistribution(key, labels, answer, roundingError);
-        if (AiError.isAiError(probabilities)) {
-          return probabilities;
-        }
-        return {
-          label: answer.label,
-          probabilities,
-          ...(confidence === undefined ? undefined : {
-            confidence
-          })
-        };
+        return Result.gen(function* () {
+          const confidence = yield* validateConfidence(key, answer);
+          const probabilities = yield* validateDistribution(key, labels, answer, roundingError);
+          return {
+            label,
+            probabilities,
+            ...(confidence === undefined ? undefined : {
+              confidence
+            })
+          };
+        });
       }
     case "Rate":
       {
-        const levels = decision.criteria;
-        if (!isFiniteNumber(answer.rating) || answer.rating < 0 || answer.rating > levels.length - 1) {
-          return invalidOutput(`Provider returned a rating outside [0, ${levels.length - 1}] for decision "${key}"`);
-        }
-        const confidence = validateConfidence(key, answer);
-        if (AiError.isAiError(confidence)) {
-          return confidence;
-        }
-        const probabilities = validateDistribution(key, levels, answer, roundingError);
-        if (AiError.isAiError(probabilities)) {
-          return probabilities;
+        const levels = decision.criteria.map(level => level.label);
+        const rating = answer.rating;
+        if (!isFiniteNumber(rating) || rating < 0 || rating > levels.length - 1) {
+          return invalid(`Provider returned a rating outside [0, ${levels.length - 1}] for decision "${key}"`);
         }
-        let label = levels[0];
-        for (let i = 1; i < levels.length; i++) {
-          if (probabilities[levels[i]] > probabilities[label]) {
-            label = levels[i];
+        return Result.gen(function* () {
+          const confidence = yield* validateConfidence(key, answer);
+          const probabilities = yield* validateDistribution(key, levels, answer, roundingError);
+          let label = levels[0];
+          for (let i = 1; i < levels.length; i++) {
+            if (probabilities[levels[i]] > probabilities[label]) {
+              label = levels[i];
+            }
           }
-        }
-        return {
-          rating: answer.rating,
-          label,
-          probabilities,
-          ...(confidence === undefined ? undefined : {
-            confidence
-          })
-        };
+          return {
+            rating,
+            label,
+            probabilities,
+            ...(confidence === undefined ? undefined : {
+              confidence
+            })
+          };
+        });
       }
     case "Probability":
       {
         if (!isUnitInterval(answer.probability)) {
-          return invalidOutput(`Provider returned a probability outside [0, 1] for decision "${key}"`);
+          return invalid(`Provider returned a probability outside [0, 1] for decision "${key}"`);
         }
-        return {
+        return Result.succeed({
           probability: answer.probability
-        };
+        });
       }
   }
 };
-const validateAnswers = (decisions, answers, roundingError) => {
-  const validated = Object.create(null);
+const settleAnswers = (decisions, answers, roundingError) => {
+  const outcomes = Object.create(null);
   for (const key of Object.keys(decisions)) {
-    const answer = validateAnswer(key, decisions[key], answers[key], roundingError);
-    if (AiError.isAiError(answer)) {
-      return Effect.fail(answer);
+    outcomes[key] = validateAnswer(key, decisions[key], answers[key], roundingError);
+  }
+  return outcomes;
+};
+const requireAnswers = outcomes => {
+  const answers = Object.create(null);
+  const refused = [];
+  let firstUnanswered;
+  for (const [key, outcome] of Object.entries(outcomes)) {
+    if (Result.isSuccess(outcome)) {
+      answers[key] = outcome.success;
+    } else if (outcome.failure.reason === "Refused") {
+      refused.push(`"${key}"`);
+    } else {
+      firstUnanswered ??= outcome.failure;
     }
-    validated[key] = answer;
   }
-  return Effect.succeed(validated);
+  if (refused.length > 0) {
+    return Effect.fail(aiError("decide", new AiError.ContentPolicyError({
+      description: `Provider refused to answer decisions ${refused.join(", ")}`
+    })));
+  }
+  if (firstUnanswered !== undefined) {
+    return Effect.fail(aiError("decide", new AiError.InvalidOutputError({
+      description: firstUnanswered.description
+    })));
+  }
+  return Effect.succeed(answers);
 };
 /**
  * Creates a `DecisionModel` that encodes inputs as JSON and validates provider answers.
  * Answers must cover every decision and use its labels. Distributions must
  * sum to 1 within `1e-6`, optional confidence must be in `[0, 1]`, and ratings must be
- * in `[0, criteria.length - 1]`. Invalid answers fail with
- * `AiError.InvalidOutputError`; encoding failures use `AiError.InvalidUserInputError`.
+ * in `[0, criteria.length - 1]`. With `decide`, refused decisions fail with
+ * `AiError.ContentPolicyError` and other unanswered decisions fail with
+ * `AiError.InvalidOutputError`; `decideSettled` reports them per decision
+ * instead. Encoding failures use `AiError.InvalidUserInputError`.
  *
  * **Details**
  *
@@ -193,40 +220,49 @@ const validateAnswers = (decisions, answers, roundingError) => {
  */
 export const make = params => Effect.sync(() => {
   const roundingError = params.probabilityPrecision === undefined ? 0 : 0.5 * 10 ** -params.probabilityPrecision;
+  const settle = (method, definition, options) => Schema.encodeEffect(Schema.toCodecJson(definition.input))(options.input).pipe(Effect.mapError(error => aiError(method, new AiError.InvalidUserInputError({
+    description: error.message
+  }))), Effect.flatMap(state => {
+    const images = options.images?.length ? options.images : undefined;
+    if (images !== undefined && params.supportsImages !== true) {
+      return Effect.fail(aiError(method, new AiError.InvalidUserInputError({
+        description: "This decision model does not accept images"
+      })));
+    }
+    return params.decide({
+      state,
+      decisions: definition.decisions,
+      ...(images === undefined ? undefined : {
+        images
+      })
+    });
+  }), Effect.map(response => ({
+    outcomes: settleAnswers(definition.decisions, response.answers, roundingError),
+    usage: new DecisionUsage({
+      inputTokens: response.usage.inputTokens,
+      outputTokens: response.usage.outputTokens
+    }),
+    ...(response.id === undefined ? undefined : {
+      id: response.id
+    }),
+    ...(response.modelId === undefined ? undefined : {
+      modelId: response.modelId
+    }),
+    metadata: response.metadata ?? {}
+  })));
   return DecisionModel.of({
     [TypeId]: TypeId,
-    decide: (definition, options) => Schema.encodeEffect(Schema.toCodecJson(definition.input))(options.input).pipe(Effect.mapError(error => AiError.make({
-      module: "DecisionModel",
-      method: "decide",
-      reason: new AiError.InvalidUserInputError({
-        description: error.message
-      })
-    })), Effect.flatMap(state => {
-      const images = options.images?.length ? options.images : undefined;
-      if (images !== undefined && params.supportsImages !== true) {
-        return Effect.fail(AiError.make({
-          module: "DecisionModel",
-          method: "decide",
-          reason: new AiError.InvalidUserInputError({
-            description: "This decision model does not accept images"
-          })
-        }));
-      }
-      return params.decide({
-        state,
-        decisions: definition.decisions,
-        ...(images === undefined ? undefined : {
-          images
-        })
-      });
-    }), Effect.flatMap(response => Effect.map(validateAnswers(definition.decisions, response.answers, roundingError), answers => ({
+    decide: (definition, options) => settle("decide", definition, options).pipe(Effect.flatMap(({
+      outcomes,
+      ...response
+    }) => Effect.map(requireAnswers(outcomes), answers => ({
       answers,
-      usage: new DecisionUsage({
-        inputTokens: response.usage.inputTokens,
-        outputTokens: response.usage.outputTokens
-      })
+      ...response
     }))), effect => Effect.withSpan(effect, "DecisionModel.decide", {
       captureStackTrace: false
+    })),
+    decideSettled: (definition, options) => settle("decideSettled", definition, options).pipe(effect => Effect.withSpan(effect, "DecisionModel.decideSettled", {
+      captureStackTrace: false
     }))
   });
 });
@@ -236,6 +272,9 @@ export const make = params => Effect.sync(() => {
  * Explicit `undefined` fields become `null`; absent fields stay absent.
  * Custom declarations need a JSON codec annotation or encoding fails.
  * Returned answers and probability dictionaries have null prototypes.
+ * Fails with `AiError.ContentPolicyError` if the provider refuses any decision,
+ * and otherwise with `AiError.InvalidOutputError` for the first unanswered
+ * decision in definition order.
  *
  * **Example** (Triaging a ticket)
  *
@@ -262,10 +301,59 @@ export const make = params => Effect.sync(() => {
  * ```
  *
  * @see {@link DecisionModel} for the service this function requires
+ * @see {@link decideSettled} for keeping valid answers when others fail
  *
  * @stability unstable
  * @category decisions
  * @since 4.0.0
  */
 export const decide = (definition, options) => DecisionModel.use(model => model.decide(definition, options));
+/**
+ * Answers each decision with a `Result` containing a validated answer or a
+ * `Decision.Unanswered` reason. Input encoding and provider failures still
+ * fail the effect. Token usage covers the whole call.
+ *
+ * **Details**
+ *
+ * Provider response decoding errors fail the whole call. Per-decision reasons
+ * reflect the first failed validation check; `"NoDistribution"` requires an
+ * otherwise valid answer.
+ *
+ * **Example** (Falling back for unanswered decisions)
+ *
+ * ```ts
+ * import { Effect, Result, Schema } from "effect"
+ * import { Decision, DecisionModel } from "effect/ai"
+ *
+ * const TicketTriage = Decision.make({
+ *   input: Schema.String,
+ *   decisions: {
+ *     department: Decision.classify({
+ *       instructions: "Which team should handle this",
+ *       criteria: { billing: "payments", technical: "bugs" }
+ *     }),
+ *     urgent: Decision.probability({ instructions: "The message is time-sensitive" })
+ *   }
+ * })
+ *
+ * const program = Effect.gen(function*() {
+ *   const { outcomes } = yield* DecisionModel.decideSettled(TicketTriage, {
+ *     input: "My card was charged twice, please fix this today"
+ *   })
+ *   const department = Result.isSuccess(outcomes.department) &&
+ *       outcomes.department.success.probabilities.billing >= 0.8
+ *     ? "billing"
+ *     : "needs review"
+ *   const urgent = Result.isSuccess(outcomes.urgent) ? outcomes.urgent.success.probability : undefined
+ *   return { department, urgent }
+ * })
+ * ```
+ *
+ * @see {@link decide} for failing unless every decision is answered
+ *
+ * @stability unstable
+ * @category decisions
+ * @since 4.0.6
+ */
+export const decideSettled = (definition, options) => DecisionModel.use(model => model.decideSettled(definition, options));
 //# sourceMappingURL=DecisionModel.js.map