@ultimat3/schema 1.0.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 developerz.ai
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,100 @@
+# ✅ @ultimat3/schema
+
+Tier 0. The validation seam. One schema declaration projects to a runtime validator, a TypeScript
+type, a JSON Schema, an OpenAPI body, an MCP tool `inputSchema` and HTTP query coercion.
+
+| Owns | Module |
+|---|---|
+| Standard Schema v1 types + `validate()` / `parse()` for **any** conforming library | `standard.ts` |
+| the blessed `t` namespace | `t.ts` |
+| builtin validators behind `t` | `validators.ts` |
+| the introspectable IR every generator walks | `node.ts` |
+| `Schema` factory, `Infer` machinery | `builder.ts` |
+| `configureSchemaProvider()` — the swap point | `provider.ts` |
+| schema → JSON Schema (OpenAPI + MCP) | `json-schema.ts` |
+| HTTP-boundary coercion, kept out of validation | `coerce.ts` |
+| `X_VALIDATION_FAILED` with path-annotated issues | `errors.ts` |
+
+## `t`
+
+```ts
+import { t, type Infer } from '@ultimat3/schema';
+
+export const publishPost = t.object({
+  postId:   t.uuid,
+  notify:   t.boolean.default(true),
+  title:    t.string.min(3).max(80),
+  tags:     t.array(t.slug),
+  price:    t.money,                 // { minor: 1999, currency: 'EUR' } — never a float
+  timeZone: t.timezone,              // real IANA validation, not an annotation
+  cursor:   t.optional(t.cursor),
+});
+
+type PublishPost = Infer<typeof publishPost>;
+```
+
+| Value schemas | Factories | Methods |
+|---|---|---|
+| `string` `number` `boolean` `date` `uuid` `email` `url` | `object` `array` `enum` `literal` `union` `record` `optional` `nullable` | `.default(v)` `.optional()` `.nullable()` `.describe(s)` |
+| `money` `timezone` `locale` `slug` `cursor` | `object(...).extend/.pick/.omit` | `string.min/.max/.pattern`, `number.min/.max/.int` |
+
+`nullable` is a value the row holds; `optional` is the caller omitting the key. Both ship as a
+namespace member (`t.nullable`) and a free function (`nullableSchema`) — symmetrically.
+
+Unknown object keys are **dropped**, never forwarded — an action cannot be mass-assigned.
+
+**You rarely import this package.** `action`, `query`, `jobs` and `entity` each re-export the same
+`t`, so an authoring file imports its primitive and nothing else. Import `@ultimat3/schema` directly
+only where there is no primitive to hang the schema off — app config, a standalone view schema, a
+provider swap.
+
+## Errors tell an agent exactly what to send
+
+```ts
+parse(t.object({ postId: t.uuid, notify: t.boolean }), { postId: 'abc', notify: 'yes' }, 'input');
+```
+
+```text
+X_VALIDATION_FAILED: value did not match its schema
+  cause: postId: expected a uuid, received "abc"; notify: expected a boolean, received "yes"
+  fix:   send input with the field(s) named in cause corrected to the expected type
+```
+
+`error.issues` is `{ path, expected, received, message }[]` with paths like `items[0].price`;
+`formatIssues()` renders one line per issue for the dev overlay. `validate()` never throws and
+returns the Standard Schema result. Async libraries: `parseAsync()` / `validateAsync()`.
+
+This package is tier 0 and cannot import `@ultimat3/core`, so `SchemaError` reproduces
+`UltimateError` structurally and carries the same `Symbol.for('ultimate.error')` brand —
+`isUltimateError()` from core matches it. Register the codes once from any package that imports
+both: `registerErrorCodes(SCHEMA_ERROR_CODES)`.
+
+## Swapping the library
+
+The builtin validators (`validators.ts`) are the shipped default — small, dependency-free, no
+adapter to install. No ArkType, Zod or Valibot adapter ships in this package; swapping to one
+means writing the ~40-line adapter below yourself. All three implement Standard Schema v1, so
+any of them works identically once wired.
+
+```ts
+import { configureSchemaProvider } from '@ultimat3/schema';
+import { arkNamespace, arkToNode } from './ark';   // your ~40-line adapter
+
+configureSchemaProvider({ vendor: 'arktype', t: arkNamespace, introspect: arkToNode });
+```
+
+`t` reads the active provider on every access, so modules that imported `t` earlier pick up the
+swap. `introspect()` is what OpenAPI/MCP generation needs; a provider without it throws
+`X_SCHEMA_UNSUPPORTED` with the exact fix rather than emitting an empty request body.
+
+## JSON Schema and coercion
+
+```ts
+toJsonSchema(publishPost);                    // OpenAPI 3.1 (2020-12)
+toMcpInputSchema(publishPost);                // MCP tools/list (draft-07, no $schema)
+parse(publishPost, coerceQuery(publishPost, url.searchParams));
+```
+
+Coercion is separate from validation on purpose: only the HTTP layer has strings that mean
+numbers. `coerceQuery` promotes repeated params to arrays and leaves anything ambiguous
+untouched so validation still produces the real error.

