@sequenceholdings/pipeline-spec 0.1.0

package/dist/operations.d.ts

@@ -0,0 +1,214 @@
+import { z } from 'zod';
+/**
+ * Operations are named, parameterized entry points on a stage — the successor
+ * to Data Sync's run operations, governed by "ad-hoc invocation, never ad-hoc
+ * code". The platform reserves `backfill`, `replay`, `sample`, and
+ * `live-source-run`; author-declared operations may not shadow them.
+ */
+/** Scalar parameter types — the column scalar vocabulary minus contract-only shapes. */
+export declare const OPERATION_SCALAR_TYPES: readonly ["string", "int", "long", "numeric", "double", "boolean", "timestamp", "date", "uuid"];
+export type OperationScalarType = (typeof OPERATION_SCALAR_TYPES)[number];
+/**
+ * A typed parameter declaration. Invocations are validated against this shape
+ * before enqueue (see `validateOperationParams`) — same posture as Data
+ * Sync's paramsSchema coercion: it is impossible to declare an operation that
+ * accepts arbitrary unvalidated input.
+ */
+export declare const operationParamSchema: z.ZodUnion<readonly [z.ZodObject<{
+    type: z.ZodLiteral<"enum">;
+    description: z.ZodOptional<z.ZodString>;
+    values: z.ZodArray<z.ZodString>;
+    optional: z.ZodDefault<z.ZodBoolean>;
+    default: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"array">;
+    description: z.ZodOptional<z.ZodString>;
+    items: z.ZodEnum<{
+        string: "string";
+        boolean: "boolean";
+        uuid: "uuid";
+        int: "int";
+        long: "long";
+        numeric: "numeric";
+        double: "double";
+        timestamp: "timestamp";
+        date: "date";
+    }>;
+    optional: z.ZodDefault<z.ZodBoolean>;
+    default: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+    min_items: z.ZodOptional<z.ZodNumber>;
+    max_items: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodEnum<{
+        string: "string";
+        boolean: "boolean";
+        uuid: "uuid";
+        int: "int";
+        long: "long";
+        numeric: "numeric";
+        double: "double";
+        timestamp: "timestamp";
+        date: "date";
+    }>;
+    description: z.ZodOptional<z.ZodString>;
+    optional: z.ZodDefault<z.ZodBoolean>;
+    default: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>;
+}, z.core.$strict>]>;
+export type OperationParam = z.infer<typeof operationParamSchema>;
+/**
+ * Concurrency / safety posture of an operation. Also reused verbatim by
+ * ingestion `schedule` blocks — the policy vocabulary lands in the SDK once.
+ *
+ * Enforcement lives with the run infrastructure (registry / enqueue route) —
+ * the spec only declares the policy.
+ */
+export declare const operationPolicySchema: z.ZodObject<{
+    singleton: z.ZodOptional<z.ZodBoolean>;
+    exclusion_group: z.ZodOptional<z.ZodString>;
+    timeout_minutes: z.ZodOptional<z.ZodNumber>;
+    mutates: z.ZodOptional<z.ZodBoolean>;
+    cooldown_minutes: z.ZodOptional<z.ZodNumber>;
+    requires_approval: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strict>;
+export type OperationPolicy = z.infer<typeof operationPolicySchema>;
+/** Operation names are kebab/snake slugs; reserved platform verbs are rejected. */
+export declare const operationNameSchema: z.ZodString;
+export declare const operationSchema: z.ZodObject<{
+    description: z.ZodString;
+    params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+        type: z.ZodLiteral<"enum">;
+        description: z.ZodOptional<z.ZodString>;
+        values: z.ZodArray<z.ZodString>;
+        optional: z.ZodDefault<z.ZodBoolean>;
+        default: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"array">;
+        description: z.ZodOptional<z.ZodString>;
+        items: z.ZodEnum<{
+            string: "string";
+            boolean: "boolean";
+            uuid: "uuid";
+            int: "int";
+            long: "long";
+            numeric: "numeric";
+            double: "double";
+            timestamp: "timestamp";
+            date: "date";
+        }>;
+        optional: z.ZodDefault<z.ZodBoolean>;
+        default: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+        min_items: z.ZodOptional<z.ZodNumber>;
+        max_items: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodEnum<{
+            string: "string";
+            boolean: "boolean";
+            uuid: "uuid";
+            int: "int";
+            long: "long";
+            numeric: "numeric";
+            double: "double";
+            timestamp: "timestamp";
+            date: "date";
+        }>;
+        description: z.ZodOptional<z.ZodString>;
+        optional: z.ZodDefault<z.ZodBoolean>;
+        default: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>;
+    }, z.core.$strict>]>>>;
+    policy: z.ZodDefault<z.ZodObject<{
+        singleton: z.ZodOptional<z.ZodBoolean>;
+        exclusion_group: z.ZodOptional<z.ZodString>;
+        timeout_minutes: z.ZodOptional<z.ZodNumber>;
+        mutates: z.ZodOptional<z.ZodBoolean>;
+        cooldown_minutes: z.ZodOptional<z.ZodNumber>;
+        requires_approval: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strict>>;
+    entrypoint: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export type OperationSpec = z.infer<typeof operationSchema>;
+/**
+ * The envelope `operations:` block. Reserved platform names are rejected here
+ * so the error lands on the offending key.
+ */
+export declare const operationsBlockSchema: z.ZodRecord<z.ZodString, z.ZodObject<{
+    description: z.ZodString;
+    params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+        type: z.ZodLiteral<"enum">;
+        description: z.ZodOptional<z.ZodString>;
+        values: z.ZodArray<z.ZodString>;
+        optional: z.ZodDefault<z.ZodBoolean>;
+        default: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"array">;
+        description: z.ZodOptional<z.ZodString>;
+        items: z.ZodEnum<{
+            string: "string";
+            boolean: "boolean";
+            uuid: "uuid";
+            int: "int";
+            long: "long";
+            numeric: "numeric";
+            double: "double";
+            timestamp: "timestamp";
+            date: "date";
+        }>;
+        optional: z.ZodDefault<z.ZodBoolean>;
+        default: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+        min_items: z.ZodOptional<z.ZodNumber>;
+        max_items: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodEnum<{
+            string: "string";
+            boolean: "boolean";
+            uuid: "uuid";
+            int: "int";
+            long: "long";
+            numeric: "numeric";
+            double: "double";
+            timestamp: "timestamp";
+            date: "date";
+        }>;
+        description: z.ZodOptional<z.ZodString>;
+        optional: z.ZodDefault<z.ZodBoolean>;
+        default: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>;
+    }, z.core.$strict>]>>>;
+    policy: z.ZodDefault<z.ZodObject<{
+        singleton: z.ZodOptional<z.ZodBoolean>;
+        exclusion_group: z.ZodOptional<z.ZodString>;
+        timeout_minutes: z.ZodOptional<z.ZodNumber>;
+        mutates: z.ZodOptional<z.ZodBoolean>;
+        cooldown_minutes: z.ZodOptional<z.ZodNumber>;
+        requires_approval: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strict>>;
+    entrypoint: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>>;
+export type OperationsBlock = z.infer<typeof operationsBlockSchema>;
+/**
+ * The invocation model — the shape the registry run ledger stores for every
+ * operation run (storage lands with the registry milestone).
+ */
+export declare const operationInvocationSchema: z.ZodObject<{
+    operation: z.ZodString;
+    params: z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>]>>;
+    triggered_by: z.ZodEnum<{
+        operator: "operator";
+        schedule: "schedule";
+        trigger: "trigger";
+    }>;
+    executing_version: z.ZodString;
+}, z.core.$strict>;
+export type OperationInvocation = z.infer<typeof operationInvocationSchema>;
+export type ParamValidationResult = {
+    readonly ok: true;
+    readonly params: Record<string, string | number | boolean | Array<string | number | boolean>>;
+} | {
+    readonly ok: false;
+    readonly errors: readonly string[];
+};
+/**
+ * Validate (with Data-Sync-style coercion) an invocation's params against an
+ * operation's declarations: apply defaults, coerce numeric/boolean strings,
+ * reject unknown params, missing required params, and out-of-domain values.
+ */
+export declare function validateOperationParams(operation: OperationSpec, params: Record<string, unknown>): ParamValidationResult;
+//# sourceMappingURL=operations.d.ts.map

