@assemora/schema 0.1.0

package/dist/primitives.js

@@ -0,0 +1,377 @@
+import { fail, ok, } from './types.js';
+/** Adds "may be absent" without touching the wrapped schema. */
+const optionalOf = (inner) => ({
+    ...inner,
+    isOptional: true,
+    parse: (value) => value === undefined ? ok(undefined) : inner.parse(value),
+});
+/** Adds "may be null" without touching the wrapped schema. */
+const nullableOf = (inner) => ({
+    ...inner,
+    isNullable: true,
+    parse: (value) => value === null ? ok(null) : inner.parse(value),
+    toJsonSchema: () => ({ ...inner.toJsonSchema(), nullable: true }),
+});
+/**
+ * The two modifiers, as combinators, for a schema whose builder is out of reach.
+ *
+ * `string().optional()` is how a *declaration* says it. These are how a caller holding
+ * a `Schema<T>` says the same thing — and by the time a schema crosses a package
+ * boundary that is all it is: `@assemora/resources` builds a group's shape out of the
+ * schemas its fields carry, and those arrive already erased to the interface. Without
+ * these the only way to make one of them absent-able is to rebuild the wrapper object
+ * by hand in every package that needs one, which is how the meaning of "optional"
+ * comes to differ between two of them.
+ */
+export const optional = (inner) => optionalOf(inner);
+export const nullable = (inner) => nullableOf(inner);
+const applyRefinements = (value, refinements) => refinements.map((refine) => refine(value)).filter((issue) => issue !== undefined);
+const EMAIL = /^[^\s@]+@[^\s@]+\.[^\s@]+$/;
+const UUID = /^[0-9a-f]{8}-[0-9a-f]{4}-[1-8][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/i;
+const buildString = (state) => {
+    const self = {
+        kind: 'string',
+        isOptional: false,
+        isNullable: false,
+        description: state.description,
+        parse: (value) => {
+            if (typeof value !== 'string')
+                return fail('type', 'Expected a string');
+            const issues = applyRefinements(value, state.refinements);
+            return issues.length > 0 ? { ok: false, issues } : ok(value);
+        },
+        toJsonSchema: () => ({
+            type: 'string',
+            ...state.json,
+            ...(state.description === undefined ? {} : { description: state.description }),
+        }),
+        min: (length) => buildString({
+            ...state,
+            json: { ...state.json, minLength: length },
+            refinements: [
+                ...state.refinements,
+                (value) => value.length < length
+                    ? {
+                        path: [],
+                        code: 'min',
+                        message: `Must be at least ${length} characters`,
+                        params: { length },
+                    }
+                    : undefined,
+            ],
+        }),
+        max: (length) => buildString({
+            ...state,
+            json: { ...state.json, maxLength: length },
+            refinements: [
+                ...state.refinements,
+                (value) => value.length > length
+                    ? {
+                        path: [],
+                        code: 'max',
+                        message: `Must be at most ${length} characters`,
+                        params: { length },
+                    }
+                    : undefined,
+            ],
+        }),
+        pattern: (expression, message = 'Invalid format') => buildString({
+            ...state,
+            json: { ...state.json, pattern: expression.source },
+            refinements: [
+                ...state.refinements,
+                (value) => (expression.test(value) ? undefined : { path: [], code: 'pattern', message }),
+            ],
+        }),
+        email: () => buildString({
+            ...state,
+            json: { ...state.json, format: 'email' },
+            refinements: [
+                ...state.refinements,
+                (value) => EMAIL.test(value) ? undefined : { path: [], code: 'email', message: 'Invalid email' },
+            ],
+        }),
+        uuid: () => buildString({
+            ...state,
+            json: { ...state.json, format: 'uuid' },
+            refinements: [
+                ...state.refinements,
+                (value) => UUID.test(value) ? undefined : { path: [], code: 'uuid', message: 'Invalid UUID' },
+            ],
+        }),
+        describe: (text) => buildString({ ...state, description: text }),
+        optional: () => optionalOf(self),
+        nullable: () => nullableOf(self),
+    };
+    return self;
+};
+export const string = () => buildString({ refinements: [], json: {}, description: undefined });
+/** A UUID string. Shorthand for `string().uuid()`, which reads better in a model. */
+export const uuid = () => string().uuid();
+/** An email address. Shorthand for `string().email()`. */
+export const email = () => string().email();
+const buildNumber = (state) => {
+    const self = {
+        kind: 'number',
+        isOptional: false,
+        isNullable: false,
+        description: state.description,
+        parse: (value) => {
+            if (typeof value !== 'number' || Number.isNaN(value))
+                return fail('type', 'Expected a number');
+            const issues = applyRefinements(value, state.refinements);
+            return issues.length > 0 ? { ok: false, issues } : ok(value);
+        },
+        toJsonSchema: () => ({
+            type: 'number',
+            ...state.json,
+            ...(state.description === undefined ? {} : { description: state.description }),
+        }),
+        min: (minimum) => buildNumber({
+            ...state,
+            json: { ...state.json, minimum },
+            refinements: [
+                ...state.refinements,
+                (value) => value < minimum
+                    ? {
+                        path: [],
+                        code: 'min',
+                        message: `Must be at least ${minimum}`,
+                        params: { minimum },
+                    }
+                    : undefined,
+            ],
+        }),
+        max: (maximum) => buildNumber({
+            ...state,
+            json: { ...state.json, maximum },
+            refinements: [
+                ...state.refinements,
+                (value) => value > maximum
+                    ? {
+                        path: [],
+                        code: 'max',
+                        message: `Must be at most ${maximum}`,
+                        params: { maximum },
+                    }
+                    : undefined,
+            ],
+        }),
+        integer: () => buildNumber({
+            ...state,
+            json: { ...state.json, type: 'integer' },
+            refinements: [
+                ...state.refinements,
+                (value) => Number.isInteger(value)
+                    ? undefined
+                    : { path: [], code: 'integer', message: 'Must be an integer' },
+            ],
+        }),
+        describe: (text) => buildNumber({ ...state, description: text }),
+        optional: () => optionalOf(self),
+        nullable: () => nullableOf(self),
+    };
+    return self;
+};
+export const number = () => buildNumber({ refinements: [], json: {}, description: undefined });
+export const integer = () => number().integer();
+const buildBoolean = (description) => {
+    const self = {
+        kind: 'boolean',
+        isOptional: false,
+        isNullable: false,
+        description,
+        parse: (value) => typeof value === 'boolean' ? ok(value) : fail('type', 'Expected a boolean'),
+        toJsonSchema: () => ({
+            type: 'boolean',
+            ...(description === undefined ? {} : { description }),
+        }),
+        describe: (text) => buildBoolean(text),
+        optional: () => optionalOf(self),
+        nullable: () => nullableOf(self),
+    };
+    return self;
+};
+export const boolean = () => buildBoolean(undefined);
+const buildEnum = (values, description) => {
+    const allowed = new Set(values);
+    const self = {
+        kind: 'enum',
+        isOptional: false,
+        isNullable: false,
+        description,
+        values,
+        parse: (value) => typeof value === 'string' && allowed.has(value)
+            ? ok(value)
+            : fail('enum', `Expected one of: ${values.join(', ')}`, [], { values: [...values] }),
+        toJsonSchema: () => ({
+            type: 'string',
+            enum: [...values],
+            ...(description === undefined ? {} : { description }),
+        }),
+        describe: (text) => buildEnum(values, text),
+        optional: () => optionalOf(self),
+        nullable: () => nullableOf(self),
+    };
+    return self;
+};
+/** `enumOf('draft', 'published')` infers the literal union, not `string`. */
+export const enumOf = (...values) => buildEnum(values, undefined);
+const buildTimestamp = (description) => {
+    const self = {
+        kind: 'timestamp',
+        isOptional: false,
+        isNullable: false,
+        description,
+        parse: (value) => {
+            if (value instanceof Date) {
+                return Number.isNaN(value.getTime()) ? fail('type', 'Invalid date') : ok(value);
+            }
+            if (typeof value === 'string' || typeof value === 'number') {
+                const parsed = new Date(value);
+                return Number.isNaN(parsed.getTime()) ? fail('type', 'Invalid date') : ok(parsed);
+            }
+            return fail('type', 'Expected a date');
+        },
+        toJsonSchema: () => ({
+            type: 'string',
+            format: 'date-time',
+            ...(description === undefined ? {} : { description }),
+        }),
+        describe: (text) => buildTimestamp(text),
+        optional: () => optionalOf(self),
+        nullable: () => nullableOf(self),
+    };
+    return self;
+};
+export const timestamp = () => buildTimestamp(undefined);
+const buildJson = (description) => {
+    const self = {
+        kind: 'json',
+        isOptional: false,
+        isNullable: false,
+        description,
+        parse: (value) => {
+            if (value === undefined || typeof value === 'function') {
+                return fail('type', 'Expected a JSON value');
+            }
+            // The caller states the shape through the type argument; JSON has no runtime
+            // description of it. Structural checking belongs in an explicit object().
+            return ok(value);
+        },
+        toJsonSchema: () => ({
+            ...(description === undefined ? {} : { description }),
+        }),
+        describe: (text) => buildJson(text),
+        optional: () => optionalOf(self),
+        nullable: () => nullableOf(self),
+    };
+    return self;
+};
+/** An opaque JSON payload whose shape the caller declares: `json<UserSettings>()`. */
+export const json = () => buildJson(undefined);
+const buildUnknown = (description) => {
+    const self = {
+        kind: 'unknown',
+        isOptional: false,
+        isNullable: false,
+        description,
+        parse: (value) => ok(value),
+        toJsonSchema: () => ({ ...(description === undefined ? {} : { description }) }),
+        describe: (text) => buildUnknown(text),
+        optional: () => optionalOf(self),
+    };
+    return self;
+};
+export const unknown = () => buildUnknown(undefined);
+const buildBigInt = (description) => {
+    const self = {
+        kind: 'bigint',
+        isOptional: false,
+        isNullable: false,
+        description,
+        parse: (value) => {
+            if (typeof value === 'bigint')
+                return ok(value);
+            if (typeof value === 'number' && Number.isInteger(value))
+                return ok(BigInt(value));
+            if (typeof value === 'string' && /^-?\d+$/.test(value))
+                return ok(BigInt(value));
+            return fail('type', 'Expected a big integer');
+        },
+        toJsonSchema: () => ({
+            type: 'string',
+            format: 'int64',
+            ...(description === undefined ? {} : { description }),
+        }),
+        describe: (text) => buildBigInt(text),
+        optional: () => optionalOf(self),
+        nullable: () => nullableOf(self),
+    };
+    return self;
+};
+export const bigint = () => buildBigInt(undefined);
+/** Canonical base64. Anything else is not what `contentEncoding` promised. */
+const BASE64 = /^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==|[A-Za-z0-9+/]{3}=)?$/;
+const ALPHABET = 'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/';
+/**
+ * Decoded here rather than through `atob` or `Buffer`.
+ *
+ * This package has no dependencies and runs in a browser, in Node and in a worker
+ * (SPEC.md §8), and those two names are not all present in all three.
+ */
+const decodeBase64 = (value) => {
+    if (!BASE64.test(value))
+        return undefined;
+    const body = value.replace(/=+$/, '');
+    const decoded = new Uint8Array((body.length * 3) >> 2);
+    let accumulator = 0;
+    let bits = 0;
+    let written = 0;
+    for (const character of body) {
+        const index = ALPHABET.indexOf(character);
+        accumulator = (accumulator << 6) | index;
+        bits += 6;
+        if (bits >= 8) {
+            bits -= 8;
+            decoded[written] = (accumulator >> bits) & 0xff;
+            written += 1;
+        }
+    }
+    return decoded;
+};
+const buildBinary = (description) => {
+    const self = {
+        kind: 'binary',
+        isOptional: false,
+        isNullable: false,
+        description,
+        /**
+         * Bytes in process, base64 over the wire.
+         *
+         * The JSON description says `contentEncoding: base64`, and a schema that
+         * publishes an encoding it will not accept is describing something it is not.
+         * JSON has no bytes, so an upload arriving over HTTP has no other form.
+         */
+        parse: (value) => {
+            if (value instanceof Uint8Array)
+                return ok(value);
+            if (typeof value === 'string') {
+                const decoded = decodeBase64(value);
+                return decoded === undefined ? fail('encoding', 'Expected base64 data') : ok(decoded);
+            }
+            return fail('type', 'Expected binary data');
+        },
+        toJsonSchema: () => ({
+            type: 'string',
+            contentEncoding: 'base64',
+            ...(description === undefined ? {} : { description }),
+        }),
+        describe: (text) => buildBinary(text),
+        optional: () => optionalOf(self),
+        nullable: () => nullableOf(self),
+    };
+    return self;
+};
+export const binary = () => buildBinary(undefined);
+//# sourceMappingURL=primitives.js.map