package/package.json

@@ -0,0 +1,33 @@
+{
+  "name": "@ultimat3/schema",
+  "version": "1.0.0",
+  "description": "Ultimate's validation seam: Standard Schema interface, the t namespace, JSON Schema output",
+  "license": "MIT",
+  "type": "module",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/developerz-ai/ultimate.git",
+    "directory": "packages/schema"
+  },
+  "publishConfig": {
+    "access": "public",
+    "provenance": true
+  },
+  "exports": {
+    ".": "./src/index.ts"
+  },
+  "files": [
+    "src",
+    "!src/**/*.test.ts",
+    "README.md",
+    "LICENSE"
+  ],
+  "engines": {
+    "bun": ">=1.3.0"
+  },
+  "scripts": {
+    "typecheck": "tsc --noEmit -p tsconfig.json",
+    "test": "bun test"
+  },
+  "dependencies": {}
+}

package/src/builder.d.ts

@@ -0,0 +1,62 @@
+import type { SchemaNode } from './node';
+import { type InferInput, type InferOutput, type StandardIssue, type StandardResult, type StandardSchemaV1 } from './standard';
+export declare const VENDOR = "ultimate";
+export type Path = readonly PropertyKey[];
+export interface CheckOk<Out> {
+    readonly ok: true;
+    readonly value: Out;
+}
+export interface CheckErr {
+    readonly ok: false;
+    readonly issues: readonly StandardIssue[];
+}
+export type CheckResult<Out> = CheckOk<Out> | CheckErr;
+export type Check<Out> = (value: unknown, path: Path) => CheckResult<Out>;
+export declare function pass<Out>(value: Out): CheckOk<Out>;
+export declare function fail(path: Path, message: string): CheckErr;
+export declare function failWith(issues: readonly StandardIssue[]): CheckErr;
+/** `expected uuid, received "abc"` — the message an agent can act on without guessing. */
+export declare function expected(what: string, value: unknown): string;
+export declare function describeValue(value: unknown): string;
+export interface Schema<In = unknown, Out = In> extends StandardSchemaV1<In, Out> {
+    /** The introspectable IR. JSON Schema, OpenAPI, MCP and coercion all read this. */
+    readonly node: SchemaNode;
+    parse(value: unknown, root?: string): Out;
+    safeParse(value: unknown): StandardResult<Out>;
+    optional(): Schema<In | undefined, Out | undefined>;
+    /**
+     * Distinct from `optional()`: absent and null are different facts. A nullable column holds a
+     * row that says "no cover image"; an optional field says the caller did not mention it. SQL
+     * has always drawn that line, so the schema has to as well or a round-trip loses it.
+     */
+    nullable(): Schema<In | null, Out | null>;
+    default(value: Out): Schema<In | undefined, Out>;
+    describe(description: string): Schema<In, Out>;
+}
+/** The general constraint for "some schema". Methods are bivariant, so this is a real supertype. */
+export type AnySchema = Schema<unknown, unknown>;
+export type Shape = Readonly<Record<string, AnySchema>>;
+export type Simplify<T> = {
+    [K in keyof T]: T[K];
+} & {};
+type OptionalOutputKeys<S extends Shape> = {
+    [K in keyof S]: undefined extends InferOutput<S[K]> ? K : never;
+}[keyof S];
+type OptionalInputKeys<S extends Shape> = {
+    [K in keyof S]: undefined extends InferInput<S[K]> ? K : never;
+}[keyof S];
+export type ShapeOutput<S extends Shape> = Simplify<{
+    [K in Exclude<keyof S, OptionalOutputKeys<S>>]: InferOutput<S[K]>;
+} & {
+    [K in OptionalOutputKeys<S>]?: InferOutput<S[K]>;
+}>;
+export type ShapeInput<S extends Shape> = Simplify<{
+    [K in Exclude<keyof S, OptionalInputKeys<S>>]: InferInput<S[K]>;
+} & {
+    [K in OptionalInputKeys<S>]?: InferInput<S[K]>;
+}>;
+export declare function makeSchema<In, Out>(node: SchemaNode, check: Check<Out>): Schema<In, Out>;
+/** Read the check back off a builtin schema so composites can reuse it. */
+export declare function checkOf<In, Out>(schema: Schema<In, Out>): Check<Out>;
+export {};
+//# sourceMappingURL=builder.d.ts.map