package/dist/operations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"operations.d.ts","sourceRoot":"","sources":["../src/operations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAKvB;;;;;GAKG;AAEH,wFAAwF;AACxF,eAAO,MAAM,sBAAsB,iGAUzB,CAAA;AAEV,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAA;AAgCzE;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oBA8B7B,CAAA;AAEJ,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB;;;;;;;kBAahC,CAAA;AAEF,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,mFAAmF;AACnF,eAAO,MAAM,mBAAmB,aAE2C,CAAA;AAE3E,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAO1B,CAAA;AAEF,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAA;AAE3D;;;GAGG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAY9B,CAAA;AAEJ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE;;;GAGG;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;kBAMpC,CAAA;AAEF,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,MAAM,MAAM,qBAAqB,GAC7B;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,KAAK,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC,CAAA;CAAE,GACpH;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAA;AA8G9D;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,aAAa,EACxB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC9B,qBAAqB,CA0BvB"}

package/dist/operations.js

@@ -0,0 +1,275 @@
+import { z } from 'zod';
+import { RESERVED_OPERATION_NAMES } from './constants.js';
+import { identifierSchema } from './columns.js';
+import { repoRelativePathSchema } from './primitives.js';
+/**
+ * Operations are named, parameterized entry points on a stage — the successor
+ * to Data Sync's run operations, governed by "ad-hoc invocation, never ad-hoc
+ * code". The platform reserves `backfill`, `replay`, `sample`, and
+ * `live-source-run`; author-declared operations may not shadow them.
+ */
+/** Scalar parameter types — the column scalar vocabulary minus contract-only shapes. */
+export const OPERATION_SCALAR_TYPES = [
+    'string',
+    'int',
+    'long',
+    'numeric',
+    'double',
+    'boolean',
+    'timestamp',
+    'date',
+    'uuid',
+];
+const scalarValueSchema = z.union([z.string(), z.number(), z.boolean()]);
+const scalarParamSchema = z.strictObject({
+    type: z.enum(OPERATION_SCALAR_TYPES),
+    description: z.string().optional(),
+    /** Omittable at invocation; the value is simply absent (no default applies). */
+    optional: z.boolean().default(false),
+    /** Applied when the invocation omits the param. Mutually exclusive with `optional`. */
+    default: scalarValueSchema.optional(),
+});
+const enumParamSchema = z.strictObject({
+    type: z.literal('enum'),
+    description: z.string().optional(),
+    values: z.array(z.string().min(1)).min(1),
+    optional: z.boolean().default(false),
+    default: z.string().optional(),
+});
+const arrayParamSchema = z.strictObject({
+    type: z.literal('array'),
+    description: z.string().optional(),
+    /** Element type of the array. */
+    items: z.enum(OPERATION_SCALAR_TYPES),
+    optional: z.boolean().default(false),
+    default: z.array(scalarValueSchema).optional(),
+    min_items: z.number().int().nonnegative().optional(),
+    max_items: z.number().int().positive().optional(),
+});
+/**
+ * A typed parameter declaration. Invocations are validated against this shape
+ * before enqueue (see `validateOperationParams`) — same posture as Data
+ * Sync's paramsSchema coercion: it is impossible to declare an operation that
+ * accepts arbitrary unvalidated input.
+ */
+export const operationParamSchema = z
+    .union([enumParamSchema, arrayParamSchema, scalarParamSchema])
+    .superRefine((param, ctx) => {
+    if (param.optional && param.default !== undefined) {
+        // Contradictory: a default always wins, so `optional` could never mean
+        // "omitted". Pick one (mirrors the Data Sync manifest rule).
+        ctx.addIssue({
+            code: 'custom',
+            path: ['optional'],
+            message: 'a param cannot be both optional and carry a default',
+        });
+    }
+    if (param.type === 'array' &&
+        param.min_items !== undefined &&
+        param.max_items !== undefined &&
+        param.min_items > param.max_items) {
+        ctx.addIssue({ code: 'custom', path: ['max_items'], message: 'max_items must be >= min_items' });
+    }
+    // A default must survive the SAME validation path a supplied value takes
+    // (type/items coercion, enum membership, array bounds) — otherwise an
+    // omitted param would silently receive a value that could never be
+    // submitted at invocation.
+    if (param.default !== undefined) {
+        const result = validateOneParam('default', param, param.default);
+        if (result.error !== undefined) {
+            ctx.addIssue({ code: 'custom', path: ['default'], message: result.error });
+        }
+    }
+});
+/**
+ * Concurrency / safety posture of an operation. Also reused verbatim by
+ * ingestion `schedule` blocks — the policy vocabulary lands in the SDK once.
+ *
+ * Enforcement lives with the run infrastructure (registry / enqueue route) —
+ * the spec only declares the policy.
+ */
+export const operationPolicySchema = z.strictObject({
+    /** Only one run of this operation may be in flight at a time. */
+    singleton: z.boolean().optional(),
+    /** Operations sharing a group must not run concurrently with each other. */
+    exclusion_group: identifierSchema.optional(),
+    /** Wall-clock budget after which a run is considered hung. */
+    timeout_minutes: z.number().int().positive().optional(),
+    /** True when the operation writes data (vs a read-only probe). */
+    mutates: z.boolean().optional(),
+    /** Minimum gap between consecutive runs. */
+    cooldown_minutes: z.number().int().positive().optional(),
+    /** Run requires an operator approval step before executing. */
+    requires_approval: z.boolean().optional(),
+});
+/** Operation names are kebab/snake slugs; reserved platform verbs are rejected. */
+export const operationNameSchema = z
+    .string()
+    .regex(/^[a-z][a-z0-9_-]*$/, 'must be a lowercase slug (a-z, 0-9, -, _)');
+export const operationSchema = z.strictObject({
+    description: z.string().min(1),
+    /** Typed parameter surface, keyed by param name. Empty/omitted = no parameters. */
+    params: z.record(identifierSchema, operationParamSchema).default({}),
+    policy: operationPolicySchema.default({}),
+    /** Repo-relative code path; omitted when the stage's own entrypoint handles the op. */
+    entrypoint: repoRelativePathSchema.optional(),
+});
+/**
+ * The envelope `operations:` block. Reserved platform names are rejected here
+ * so the error lands on the offending key.
+ */
+export const operationsBlockSchema = z
+    .record(operationNameSchema, operationSchema)
+    .superRefine((operations, ctx) => {
+    for (const name of Object.keys(operations)) {
+        if (RESERVED_OPERATION_NAMES.has(name)) {
+            ctx.addIssue({
+                code: 'custom',
+                path: [name],
+                message: `'${name}' is a reserved platform operation name — author-declared operations may not shadow it`,
+            });
+        }
+    }
+});
+/**
+ * The invocation model — the shape the registry run ledger stores for every
+ * operation run (storage lands with the registry milestone).
+ */
+export const operationInvocationSchema = z.strictObject({
+    operation: operationNameSchema,
+    params: z.record(z.string(), z.union([scalarValueSchema, z.array(scalarValueSchema)])),
+    triggered_by: z.enum(['operator', 'schedule', 'trigger']),
+    /** The resolved spec version (spec_hash) the run executed against. */
+    executing_version: z.string().min(1),
+});
+const INT_TYPES = new Set(['int', 'long']);
+const FLOAT_TYPES = new Set(['numeric', 'double']);
+const UUID_PATTERN = /^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$/i;
+const DATE_PATTERN = /^(\d{4})-(\d{2})-(\d{2})$/;
+const TIMESTAMP_PATTERN = /^(\d{4})-(\d{2})-(\d{2})T([01]\d|2[0-3]):[0-5]\d:[0-5]\d(\.\d+)?(Z|[+-]([01]\d|2[0-3]):[0-5]\d)$/;
+/**
+ * Calendar round-trip check — engines roll invalid dates over (Date.parse
+ * accepts 2026-02-30 as March 2), so shape-matching alone is not enough.
+ */
+function isCalendarDate(match) {
+    const year = Number(match[1]);
+    const month = Number(match[2]);
+    const day = Number(match[3]);
+    const date = new Date(Date.UTC(year, month - 1, day));
+    return (date.getUTCFullYear() === year && date.getUTCMonth() === month - 1 && date.getUTCDate() === day);
+}
+/**
+ * Coerce/validate one scalar against its declared type. This is the
+ * pre-enqueue gate the run ledger advertises, so string-carried formats are
+ * enforced HERE, not in the executor: `uuid` is canonical 8-4-4-4-12 hex,
+ * `date` is `YYYY-MM-DD`, `timestamp` is ISO-8601 with timezone — all
+ * calendar-checked, and shared by array items and declared defaults.
+ */
+function coerceScalar(value, type) {
+    if (INT_TYPES.has(type)) {
+        if (typeof value === 'number' && Number.isSafeInteger(value))
+            return value;
+        if (typeof value === 'string' && /^-?\d+$/.test(value)) {
+            const parsed = Number(value);
+            return Number.isSafeInteger(parsed) ? parsed : null;
+        }
+        return null;
+    }
+    if (FLOAT_TYPES.has(type)) {
+        if (typeof value === 'number' && Number.isFinite(value))
+            return value;
+        if (typeof value === 'string' && value.trim() !== '' && Number.isFinite(Number(value)))
+            return Number(value);
+        return null;
+    }
+    if (type === 'boolean') {
+        if (typeof value === 'boolean')
+            return value;
+        if (value === 'true')
+            return true;
+        if (value === 'false')
+            return false;
+        return null;
+    }
+    if (typeof value !== 'string')
+        return null;
+    return coerceStringFormat(value, type);
+}
+/** Format gate for the string-carried scalar types (`string` passes through). */
+function coerceStringFormat(value, type) {
+    if (type === 'uuid')
+        return UUID_PATTERN.test(value) ? value : null;
+    if (type === 'date') {
+        const match = DATE_PATTERN.exec(value);
+        return match && isCalendarDate(match) ? value : null;
+    }
+    if (type === 'timestamp') {
+        const match = TIMESTAMP_PATTERN.exec(value);
+        return match && isCalendarDate(match) ? value : null;
+    }
+    return value;
+}
+function coerceArrayParam(name, declaration, provided) {
+    if (!Array.isArray(provided))
+        return { error: `param '${name}' must be an array of ${declaration.items}` };
+    if (declaration.min_items !== undefined && provided.length < declaration.min_items) {
+        return { error: `param '${name}' must have at least ${declaration.min_items} items` };
+    }
+    if (declaration.max_items !== undefined && provided.length > declaration.max_items) {
+        return { error: `param '${name}' must have at most ${declaration.max_items} items` };
+    }
+    const coerced = [];
+    for (const entry of provided) {
+        const value = coerceScalar(entry, declaration.items);
+        if (value === null)
+            return { error: `param '${name}' items must be ${declaration.items}` };
+        coerced.push(value);
+    }
+    return { value: coerced };
+}
+function validateOneParam(name, declaration, provided) {
+    if (declaration.type === 'enum') {
+        if (typeof provided === 'string' && declaration.values.includes(provided))
+            return { value: provided };
+        return { error: `param '${name}' must be one of: ${declaration.values.join(', ')}` };
+    }
+    if (declaration.type === 'array')
+        return coerceArrayParam(name, declaration, provided);
+    const value = coerceScalar(provided, declaration.type);
+    if (value === null)
+        return { error: `param '${name}' must be ${declaration.type}` };
+    return { value };
+}
+/**
+ * Validate (with Data-Sync-style coercion) an invocation's params against an
+ * operation's declarations: apply defaults, coerce numeric/boolean strings,
+ * reject unknown params, missing required params, and out-of-domain values.
+ */
+export function validateOperationParams(operation, params) {
+    const errors = [];
+    const validated = {};
+    for (const name of Object.keys(params)) {
+        if (!(name in operation.params))
+            errors.push(`unknown param '${name}'`);
+    }
+    for (const [name, declaration] of Object.entries(operation.params)) {
+        // Defaults take the same validation/coercion path as supplied values, so
+        // e.g. a declared default '5' for an int param lands as the number 5.
+        // (Only absence triggers the default — an explicit null stays an error.)
+        const provided = params[name] !== undefined ? params[name] : declaration.default;
+        if (provided === undefined) {
+            if (!declaration.optional)
+                errors.push(`missing required param '${name}'`);
+            continue;
+        }
+        const result = validateOneParam(name, declaration, provided);
+        if (result.error !== undefined) {
+            errors.push(result.error);
+        }
+        else if (result.value !== undefined) {
+            validated[name] = result.value;
+        }
+    }
+    return errors.length > 0 ? { ok: false, errors } : { ok: true, params: validated };
+}
+//# sourceMappingURL=operations.js.map

