@effect-agent/ai-typesafe 0.1.0-beta.101 → 0.1.0-beta.103

package/README.md

@@ -1,126 +1,39 @@
 # @effect-agent/ai-typesafe
 
-Evaluate TypeSafe AI choice, score, and noul questions with Effect. The package uses
-Effect's platform-neutral `HttpClient`, `Schema`, `Config`, and `AiError` and has
-only an Effect runtime peer dependency (`^4.0.0-rc.115`).
+Use Jev to evaluate typed questions with Effect. `TypeSafeDecisionModel` supplies the
+provider for [`@effect-agent/ai-decision`](../ai-decision); `TypeSafeClient` owns HTTP
+configuration and also exposes Jev's API directly.
 
-```ts
-import { TypeSafeClient } from "@effect-agent/ai-typesafe";
-import { Config, Effect, Layer } from "effect";
-import { FetchHttpClient } from "effect/unstable/http";
-
-const evaluation = Effect.gen(function* () {
-  const client = yield* TypeSafeClient.TypeSafeClient;
-  const result = yield* client.evaluate({
-    model: "jev-latest",
-    state: { message: "I was charged twice. Please refund the duplicate." },
-    questions: {
-      department: {
-        type: "choice",
-        instructions: "Which team should handle this ticket?",
-        criteria: { billing: "Payments and refunds", technical: "Bugs and outages" },
-      },
-    },
-  });
-
-  return result.answers.department.choice; // "billing" | "technical"
-});
-
-const ClientLive = TypeSafeClient.layerConfig({
-  apiKey: Config.Redacted("TYPESAFE_API_KEY"),
-}).pipe(Layer.provide(FetchHttpClient.layer));
-
-const program = evaluation.pipe(Effect.provide(ClientLive));
+```text
+DecisionModel → TypeSafeDecisionModel → TypeSafeClient → Jev
 ```
 
-Run `program` with your application's Effect runtime. The compiling
-[mixed-question example](examples/evaluate.ts) also shows bounded retries and an
-overall timeout. Acquiring the client does not send requests.
-
-## Questions and answers
-
-`evaluate` sends `POST https://api.typesafe.ai/v1/systemone` with bearer authentication
-and the required `{ model, state, questions }` body. State and instructions accept
-strings, JSON objects, and JSON arrays. Nested values must be JSON-compatible.
-
-| Question | Criteria                                                                 | Answer                                                      |
-| -------- | ------------------------------------------------------------------------ | ----------------------------------------------------------- |
-| `choice` | Nonempty map of option names to a string or `null`                       | `choice`, `probabilities`, `confidence`                     |
-| `score`  | At least two ordered string descriptions                                 | Fractional `score`, `legend`, `probabilities`, `confidence` |
-| `noul`   | Optional object with optional string descriptions for `true` and `false` | `noul` in [0, 1]                                            |
-
-Every answer includes its `type`. `model` and `usage.input_tokens` /
-`usage.output_tokens` are retained. A returned model may resolve the requested alias
-to a concrete version. Required fields are never filled in from examples or defaults.
-The supported wire shapes follow the [API reference](https://docs.typesafe.ai/api),
-including string-valued score legends.
-
-Use `satisfies TypeSafeSchema.Questions` to retain question keys and choice literals
-when defining questions separately. Runtime-built maps retain broader types:
-unknown answer IDs and probability keys may be absent, and mixed answers must be
-narrowed by `type`. Optional criteria remain optional in the probability map.
-Open string, numeric, and template-pattern indexes allow absent entries;
-explicitly required keys keep their required types.
+## Connect a decision model
 
-The client builds a response schema from each request. It checks the exact answer
-IDs and kinds, permitted choices, complete probability keys, and matching score
-legends. Probabilities and confidence must be finite and in [0, 1]. A choice must
-have maximal probability; ties are valid. Scores range from zero to the last level
-and must match their probability-weighted value. Distribution sums allow `1e-6`
-rounding error, and score comparisons allow `1e-6` times the highest level index.
-Values are preserved rather than normalized. Unexpected response fields are rejected.
-
-Confidence summarizes a distribution; it is not a correctness guarantee. Noul has
-no separate confidence. Choose application thresholds using evaluated examples for
-your domain. See TypeSafe's [confidence guide](https://docs.typesafe.ai/confidence).
-
-## Errors, cancellation, and HTTP policies
-
-Evaluation failures use native `AiError` reasons:
-
-| Failure                                                      | Reason                               |
-| ------------------------------------------------------------ | ------------------------------------ |
-| Invalid local request or HTTP 422                            | `InvalidRequestError`                |
-| HTTP 401                                                     | `AuthenticationError` (`InvalidKey`) |
-| HTTP 429                                                     | `RateLimitError`                     |
-| HTTP 529                                                     | `InternalProviderError`              |
-| Transport failure                                            | `NetworkError`                       |
-| Malformed JSON or a response that disagrees with the request | `InvalidOutputError`                 |
-
-`layerConfig` can also fail with `ConfigError`. Defects and interruption remain
-defects and interruption. Cancellation reaches the supplied HttpClient, including
-while reading the response body.
-
-HTTP status failures retain the status, request details, response headers, and raw
-provider error text without assuming an error-body protocol. Sensitive headers and
-the configured API key are redacted from diagnostics. Provider error text may contain
-submitted content. The integration adds no body logging; HTTP tracing is controlled
-by Effect HttpClient and the application.
-
-There are no default retries or deadlines. Compose `Effect.retry` with a bounded
-schedule and `Effect.timeout`, or supply `transformClient` to `make`, `layer`, or
-`layerConfig`. The transformer receives the client after authentication and status
-filtering. `apiUrl` overrides the versioned base URL for a proxy or substitute.
+```ts
+import { TypeSafeClient, TypeSafeDecisionModel } from "@effect-agent/ai-typesafe";
+import { Layer } from "effect";
+import { FetchHttpClient } from "effect/unstable/http";
 
-## Native Effect AI tools
+const DecisionLive = TypeSafeDecisionModel.model("jev-latest").pipe(
+  Layer.provide(TypeSafeClient.layerConfig().pipe(Layer.provide(FetchHttpClient.layer))),
+);
+```
 
-The compiling [tool example](examples/tool.ts) declares a native `Tool` with
-`failure: AiError.AiError` and `dependencies: [TypeSafeClient.TypeSafeClient]`, then
-implements it through `Toolkit.toLayer`. The declared default failure mode keeps
-failures in the Effect error channel. Supply TypeSafeClient when executing the tool
-or providing it to an agent's language model.
+Set `TYPESAFE_API_KEY`, then provide `DecisionLive` to the Effect that evaluates your
+decision set. The adapter maps shared `probability` questions to Jev's `noul` and retains
+choice and score distributions. Application code chooses how to use the answers.
 
-The package exposes evaluations directly. Language generation, chat, streaming,
-and tool planning are outside its API.
+There are no default retries or deadlines. Add those policies with Effect or the client's
+`transformClient` option. See the [configuration and error reference](https://effect-agent.com/reference/decision-models#typesafe-client)
+for details, including Jev's [rounded probabilities](https://effect-agent.com/reference/decision-models#probability-validation).
 
-## Modules and extraction
+## Examples
 
-Root exports are the `TypeSafeClient` and `TypeSafeSchema` namespaces. Direct imports
-use `@effect-agent/ai-typesafe/type-safe-client` and
-`@effect-agent/ai-typesafe/type-safe-schema`.
+- [Decision set and state transition](examples/decision.ts): all three query types with provider setup.
+- [Direct evaluation](examples/evaluate.ts): native choice, score, and noul answers, bounded retries, and a timeout.
+- [Native Effect AI tool](examples/tool.ts): expose a fixed assessment through `Tool` and `Toolkit`.
 
-This package follows Effect provider module conventions while incubating in the
-Effect Agent release group. Its source imports only `effect/*`; it has no engine,
-platform, persistence, or vendor SDK dependency. Upstream extraction would change
-package metadata, service identity, import paths, and release documentation while
-retaining the HTTP contracts and tests.
+Each example exports an Effect to run with your application's runtime. Start with the
+[decision guide](https://effect-agent.com/guide/tools#decision-transitions), or use the
+[reference](https://effect-agent.com/reference/decision-models) for options, results, and errors.

package/dist/{TypeSafeClient-OS5hTVMz.mjs → TypeSafeClient-SjzPX2Gl.mjs}

@@ -90,7 +90,13 @@ const mapHttpClientError = Effect.fnUntraced(function* (error, redact) {
 //#endregion
 //#region src/internal/schema.ts
 const tolerance = 1e-6;
-const distribution = (keys) => Schema.Record(Schema.Literals(keys), Probability).check(Schema.makeFilter((probabilities) => Math.abs(Object.values(probabilities).reduce((sum, value) => sum + value, 0) - 1) <= tolerance, { expected: "probabilities summing to 1 (within 1e-6)" }));
+const probabilitySum = Schema.makeFilter((probabilities) => Math.abs(Object.values(probabilities).reduce((sum, value) => sum + value, 0) - 1) <= tolerance, { expected: "probabilities summing to 1 (within 1e-6)" });
+const choiceProbabilitySum = Schema.makeFilter((probabilities) => {
+	const values = Object.values(probabilities);
+	const error = Math.abs(values.reduce((sum, value) => sum + value, 0) - 1);
+	return error <= tolerance || error <= Math.min(.01, values.length * .005) + tolerance && values.every((value) => Math.abs(value * 100 - Math.round(value * 100)) < 1e-8);
+}, { expected: "probabilities summing to 1 within bounded two-decimal Choice rounding" });
+const distribution = (keys, sumCheck = probabilitySum) => Schema.Record(Schema.Literals(keys), Probability).check(sumCheck);
 const answerFor = (question) => {
 	switch (question.type) {
 		case "choice": {
@@ -98,7 +104,7 @@ const answerFor = (question) => {
 			return Schema.Struct({
 				...ChoiceAnswer.fields,
 				choice: Schema.Literals(keys),
-				probabilities: distribution(keys)
+				probabilities: distribution(keys, choiceProbabilitySum)
 			}).check(Schema.makeFilter(({ choice, probabilities }) => Object.values(probabilities).every((value) => value <= probabilities[choice]), { expected: "a highest-probability choice" }));
 		}
 		case "score": {
@@ -184,6 +190,6 @@ const layerConfig = (options) => Layer.effect(TypeSafeClient, Effect.gen(functio
 	});
 }));
 //#endregion
-export { make as a, layerConfig as i, TypeSafeClient_exports as n, layer as r, TypeSafeClient as t };
+export { make as a, layerConfig as i, TypeSafeClient_exports as n, choiceProbabilitySum as o, layer as r, TypeSafeClient as t };
 
-//# sourceMappingURL=TypeSafeClient-OS5hTVMz.mjs.map
+//# sourceMappingURL=TypeSafeClient-SjzPX2Gl.mjs.map

package/dist/TypeSafeClient-SjzPX2Gl.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeSafeClient-SjzPX2Gl.mjs","names":["make","TypeSafeSchema.Probability","TypeSafeSchema.NoulAnswer","TypeSafeSchema.EvaluateRequest","Errors.make","Errors.mapHttpClientError","Errors.mapSchemaError"],"sources":["../src/internal/errors.ts","../src/internal/schema.ts","../src/TypeSafeClient.ts"],"sourcesContent":["import * as Effect from \"effect/Effect\";\nimport * as Option from \"effect/Option\";\nimport * as Record from \"effect/Record\";\nimport * as Redacted from \"effect/Redacted\";\nimport type * as Schema from \"effect/Schema\";\nimport * as AiError from \"effect/unstable/ai/AiError\";\nimport * as Headers from \"effect/unstable/http/Headers\";\nimport type * as HttpClientError from \"effect/unstable/http/HttpClientError\";\n\nexport const make = (reason: AiError.AiErrorReason): AiError.AiError =>\n  AiError.make({ module: \"TypeSafeClient\", method: \"evaluate\", reason });\n\nexport const mapSchemaError = (\n  error: Schema.SchemaError,\n  redact: (text: string) => string,\n): AiError.AiError => {\n  const reason = AiError.InvalidOutputError.fromSchemaError(error);\n\n  return make(\n    new AiError.InvalidOutputError({ ...reason, description: redact(reason.description) }),\n  );\n};\n\nconst redactRequest = (\n  request: typeof AiError.HttpRequestDetails.Type,\n  redact: (text: string) => string,\n): typeof AiError.HttpRequestDetails.Type => ({\n  ...request,\n  url: redact(request.url),\n  urlParams: request.urlParams.map(([key, value]) => [key, redact(value)]),\n  hash: request.hash === undefined ? undefined : redact(request.hash),\n  headers: Record.map(request.headers, (value) =>\n    Redacted.isRedacted(value) ? \"<redacted>\" : redact(value),\n  ),\n});\n\nexport const mapHttpClientError = Effect.fnUntraced(function* (\n  error: HttpClientError.HttpClientError,\n  redact: (text: string) => string,\n): Effect.fn.Return<never, AiError.AiError> {\n  const reason = error.reason;\n\n  switch (reason._tag) {\n    case \"TransportError\":\n    case \"EncodeError\":\n    case \"InvalidUrlError\": {\n      const network = AiError.NetworkError.fromRequestError(reason);\n\n      return yield* make(\n        new AiError.NetworkError({\n          ...network,\n          request: redactRequest(network.request, redact),\n          description: network.description === undefined ? undefined : redact(network.description),\n        }),\n      );\n    }\n    case \"DecodeError\":\n    case \"EmptyBodyError\":\n      return yield* make(\n        new AiError.InvalidOutputError({\n          description: redact(reason.description ?? \"Could not decode the TypeSafe response body\"),\n        }),\n      );\n    case \"StatusCodeError\": {\n      const { request, response } = reason;\n      const redactedNames = yield* Headers.CurrentRedactedNames;\n\n      const headers = (value: Headers.Headers) =>\n        Record.map(Headers.redact(value, redactedNames), (value) =>\n          Redacted.isRedacted(value) ? \"<redacted>\" : redact(value),\n        );\n\n      const text = yield* Effect.option(response.text);\n      const body = Option.isSome(text) ? redact(text.value) : undefined;\n\n      const http: typeof AiError.HttpContext.Type = {\n        request: {\n          method: request.method,\n          url: redact(request.url),\n          urlParams: Array.from(request.urlParams, ([key, value]) => [key, redact(value)]),\n          hash: Option.getOrUndefined(Option.map(request.hash, redact)),\n          headers: headers(request.headers),\n        },\n        response: { status: response.status, headers: headers(response.headers) },\n        body,\n      };\n\n      const description = AiError.buildErrorDescription({\n        status: response.status,\n        method: request.method,\n        url: http.request.url,\n        message: undefined,\n        body,\n      });\n\n      return yield* make(\n        response.status === 422\n          ? new AiError.InvalidRequestError({ description, http })\n          : AiError.reasonFromHttpStatus({ status: response.status, description, http }),\n      );\n    }\n  }\n});\n","import * as Schema from \"effect/Schema\";\n\nimport * as TypeSafeSchema from \"../TypeSafeSchema.ts\";\n\n// Permit floating-point serialization error without changing provider values.\nconst tolerance = 1e-6;\n\nconst probabilitySum = Schema.makeFilter(\n  (probabilities: Readonly<Record<string, number>>) =>\n    Math.abs(Object.values(probabilities).reduce((sum, value) => sum + value, 0) - 1) <= tolerance,\n  { expected: \"probabilities summing to 1 (within 1e-6)\" },\n);\n\n// Jev Choice responses have been observed with two-decimal probabilities totaling 0.99.\n// Limit compatibility to one percentage point, even for very large option catalogues.\n// Score sums/weighting retain their strict checks; no Score rounding contract is assumed.\nexport const choiceProbabilitySum = Schema.makeFilter(\n  (probabilities: Readonly<Record<string, number>>) => {\n    const values = Object.values(probabilities);\n    const error = Math.abs(values.reduce((sum, value) => sum + value, 0) - 1);\n\n    return (\n      error <= tolerance ||\n      (error <= Math.min(0.01, values.length * 0.005) + tolerance &&\n        values.every((value) => Math.abs(value * 100 - Math.round(value * 100)) < 1e-8))\n    );\n  },\n  { expected: \"probabilities summing to 1 within bounded two-decimal Choice rounding\" },\n);\n\nconst distribution = (keys: ReadonlyArray<string>, sumCheck = probabilitySum) =>\n  Schema.Record(Schema.Literals(keys), TypeSafeSchema.Probability).check(sumCheck);\n\nconst answerFor = (question: TypeSafeSchema.Question) => {\n  switch (question.type) {\n    case \"choice\": {\n      const keys = Object.keys(question.criteria);\n\n      return Schema.Struct({\n        ...TypeSafeSchema.ChoiceAnswer.fields,\n        choice: Schema.Literals(keys),\n        probabilities: distribution(keys, choiceProbabilitySum),\n      }).check(\n        Schema.makeFilter(\n          ({ choice, probabilities }) =>\n            Object.values(probabilities).every((value) => value <= probabilities[choice]),\n          { expected: \"a highest-probability choice\" },\n        ),\n      );\n    }\n    case \"score\": {\n      const maxLevel = question.criteria.length - 1;\n\n      const levels = question.criteria.map(\n        (description, index) => [String(index), description] as const,\n      );\n\n      return Schema.Struct({\n        ...TypeSafeSchema.ScoreAnswer.fields,\n        score: Schema.Finite.check(Schema.isBetween({ minimum: 0, maximum: maxLevel })),\n        legend: Schema.Struct(\n          Object.fromEntries(\n            levels.map(([key, description]) => [key, Schema.Literal(description)]),\n          ),\n        ),\n        probabilities: distribution(levels.map(([key]) => key)),\n      }).check(\n        Schema.makeFilter(\n          ({ score, probabilities }) =>\n            Math.abs(\n              score -\n                Object.entries(probabilities).reduce(\n                  (sum, [level, probability]) => sum + Number(level) * probability,\n                  0,\n                ),\n            ) <=\n            tolerance * Math.max(1, maxLevel),\n          { expected: \"the probability-weighted score (within 1e-6 per level)\" },\n        ),\n      );\n    }\n    case \"noul\":\n      return TypeSafeSchema.NoulAnswer;\n  }\n};\n\n// The overload describes the dependent type enforced by the literal keys and\n// per-question schemas below. No JSON value is asserted to have that type.\nexport function responseFor<const Q extends TypeSafeSchema.Questions>(\n  questions: Q,\n): Schema.Codec<TypeSafeSchema.EvaluateResponse<Q>>;\n\nexport function responseFor(questions: TypeSafeSchema.Questions): Schema.Top {\n  return Schema.Struct({\n    ...TypeSafeSchema.EvaluateResponse.fields,\n    answers: Schema.Struct(\n      Object.fromEntries(\n        Object.entries(questions).map(([id, question]) => [id, answerFor(question)]),\n      ),\n    ),\n  });\n}\n","/**\n * An Effect HttpClient integration for TypeSafe's System One evaluations.\n *\n * @since 0.1.0\n */\nimport * as Config from \"effect/Config\";\nimport * as Context from \"effect/Context\";\nimport * as Effect from \"effect/Effect\";\nimport { flow, identity } from \"effect/Function\";\nimport * as Layer from \"effect/Layer\";\nimport * as Redacted from \"effect/Redacted\";\nimport * as Schema from \"effect/Schema\";\nimport * as AiError from \"effect/unstable/ai/AiError\";\nimport * as Headers from \"effect/unstable/http/Headers\";\nimport * as HttpClient from \"effect/unstable/http/HttpClient\";\nimport * as HttpClientRequest from \"effect/unstable/http/HttpClientRequest\";\nimport * as HttpClientResponse from \"effect/unstable/http/HttpClientResponse\";\n\nimport * as Errors from \"./internal/errors.ts\";\nimport { responseFor } from \"./internal/schema.ts\";\nimport * as TypeSafeSchema from \"./TypeSafeSchema.ts\";\n\n/** @category services\n * @since 0.1.0\n */\nexport interface Service {\n  readonly client: HttpClient.HttpClient;\n\n  /**\n   * Evaluate mixed questions against one state. Answers are validated against\n   * the submitted IDs, types, and criteria before receiving their inferred type.\n   * There are no automatic retries or timeouts; compose those with Effect.\n   */\n  readonly evaluate: <const Q extends TypeSafeSchema.Questions>(\n    options: TypeSafeSchema.EvaluateRequest<Q>,\n  ) => Effect.Effect<TypeSafeSchema.EvaluateResponse<Q>, AiError.AiError>;\n}\n\n/** @category services\n * @since 0.1.0\n */\nexport class TypeSafeClient extends Context.Service<TypeSafeClient, Service>()(\n  \"@effect-agent/ai-typesafe/TypeSafeClient\",\n) {}\n\n/** @category options\n * @since 0.1.0\n */\nexport interface Options {\n  readonly apiKey: Redacted.Redacted<string>;\n  /** Base URL, including the API version. Defaults to https://api.typesafe.ai/v1. */\n  readonly apiUrl?: string | undefined;\n  /** Applied after authentication and status filtering, for explicit HTTP policies. */\n  readonly transformClient?: ((client: HttpClient.HttpClient) => HttpClient.HttpClient) | undefined;\n}\n\nconst encodeRequest = Schema.encodeEffect(Schema.fromJsonString(TypeSafeSchema.EvaluateRequest));\n\n/**\n * Construct the client using a supplied, platform-neutral HttpClient.\n * Acquiring the service does not send a request.\n *\n * @category constructors\n * @since 0.1.0\n */\nexport const make = Effect.fnUntraced(function* (\n  options: Options,\n): Effect.fn.Return<Service, never, HttpClient.HttpClient> {\n  const apiKey = Redacted.value(options.apiKey);\n\n  const redact = (text: string) =>\n    apiKey.length === 0 ? text : text.replaceAll(apiKey, \"<redacted>\");\n\n  const client = (yield* HttpClient.HttpClient).pipe(\n    HttpClient.mapRequest(\n      flow(\n        HttpClientRequest.prependUrl(options.apiUrl ?? \"https://api.typesafe.ai/v1\"),\n        HttpClientRequest.bearerToken(options.apiKey),\n        HttpClientRequest.acceptJson,\n      ),\n    ),\n    HttpClient.filterStatusOk,\n    options.transformClient ?? identity,\n  );\n\n  const evaluate = Effect.fnUntraced(function* <const Q extends TypeSafeSchema.Questions>(\n    options: TypeSafeSchema.EvaluateRequest<Q>,\n  ): Effect.fn.Return<TypeSafeSchema.EvaluateResponse<Q>, AiError.AiError> {\n    const body = yield* encodeRequest(options).pipe(\n      Effect.mapError((error) =>\n        Errors.make(new AiError.InvalidRequestError({ description: redact(error.message) })),\n      ),\n    );\n\n    const schema = responseFor(options.questions);\n\n    return yield* client\n      .execute(\n        HttpClientRequest.post(\"/systemone\").pipe(\n          HttpClientRequest.bodyText(body, \"application/json\"),\n        ),\n      )\n      .pipe(\n        Effect.flatMap(HttpClientResponse.schemaBodyJson(schema, { onExcessProperty: \"error\" })),\n        Effect.catchTags({\n          HttpClientError: (error) => Errors.mapHttpClientError(error, redact),\n          SchemaError: (error) => Effect.fail(Errors.mapSchemaError(error, redact)),\n        }),\n        Effect.updateService(Headers.CurrentRedactedNames, (names) => [...names, \"authorization\"]),\n      );\n  });\n\n  return TypeSafeClient.of({ client, evaluate });\n});\n\n/** @category layers\n * @since 0.1.0\n */\nexport const layer = (\n  options: Options,\n): Layer.Layer<TypeSafeClient, never, HttpClient.HttpClient> =>\n  Layer.effect(TypeSafeClient, make(options));\n\n/**\n * Configure the client with Effect Config. The API key defaults to\n * `Config.Redacted(\"TYPESAFE_API_KEY\")`.\n *\n * @category layers\n * @since 0.1.0\n */\nexport const layerConfig = (options?: {\n  readonly apiKey?: Config.Config<Redacted.Redacted<string>> | undefined;\n  readonly apiUrl?: Config.Config<string> | undefined;\n  readonly transformClient?: Options[\"transformClient\"];\n}): Layer.Layer<TypeSafeClient, Config.ConfigError, HttpClient.HttpClient> =>\n  Layer.effect(\n    TypeSafeClient,\n    Effect.gen(function* () {\n      return yield* make({\n        apiKey: yield* options?.apiKey ?? Config.Redacted(\"TYPESAFE_API_KEY\"),\n        apiUrl: options?.apiUrl === undefined ? undefined : yield* options.apiUrl,\n        transformClient: options?.transformClient,\n      });\n    }),\n  );\n"],"mappings":";;;;;;;;;;;;;;;;;AASA,MAAaA,UAAQ,WACnB,QAAQ,KAAK;CAAE,QAAQ;CAAkB,QAAQ;CAAY;AAAO,CAAC;AAEvE,MAAa,kBACX,OACA,WACoB;CACpB,MAAM,SAAS,QAAQ,mBAAmB,gBAAgB,KAAK;CAE/D,OAAOA,OACL,IAAI,QAAQ,mBAAmB;EAAE,GAAG;EAAQ,aAAa,OAAO,OAAO,WAAW;CAAE,CAAC,CACvF;AACF;AAEA,MAAM,iBACJ,SACA,YAC4C;CAC5C,GAAG;CACH,KAAK,OAAO,QAAQ,GAAG;CACvB,WAAW,QAAQ,UAAU,KAAK,CAAC,KAAK,WAAW,CAAC,KAAK,OAAO,KAAK,CAAC,CAAC;CACvE,MAAM,QAAQ,SAAS,KAAA,IAAY,KAAA,IAAY,OAAO,QAAQ,IAAI;CAClE,SAAS,OAAO,IAAI,QAAQ,UAAU,UACpC,SAAS,WAAW,KAAK,IAAI,eAAe,OAAO,KAAK,CAC1D;AACF;AAEA,MAAa,qBAAqB,OAAO,WAAW,WAClD,OACA,QAC0C;CAC1C,MAAM,SAAS,MAAM;CAErB,QAAQ,OAAO,MAAf;EACE,KAAK;EACL,KAAK;EACL,KAAK,mBAAmB;GACtB,MAAM,UAAU,QAAQ,aAAa,iBAAiB,MAAM;GAE5D,OAAO,OAAOA,OACZ,IAAI,QAAQ,aAAa;IACvB,GAAG;IACH,SAAS,cAAc,QAAQ,SAAS,MAAM;IAC9C,aAAa,QAAQ,gBAAgB,KAAA,IAAY,KAAA,IAAY,OAAO,QAAQ,WAAW;GACzF,CAAC,CACH;EACF;EACA,KAAK;EACL,KAAK,kBACH,OAAO,OAAOA,OACZ,IAAI,QAAQ,mBAAmB,EAC7B,aAAa,OAAO,OAAO,eAAe,6CAA6C,EACzF,CAAC,CACH;EACF,KAAK,mBAAmB;GACtB,MAAM,EAAE,SAAS,aAAa;GAC9B,MAAM,gBAAgB,OAAO,QAAQ;GAErC,MAAM,WAAW,UACf,OAAO,IAAI,QAAQ,OAAO,OAAO,aAAa,IAAI,UAChD,SAAS,WAAW,KAAK,IAAI,eAAe,OAAO,KAAK,CAC1D;GAEF,MAAM,OAAO,OAAO,OAAO,OAAO,SAAS,IAAI;GAC/C,MAAM,OAAO,OAAO,OAAO,IAAI,IAAI,OAAO,KAAK,KAAK,IAAI,KAAA;GAExD,MAAM,OAAwC;IAC5C,SAAS;KACP,QAAQ,QAAQ;KAChB,KAAK,OAAO,QAAQ,GAAG;KACvB,WAAW,MAAM,KAAK,QAAQ,YAAY,CAAC,KAAK,WAAW,CAAC,KAAK,OAAO,KAAK,CAAC,CAAC;KAC/E,MAAM,OAAO,eAAe,OAAO,IAAI,QAAQ,MAAM,MAAM,CAAC;KAC5D,SAAS,QAAQ,QAAQ,OAAO;IAClC;IACA,UAAU;KAAE,QAAQ,SAAS;KAAQ,SAAS,QAAQ,SAAS,OAAO;IAAE;IACxE;GACF;GAEA,MAAM,cAAc,QAAQ,sBAAsB;IAChD,QAAQ,SAAS;IACjB,QAAQ,QAAQ;IAChB,KAAK,KAAK,QAAQ;IAClB,SAAS,KAAA;IACT;GACF,CAAC;GAED,OAAO,OAAOA,OACZ,SAAS,WAAW,MAChB,IAAI,QAAQ,oBAAoB;IAAE;IAAa;GAAK,CAAC,IACrD,QAAQ,qBAAqB;IAAE,QAAQ,SAAS;IAAQ;IAAa;GAAK,CAAC,CACjF;EACF;CACF;AACF,CAAC;;;ACjGD,MAAM,YAAY;AAElB,MAAM,iBAAiB,OAAO,YAC3B,kBACC,KAAK,IAAI,OAAO,OAAO,aAAa,CAAC,CAAC,QAAQ,KAAK,UAAU,MAAM,OAAO,CAAC,IAAI,CAAC,KAAK,WACvF,EAAE,UAAU,2CAA2C,CACzD;AAKA,MAAa,uBAAuB,OAAO,YACxC,kBAAoD;CACnD,MAAM,SAAS,OAAO,OAAO,aAAa;CAC1C,MAAM,QAAQ,KAAK,IAAI,OAAO,QAAQ,KAAK,UAAU,MAAM,OAAO,CAAC,IAAI,CAAC;CAExE,OACE,SAAS,aACR,SAAS,KAAK,IAAI,KAAM,OAAO,SAAS,IAAK,IAAI,aAChD,OAAO,OAAO,UAAU,KAAK,IAAI,QAAQ,MAAM,KAAK,MAAM,QAAQ,GAAG,CAAC,IAAI,IAAI;AAEpF,GACA,EAAE,UAAU,wEAAwE,CACtF;AAEA,MAAM,gBAAgB,MAA6B,WAAW,mBAC5D,OAAO,OAAO,OAAO,SAAS,IAAI,GAAGC,WAA0B,CAAC,CAAC,MAAM,QAAQ;AAEjF,MAAM,aAAa,aAAsC;CACvD,QAAQ,SAAS,MAAjB;EACE,KAAK,UAAU;GACb,MAAM,OAAO,OAAO,KAAK,SAAS,QAAQ;GAE1C,OAAO,OAAO,OAAO;IACnB,GAAA,aAA+B;IAC/B,QAAQ,OAAO,SAAS,IAAI;IAC5B,eAAe,aAAa,MAAM,oBAAoB;GACxD,CAAC,CAAC,CAAC,MACD,OAAO,YACJ,EAAE,QAAQ,oBACT,OAAO,OAAO,aAAa,CAAC,CAAC,OAAO,UAAU,SAAS,cAAc,OAAO,GAC9E,EAAE,UAAU,+BAA+B,CAC7C,CACF;EACF;EACA,KAAK,SAAS;GACZ,MAAM,WAAW,SAAS,SAAS,SAAS;GAE5C,MAAM,SAAS,SAAS,SAAS,KAC9B,aAAa,UAAU,CAAC,OAAO,KAAK,GAAG,WAAW,CACrD;GAEA,OAAO,OAAO,OAAO;IACnB,GAAA,YAA8B;IAC9B,OAAO,OAAO,OAAO,MAAM,OAAO,UAAU;KAAE,SAAS;KAAG,SAAS;IAAS,CAAC,CAAC;IAC9E,QAAQ,OAAO,OACb,OAAO,YACL,OAAO,KAAK,CAAC,KAAK,iBAAiB,CAAC,KAAK,OAAO,QAAQ,WAAW,CAAC,CAAC,CACvE,CACF;IACA,eAAe,aAAa,OAAO,KAAK,CAAC,SAAS,GAAG,CAAC;GACxD,CAAC,CAAC,CAAC,MACD,OAAO,YACJ,EAAE,OAAO,oBACR,KAAK,IACH,QACE,OAAO,QAAQ,aAAa,CAAC,CAAC,QAC3B,KAAK,CAAC,OAAO,iBAAiB,MAAM,OAAO,KAAK,IAAI,aACrD,CACF,CACJ,KACA,YAAY,KAAK,IAAI,GAAG,QAAQ,GAClC,EAAE,UAAU,yDAAyD,CACvE,CACF;EACF;EACA,KAAK,QACH,OAAOC;CACX;AACF;AAQA,SAAgB,YAAY,WAAiD;CAC3E,OAAO,OAAO,OAAO;EACnB,GAAA,iBAAmC;EACnC,SAAS,OAAO,OACd,OAAO,YACL,OAAO,QAAQ,SAAS,CAAC,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC,IAAI,UAAU,QAAQ,CAAC,CAAC,CAC7E,CACF;CACF,CAAC;AACH;;;;;;;;;;;;;;;;;AC5DA,IAAa,iBAAb,cAAoC,QAAQ,QAAiC,CAAC,CAC5E,0CACF,CAAC,CAAC,CAAC;AAaH,MAAM,gBAAgB,OAAO,aAAa,OAAO,eAAeC,eAA8B,CAAC;;;;;;;;AAS/F,MAAa,OAAO,OAAO,WAAW,WACpC,SACyD;CACzD,MAAM,SAAS,SAAS,MAAM,QAAQ,MAAM;CAE5C,MAAM,UAAU,SACd,OAAO,WAAW,IAAI,OAAO,KAAK,WAAW,QAAQ,YAAY;CAEnE,MAAM,UAAU,OAAO,WAAW,WAAA,CAAY,KAC5C,WAAW,WACT,KACE,kBAAkB,WAAW,QAAQ,UAAU,4BAA4B,GAC3E,kBAAkB,YAAY,QAAQ,MAAM,GAC5C,kBAAkB,UACpB,CACF,GACA,WAAW,gBACX,QAAQ,mBAAmB,QAC7B;CAEA,MAAM,WAAW,OAAO,WAAW,WACjC,SACuE;EACvE,MAAM,OAAO,OAAO,cAAc,OAAO,CAAC,CAAC,KACzC,OAAO,UAAU,UACfC,OAAY,IAAI,QAAQ,oBAAoB,EAAE,aAAa,OAAO,MAAM,OAAO,EAAE,CAAC,CAAC,CACrF,CACF;EAEA,MAAM,SAAS,YAAY,QAAQ,SAAS;EAE5C,OAAO,OAAO,OACX,QACC,kBAAkB,KAAK,YAAY,CAAC,CAAC,KACnC,kBAAkB,SAAS,MAAM,kBAAkB,CACrD,CACF,CAAC,CACA,KACC,OAAO,QAAQ,mBAAmB,eAAe,QAAQ,EAAE,kBAAkB,QAAQ,CAAC,CAAC,GACvF,OAAO,UAAU;GACf,kBAAkB,UAAUC,mBAA0B,OAAO,MAAM;GACnE,cAAc,UAAU,OAAO,KAAKC,eAAsB,OAAO,MAAM,CAAC;EAC1E,CAAC,GACD,OAAO,cAAc,QAAQ,uBAAuB,UAAU,CAAC,GAAG,OAAO,eAAe,CAAC,CAC3F;CACJ,CAAC;CAED,OAAO,eAAe,GAAG;EAAE;EAAQ;CAAS,CAAC;AAC/C,CAAC;;;;AAKD,MAAa,SACX,YAEA,MAAM,OAAO,gBAAgB,KAAK,OAAO,CAAC;;;;;;;;AAS5C,MAAa,eAAe,YAK1B,MAAM,OACJ,gBACA,OAAO,IAAI,aAAa;CACtB,OAAO,OAAO,KAAK;EACjB,QAAQ,OAAO,SAAS,UAAU,OAAO,SAAS,kBAAkB;EACpE,QAAQ,SAAS,WAAW,KAAA,IAAY,KAAA,IAAY,OAAO,QAAQ;EACnE,iBAAiB,SAAS;CAC5B,CAAC;AACH,CAAC,CACH"}

package/dist/TypeSafeClient.d.mts

@@ -1,4 +1,4 @@
-import { EvaluateRequest, EvaluateResponse, Questions, t as TypeSafeSchema_d_exports } from "./TypeSafeSchema.mjs";
+import { c as EvaluateResponse, g as TypeSafeSchema_d_exports, p as Questions, s as EvaluateRequest } from "./TypeSafeSchema-Dn4_Tptf.mjs";
 import * as Config from "effect/Config";
 import * as Context from "effect/Context";
 import * as Effect from "effect/Effect";

package/dist/TypeSafeClient.mjs

@@ -1,3 +1,3 @@
-import { a as make, i as layerConfig, r as layer, t as TypeSafeClient } from "./TypeSafeClient-OS5hTVMz.mjs";
+import { a as make, i as layerConfig, r as layer, t as TypeSafeClient } from "./TypeSafeClient-SjzPX2Gl.mjs";
 import "./TypeSafeSchema.mjs";
 export { TypeSafeClient, layer, layerConfig, make };

package/dist/TypeSafeDecisionModel.d.mts

@@ -0,0 +1,25 @@
+import { TypeSafeClient } from "./TypeSafeClient.mjs";
+import { DecisionModel } from "@effect-agent/ai-decision";
+import { Layer, Schema } from "effect";
+declare namespace TypeSafeDecisionModel_d_exports {
+  export { ProviderMetadata, model };
+}
+/**
+ * TypeSafe's distribution statistics, under result.providerMetadata.typesafe.
+ * Noul questions have no confidence entry.
+ *
+ * @category schemas
+ * @since 0.1.0
+ */
+export declare const ProviderMetadata: Schema.Struct<{
+  readonly confidence: Schema.$Record<Schema.String, Schema.Finite>;
+}>;
+/**
+ * Supply a TypeSafe model as a provider-neutral decision model. The client retains HTTP policy;
+ * this adapter translates probability questions to noul and preserves returned evidence/usage.
+ * Capture TypeSafeClient at Layer construction. This Layer does not supply LanguageModel.
+ */
+export declare const model: (model: string) => Layer.Layer<DecisionModel.DecisionModel, never, TypeSafeClient>;
+//#endregion
+export { TypeSafeDecisionModel_d_exports as t };
+//# sourceMappingURL=TypeSafeDecisionModel.d.mts.map

package/dist/TypeSafeDecisionModel.mjs

@@ -0,0 +1,68 @@
+import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
+import { o as choiceProbabilitySum, t as TypeSafeClient } from "./TypeSafeClient-SjzPX2Gl.mjs";
+import { Probability } from "./TypeSafeSchema.mjs";
+import { DecisionModel } from "@effect-agent/ai-decision";
+import { Effect, Layer, Schema } from "effect";
+//#region src/TypeSafeDecisionModel.ts
+var TypeSafeDecisionModel_exports = /* @__PURE__ */ __exportAll({
+	ProviderMetadata: () => ProviderMetadata,
+	model: () => model
+});
+/**
+* TypeSafe's distribution statistics, under result.providerMetadata.typesafe.
+* Noul questions have no confidence entry.
+*
+* @category schemas
+* @since 0.1.0
+*/
+const ProviderMetadata = Schema.Struct({ confidence: Schema.Record(Schema.String, Probability) });
+/**
+* Supply a TypeSafe model as a provider-neutral decision model. The client retains HTTP policy;
+* this adapter translates probability questions to noul and preserves returned evidence/usage.
+* Capture TypeSafeClient at Layer construction. This Layer does not supply LanguageModel.
+*/
+const model = (model) => Layer.effect(DecisionModel.DecisionModel, Effect.gen(function* () {
+	const client = yield* TypeSafeClient;
+	return yield* DecisionModel.make({
+		choiceProbabilitySum,
+		evaluate: Effect.fnUntraced(function* (request) {
+			const questions = Object.fromEntries(Object.entries(request.questions).map(([id, question]) => [id, question.type === "probability" ? {
+				...question,
+				type: "noul"
+			} : question]));
+			const response = yield* client.evaluate({
+				model,
+				state: request.state,
+				questions
+			});
+			const answers = [];
+			const confidence = [];
+			for (const [id, answer] of Object.entries(response.answers)) {
+				if (answer === void 0) continue;
+				if (answer.type === "noul") answers.push([id, {
+					type: "probability",
+					probability: answer.noul
+				}]);
+				else {
+					const { confidence: statistic, ...evidence } = answer;
+					answers.push([id, evidence]);
+					confidence.push([id, statistic]);
+				}
+			}
+			return {
+				provider: "typesafe",
+				model: response.model,
+				answers: Object.fromEntries(answers),
+				usage: {
+					inputTokens: response.usage.input_tokens,
+					outputTokens: response.usage.output_tokens
+				},
+				providerMetadata: { typesafe: { confidence: Object.fromEntries(confidence) } }
+			};
+		})
+	});
+}));
+//#endregion
+export { ProviderMetadata, model, TypeSafeDecisionModel_exports as t };
+
+//# sourceMappingURL=TypeSafeDecisionModel.mjs.map

package/dist/TypeSafeDecisionModel.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeSafeDecisionModel.mjs","names":["TypeSafeSchema.Probability"],"sources":["../src/TypeSafeDecisionModel.ts"],"sourcesContent":["import { DecisionModel, type DecisionSchema } from \"@effect-agent/ai-decision\";\nimport { Effect, Layer, Schema } from \"effect\";\n\nimport { choiceProbabilitySum } from \"./internal/schema.ts\";\nimport { TypeSafeClient } from \"./TypeSafeClient.ts\";\nimport * as TypeSafeSchema from \"./TypeSafeSchema.ts\";\n\n/**\n * TypeSafe's distribution statistics, under result.providerMetadata.typesafe.\n * Noul questions have no confidence entry.\n *\n * @category schemas\n * @since 0.1.0\n */\nexport const ProviderMetadata = Schema.Struct({\n  confidence: Schema.Record(Schema.String, TypeSafeSchema.Probability),\n});\n\n/**\n * Supply a TypeSafe model as a provider-neutral decision model. The client retains HTTP policy;\n * this adapter translates probability questions to noul and preserves returned evidence/usage.\n * Capture TypeSafeClient at Layer construction. This Layer does not supply LanguageModel.\n */\nexport const model = (\n  model: string,\n): Layer.Layer<DecisionModel.DecisionModel, never, TypeSafeClient> =>\n  Layer.effect(\n    DecisionModel.DecisionModel,\n    Effect.gen(function* () {\n      const client = yield* TypeSafeClient;\n\n      return yield* DecisionModel.make({\n        choiceProbabilitySum,\n        evaluate: Effect.fnUntraced(function* (request) {\n          const questions: TypeSafeSchema.Questions = Object.fromEntries(\n            Object.entries(request.questions).map(([id, question]) => [\n              id,\n              question.type === \"probability\" ? { ...question, type: \"noul\" } : question,\n            ]),\n          );\n\n          const response = yield* client.evaluate({ model, state: request.state, questions });\n\n          const answers: Array<readonly [string, DecisionSchema.Answer]> = [];\n\n          const confidence: Array<readonly [string, number]> = [];\n\n          for (const [id, answer] of Object.entries(response.answers)) {\n            if (answer === undefined) continue;\n            if (answer.type === \"noul\") {\n              answers.push([id, { type: \"probability\", probability: answer.noul }]);\n            } else {\n              const { confidence: statistic, ...evidence } = answer;\n\n              answers.push([id, evidence]);\n              confidence.push([id, statistic]);\n            }\n          }\n\n          return {\n            provider: \"typesafe\",\n            model: response.model,\n            answers: Object.fromEntries(answers),\n            usage: {\n              inputTokens: response.usage.input_tokens,\n              outputTokens: response.usage.output_tokens,\n            },\n            providerMetadata: {\n              typesafe: {\n                confidence: Object.fromEntries(confidence),\n              },\n            },\n          };\n        }),\n      });\n    }),\n  );\n"],"mappings":";;;;;;;;;;;;;;;;;AAcA,MAAa,mBAAmB,OAAO,OAAO,EAC5C,YAAY,OAAO,OAAO,OAAO,QAAQA,WAA0B,EACrE,CAAC;;;;;;AAOD,MAAa,SACX,UAEA,MAAM,OACJ,cAAc,eACd,OAAO,IAAI,aAAa;CACtB,MAAM,SAAS,OAAO;CAEtB,OAAO,OAAO,cAAc,KAAK;EAC/B;EACA,UAAU,OAAO,WAAW,WAAW,SAAS;GAC9C,MAAM,YAAsC,OAAO,YACjD,OAAO,QAAQ,QAAQ,SAAS,CAAC,CAAC,KAAK,CAAC,IAAI,cAAc,CACxD,IACA,SAAS,SAAS,gBAAgB;IAAE,GAAG;IAAU,MAAM;GAAO,IAAI,QACpE,CAAC,CACH;GAEA,MAAM,WAAW,OAAO,OAAO,SAAS;IAAE;IAAO,OAAO,QAAQ;IAAO;GAAU,CAAC;GAElF,MAAM,UAA2D,CAAC;GAElE,MAAM,aAA+C,CAAC;GAEtD,KAAK,MAAM,CAAC,IAAI,WAAW,OAAO,QAAQ,SAAS,OAAO,GAAG;IAC3D,IAAI,WAAW,KAAA,GAAW;IAC1B,IAAI,OAAO,SAAS,QAClB,QAAQ,KAAK,CAAC,IAAI;KAAE,MAAM;KAAe,aAAa,OAAO;IAAK,CAAC,CAAC;SAC/D;KACL,MAAM,EAAE,YAAY,WAAW,GAAG,aAAa;KAE/C,QAAQ,KAAK,CAAC,IAAI,QAAQ,CAAC;KAC3B,WAAW,KAAK,CAAC,IAAI,SAAS,CAAC;IACjC;GACF;GAEA,OAAO;IACL,UAAU;IACV,OAAO,SAAS;IAChB,SAAS,OAAO,YAAY,OAAO;IACnC,OAAO;KACL,aAAa,SAAS,MAAM;KAC5B,cAAc,SAAS,MAAM;IAC/B;IACA,kBAAkB,EAChB,UAAU,EACR,YAAY,OAAO,YAAY,UAAU,EAC3C,EACF;GACF;EACF,CAAC;CACH,CAAC;AACH,CAAC,CACH"}