package/src/builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"builder.d.ts","sourceRoot":"","sources":["builder.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAEL,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,gBAAgB,EACtB,MAAM,YAAY,CAAC;AAEpB,eAAO,MAAM,MAAM,aAAa,CAAC;AAEjC,MAAM,MAAM,IAAI,GAAG,SAAS,WAAW,EAAE,CAAC;AAE1C,MAAM,WAAW,OAAO,CAAC,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC;CACrB;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;CAC3C;AAED,MAAM,MAAM,WAAW,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC;AAEvD,MAAM,MAAM,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,KAAK,WAAW,CAAC,GAAG,CAAC,CAAC;AAE1E,wBAAgB,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAElD;AAED,wBAAgB,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,GAAG,QAAQ,CAE1D;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,GAAG,QAAQ,CAEnE;AAED,0FAA0F;AAC1F,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,MAAM,CAE7D;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAQpD;AAED,MAAM,WAAW,MAAM,CAAC,EAAE,GAAG,OAAO,EAAE,GAAG,GAAG,EAAE,CAAE,SAAQ,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC;IAC/E,mFAAmF;IACnF,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,GAAG,CAAC;IAC1C,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAC/C,QAAQ,IAAI,MAAM,CAAC,EAAE,GAAG,SAAS,EAAE,GAAG,GAAG,SAAS,CAAC,CAAC;IACpD;;;;OAIG;IACH,QAAQ,IAAI,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC,CAAC;IAC1C,OAAO,CAAC,KAAK,EAAE,GAAG,GAAG,MAAM,CAAC,EAAE,GAAG,SAAS,EAAE,GAAG,CAAC,CAAC;IACjD,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;CAChD;AAED,oGAAoG;AACpG,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAEjD,MAAM,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;AAExD,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,CAAC;AAExD,KAAK,kBAAkB,CAAC,CAAC,SAAS,KAAK,IAAI;KACxC,CAAC,IAAI,MAAM,CAAC,GAAG,SAAS,SAAS,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAChE,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX,KAAK,iBAAiB,CAAC,CAAC,SAAS,KAAK,IAAI;KACvC,CAAC,IAAI,MAAM,CAAC,GAAG,SAAS,SAAS,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAC/D,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,KAAK,IAAI,QAAQ,CACjD;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;KACrE,CAAC,IAAI,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACjD,CACF,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,KAAK,IAAI,QAAQ,CAChD;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;KACnE,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC/C,CACF,CAAC;AAWF,wBAAgB,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CA0CxF;AAED,2EAA2E;AAC3E,wBAAgB,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAcpE"}

package/src/builder.js