package/dist/operations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operations.js","sourceRoot":"","sources":["../src/operations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAA;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAC/C,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAA;AAExD;;;;;GAKG;AAEH,wFAAwF;AACxF,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,QAAQ;IACR,KAAK;IACL,MAAM;IACN,SAAS;IACT,QAAQ;IACR,SAAS;IACT,WAAW;IACX,MAAM;IACN,MAAM;CACE,CAAA;AAIV,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;AAExE,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC;IACvC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC;IACpC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,gFAAgF;IAChF,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IACpC,uFAAuF;IACvF,OAAO,EAAE,iBAAiB,CAAC,QAAQ,EAAE;CACtC,CAAC,CAAA;AAEF,MAAM,eAAe,GAAG,CAAC,CAAC,YAAY,CAAC;IACrC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IACpC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC/B,CAAC,CAAA;AAEF,MAAM,gBAAgB,GAAG,CAAC,CAAC,YAAY,CAAC;IACtC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IACxB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,iCAAiC;IACjC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC;IACrC,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IACpC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,QAAQ,EAAE;IAC9C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACpD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;CAClD,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,KAAK,CAAC,CAAC,eAAe,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;KAC7D,WAAW,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;IAC1B,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAClD,uEAAuE;QACvE,6DAA6D;QAC7D,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,UAAU,CAAC;YAClB,OAAO,EAAE,qDAAqD;SAC/D,CAAC,CAAA;IACJ,CAAC;IACD,IACE,KAAK,CAAC,IAAI,KAAK,OAAO;QACtB,KAAK,CAAC,SAAS,KAAK,SAAS;QAC7B,KAAK,CAAC,SAAS,KAAK,SAAS;QAC7B,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,EACjC,CAAC;QACD,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,gCAAgC,EAAE,CAAC,CAAA;IAClG,CAAC;IACD,yEAAyE;IACzE,sEAAsE;IACtE,mEAAmE;IACnE,2BAA2B;IAC3B,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;QAChE,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAA;QAC5E,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAIJ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,YAAY,CAAC;IAClD,iEAAiE;IACjE,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IACjC,4EAA4E;IAC5E,eAAe,EAAE,gBAAgB,CAAC,QAAQ,EAAE;IAC5C,8DAA8D;IAC9D,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACvD,kEAAkE;IAClE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC/B,4CAA4C;IAC5C,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACxD,+DAA+D;IAC/D,iBAAiB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CAC1C,CAAC,CAAA;AAIF,mFAAmF;AACnF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KACjC,MAAM,EAAE;KACR,KAAK,CAAC,oBAAoB,EAAE,2CAA2C,CAAC,CAAA;AAE3E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,YAAY,CAAC;IAC5C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,mFAAmF;IACnF,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACpE,MAAM,EAAE,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;IACzC,uFAAuF;IACvF,UAAU,EAAE,sBAAsB,CAAC,QAAQ,EAAE;CAC9C,CAAC,CAAA;AAIF;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC,mBAAmB,EAAE,eAAe,CAAC;KAC5C,WAAW,CAAC,CAAC,UAAU,EAAE,GAAG,EAAE,EAAE;IAC/B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3C,IAAI,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,IAAI,IAAI,wFAAwF;aAC1G,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAIJ;;;GAGG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,YAAY,CAAC;IACtD,SAAS,EAAE,mBAAmB;IAC9B,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;IACtF,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IACzD,sEAAsE;IACtE,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACrC,CAAC,CAAA;AAQF,MAAM,SAAS,GAAwB,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;AAC/D,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAA;AAEvE,MAAM,YAAY,GAAG,iEAAiE,CAAA;AACtF,MAAM,YAAY,GAAG,2BAA2B,CAAA;AAChD,MAAM,iBAAiB,GACrB,kGAAkG,CAAA;AAEpG;;;GAGG;AACH,SAAS,cAAc,CAAC,KAAsB;IAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAC5B,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;IACrD,OAAO,CACL,IAAI,CAAC,cAAc,EAAE,KAAK,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,KAAK,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,KAAK,GAAG,CAChG,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,YAAY,CACnB,KAAc,EACd,IAAyB;IAEzB,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;QAC1E,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACvD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;YAC5B,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA;QACrD,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;QACrE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;QAC5G,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,OAAO,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAA;QAC5C,IAAI,KAAK,KAAK,MAAM;YAAE,OAAO,IAAI,CAAA;QACjC,IAAI,KAAK,KAAK,OAAO;YAAE,OAAO,KAAK,CAAA;QACnC,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IAC1C,OAAO,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AACxC,CAAC;AAED,iFAAiF;AACjF,SAAS,kBAAkB,CAAC,KAAa,EAAE,IAAyB;IAClE,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;IACnE,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACtC,OAAO,KAAK,IAAI,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;IACtD,CAAC;IACD,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC3C,OAAO,KAAK,IAAI,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;IACtD,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAID,SAAS,gBAAgB,CACvB,IAAY,EACZ,WAAuD,EACvD,QAAiB;IAEjB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,UAAU,IAAI,yBAAyB,WAAW,CAAC,KAAK,EAAE,EAAE,CAAA;IAC1G,IAAI,WAAW,CAAC,SAAS,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,WAAW,CAAC,SAAS,EAAE,CAAC;QACnF,OAAO,EAAE,KAAK,EAAE,UAAU,IAAI,wBAAwB,WAAW,CAAC,SAAS,QAAQ,EAAE,CAAA;IACvF,CAAC;IACD,IAAI,WAAW,CAAC,SAAS,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,WAAW,CAAC,SAAS,EAAE,CAAC;QACnF,OAAO,EAAE,KAAK,EAAE,UAAU,IAAI,uBAAuB,WAAW,CAAC,SAAS,QAAQ,EAAE,CAAA;IACtF,CAAC;IACD,MAAM,OAAO,GAAqC,EAAE,CAAA;IACpD,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,CAAA;QACpD,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,EAAE,KAAK,EAAE,UAAU,IAAI,mBAAmB,WAAW,CAAC,KAAK,EAAE,EAAE,CAAA;QAC1F,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACrB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;AAC3B,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAY,EACZ,WAA2B,EAC3B,QAAiB;IAEjB,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAChC,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAA;QACrG,OAAO,EAAE,KAAK,EAAE,UAAU,IAAI,qBAAqB,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAA;IACtF,CAAC;IACD,IAAI,WAAW,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,gBAAgB,CAAC,IAAI,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAA;IACtF,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,CAAA;IACtD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,UAAU,IAAI,aAAa,WAAW,CAAC,IAAI,EAAE,EAAE,CAAA;IACnF,OAAO,EAAE,KAAK,EAAE,CAAA;AAClB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CACrC,SAAwB,EACxB,MAA+B;IAE/B,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,MAAM,SAAS,GAA+B,EAAE,CAAA;IAEhD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,CAAC,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,kBAAkB,IAAI,GAAG,CAAC,CAAA;IACzE,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnE,yEAAyE;QACzE,sEAAsE;QACtE,yEAAyE;QACzE,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAA;QAChF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,WAAW,CAAC,QAAQ;gBAAE,MAAM,CAAC,IAAI,CAAC,2BAA2B,IAAI,GAAG,CAAC,CAAA;YAC1E,SAAQ;QACV,CAAC;QACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAA;QAC5D,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QAC3B,CAAC;aAAM,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACtC,SAAS,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAA;QAChC,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAA;AACpF,CAAC"}