package/dist/primitives.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../src/primitives.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EAKJ,EAAE,GAGH,MAAM,YAAY,CAAA;AAInB,gEAAgE;AAChE,MAAM,UAAU,GAAG,CAAI,KAAgB,EAAqB,EAAE,CAAC,CAAC;IAC9D,GAAG,KAAK;IACR,UAAU,EAAE,IAAI;IAChB,KAAK,EAAE,CAAC,KAAc,EAA8B,EAAE,CACpD,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;CAC3D,CAAC,CAAA;AAEF,8DAA8D;AAC9D,MAAM,UAAU,GAAG,CAAI,KAAgB,EAAoB,EAAE,CAAC,CAAC;IAC7D,GAAG,KAAK;IACR,UAAU,EAAE,IAAI;IAChB,KAAK,EAAE,CAAC,KAAc,EAAyB,EAAE,CAC/C,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;IAChD,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,YAAY,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;CAClE,CAAC,CAAA;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAI,KAAgB,EAAqB,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;AAErF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAI,KAAgB,EAAoB,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;AAEpF,MAAM,gBAAgB,GAAG,CAAI,KAAQ,EAAE,WAAqC,EAAW,EAAE,CACvF,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAkB,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAA;AAqBnG,MAAM,KAAK,GAAG,4BAA4B,CAAA;AAC1C,MAAM,IAAI,GAAG,4EAA4E,CAAA;AAEzF,MAAM,WAAW,GAAG,CAAC,KAAkB,EAAgB,EAAE;IACvD,MAAM,IAAI,GAAiB;QACzB,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,KAAK,CAAC,WAAW;QAE9B,KAAK,EAAE,CAAC,KAAc,EAAuB,EAAE;YAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;YACvE,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,CAAA;YACzD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;QAC9D,CAAC;QAED,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,QAAQ;YACd,GAAG,KAAK,CAAC,IAAI;YACb,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC;SAC/E,CAAC;QAEF,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,CACd,WAAW,CAAC;YACV,GAAG,KAAK;YACR,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE;YAC1C,WAAW,EAAE;gBACX,GAAG,KAAK,CAAC,WAAW;gBACpB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,MAAM,GAAG,MAAM;oBACnB,CAAC,CAAC;wBACE,IAAI,EAAE,EAAE;wBACR,IAAI,EAAE,KAAK;wBACX,OAAO,EAAE,oBAAoB,MAAM,aAAa;wBAChD,MAAM,EAAE,EAAE,MAAM,EAAE;qBACnB;oBACH,CAAC,CAAC,SAAS;aAChB;SACF,CAAC;QAEJ,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,CACd,WAAW,CAAC;YACV,GAAG,KAAK;YACR,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE;YAC1C,WAAW,EAAE;gBACX,GAAG,KAAK,CAAC,WAAW;gBACpB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,MAAM,GAAG,MAAM;oBACnB,CAAC,CAAC;wBACE,IAAI,EAAE,EAAE;wBACR,IAAI,EAAE,KAAK;wBACX,OAAO,EAAE,mBAAmB,MAAM,aAAa;wBAC/C,MAAM,EAAE,EAAE,MAAM,EAAE;qBACnB;oBACH,CAAC,CAAC,SAAS;aAChB;SACF,CAAC;QAEJ,OAAO,EAAE,CAAC,UAAU,EAAE,OAAO,GAAG,gBAAgB,EAAE,EAAE,CAClD,WAAW,CAAC;YACV,GAAG,KAAK;YACR,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,MAAM,EAAE;YACnD,WAAW,EAAE;gBACX,GAAG,KAAK,CAAC,WAAW;gBACpB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;aACzF;SACF,CAAC;QAEJ,KAAK,EAAE,GAAG,EAAE,CACV,WAAW,CAAC;YACV,GAAG,KAAK;YACR,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE;YACxC,WAAW,EAAE;gBACX,GAAG,KAAK,CAAC,WAAW;gBACpB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE;aACxF;SACF,CAAC;QAEJ,IAAI,EAAE,GAAG,EAAE,CACT,WAAW,CAAC;YACV,GAAG,KAAK;YACR,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE;YACvC,WAAW,EAAE;gBACX,GAAG,KAAK,CAAC,WAAW;gBACpB,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE;aACrF;SACF,CAAC;QAEJ,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QAChE,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAChC,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;KACjC,CAAA;IAED,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,GAAiB,EAAE,CACvC,WAAW,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAA;AAEpE,qFAAqF;AACrF,MAAM,CAAC,MAAM,IAAI,GAAG,GAAiB,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAA;AAEvD,0DAA0D;AAC1D,MAAM,CAAC,MAAM,KAAK,GAAG,GAAiB,EAAE,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,CAAA;AAmBzD,MAAM,WAAW,GAAG,CAAC,KAAkB,EAAgB,EAAE;IACvD,MAAM,IAAI,GAAiB;QACzB,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,KAAK,CAAC,WAAW;QAE9B,KAAK,EAAE,CAAC,KAAc,EAAuB,EAAE;YAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;YAC9F,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,CAAA;YACzD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;QAC9D,CAAC;QAED,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,QAAQ;YACd,GAAG,KAAK,CAAC,IAAI;YACb,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC;SAC/E,CAAC;QAEF,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,CACf,WAAW,CAAC;YACV,GAAG,KAAK;YACR,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE;YAChC,WAAW,EAAE;gBACX,GAAG,KAAK,CAAC,WAAW;gBACpB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,GAAG,OAAO;oBACb,CAAC,CAAC;wBACE,IAAI,EAAE,EAAE;wBACR,IAAI,EAAE,KAAK;wBACX,OAAO,EAAE,oBAAoB,OAAO,EAAE;wBACtC,MAAM,EAAE,EAAE,OAAO,EAAE;qBACpB;oBACH,CAAC,CAAC,SAAS;aAChB;SACF,CAAC;QAEJ,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,CACf,WAAW,CAAC;YACV,GAAG,KAAK;YACR,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE;YAChC,WAAW,EAAE;gBACX,GAAG,KAAK,CAAC,WAAW;gBACpB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,GAAG,OAAO;oBACb,CAAC,CAAC;wBACE,IAAI,EAAE,EAAE;wBACR,IAAI,EAAE,KAAK;wBACX,OAAO,EAAE,mBAAmB,OAAO,EAAE;wBACrC,MAAM,EAAE,EAAE,OAAO,EAAE;qBACpB;oBACH,CAAC,CAAC,SAAS;aAChB;SACF,CAAC;QAEJ,OAAO,EAAE,GAAG,EAAE,CACZ,WAAW,CAAC;YACV,GAAG,KAAK;YACR,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;YACxC,WAAW,EAAE;gBACX,GAAG,KAAK,CAAC,WAAW;gBACpB,CAAC,KAAK,EAAE,EAAE,CACR,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;oBACrB,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,oBAAoB,EAAE;aACnE;SACF,CAAC;QAEJ,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QAChE,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAChC,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;KACjC,CAAA;IAED,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,GAAiB,EAAE,CACvC,WAAW,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAA;AAEpE,MAAM,CAAC,MAAM,OAAO,GAAG,GAAiB,EAAE,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,CAAA;AAU7D,MAAM,YAAY,GAAG,CAAC,WAA+B,EAAiB,EAAE;IACtE,MAAM,IAAI,GAAkB;QAC1B,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;QACjB,WAAW;QACX,KAAK,EAAE,CAAC,KAAc,EAAwB,EAAE,CAC9C,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,oBAAoB,CAAC;QAC7E,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,SAAS;YACf,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;SACtD,CAAC;QACF,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACtC,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAChC,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;KACjC,CAAA;IAED,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,GAAkB,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;AAWnE,MAAM,SAAS,GAAG,CAChB,MAAoB,EACpB,WAA+B,EAChB,EAAE;IACjB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,MAAM,CAAC,CAAA;IAEvC,MAAM,IAAI,GAAkB;QAC1B,IAAI,EAAE,MAAM;QACZ,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;QACjB,WAAW;QACX,MAAM;QACN,KAAK,EAAE,CAAC,KAAc,EAAkB,EAAE,CACxC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YAC7C,CAAC,CAAC,EAAE,CAAC,KAAU,CAAC;YAChB,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,oBAAoB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC;QACxF,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC;YACjB,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;SACtD,CAAC;QACF,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC;QAC3C,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAChC,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;KACjC,CAAA;IAED,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,6EAA6E;AAC7E,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,GAAG,MAAS,EACW,EAAE,CAAC,SAAS,CAAY,MAAM,EAAE,SAAS,CAAC,CAAA;AAUnE,MAAM,cAAc,GAAG,CAAC,WAA+B,EAAmB,EAAE;IAC1E,MAAM,IAAI,GAAoB;QAC5B,IAAI,EAAE,WAAW;QACjB,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;QACjB,WAAW;QAEX,KAAK,EAAE,CAAC,KAAc,EAAqB,EAAE;YAC3C,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;gBAC1B,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;YACjF,CAAC;YACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC3D,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAA;gBAC9B,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAA;YACnF,CAAC;YACD,OAAO,IAAI,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;QACxC,CAAC;QAED,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,WAAW;YACnB,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;SACtD,CAAC;QAEF,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;QACxC,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAChC,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;KACjC,CAAA;IAED,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,GAAoB,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,CAAA;AAUzE,MAAM,SAAS,GAAG,CAAI,WAA+B,EAAsB,EAAE;IAC3E,MAAM,IAAI,GAAuB;QAC/B,IAAI,EAAE,MAAM;QACZ,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;QACjB,WAAW;QAEX,KAAK,EAAE,CAAC,KAAc,EAAkB,EAAE;YACxC,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;gBACvD,OAAO,IAAI,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAA;YAC9C,CAAC;YACD,6EAA6E;YAC7E,0EAA0E;YAC1E,OAAO,EAAE,CAAC,KAAU,CAAC,CAAA;QACvB,CAAC;QAED,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;YACnB,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;SACtD,CAAC;QAEF,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAI,IAAI,CAAC;QACtC,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAChC,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;KACjC,CAAA;IAED,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,sFAAsF;AACtF,MAAM,CAAC,MAAM,IAAI,GAAG,GAAoC,EAAE,CAAC,SAAS,CAAI,SAAS,CAAC,CAAA;AAOlF,MAAM,YAAY,GAAG,CAAC,WAA+B,EAAiB,EAAE;IACtE,MAAM,IAAI,GAAkB;QAC1B,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;QACjB,WAAW;QACX,KAAK,EAAE,CAAC,KAAc,EAAwB,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAC1D,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;QAC/E,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACtC,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;KACjC,CAAA;IAED,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,GAAkB,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;AAUnE,MAAM,WAAW,GAAG,CAAC,WAA+B,EAAgB,EAAE;IACpE,MAAM,IAAI,GAAiB;QACzB,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;QACjB,WAAW;QAEX,KAAK,EAAE,CAAC,KAAc,EAAuB,EAAE;YAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,EAAE,CAAC,KAAK,CAAC,CAAA;YAE/C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;YAElF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;YAEhF,OAAO,IAAI,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAA;QAC/C,CAAC;QAED,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,OAAO;YACf,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;SACtD,CAAC;QAEF,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;QACrC,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAChC,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;KACjC,CAAA;IAED,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,GAAiB,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;AAUhE,8EAA8E;AAC9E,MAAM,MAAM,GAAG,kEAAkE,CAAA;AAEjF,MAAM,QAAQ,GAAG,kEAAkE,CAAA;AAEnF;;;;;GAKG;AACH,MAAM,YAAY,GAAG,CAAC,KAAa,EAA0B,EAAE;IAC7D,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IAEzC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IACrC,MAAM,OAAO,GAAG,IAAI,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IAEtD,IAAI,WAAW,GAAG,CAAC,CAAA;IACnB,IAAI,IAAI,GAAG,CAAC,CAAA;IACZ,IAAI,OAAO,GAAG,CAAC,CAAA;IAEf,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;QAEzC,WAAW,GAAG,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,KAAK,CAAA;QACxC,IAAI,IAAI,CAAC,CAAA;QAET,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;YACd,IAAI,IAAI,CAAC,CAAA;YACT,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,IAAI,CAAC,GAAG,IAAI,CAAA;YAC/C,OAAO,IAAI,CAAC,CAAA;QACd,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,WAA+B,EAAgB,EAAE;IACpE,MAAM,IAAI,GAAiB;QACzB,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;QACjB,WAAW;QAEX;;;;;;WAMG;QACH,KAAK,EAAE,CAAC,KAAc,EAA2B,EAAE;YACjD,IAAI,KAAK,YAAY,UAAU;gBAAE,OAAO,EAAE,CAAC,KAAK,CAAC,CAAA;YAEjD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;gBAEnC,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,sBAAsB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAA;YACvF,CAAC;YAED,OAAO,IAAI,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAA;QAC7C,CAAC;QAED,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,QAAQ;YACzB,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;SACtD,CAAC;QAEF,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;QACrC,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAChC,QAAQ,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;KACjC,CAAA;IAED,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,GAAiB,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA"}