@@ -0,0 +1,93 @@
+// Single responsibility: the `Schema` type every builtin validator returns, and the factory
+// that turns a check function plus an IR node into a Standard-Schema-conforming object.
+import { ValidationFailedError } from './errors';
+import { formatPath, } from './standard';
+export const VENDOR = 'ultimate';
+export function pass(value) {
+    return { ok: true, value };
+}
+export function fail(path, message) {
+    return { ok: false, issues: [{ message, path: [...path] }] };
+}
+export function failWith(issues) {
+    return { ok: false, issues };
+}
+/** `expected uuid, received "abc"` — the message an agent can act on without guessing. */
+export function expected(what, value) {
+    return `expected ${what}, received ${describeValue(value)}`;
+}
+export function describeValue(value) {
+    if (value === undefined)
+        return 'undefined';
+    if (value === null)
+        return 'null';
+    if (typeof value === 'string')
+        return JSON.stringify(value);
+    if (typeof value === 'number' || typeof value === 'boolean')
+        return String(value);
+    if (Array.isArray(value))
+        return `array(${value.length})`;
+    if (value instanceof Date)
+        return `Date(${value.toISOString()})`;
+    return typeof value;
+}
+function toIssues(result) {
+    return result.issues.map((issue) => ({
+        path: formatPath(issue.path),
+        expected: issue.message,
+        received: '',
+        message: issue.message,
+    }));
+}
+export function makeSchema(node, check) {
+    const schema = {
+        '~standard': {
+            version: 1,
+            vendor: VENDOR,
+            validate: (value) => {
+                const result = check(value, []);
+                return result.ok ? { value: result.value } : { issues: result.issues };
+            },
+        },
+        node,
+        parse(value, root = 'value') {
+            const result = check(value, []);
+            if (result.ok)
+                return result.value;
+            throw new ValidationFailedError(toIssues(result), root);
+        },
+        safeParse(value) {
+            const result = check(value, []);
+            return result.ok ? { value: result.value } : { issues: result.issues };
+        },
+        optional() {
+            return makeSchema({ ...node, optional: true }, (value, path) => (value === undefined ? pass(undefined) : check(value, path)));
+        },
+        nullable() {
+            return makeSchema({ ...node, nullable: true }, (value, path) => value === null ? pass(null) : check(value, path));
+        },
+        default(fallback) {
+            return makeSchema({ ...node, hasDefault: true, default: fallback }, (value, path) => (value === undefined ? pass(fallback) : check(value, path)));
+        },
+        describe(description) {
+            return makeSchema({ ...node, description }, check);
+        },
+    };
+    return schema;
+}
+/** Read the check back off a builtin schema so composites can reuse it. */
+export function checkOf(schema) {
+    return (value, path) => {
+        const result = schema['~standard'].validate(value);
+        if (result instanceof Promise) {
+            return fail(path, 'expected a synchronous schema, received an async one');
+        }
+        if (result.issues === undefined)
+            return pass(result.value);
+        return failWith(result.issues.map((issue) => ({
+            message: issue.message,
+            path: [...path, ...(issue.path ?? [])],
+        })));
+    };
+}
+//# sourceMappingURL=builder.js.map

package/src/builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builder.js","sourceRoot":"","sources":["builder.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,wFAAwF;AAExF,OAAO,EAAE,qBAAqB,EAAwB,MAAM,UAAU,CAAC;AAEvE,OAAO,EACL,UAAU,GAMX,MAAM,YAAY,CAAC;AAEpB,MAAM,CAAC,MAAM,MAAM,GAAG,UAAU,CAAC;AAkBjC,MAAM,UAAU,IAAI,CAAM,KAAU;IAClC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,IAAU,EAAE,OAAe;IAC9C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,MAAgC;IACvD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC/B,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,KAAc;IACnD,OAAO,YAAY,IAAI,cAAc,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IAC5C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IAClF,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,KAAK,CAAC,MAAM,GAAG,CAAC;IAC1D,IAAI,KAAK,YAAY,IAAI;QAAE,OAAO,QAAQ,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC;IACjE,OAAO,OAAO,KAAK,CAAC;AACtB,CAAC;AA6CD,SAAS,QAAQ,CAAC,MAAgB;IAChC,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5B,QAAQ,EAAE,KAAK,CAAC,OAAO;QACvB,QAAQ,EAAE,EAAE;QACZ,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,UAAU,CAAU,IAAgB,EAAE,KAAiB;IACrE,MAAM,MAAM,GAAoB;QAC9B,WAAW,EAAE;YACX,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,CAAC,KAAc,EAAuB,EAAE;gBAChD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAChC,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;YACzE,CAAC;SACF;QACD,IAAI;QACJ,KAAK,CAAC,KAAc,EAAE,IAAI,GAAG,OAAO;YAClC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAChC,IAAI,MAAM,CAAC,EAAE;gBAAE,OAAO,MAAM,CAAC,KAAK,CAAC;YACnC,MAAM,IAAI,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;QAC1D,CAAC;QACD,SAAS,CAAC,KAAc;YACtB,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAChC,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;QACzE,CAAC;QACD,QAAQ;YACN,OAAO,UAAU,CACf,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAC3B,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAC9E,CAAC;QACJ,CAAC;QACD,QAAQ;YACN,OAAO,UAAU,CAAwB,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACpF,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CACjD,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,QAAa;YACnB,OAAO,UAAU,CACf,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAChD,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAC7E,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,WAAmB;YAC1B,OAAO,UAAU,CAAU,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,EAAE,KAAK,CAAC,CAAC;QAC9D,CAAC;KACF,CAAC;IACF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,OAAO,CAAU,MAAuB;IACtD,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QACrB,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACnD,IAAI,MAAM,YAAY,OAAO,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,IAAI,EAAE,sDAAsD,CAAC,CAAC;QAC5E,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3D,OAAO,QAAQ,CACb,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;SACvC,CAAC,CAAC,CACJ,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC"}

