@supatype/cli 0.1.12 → 0.1.13

package/dist/field-bounds.js

@@ -0,0 +1,277 @@
+/**
+ * What a declared bound means for each field kind, and the SQL it compiles to.
+ *
+ * **This table is the mechanism.** Bounds used to be compiled inside the modifier cases of
+ * `type-extractor.ts`, which meant `MaxLength` became `char_length(col)` whatever the column turned
+ * out to be: `char_length(text[])` does not exist, so the RFC's own `tags: MaxLength<string[], 10>`
+ * produced SQL that fails `CREATE TABLE`. Worse, nine of twelve engine field structs had nowhere to
+ * put a `check`, so the constraint was dropped by serde with no error anywhere in the chain.
+ *
+ * A table keyed by kind fixes the class of bug rather than the instances: a kind absent from
+ * {@link BOUNDS_BY_KIND} throws, so a new field kind cannot be added without answering "what does a
+ * bound mean here", and every answer is either an expression or a refusal with a named alternative.
+ * There is no third outcome, which is what "no bound is ever silent" means in practice.
+ */
+import { FIELD_KINDS } from "./schema-ast-v2.js";
+const TEXTUAL = {
+    length: "chars",
+    instead: {
+        items: "text has characters, not items; use MaxLength/MinLength",
+        range: "text is not ordered numerically; use a model-level constraint if you need a comparison",
+    },
+};
+const NUMERIC = {
+    range: "numeric",
+    instead: {
+        length: "a number has no length; use Between to bound its value",
+        items: "a number has no items; use Between to bound its value",
+    },
+};
+const temporal = (range) => ({
+    range,
+    instead: {
+        length: "a date has no length; use Between with ISO-8601 string bounds",
+        items: "a date has no items; use Between with ISO-8601 string bounds",
+    },
+});
+const NO_BOUNDS = (why) => ({
+    instead: { length: why, items: why, range: why },
+});
+/**
+ * What each bound means for each kind.
+ *
+ * `Record<FieldKind, KindBounds>` is the whole mechanism: it is **exhaustive by the compiler**, so
+ * adding a kind to `FIELD_KINDS` fails the build here until someone says what `MaxLength`,
+ * `MaxItems` and `Between` do for it. Composite kinds (`timestamps`, `publishable`, `softDelete`)
+ * expand into real columns before a bound could apply, so they carry none, but they still have to
+ * say so.
+ */
+const BOUNDS_BY_KIND = {
+    text: TEXTUAL,
+    email: TEXTUAL,
+    url: TEXTUAL,
+    slug: TEXTUAL,
+    color: TEXTUAL,
+    xml: TEXTUAL,
+    ip: TEXTUAL,
+    cidr: TEXTUAL,
+    macaddr: TEXTUAL,
+    tsQuery: TEXTUAL,
+    tsVector: TEXTUAL,
+    richText: {
+        length: "richText",
+        instead: {
+            items: "rich text is measured in characters of plain text; use MaxLength/MinLength",
+            range: "rich text is not ordered; use MaxLength/MinLength",
+        },
+    },
+    bytes: {
+        length: "octets",
+        instead: {
+            items: "a binary column has octets, not items; use MaxLength/MinLength",
+            range: "a binary column is not ordered; use MaxLength/MinLength",
+        },
+    },
+    integer: NUMERIC,
+    smallInt: NUMERIC,
+    bigInt: NUMERIC,
+    float: NUMERIC,
+    serial: NUMERIC,
+    bigSerial: NUMERIC,
+    decimal: NUMERIC,
+    money: NUMERIC,
+    datetime: temporal("timestamptz"),
+    timestamp: temporal("timestamp"),
+    date: temporal("date"),
+    interval: temporal("interval"),
+    array: {
+        items: "array",
+        instead: {
+            length: "an array has items, not characters; use MaxItems/MinItems",
+            range: "an array is not ordered; use MaxItems/MinItems",
+        },
+    },
+    blocks: {
+        items: "jsonbArray",
+        instead: {
+            length: "blocks are counted, not measured; use MaxItems/MinItems",
+            range: "blocks are not ordered; use MaxItems/MinItems",
+        },
+    },
+    // `json` is decided per field, not per kind: `JSON<Item[]>` takes item bounds and `JSON<{...}>`
+    // takes none. {@link boundsForKind} applies that, which is why the entry here is the object case.
+    json: NO_BOUNDS("a JSON object has no single measure; bound a sub-field with a model-level constraint, " +
+        "or declare the field as JSON<T[]> to bound its element count"),
+    button: NO_BOUNDS("a button is a composite value; bound a sub-field with a model-level constraint"),
+    enum: NO_BOUNDS("the union already constrains the permitted values"),
+    boolean: NO_BOUNDS("a boolean has two values and needs no bound"),
+    uuid: NO_BOUNDS("a UUID is fixed width"),
+    image: NO_BOUNDS("size and type limits belong on the bucket: fileSizeLimit and allowedMimeTypes"),
+    file: NO_BOUNDS("size and type limits belong on the bucket: fileSizeLimit and allowedMimeTypes"),
+    geo: NO_BOUNDS("a geometry is not measured this way"),
+    vector: NO_BOUNDS("the dimension is already fixed by the type, as Vector<N>"),
+    relation: NO_BOUNDS("bound the column on the model this relation points at"),
+    custom: NO_BOUNDS("a plugin field declares its own storage; bounds are the plugin's to define"),
+    timestamps: NO_BOUNDS("a composite expands into columns before a bound could apply"),
+    publishable: NO_BOUNDS("a composite expands into columns before a bound could apply"),
+    softDelete: NO_BOUNDS("a composite expands into columns before a bound could apply"),
+};
+/**
+ * Re-exported for tests. Completeness is now the compiler's job, not a test's: this exists so the
+ * matrix can assert it covers every kind, which is a different question from whether every kind is
+ * classified.
+ */
+export const CLASSIFIED_KINDS = FIELD_KINDS;
+/** `JSON<T[]>` counts elements; `JSON<{...}>` takes no bound. Anything else follows its kind. */
+function boundsForKind(kind, jsonIsArray) {
+    const entry = BOUNDS_BY_KIND[kind];
+    if (kind === "json" && jsonIsArray) {
+        return {
+            items: "jsonbArray",
+            instead: {
+                length: "a JSON array has items, not characters; use MaxItems/MinItems",
+                range: "a JSON array is not ordered; use MaxItems/MinItems",
+            },
+        };
+    }
+    return entry;
+}
+/**
+ * How a kind is measured, for one measure family.
+ *
+ * **The single answer for both paths.** `MaxLength<T, N>` on a field and `Length<"col">` inside a
+ * model constraint have to agree about what "length" means for a given column, or the same schema
+ * gets `char_length` in one place and `cardinality` in the other. A second table for the constraint
+ * path is how `char_length(text[])` would come back, in a new file, having been fixed once already.
+ */
+export function measureFormFor(kind, measure, options = {}) {
+    const entry = boundsForKind(kind, options.jsonIsArray === true);
+    const form = measure === "length" ? entry.length : entry.items;
+    if (form !== undefined)
+        return { form };
+    return { instead: entry.instead?.[measure] ?? `a ${kind} field cannot be measured that way` };
+}
+const COLUMN = '"{name}"';
+function lengthExpr(form) {
+    switch (form) {
+        case "chars":
+            return `char_length(${COLUMN})`;
+        case "octets":
+            return `octet_length(${COLUMN})`;
+        case "richText":
+            return `char_length(_supatype.richtext_text(${COLUMN}))`;
+    }
+}
+/**
+ * `jsonb_array_length` raises `cannot get array length of a non-array` at insert time, so the type
+ * guard is part of the constraint rather than an assumption about what callers send.
+ */
+function itemsClause(form, comparisons) {
+    if (form === "array") {
+        return comparisons.map((c) => `cardinality(${COLUMN}) ${c}`).join(" AND ");
+    }
+    const guarded = comparisons.map((c) => `jsonb_array_length(${COLUMN}) ${c}`).join(" AND ");
+    return `jsonb_typeof(${COLUMN}) = 'array' AND ${guarded}`;
+}
+function rangeLiteral(form, value) {
+    if (form === "numeric")
+        return String(value);
+    const cast = form === "timestamptz" ? "timestamptz" : form;
+    return `'${String(value).replace(/'/g, "''")}'::${cast}`;
+}
+/** ISO-8601 date, date-time or a Postgres interval. Validated here so a bad literal is a CLI error. */
+function isTemporalLiteral(form, value) {
+    if (form === "interval")
+        return /^\s*\d+\s+[a-z]+(\s+\d+\s+[a-z]+)*\s*$/i.test(value);
+    return !Number.isNaN(Date.parse(value));
+}
+function refuse(field, modifier, kind, hint) {
+    const tail = hint ? ` ${hint}.` : "";
+    throw new Error(`Field "${field}": ${modifier} is not supported on a ${kind} field.${tail}`);
+}
+/**
+ * Compile declared bounds against the kind they landed on.
+ *
+ * Throws rather than dropping. A bound that cannot be honoured is a mistake in the schema, and the
+ * failure it used to produce, silence, is the one failure this must not have.
+ */
+export function compileBounds(field, kind, bounds, options = {}) {
+    const entry = boundsForKind(kind, options.jsonIsArray === true);
+    const clauses = [];
+    const validation = {};
+    const { maxLength, minLength } = bounds;
+    if (maxLength !== undefined || minLength !== undefined) {
+        const resolved = measureFormFor(kind, "length", options);
+        if (resolved.form === undefined) {
+            refuse(field, maxLength !== undefined ? "MaxLength" : "MinLength", kind, resolved.instead);
+        }
+        const expr = lengthExpr(resolved.form);
+        if (maxLength !== undefined) {
+            clauses.push(`${expr} <= ${maxLength}`);
+            validation.maxLength = maxLength;
+        }
+        if (minLength !== undefined) {
+            clauses.push(`${expr} >= ${minLength}`);
+            validation.minLength = minLength;
+        }
+    }
+    const { maxItems, minItems } = bounds;
+    const itemsResolved = measureFormFor(kind, "items", options);
+    if (maxItems !== undefined || minItems !== undefined) {
+        if (itemsResolved.form === undefined) {
+            refuse(field, maxItems !== undefined ? "MaxItems" : "MinItems", kind, itemsResolved.instead);
+        }
+        const comparisons = [];
+        if (maxItems !== undefined) {
+            comparisons.push(`<= ${maxItems}`);
+            validation.maxItems = maxItems;
+        }
+        if (minItems !== undefined) {
+            comparisons.push(`>= ${minItems}`);
+            validation.minItems = minItems;
+        }
+        clauses.push(itemsClause(itemsResolved.form, comparisons));
+    }
+    const { min, max } = bounds;
+    if (min !== undefined || max !== undefined) {
+        if (!entry.range)
+            refuse(field, "Between", kind, entry.instead?.range);
+        for (const [bound, comparison] of [[min, ">="], [max, "<="]]) {
+            if (bound === undefined)
+                continue;
+            assertRangeShape(field, kind, entry.range, bound);
+            clauses.push(`${COLUMN} ${comparison} ${rangeLiteral(entry.range, bound)}`);
+        }
+        if (min !== undefined)
+            validation.min = min;
+        if (max !== undefined)
+            validation.max = max;
+    }
+    // Parenthesised only when there is something to bind, matching `mergeCheckConstraint`. Gratuitous
+    // parentheses are not cosmetic here: the differ compares this text against what Postgres hands
+    // back from `pg_get_constraintdef`, so every avoidable difference is a false "changed" on push.
+    return {
+        ...(clauses.length > 0 && { check: joinClauses(clauses) }),
+        ...(Object.keys(validation).length > 0 && { validation }),
+    };
+}
+function joinClauses(clauses) {
+    const [only] = clauses;
+    if (clauses.length === 1 && only !== undefined)
+        return only;
+    return clauses.map((c) => `(${c})`).join(" AND ");
+}
+/** A number bounds a number and a string bounds a date. Crossing them is a mistake, not a cast. */
+function assertRangeShape(field, kind, form, bound) {
+    const isNumeric = form === "numeric";
+    if (isNumeric && typeof bound !== "number") {
+        throw new Error(`Field "${field}": Between on a ${kind} field takes numbers, but "${bound}" is a string.`);
+    }
+    if (!isNumeric && typeof bound !== "string") {
+        throw new Error(`Field "${field}": Between on a ${kind} field takes ISO-8601 string bounds, but ${bound} is a number.`);
+    }
+    if (!isNumeric && !isTemporalLiteral(form, bound)) {
+        throw new Error(`Field "${field}": Between bound "${bound}" is not a valid ${form === "interval" ? "interval" : "ISO-8601 date"}.`);
+    }
+}
+//# sourceMappingURL=field-bounds.js.map