package/dist/types.d.ts

@@ -0,0 +1,96 @@
+/**
+ * The vocabulary every other layer speaks.
+ *
+ * A schema carries three things at once: a runtime parser, a compile-time type and
+ * a neutral JSON description. One declaration therefore feeds validation, the
+ * database, Studio forms, OpenAPI, the SDK and MCP (SPEC.md §3.4, §42).
+ */
+/**
+ * What a refinement knows about the failure beyond its code.
+ *
+ * `string().min(9)` fails with `code: 'min'` and `params: { length: 9 }`, and the nine
+ * is the whole reason a translated message can exist: a sentence with the number
+ * already baked into it can only ever be rewritten, never translated.
+ */
+export type IssueParams = Readonly<Record<string, string | number | readonly (string | number)[]>>;
+/**
+ * A single validation failure, addressed by its path inside the value.
+ *
+ * `message` is English and always will be. It is what a developer reads in a log and
+ * what a client with no message catalogue of its own can fall back on; `code` plus
+ * `params` is what a site with more than one language renders instead. Both travel to
+ * the caller — `ValidationError.toPayload` carries the issues beside the field grouping
+ * SPEC.md §84 fixes — because dropping the code was what made a form in Ukrainian print
+ * `Must be at least 9 characters`.
+ */
+export type Issue = {
+    readonly path: readonly (string | number)[];
+    readonly code: string;
+    readonly message: string;
+    readonly params?: IssueParams;
+};
+/**
+ * Parsing never throws: a caller decides what a failure means. `@assemora/core`
+ * turns issues into a `VALIDATION_ERROR` response (SPEC.md §84).
+ */
+export type ParseResult<T> = {
+    readonly ok: true;
+    readonly value: T;
+} | {
+    readonly ok: false;
+    readonly issues: readonly Issue[];
+};
+/** A JSON Schema fragment, kept structural so no subsystem owns the format. */
+export type JsonSchema = Readonly<Record<string, unknown>>;
+export type SchemaKind = 'string' | 'number' | 'bigint' | 'binary' | 'boolean' | 'enum' | 'timestamp' | 'json' | 'unknown' | 'array' | 'object';
+/**
+ * The inferred type travels through `parse`, so no phantom property and no cast is
+ * needed to carry it.
+ */
+export type Schema<T = unknown> = {
+    readonly kind: SchemaKind;
+    readonly isOptional: boolean;
+    readonly isNullable: boolean;
+    readonly description: string | undefined;
+    parse(value: unknown): ParseResult<T>;
+    toJsonSchema(): JsonSchema;
+};
+/** A schema whose key may be absent from an object. */
+export type OptionalSchema<T> = Schema<T | undefined> & {
+    readonly isOptional: true;
+};
+/** The type a schema produces. */
+export type Infer<S> = S extends {
+    parse(value: unknown): ParseResult<infer T>;
+} ? T : never;
+/** A record of named schemas — the shape of an object, a command input, a route body. */
+export type Shape = Readonly<Record<string, Schema>>;
+type Simplify<T> = {
+    [K in keyof T]: T[K];
+} & {};
+type OptionalKeys<S extends Shape> = {
+    [K in keyof S]: S[K] extends {
+        readonly isOptional: true;
+    } ? K : never;
+}[keyof S];
+/** The type an object shape produces, with optional keys kept optional. */
+export type InferShape<S extends Shape> = Simplify<{
+    [K in Exclude<keyof S, OptionalKeys<S>>]: Infer<S[K]>;
+} & {
+    [K in OptionalKeys<S>]?: Exclude<Infer<S[K]>, undefined>;
+}>;
+export declare const ok: <T>(value: T) => ParseResult<T>;
+export declare const fail: (code: string, message: string, path?: readonly (string | number)[], params?: IssueParams) => {
+    readonly ok: false;
+    readonly issues: readonly [{
+        readonly path: readonly (string | number)[];
+        readonly code: string;
+        readonly message: string;
+        readonly params?: Readonly<Record<string, string | number | readonly (string | number)[]>>;
+    }];
+};
+export declare const failWith: (issues: readonly Issue[]) => ParseResult<never>;
+/** Re-addresses issues from a nested value into the parent's coordinate space. */
+export declare const nest: (key: string | number, issues: readonly Issue[]) => Issue[];
+export {};
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH;;;;;;GAMG;AACH,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAA;AAElG;;;;;;;;;GASG;AACH,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAA;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAA;CAC9B,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IACrB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GACxC;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAA;CAAE,CAAA;AAE7D,+EAA+E;AAC/E,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;AAE1D,MAAM,MAAM,UAAU,GAClB,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,MAAM,GACN,WAAW,GACX,MAAM,GACN,SAAS,GACT,OAAO,GACP,QAAQ,CAAA;AAEZ;;;GAGG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,GAAG,OAAO,IAAI;IAChC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAA;IACxC,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;IACrC,YAAY,IAAI,UAAU,CAAA;CAC3B,CAAA;AAED,uDAAuD;AACvD,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,GAAG;IAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAA;CAAE,CAAA;AAErF,kCAAkC;AAClC,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAA;AAE5F,yFAAyF;AACzF,MAAM,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;AAEpD,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,CAAA;AAEhD,KAAK,YAAY,CAAC,CAAC,SAAS,KAAK,IAAI;KAClC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK;CACvE,CAAC,MAAM,CAAC,CAAC,CAAA;AAEV,2EAA2E;AAC3E,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,KAAK,IAAI,QAAQ,CAChD;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;KACzD,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC;CACzD,CACF,CAAA;AAED,eAAO,MAAM,EAAE,GAAI,CAAC,SAAS,CAAC,KAAG,WAAW,CAAC,CAAC,CAA0B,CAAA;AAExE,eAAO,MAAM,IAAI,SACT,MAAM,WACH,MAAM,SACT,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,WACzB,WAAW;;;;;;;;CAKT,CAAA;AAEb,eAAO,MAAM,QAAQ,WAAY,SAAS,KAAK,EAAE,KAAG,WAAW,CAAC,KAAK,CAA4B,CAAA;AAEjG,kFAAkF;AAClF,eAAO,MAAM,IAAI,QAAS,MAAM,GAAG,MAAM,UAAU,SAAS,KAAK,EAAE,KAAG,KAAK,EACR,CAAA"}