package/src/builder.ts

@@ -0,0 +1,173 @@
+// Single responsibility: the `Schema` type every builtin validator returns, and the factory
+// that turns a check function plus an IR node into a Standard-Schema-conforming object.
+
+import { ValidationFailedError, type ValidationIssue } from './errors';
+import type { SchemaNode } from './node';
+import {
+  formatPath,
+  type InferInput,
+  type InferOutput,
+  type StandardIssue,
+  type StandardResult,
+  type StandardSchemaV1,
+} from './standard';
+
+export const VENDOR = 'ultimate';
+
+export type Path = readonly PropertyKey[];
+
+export interface CheckOk<Out> {
+  readonly ok: true;
+  readonly value: Out;
+}
+
+export interface CheckErr {
+  readonly ok: false;
+  readonly issues: readonly StandardIssue[];
+}
+
+export type CheckResult<Out> = CheckOk<Out> | CheckErr;
+
+export type Check<Out> = (value: unknown, path: Path) => CheckResult<Out>;
+
+export function pass<Out>(value: Out): CheckOk<Out> {
+  return { ok: true, value };
+}
+
+export function fail(path: Path, message: string): CheckErr {
+  return { ok: false, issues: [{ message, path: [...path] }] };
+}
+
+export function failWith(issues: readonly StandardIssue[]): CheckErr {
+  return { ok: false, issues };
+}
+
+/** `expected uuid, received "abc"` — the message an agent can act on without guessing. */
+export function expected(what: string, value: unknown): string {
+  return `expected ${what}, received ${describeValue(value)}`;
+}
+
+export function describeValue(value: unknown): string {
+  if (value === undefined) return 'undefined';
+  if (value === null) return 'null';
+  if (typeof value === 'string') return JSON.stringify(value);
+  if (typeof value === 'number' || typeof value === 'boolean') return String(value);
+  if (Array.isArray(value)) return `array(${value.length})`;
+  if (value instanceof Date) {
+    return Number.isNaN(value.getTime()) ? 'Date(Invalid Date)' : `Date(${value.toISOString()})`;
+  }
+  return typeof value;
+}
+
+export interface Schema<In = unknown, Out = In> extends StandardSchemaV1<In, Out> {
+  /** The introspectable IR. JSON Schema, OpenAPI, MCP and coercion all read this. */
+  readonly node: SchemaNode;
+  parse(value: unknown, root?: string): Out;
+  safeParse(value: unknown): StandardResult<Out>;
+  optional(): Schema<In | undefined, Out | undefined>;
+  /**
+   * Distinct from `optional()`: absent and null are different facts. A nullable column holds a
+   * row that says "no cover image"; an optional field says the caller did not mention it. SQL
+   * has always drawn that line, so the schema has to as well or a round-trip loses it.
+   */
+  nullable(): Schema<In | null, Out | null>;
+  default(value: Out): Schema<In | undefined, Out>;
+  describe(description: string): Schema<In, Out>;
+}
+
+/** The general constraint for "some schema". Methods are bivariant, so this is a real supertype. */
+export type AnySchema = Schema<unknown, unknown>;
+
+export type Shape = Readonly<Record<string, AnySchema>>;
+
+export type Simplify<T> = { [K in keyof T]: T[K] } & {};
+
+type OptionalOutputKeys<S extends Shape> = {
+  [K in keyof S]: undefined extends InferOutput<S[K]> ? K : never;
+}[keyof S];
+
+type OptionalInputKeys<S extends Shape> = {
+  [K in keyof S]: undefined extends InferInput<S[K]> ? K : never;
+}[keyof S];
+
+export type ShapeOutput<S extends Shape> = Simplify<
+  { [K in Exclude<keyof S, OptionalOutputKeys<S>>]: InferOutput<S[K]> } & {
+    [K in OptionalOutputKeys<S>]?: InferOutput<S[K]>;
+  }
+>;
+
+export type ShapeInput<S extends Shape> = Simplify<
+  { [K in Exclude<keyof S, OptionalInputKeys<S>>]: InferInput<S[K]> } & {
+    [K in OptionalInputKeys<S>]?: InferInput<S[K]>;
+  }
+>;
+
+function toIssues(result: CheckErr): readonly ValidationIssue[] {
+  return result.issues.map((issue) => ({
+    path: formatPath(issue.path),
+    expected: issue.message,
+    received: '',
+    message: issue.message,
+  }));
+}
+
+export function makeSchema<In, Out>(node: SchemaNode, check: Check<Out>): Schema<In, Out> {
+  const schema: Schema<In, Out> = {
+    '~standard': {
+      version: 1,
+      vendor: VENDOR,
+      validate: (value: unknown): StandardResult<Out> => {
+        const result = check(value, []);
+        return result.ok ? { value: result.value } : { issues: result.issues };
+      },
+    },
+    node,
+    parse(value: unknown, root = 'value'): Out {
+      const result = check(value, []);
+      if (result.ok) return result.value;
+      throw new ValidationFailedError(toIssues(result), root);
+    },
+    safeParse(value: unknown): StandardResult<Out> {
+      const result = check(value, []);
+      return result.ok ? { value: result.value } : { issues: result.issues };
+    },
+    optional(): Schema<In | undefined, Out | undefined> {
+      return makeSchema<In | undefined, Out | undefined>(
+        { ...node, optional: true },
+        (value, path) => (value === undefined ? pass(undefined) : check(value, path)),
+      );
+    },
+    nullable(): Schema<In | null, Out | null> {
+      return makeSchema<In | null, Out | null>({ ...node, nullable: true }, (value, path) =>
+        value === null ? pass(null) : check(value, path),
+      );
+    },
+    default(fallback: Out): Schema<In | undefined, Out> {
+      return makeSchema<In | undefined, Out>(
+        { ...node, hasDefault: true, default: fallback },
+        (value, path) => (value === undefined ? pass(fallback) : check(value, path)),
+      );
+    },
+    describe(description: string): Schema<In, Out> {
+      return makeSchema<In, Out>({ ...node, description }, check);
+    },
+  };
+  return schema;
+}
+
+/** Read the check back off a builtin schema so composites can reuse it. */
+export function checkOf<In, Out>(schema: Schema<In, Out>): Check<Out> {
+  return (value, path) => {
+    const result = schema['~standard'].validate(value);
+    if (result instanceof Promise) {
+      return fail(path, 'expected a synchronous schema, received an async one');
+    }
+    if (result.issues === undefined) return pass(result.value);
+    return failWith(
+      result.issues.map((issue) => ({
+        message: issue.message,
+        path: [...path, ...(issue.path ?? [])],
+      })),
+    );
+  };
+}