package/dist/field-bounds.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"field-bounds.js","sourceRoot":"","sources":["../src/field-bounds.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,WAAW,EAAwC,MAAM,oBAAoB,CAAA;AA6BtF,MAAM,OAAO,GAAe;IAC1B,MAAM,EAAE,OAAO;IACf,OAAO,EAAE;QACP,KAAK,EAAE,yDAAyD;QAChE,KAAK,EAAE,wFAAwF;KAChG;CACF,CAAA;AAED,MAAM,OAAO,GAAe;IAC1B,KAAK,EAAE,SAAS;IAChB,OAAO,EAAE;QACP,MAAM,EAAE,wDAAwD;QAChE,KAAK,EAAE,uDAAuD;KAC/D;CACF,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,KAAgB,EAAc,EAAE,CAAC,CAAC;IAClD,KAAK;IACL,OAAO,EAAE;QACP,MAAM,EAAE,+DAA+D;QACvE,KAAK,EAAE,8DAA8D;KACtE;CACF,CAAC,CAAA;AAEF,MAAM,SAAS,GAAG,CAAC,GAAW,EAAc,EAAE,CAAC,CAAC;IAC9C,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;CACjD,CAAC,CAAA;AAEF;;;;;;;;GAQG;AACH,MAAM,cAAc,GAAkC;IACpD,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;IACd,GAAG,EAAE,OAAO;IACZ,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;IACd,GAAG,EAAE,OAAO;IACZ,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,OAAO;IAChB,OAAO,EAAE,OAAO;IAChB,QAAQ,EAAE,OAAO;IAEjB,QAAQ,EAAE;QACR,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE;YACP,KAAK,EAAE,4EAA4E;YACnF,KAAK,EAAE,mDAAmD;SAC3D;KACF;IAED,KAAK,EAAE;QACL,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE;YACP,KAAK,EAAE,gEAAgE;YACvE,KAAK,EAAE,yDAAyD;SACjE;KACF;IAED,OAAO,EAAE,OAAO;IAChB,QAAQ,EAAE,OAAO;IACjB,MAAM,EAAE,OAAO;IACf,KAAK,EAAE,OAAO;IACd,MAAM,EAAE,OAAO;IACf,SAAS,EAAE,OAAO;IAClB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,OAAO;IAEd,QAAQ,EAAE,QAAQ,CAAC,aAAa,CAAC;IACjC,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC;IAChC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC;IACtB,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC;IAE9B,KAAK,EAAE;QACL,KAAK,EAAE,OAAO;QACd,OAAO,EAAE;YACP,MAAM,EAAE,2DAA2D;YACnE,KAAK,EAAE,gDAAgD;SACxD;KACF;IAED,MAAM,EAAE;QACN,KAAK,EAAE,YAAY;QACnB,OAAO,EAAE;YACP,MAAM,EAAE,yDAAyD;YACjE,KAAK,EAAE,+CAA+C;SACvD;KACF;IAED,gGAAgG;IAChG,kGAAkG;IAClG,IAAI,EAAE,SAAS,CACb,wFAAwF;QACtF,8DAA8D,CACjE;IACD,MAAM,EAAE,SAAS,CAAC,gFAAgF,CAAC;IAEnG,IAAI,EAAE,SAAS,CAAC,mDAAmD,CAAC;IACpE,OAAO,EAAE,SAAS,CAAC,6CAA6C,CAAC;IACjE,IAAI,EAAE,SAAS,CAAC,uBAAuB,CAAC;IACxC,KAAK,EAAE,SAAS,CAAC,+EAA+E,CAAC;IACjG,IAAI,EAAE,SAAS,CAAC,+EAA+E,CAAC;IAChG,GAAG,EAAE,SAAS,CAAC,qCAAqC,CAAC;IACrD,MAAM,EAAE,SAAS,CAAC,0DAA0D,CAAC;IAC7E,QAAQ,EAAE,SAAS,CAAC,uDAAuD,CAAC;IAC5E,MAAM,EAAE,SAAS,CAAC,4EAA4E,CAAC;IAE/F,UAAU,EAAE,SAAS,CAAC,6DAA6D,CAAC;IACpF,WAAW,EAAE,SAAS,CAAC,6DAA6D,CAAC;IACrF,UAAU,EAAE,SAAS,CAAC,6DAA6D,CAAC;CACrF,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAyB,WAAW,CAAA;AAEjE,iGAAiG;AACjG,SAAS,aAAa,CAAC,IAAe,EAAE,WAAoB;IAC1D,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAA;IAClC,IAAI,IAAI,KAAK,MAAM,IAAI,WAAW,EAAE,CAAC;QACnC,OAAO;YACL,KAAK,EAAE,YAAY;YACnB,OAAO,EAAE;gBACP,MAAM,EAAE,+DAA+D;gBACvE,KAAK,EAAE,oDAAoD;aAC5D;SACF,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAYD;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAe,EACf,OAA2B,EAC3B,UAAqC,EAAE;IAEvC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,KAAK,IAAI,CAAC,CAAA;IAC/D,MAAM,IAAI,GAAG,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAA;IAC9D,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,CAAA;IACvC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,oCAAoC,EAAE,CAAA;AAC/F,CAAC;AAED,MAAM,MAAM,GAAG,UAAU,CAAA;AAEzB,SAAS,UAAU,CAAC,IAAgB;IAClC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,OAAO;YACV,OAAO,eAAe,MAAM,GAAG,CAAA;QACjC,KAAK,QAAQ;YACX,OAAO,gBAAgB,MAAM,GAAG,CAAA;QAClC,KAAK,UAAU;YACb,OAAO,uCAAuC,MAAM,IAAI,CAAA;IAC5D,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,WAAW,CAAC,IAAe,EAAE,WAAqB;IACzD,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC5E,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC1F,OAAO,gBAAgB,MAAM,mBAAmB,OAAO,EAAE,CAAA;AAC3D,CAAC;AAED,SAAS,YAAY,CAAC,IAAe,EAAE,KAAsB;IAC3D,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IAC5C,MAAM,IAAI,GAAG,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAA;IAC1D,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,IAAI,EAAE,CAAA;AAC1D,CAAC;AAED,uGAAuG;AACvG,SAAS,iBAAiB,CAAC,IAAe,EAAE,KAAa;IACvD,IAAI,IAAI,KAAK,UAAU;QAAE,OAAO,yCAAyC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACrF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AACzC,CAAC;AAOD,SAAS,MAAM,CAAC,KAAa,EAAE,QAAgB,EAAE,IAAe,EAAE,IAAwB;IACxF,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;IACpC,MAAM,IAAI,KAAK,CACb,UAAU,KAAK,MAAM,QAAQ,0BAA0B,IAAI,UAAU,IAAI,EAAE,CAC5E,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAa,EACb,IAAe,EACf,MAAsB,EACtB,UAAqC,EAAE;IAEvC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,KAAK,IAAI,CAAC,CAAA;IAC/D,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,MAAM,UAAU,GAAoB,EAAE,CAAA;IAEtC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,MAAM,CAAA;IACvC,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;QACxD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,CAAC,KAAK,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;QAC5F,CAAC;QACD,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAkB,CAAC,CAAA;QACpD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,OAAO,SAAS,EAAE,CAAC,CAAA;YACvC,UAAU,CAAC,SAAS,GAAG,SAAS,CAAA;QAClC,CAAC;QACD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,OAAO,SAAS,EAAE,CAAC,CAAA;YACvC,UAAU,CAAC,SAAS,GAAG,SAAS,CAAA;QAClC,CAAC;IACH,CAAC;IAED,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAA;IACrC,MAAM,aAAa,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;IAC5D,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACrD,IAAI,aAAa,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,CAAC,KAAK,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;QAC9F,CAAC;QACD,MAAM,WAAW,GAAa,EAAE,CAAA;QAChC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,WAAW,CAAC,IAAI,CAAC,MAAM,QAAQ,EAAE,CAAC,CAAA;YAClC,UAAU,CAAC,QAAQ,GAAG,QAAQ,CAAA;QAChC,CAAC;QACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,WAAW,CAAC,IAAI,CAAC,MAAM,QAAQ,EAAE,CAAC,CAAA;YAClC,UAAU,CAAC,QAAQ,GAAG,QAAQ,CAAA;QAChC,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,IAAiB,EAAE,WAAW,CAAC,CAAC,CAAA;IACzE,CAAC;IAED,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,CAAA;IAC3B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QAC3C,IAAI,CAAC,KAAK,CAAC,KAAK;YAAE,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QACtE,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAU,EAAE,CAAC;YACtE,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAQ;YACjC,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACjD,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,UAAU,IAAI,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAA;QAC7E,CAAC;QACD,IAAI,GAAG,KAAK,SAAS;YAAE,UAAU,CAAC,GAAG,GAAG,GAAG,CAAA;QAC3C,IAAI,GAAG,KAAK,SAAS;YAAE,UAAU,CAAC,GAAG,GAAG,GAAG,CAAA;IAC7C,CAAC;IAED,kGAAkG;IAClG,+FAA+F;IAC/F,gGAAgG;IAChG,OAAO;QACL,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1D,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC;KAC1D,CAAA;AACH,CAAC;AAED,SAAS,WAAW,CAAC,OAAiB;IACpC,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAA;IACtB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAA;IAC3D,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;AACnD,CAAC;AAED,mGAAmG;AACnG,SAAS,gBAAgB,CAAC,KAAa,EAAE,IAAe,EAAE,IAAe,EAAE,KAAsB;IAC/F,MAAM,SAAS,GAAG,IAAI,KAAK,SAAS,CAAA;IACpC,IAAI,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CACb,UAAU,KAAK,mBAAmB,IAAI,8BAA8B,KAAK,gBAAgB,CAC1F,CAAA;IACH,CAAC;IACD,IAAI,CAAC,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CACb,UAAU,KAAK,mBAAmB,IAAI,4CAA4C,KAAK,eAAe,CACvG,CAAA;IACH,CAAC;IACD,IAAI,CAAC,SAAS,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAe,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CACb,UAAU,KAAK,qBAAqB,KAAK,oBAAoB,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,GAAG,CACnH,CAAA;IACH,CAAC;AACH,CAAC"}