package/dist/orm-satisfies.d.ts

@@ -0,0 +1,132 @@
+/**
+ * Serving `satisfies:` enforcement against an ORM synced-table contract
+ * (SEQ-2499). Pure — callers (offline `validateSpecGraph`, provision plan)
+ * supply the active contract catalog; this module never fetches ORM state.
+ *
+ * Compatibility posture:
+ * - Projection is the **producer**; ORM contract columns are the **consumer
+ *   requirement** (`checkCompatibility`).
+ * - Extra projection columns are allowed (additive pipeline supersets).
+ * - Primary keys must match exactly (same set + order).
+ * - `content_hash` on `satisfies` must equal the active contract hash.
+ */
+import { z } from 'zod';
+import { type ColumnMap } from './columns.js';
+import type { SatisfiesBinding } from './bodies/serving.js';
+export declare const ORM_SATISFIES_FINDING_CODES: readonly ["orm_contract_unavailable", "orm_contract_hash_mismatch", "orm_contract_pk_mismatch", "missing_column", "type_incompatible", "nullability_violation", "domain_violation", "domain_shrunk"];
+export type OrmSatisfiesFindingCode = (typeof ORM_SATISFIES_FINDING_CODES)[number];
+export interface OrmSatisfiesFinding {
+    readonly code: OrmSatisfiesFindingCode;
+    readonly severity: 'error' | 'warning';
+    readonly message: string;
+    readonly column?: string;
+}
+/**
+ * Active ORM synced-table contract as consumed by pipeline validation.
+ * Structurally matches `@sequenceholdings/orm`'s `OrmSyncedTableContract`
+ * (duplicated here so pipeline-spec stays free of an ORM runtime dependency).
+ */
+export interface OrmSyncedContractRequirement {
+    readonly namespace: string;
+    readonly table: string;
+    readonly columns: ColumnMap;
+    readonly primary_key: readonly string[];
+    readonly content_hash: string;
+}
+/** Catalog keyed by `namespace.table`. */
+export type OrmContractCatalog = Readonly<Record<string, OrmSyncedContractRequirement>>;
+/** One ORM synced-table contract entry for offline `satisfies` validation. */
+export declare const ormSyncedContractRequirementSchema: z.ZodObject<{
+    namespace: z.ZodString;
+    table: z.ZodString;
+    columns: z.ZodRecord<z.ZodString, z.ZodObject<{
+        type: z.ZodUnion<readonly [z.ZodEnum<{
+            string: "string";
+            boolean: "boolean";
+            uuid: "uuid";
+            int: "int";
+            long: "long";
+            numeric: "numeric";
+            double: "double";
+            timestamp: "timestamp";
+            date: "date";
+            json: "json";
+        }>, z.ZodEnum<{
+            float: "float";
+            timestamp_ntz: "timestamp_ntz";
+            array: "array";
+            map: "map";
+            struct: "struct";
+            binary: "binary";
+        }>, z.ZodString]>;
+        nullable: z.ZodDefault<z.ZodBoolean>;
+        key: z.ZodDefault<z.ZodBoolean>;
+        domain: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+        description: z.ZodOptional<z.ZodString>;
+        on_violation: z.ZodDefault<z.ZodEnum<{
+            fail: "fail";
+            quarantine: "quarantine";
+            warn: "warn";
+        }>>;
+    }, z.core.$strict>>;
+    primary_key: z.ZodArray<z.ZodString>;
+    content_hash: z.ZodString;
+}, z.core.$strict>;
+/**
+ * Offline ORM contract catalog for `seq-studio pipeline validate --orm-contracts`
+ * or `<pipeline-dir>/orm-contracts.json`. Keys must be `namespace.table`.
+ */
+export declare const ormContractCatalogSchema: z.ZodRecord<z.ZodString, z.ZodObject<{
+    namespace: z.ZodString;
+    table: z.ZodString;
+    columns: z.ZodRecord<z.ZodString, z.ZodObject<{
+        type: z.ZodUnion<readonly [z.ZodEnum<{
+            string: "string";
+            boolean: "boolean";
+            uuid: "uuid";
+            int: "int";
+            long: "long";
+            numeric: "numeric";
+            double: "double";
+            timestamp: "timestamp";
+            date: "date";
+            json: "json";
+        }>, z.ZodEnum<{
+            float: "float";
+            timestamp_ntz: "timestamp_ntz";
+            array: "array";
+            map: "map";
+            struct: "struct";
+            binary: "binary";
+        }>, z.ZodString]>;
+        nullable: z.ZodDefault<z.ZodBoolean>;
+        key: z.ZodDefault<z.ZodBoolean>;
+        domain: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+        description: z.ZodOptional<z.ZodString>;
+        on_violation: z.ZodDefault<z.ZodEnum<{
+            fail: "fail";
+            quarantine: "quarantine";
+            warn: "warn";
+        }>>;
+    }, z.core.$strict>>;
+    primary_key: z.ZodArray<z.ZodString>;
+    content_hash: z.ZodString;
+}, z.core.$strict>>;
+export declare function ormContractCatalogKey({ namespace, table, }: {
+    namespace: string;
+    table: string;
+}): string;
+/**
+ * Does this serving projection satisfy the declared ORM contract binding?
+ * Returns findings (empty = ok). Hash + PK mismatches are always errors;
+ * column findings reuse `checkCompatibility` severities.
+ */
+export declare function checkServingSatisfiesOrmContract({ projection, satisfies, contract, }: {
+    projection: {
+        readonly columns: ColumnMap;
+        readonly primary_key: readonly string[];
+    };
+    satisfies: SatisfiesBinding;
+    contract: OrmSyncedContractRequirement | undefined;
+}): OrmSatisfiesFinding[];
+//# sourceMappingURL=orm-satisfies.d.ts.map