package/src/coerce.d.ts

@@ -0,0 +1,15 @@
+import type { SchemaNode } from './node';
+export type QuerySource = URLSearchParams | Readonly<Record<string, string | readonly string[] | undefined>>;
+/**
+ * Coerce one raw value toward `node`. Never throws and never invents data: anything it cannot
+ * confidently convert is returned untouched so validation produces the real error message.
+ */
+export declare function coerceNode(node: SchemaNode, raw: unknown): unknown;
+/**
+ * Coerce a query string / route params object against a schema, ready to `parse()`.
+ * Unknown keys are passed through — the schema decides what to keep.
+ */
+export declare function coerceQuery(schema: unknown, source: QuerySource): Record<string, unknown>;
+/** Coerce an arbitrary record (route params, form data) against a schema. */
+export declare function coerceInput(schema: unknown, raw: Readonly<Record<string, unknown>>): Record<string, unknown>;
+//# sourceMappingURL=coerce.d.ts.map

package/src/coerce.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coerce.d.ts","sourceRoot":"","sources":["coerce.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAMzC,MAAM,MAAM,WAAW,GACnB,eAAe,GACf,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;AAErE;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,GAAG,OAAO,CA2DlE;AAcD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAYzF;AAMD,6EAA6E;AAC7E,wBAAgB,WAAW,CACzB,MAAM,EAAE,OAAO,EACf,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACrC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAOzB"}