package/dist/hooks-generator.d.ts

@@ -1,5 +1,5 @@
 /**
- * The module source, or `null` when no model declares a hook.
+ * The module source, or `null` when no model declares a hook or a field validator.
  *
  * Returning null rather than an empty module keeps a `_supatype/hooks.ts` from appearing in projects
  * that have no hooks, a generated file nobody imports is a file somebody eventually edits.

package/dist/hooks-generator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"hooks-generator.d.ts","sourceRoot":"","sources":["../src/hooks-generator.ts"],"names":[],"mappings":"AAsCA;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CA0R/D"}
+{"version":3,"file":"hooks-generator.d.ts","sourceRoot":"","sources":["../src/hooks-generator.ts"],"names":[],"mappings":"AA2CA;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAkW/D"}

package/dist/hooks-generator.js

@@ -16,15 +16,17 @@ function hookedModels(ast) {
         return [];
     return models
         .filter((model) => {
-        const hooks = model.annotations
-            ?.platform?.hooks;
-        return typeof hooks === "object" && hooks !== null && Object.keys(hooks).length > 0;
+        const platform = model.annotations?.platform;
+        const declares = (value) => typeof value === "object" && value !== null && Object.keys(value).length > 0;
+        // Validators need the same row types hooks do, so a model declaring only validators must
+        // still appear here or `FieldValidator<"products", ...>` would not compile.
+        return declares(platform?.hooks) || declares(platform?.validate);
     })
         .map((model) => ({ table: resolveTableName(model), fields: model.fields }))
         .sort((a, b) => a.table.localeCompare(b.table));
 }
 /**
- * The module source, or `null` when no model declares a hook.
+ * The module source, or `null` when no model declares a hook or a field validator.
  *
  * Returning null rather than an empty module keeps a `_supatype/hooks.ts` from appearing in projects
  * that have no hooks, a generated file nobody imports is a file somebody eventually edits.
@@ -153,6 +155,78 @@ export type AfterDelete<T extends HookedTable> = (
   ctx: AfterDeleteContext<T>,
 ) => void | Promise<void>
 
+
+/**
+ * A per-field validator: one field's value, and a verdict about it.
+ *
+ * \`FieldValidator<"products", "setup_items">\` types \`value\` as that column's real type, so a
+ * validator cannot quietly be written against the wrong shape.
+ *
+ * Return \`true\` to accept, or a message to refuse. The message reaches the caller attached to the
+ * field name, which is what lets a form put it on the input rather than in a banner: the whole
+ * reason for declaring this instead of putting the same logic in a \`beforeChange\` hook.
+ */
+export type FieldValidatorContext<T extends HookedTable, F extends keyof HookTables[T]["Row"]> =
+  HookBase & {
+    readonly operation: "insert" | "update"
+    readonly field: F
+    readonly value: HookTables[T]["Row"][F]
+  }
+
+export type FieldVerdict = true | string
+
+export type FieldValidator<T extends HookedTable, F extends keyof HookTables[T]["Row"]> = (
+  ctx: FieldValidatorContext<T, F>,
+) => FieldVerdict | Promise<FieldVerdict>
+
+interface WireValidatorContext {
+  table?: string
+  operation?: string
+  field?: string
+  value?: unknown
+  user?: unknown
+  requestId?: string
+}
+
+/**
+ * Wrap a typed validator as the request handler the worker expects.
+ *
+ * A refusal is **422 with the field named**, not a bare 400: the request was understood and one
+ * value was rejected. A thrown error is deliberately *not* turned into a refusal, because a broken
+ * validator has not decided anything: it becomes a 500, which the server reads as unavailable and
+ * refuses the write on, rather than as the validator saying no.
+ */
+export function fieldValidator(
+  handler: (ctx: never) => FieldVerdict | Promise<FieldVerdict>,
+): (req: Request) => Promise<Response> {
+  return async (req: Request): Promise<Response> => {
+    if (req.method !== "POST") {
+      return json({ message: "A validator is invoked with POST" }, 405)
+    }
+
+    let wire: WireValidatorContext
+    try {
+      wire = (await req.json()) as WireValidatorContext
+    } catch {
+      return json({ message: "Validator payload was not JSON" }, 400)
+    }
+
+    const field = wire.field ?? ""
+    const ctx = {
+      table: wire.table ?? "",
+      operation: wire.operation === "update" ? "update" : "insert",
+      field,
+      value: wire.value,
+      user: (wire.user ?? null) as never,
+      requestId: wire.requestId ?? "",
+    }
+
+    const verdict = await handler(ctx as never)
+    if (verdict === true) return json({}, 200)
+    return json({ field, message: String(verdict), error: String(verdict) }, 422)
+  }
+}
+
 /** Every handler a single function may serve, when one function covers a model's whole lifecycle. */
 export interface HookHandlers<T extends HookedTable> {
   readonly beforeChange?: BeforeChange<T>

package/dist/hooks-generator.js.map

@@ -1 +1 @@
-{"version":3,"file":"hooks-generator.js","sourceRoot":"","sources":["../src/hooks-generator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,GAEjB,MAAM,6BAA6B,CAAA;AAOpC,uEAAuE;AACvE,SAAS,YAAY,CAAC,GAAY;IAChC,MAAM,MAAM,GAAI,GAA+B,EAAE,MAAM,CAAA;IACvD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAA;IAErC,OAAO,MAAM;SACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QAChB,MAAM,KAAK,GAAI,KAA8D,CAAC,WAAW;YACvF,EAAE,QAAQ,EAAE,KAAK,CAAA;QACnB,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;IACrF,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;SAC1E,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;AACnD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAY;IAC9C,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAA;IAChC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAEpC,MAAM,YAAY,GAAG,MAAM;SACxB,GAAG,CACF,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;WACtC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;cAC/C,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;cACrD,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/D,CACC;SACA,IAAI,CAAC,IAAI,CAAC,CAAA;IAEb,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA8BP,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA6Ob,CAAA;AACD,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,QAAQ,CAAC,MAAc;IAC9B,OAAO,MAAM,CAAC,UAAU,CACtB,yDAAyD,EACzD,eAAe,CAChB,CAAA;AACH,CAAC;AAED,kGAAkG;AAClG,SAAS,MAAM,CAAC,MAAc,EAAE,MAAc;IAC5C,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAC9B,OAAO,MAAM;SACV,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,IAAI,EAAE,CAAC,CAAC;SACpD,IAAI,CAAC,IAAI,CAAC,CAAA;AACf,CAAC"}
+{"version":3,"file":"hooks-generator.js","sourceRoot":"","sources":["../src/hooks-generator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,GAEjB,MAAM,6BAA6B,CAAA;AAOpC,uEAAuE;AACvE,SAAS,YAAY,CAAC,GAAY;IAChC,MAAM,MAAM,GAAI,GAA+B,EAAE,MAAM,CAAA;IACvD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAA;IAErC,OAAO,MAAM;SACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QAChB,MAAM,QAAQ,GACZ,KACD,CAAC,WAAW,EAAE,QAAQ,CAAA;QACvB,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAW,EAAE,CAC3C,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;QAC9E,yFAAyF;QACzF,4EAA4E;QAC5E,OAAO,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAClE,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;SAC1E,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;AACnD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAY;IAC9C,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAA;IAChC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAEpC,MAAM,YAAY,GAAG,MAAM;SACxB,GAAG,CACF,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;WACtC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;cAC/C,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;cACrD,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/D,CACC;SACA,IAAI,CAAC,IAAI,CAAC,CAAA;IAEb,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA8BP,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqTb,CAAA;AACD,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,QAAQ,CAAC,MAAc;IAC9B,OAAO,MAAM,CAAC,UAAU,CACtB,yDAAyD,EACzD,eAAe,CAChB,CAAA;AACH,CAAC;AAED,kGAAkG;AAClG,SAAS,MAAM,CAAC,MAAc,EAAE,MAAc;IAC5C,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAC9B,OAAO,MAAM;SACV,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,IAAI,EAAE,CAAC,CAAC;SACpD,IAAI,CAAC,IAAI,CAAC,CAAA;AACf,CAAC"}

package/dist/model-hooks.d.ts

@@ -37,15 +37,45 @@ export interface ManifestHookEntry {
  * cannot disagree about the safe direction.
  */
 export declare function manifestHooks(ast: unknown): Record<string, Record<string, ManifestHookEntry>>;
+/** One declared per-field validator. `event` is the field it checks, so reporting reads uniformly. */
+export interface DeclaredValidator {
+    model: string;
+    field: string;
+    function: string;
+}
+/** Every per-field validator declared across the schema, in a stable order for reporting. */
+export declare function declaredValidators(ast: unknown): DeclaredValidator[];
+/**
+ * The validator map for `.supatype/manifest.json`, keyed by **table** then **column**.
+ *
+ * `onUnavailable` is written explicitly as `reject` rather than left to the server's default. The
+ * server does default that way, but its policy matches exact event names, and a validator that
+ * silently accepted a value because a new event name was missing from a switch is precisely the
+ * failure found when that path was built. Saying it here means neither side has to be right alone.
+ */
+export declare function manifestValidators(ast: unknown): Record<string, Record<string, ManifestHookEntry>>;
+/**
+ * Validators naming a function that does not exist, as lines for a push failure.
+ *
+ * Shares `availableFunctions` with the hook check, so "what counts as a function" cannot come to
+ * mean two things.
+ */
+export declare function validateModelValidators(ast: unknown, functionsDir: string, cwd: string): string[];
 /** Well below the 10s edge-function ceiling, so a hung hook fails fast instead of holding a slot. */
 export declare const DEFAULT_HOOK_TIMEOUT_MS = 2000;
 /**
- * Merge the hook map into an existing `.supatype/manifest.json`.
+ * Merge the hook and validator maps into an existing `.supatype/manifest.json`.
+ *
+ * Both keys are written here rather than in two functions, because they fail together and for the
+ * same reason: each is a map the server reads to decide what to call around a write, and a manifest
+ * carrying a stale one calls the wrong thing or nothing at all. A validator that is never called is
+ * the worse half of that: the schema says the field is checked, and no error appears anywhere,
+ * because the write simply succeeds.
  *
  * **Only updates a manifest that is already there.** Creating one from scratch here would be a
  * hazard: `functions_enabled` is a plain bool on the server's side, so a manifest carrying only
  * hooks would read as functions *disabled*, the exact defect this repo fixed a commit ago, arriving
- * by a different door. The compose path owns creation; this owns one key.
+ * by a different door. The compose path owns creation; this owns two keys.
  *
  * Returns true when the file was rewritten.
  */
@@ -58,6 +88,18 @@ export interface HooksReport {
     functionsDisabled: boolean;
     /** True when a manifest exists but carries no hook map, so the server has nothing to call. */
     mapMissing: boolean;
+    /** Field validators declared across the schema. */
+    validators: DeclaredValidator[];
+    /**
+     * Validators whose function directory is missing.
+     *
+     * Reported apart from `missing` because the consequence is different and worth saying plainly: a
+     * missing hook is a lifecycle step that will not run, a missing validator is a field written
+     * unchecked.
+     */
+    validatorsMissing: DeclaredValidator[];
+    /** True when validators are declared and the manifest carries no validator map. */
+    validatorMapMissing: boolean;
 }
 /**
  * What `supatype doctor` needs to answer "will my hooks actually run?".

package/dist/model-hooks.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"model-hooks.d.ts","sourceRoot":"","sources":["../src/model-hooks.ts"],"names":[],"mappings":"AAcA,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;IACb,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED,8EAA8E;AAC9E,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,GAAG,YAAY,EAAE,CAqB1D;AAeD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,OAAO,EACZ,YAAY,EAAE,MAAM,EACpB,GAAG,EAAE,MAAM,GACV,MAAM,EAAE,CAoBV;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAa/F;AAED,uEAAuE;AACvE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,aAAa,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAA;CACjC;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAoC7F;AAED,qGAAqG;AACrG,eAAO,MAAM,uBAAuB,OAAO,CAAA;AAE3C;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,OAAO,CAwBpE;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,YAAY,EAAE,CAAA;IACxB,iDAAiD;IACjD,OAAO,EAAE,YAAY,EAAE,CAAA;IACvB,2EAA2E;IAC3E,iBAAiB,EAAE,OAAO,CAAA;IAC1B,8FAA8F;IAC9F,UAAU,EAAE,OAAO,CAAA;CACpB;AAED;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,WAAW,CAkCxF"}
+{"version":3,"file":"model-hooks.d.ts","sourceRoot":"","sources":["../src/model-hooks.ts"],"names":[],"mappings":"AAcA,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;IACb,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED,8EAA8E;AAC9E,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,GAAG,YAAY,EAAE,CAqB1D;AAeD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,OAAO,EACZ,YAAY,EAAE,MAAM,EACpB,GAAG,EAAE,MAAM,GACV,MAAM,EAAE,CAoBV;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAa/F;AAED,uEAAuE;AACvE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,aAAa,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAA;CACjC;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAoC7F;AAGD,sGAAsG;AACtG,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;IACb,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED,6FAA6F;AAC7F,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,OAAO,GAAG,iBAAiB,EAAE,CAqBpE;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CA8BlG;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,OAAO,EACZ,YAAY,EAAE,MAAM,EACpB,GAAG,EAAE,MAAM,GACV,MAAM,EAAE,CAqBV;AAED,qGAAqG;AACrG,eAAO,MAAM,uBAAuB,OAAO,CAAA;AAE3C;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,OAAO,CAkBpE;AAyBD,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,YAAY,EAAE,CAAA;IACxB,iDAAiD;IACjD,OAAO,EAAE,YAAY,EAAE,CAAA;IACvB,2EAA2E;IAC3E,iBAAiB,EAAE,OAAO,CAAA;IAC1B,8FAA8F;IAC9F,UAAU,EAAE,OAAO,CAAA;IACnB,mDAAmD;IACnD,UAAU,EAAE,iBAAiB,EAAE,CAAA;IAC/B;;;;;;OAMG;IACH,iBAAiB,EAAE,iBAAiB,EAAE,CAAA;IACtC,mFAAmF;IACnF,mBAAmB,EAAE,OAAO,CAAA;CAC7B;AAED;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,WAAW,CAwCxF"}