package/dist/types.js

@@ -0,0 +1,16 @@
+/**
+ * The vocabulary every other layer speaks.
+ *
+ * A schema carries three things at once: a runtime parser, a compile-time type and
+ * a neutral JSON description. One declaration therefore feeds validation, the
+ * database, Studio forms, OpenAPI, the SDK and MCP (SPEC.md §3.4, §42).
+ */
+export const ok = (value) => ({ ok: true, value });
+export const fail = (code, message, path = [], params) => ({
+    ok: false,
+    issues: [{ path, code, message, ...(params === undefined ? {} : { params }) }],
+});
+export const failWith = (issues) => ({ ok: false, issues });
+/** Re-addresses issues from a nested value into the parent's coordinate space. */
+export const nest = (key, issues) => issues.map((issue) => ({ ...issue, path: [key, ...issue.path] }));
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAuFH,MAAM,CAAC,MAAM,EAAE,GAAG,CAAI,KAAQ,EAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AAExE,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,IAAY,EACZ,OAAe,EACf,IAAI,GAAiC,EAAE,EACvC,MAAoB,EACpB,EAAE,CACF,CAAC;IACC,EAAE,EAAE,KAAK;IACT,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;CAC/E,CAAU,CAAA;AAEb,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,MAAwB,EAAsB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AAEjG,kFAAkF;AAClF,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,GAAoB,EAAE,MAAwB,EAAW,EAAE,CAC9E,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA"}

package/package.json

@@ -0,0 +1,32 @@
+{
+  "name": "@assemora/schema",
+  "version": "0.1.0",
+  "description": "Schema primitives: field definitions, type inference, neutral JSON representation",
+  "license": "Apache-2.0",
+  "publishConfig": {
+    "access": "public"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/assemora/assemora.git",
+    "directory": "packages/schema"
+  },
+  "type": "module",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "files": [
+    "dist",
+    "!dist/.tsbuildinfo"
+  ],
+  "scripts": {
+    "build": "tsc -b tsconfig.build.json",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "clean": "rm -rf dist *.tsbuildinfo"
+  }
+}