package/src/coerce.js

@@ -0,0 +1,123 @@
+// Single responsibility: HTTP-boundary coercion. Kept out of validation on purpose — only the
+// HTTP layer has strings that "mean" numbers. Actions, jobs and MCP calls receive real JSON and
+// must never get this leniency.
+import { tryIntrospect } from './provider';
+const TRUE_VALUES = new Set(['1', 'true', 'yes', 'on']);
+const FALSE_VALUES = new Set(['0', 'false', 'no', 'off', '']);
+/**
+ * Coerce one raw value toward `node`. Never throws and never invents data: anything it cannot
+ * confidently convert is returned untouched so validation produces the real error message.
+ */
+export function coerceNode(node, raw) {
+    if (raw === undefined || raw === null)
+        return raw;
+    switch (node.kind) {
+        case 'number': {
+            if (typeof raw !== 'string')
+                return raw;
+            const value = Number(raw);
+            return raw.trim() !== '' && Number.isFinite(value) ? value : raw;
+        }
+        case 'boolean': {
+            if (typeof raw !== 'string')
+                return raw;
+            const lowered = raw.toLowerCase();
+            if (TRUE_VALUES.has(lowered))
+                return true;
+            if (FALSE_VALUES.has(lowered))
+                return false;
+            return raw;
+        }
+        case 'date': {
+            if (typeof raw !== 'string')
+                return raw;
+            const parsed = new Date(raw);
+            return Number.isNaN(parsed.getTime()) ? raw : parsed;
+        }
+        case 'array': {
+            const items = Array.isArray(raw) ? raw : [raw];
+            const itemNode = node.items;
+            return itemNode === undefined ? items : items.map((item) => coerceNode(itemNode, item));
+        }
+        case 'record': {
+            if (typeof raw !== 'object' || node.valueNode === undefined)
+                return raw;
+            const out = {};
+            for (const [key, value] of Object.entries(raw)) {
+                out[key] = coerceNode(node.valueNode, value);
+            }
+            return out;
+        }
+        case 'object': {
+            if (typeof raw !== 'object' || node.properties === undefined)
+                return raw;
+            const source = raw;
+            const out = { ...source };
+            for (const [key, child] of Object.entries(node.properties)) {
+                if (key in source)
+                    out[key] = coerceNode(child, source[key]);
+            }
+            return out;
+        }
+        case 'money': {
+            if (typeof raw !== 'object')
+                return raw;
+            const source = raw;
+            const minor = typeof source['minor'] === 'string' ? Number(source['minor']) : source['minor'];
+            return Number.isFinite(minor) ? { ...source, minor } : raw;
+        }
+        case 'union': {
+            // Only unambiguous single-kind unions (e.g. `number | undefined`) are safe to coerce.
+            const kinds = new Set((node.anyOf ?? []).map((member) => member.kind));
+            if (kinds.size !== 1)
+                return raw;
+            const [member] = node.anyOf ?? [];
+            return member === undefined ? raw : coerceNode(member, raw);
+        }
+        default:
+            return raw;
+    }
+}
+function toRecord(source) {
+    if (!(source instanceof URLSearchParams)) {
+        return { ...source };
+    }
+    const out = {};
+    for (const key of new Set(source.keys())) {
+        const all = source.getAll(key);
+        out[key] = all.length > 1 ? all : all[0];
+    }
+    return out;
+}
+/**
+ * Coerce a query string / route params object against a schema, ready to `parse()`.
+ * Unknown keys are passed through — the schema decides what to keep.
+ */
+export function coerceQuery(schema, source) {
+    const record = toRecord(source);
+    const node = tryIntrospect(schema);
+    if (node?.properties === undefined)
+        return record;
+    const out = { ...record };
+    for (const [key, child] of Object.entries(node.properties)) {
+        if (!(key in record))
+            continue;
+        const raw = record[key];
+        out[key] = coerceNode(child, child.kind === 'array' ? (raw ?? []) : normaliseSingle(raw));
+    }
+    return out;
+}
+function normaliseSingle(raw) {
+    return Array.isArray(raw) ? raw[raw.length - 1] : raw;
+}
+/** Coerce an arbitrary record (route params, form data) against a schema. */
+export function coerceInput(schema, raw) {
+    const node = tryIntrospect(schema);
+    if (node === undefined)
+        return { ...raw };
+    const coerced = coerceNode(node, raw);
+    return typeof coerced === 'object' && coerced !== null
+        ? coerced
+        : { ...raw };
+}
+//# sourceMappingURL=coerce.js.map