package/dist/orm-satisfies.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"orm-satisfies.d.ts","sourceRoot":"","sources":["../src/orm-satisfies.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAA6D,KAAK,SAAS,EAAE,MAAM,cAAc,CAAA;AACxG,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAE3D,eAAO,MAAM,2BAA2B,sMAS9B,CAAA;AAEV,MAAM,MAAM,uBAAuB,GAAG,CAAC,OAAO,2BAA2B,CAAC,CAAC,MAAM,CAAC,CAAA;AAElF,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAA;IACtC,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAA;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB;AAED;;;;GAIG;AACH,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;IACvC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;CAC9B;AAED,0CAA0C;AAC1C,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAC,CAAA;AAEvF,8EAA8E;AAC9E,eAAO,MAAM,kCAAkC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAU7C,CAAA;AAEF;;;GAGG;AACH,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAajC,CAAA;AAEJ,wBAAgB,qBAAqB,CAAC,EACpC,SAAS,EACT,KAAK,GACN,EAAE;IACD,SAAS,EAAE,MAAM,CAAA;IACjB,KAAK,EAAE,MAAM,CAAA;CACd,GAAG,MAAM,CAET;AAOD;;;;GAIG;AACH,wBAAgB,gCAAgC,CAAC,EAC/C,UAAU,EACV,SAAS,EACT,QAAQ,GACT,EAAE;IACD,UAAU,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;QAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAA;IACpF,SAAS,EAAE,gBAAgB,CAAA;IAC3B,QAAQ,EAAE,4BAA4B,GAAG,SAAS,CAAA;CACnD,GAAG,mBAAmB,EAAE,CAkDxB"}