package/src/coerce.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coerce.js","sourceRoot":"","sources":["coerce.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,gGAAgG;AAChG,gCAAgC;AAGhC,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AACxD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;AAM9D;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,IAAgB,EAAE,GAAY;IACvD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC;IAElD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,EAAE,CAAC;YACd,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAO,GAAG,CAAC;YACxC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YAC1B,OAAO,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;QACnE,CAAC;QACD,KAAK,SAAS,EAAE,CAAC;YACf,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAO,GAAG,CAAC;YACxC,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;YAClC,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC1C,IAAI,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC5C,OAAO,GAAG,CAAC;QACb,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAO,GAAG,CAAC;YACxC,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC;YAC7B,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;QACvD,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,KAAK,GAAc,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC;YAC5B,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1F,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;gBAAE,OAAO,GAAG,CAAC;YACxE,MAAM,GAAG,GAA4B,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,EAAE,CAAC;gBAC1E,GAAG,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YAC/C,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;gBAAE,OAAO,GAAG,CAAC;YACzE,MAAM,MAAM,GAAG,GAA8B,CAAC;YAC9C,MAAM,GAAG,GAA4B,EAAE,GAAG,MAAM,EAAE,CAAC;YACnD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC3D,IAAI,GAAG,IAAI,MAAM;oBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAC/D,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAO,GAAG,CAAC;YACxC,MAAM,MAAM,GAAG,GAA8B,CAAC;YAC9C,MAAM,KAAK,GAAG,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9F,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7D,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,sFAAsF;YACtF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;YACvE,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;gBAAE,OAAO,GAAG,CAAC;YACjC,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAClC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC9D,CAAC;QACD;YACE,OAAO,GAAG,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,MAAmB;IACnC,IAAI,CAAC,CAAC,MAAM,YAAY,eAAe,CAAC,EAAE,CAAC;QACzC,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC;IACvB,CAAC;IACD,MAAM,GAAG,GAA+C,EAAE,CAAC;IAC3D,KAAK,MAAM,GAAG,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC/B,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAY,CAAC;IACvD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,MAAe,EAAE,MAAmB;IAC9D,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,IAAI,EAAE,UAAU,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAElD,MAAM,GAAG,GAA4B,EAAE,GAAG,MAAM,EAAE,CAAC;IACnD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC;YAAE,SAAS;QAC/B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QACxB,GAAG,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,eAAe,CAAC,GAA2C;IAClE,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AACxD,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,WAAW,CACzB,MAAe,EACf,GAAsC;IAEtC,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,GAAG,GAAG,EAAE,CAAC;IAC1C,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtC,OAAO,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI;QACpD,CAAC,CAAE,OAAmC;QACtC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC;AACjB,CAAC"}