@haverstack/core 0.40.0 → 0.42.0

package/dist/migration-steps.js

@@ -0,0 +1,293 @@
+/**
+ * Migration steps
+ * -------------------------------------------------------
+ * A migration is a list of declared steps — rename, map, add, drop and
+ * derive — rather than a function, so that core can read what became of
+ * each field. Two things are built from one list: the in-memory `migrate`
+ * that `Stack.open()`, a collection's reads and `migrateAll()` run, and the
+ * field origins a collection translates a content filter or sort through.
+ *
+ * `fieldOrigins()` also checks the list against both schemas, so a step
+ * the target Type would refuse fails when `migration()` runs rather than
+ * on the first record `migrateAll()` writes. See docs/spec/data-model.md
+ * § Migration steps.
+ */
+import { validateContent } from './validate.js';
+/** Move a field's value to a new name. */
+export const rename = (from, to) => Object.freeze({ op: 'rename', from, to });
+/**
+ * Replace each value `values` lists with its mapping, keeping any other,
+ * element-wise through an array. A stored enum may hold a value no handle
+ * lists, and it is carried through rather than lost.
+ */
+export const map = (field, values) => Object.freeze({ op: 'map', field, values: Object.freeze({ ...values }) });
+/** Set a field to a constant. */
+export const add = (field, value) => Object.freeze({ op: 'add', field, value });
+/** Remove a field. */
+export const drop = (field) => Object.freeze({ op: 'drop', field });
+/**
+ * Set a field to what `fn` computes from the record as stored at the
+ * migration's `from`; `undefined` leaves it absent. The one opaque step: a
+ * field it produces does not translate across versions.
+ */
+export const derive = (field, fn) => Object.freeze({ op: 'derive', field, derive: fn });
+const describe = (step) => {
+    switch (step.op) {
+        case 'rename':
+            return `rename("${step.from}", "${step.to}")`;
+        case 'add':
+            return `add("${step.field}", …)`;
+        default:
+            return `${step.op}("${step.field}"${step.op === 'drop' ? '' : ', …'})`;
+    }
+};
+// -------------------------------------------------------
+// Applying steps
+// -------------------------------------------------------
+const remap = (value, values) => {
+    if (Array.isArray(value))
+        return value.map((v) => remap(v, values));
+    return typeof value === 'string' && Object.hasOwn(values, value) ? values[value] : value;
+};
+/** The content `steps` produce from `content`, which is left untouched. */
+export const applySteps = (steps, content) => {
+    const out = { ...content };
+    for (const step of steps) {
+        switch (step.op) {
+            case 'rename':
+                if (Object.hasOwn(out, step.from))
+                    out[step.to] = out[step.from];
+                delete out[step.from];
+                break;
+            case 'map':
+                if (out[step.field] !== undefined)
+                    out[step.field] = remap(out[step.field], step.values);
+                break;
+            case 'add':
+                out[step.field] = step.value;
+                break;
+            case 'drop':
+                delete out[step.field];
+                break;
+            case 'derive': {
+                const value = step.derive(content);
+                if (value === undefined)
+                    delete out[step.field];
+                else
+                    out[step.field] = value;
+                break;
+            }
+        }
+    }
+    return out;
+};
+/** `outer` after `inner`, as one table over both domains. */
+const composeValues = (inner, outer) => {
+    if (!inner)
+        return outer;
+    if (!outer)
+        return inner;
+    const composed = {};
+    for (const [from, to] of Object.entries(inner))
+        composed[from] = remap(to, outer);
+    for (const [from, to] of Object.entries(outer)) {
+        if (!Object.hasOwn(inner, from))
+            composed[from] = to;
+    }
+    return composed;
+};
+/**
+ * The origins across two migrations end to end: `lower` takes A to B and
+ * `upper` takes B to C, so the result says what each of C's fields is in
+ * terms of A's.
+ */
+export const composeOrigins = (lower, upper) => {
+    const composed = new Map();
+    for (const [field, origin] of upper) {
+        if (origin.kind !== 'field') {
+            composed.set(field, origin);
+            continue;
+        }
+        // A name the lower step neither declares nor removed passes through it.
+        const inner = lower.get(origin.field) ?? { kind: 'field', field: origin.field };
+        composed.set(field, inner.kind === 'field'
+            ? { kind: 'field', field: inner.field, values: composeValues(inner.values, origin.values) }
+            : inner.kind === 'constant'
+                ? {
+                    kind: 'constant',
+                    value: origin.values ? remap(inner.value, origin.values) : inner.value,
+                }
+                : inner);
+    }
+    return composed;
+};
+const isStringKind = (def) => def?.kind === 'enum' || def?.kind === 'string' || def?.kind === 'text';
+/** What `map` may remap: a string-shaped scalar, or a declared array of one. */
+const isMappable = (def) => isStringKind(def) || (def?.kind === 'array' && !def.open && isStringKind(def.items));
+const MAX_CARRY_DEPTH = 32;
+/**
+ * Why a value stored under `source` could fail `target` once `values`
+ * remaps it, or null when it cannot. A carried field is written as it
+ * stands, so this is write validity, not the read compatibility
+ * isCompatible() answers.
+ */
+const carryProblem = (path, source, target, values, depth) => {
+    if (depth > MAX_CARRY_DEPTH)
+        return `"${path}" nests too deeply to check`;
+    if (target.required && !source.required) {
+        return `"${path}" is optional at the source and required at the target`;
+    }
+    if (target.kind === 'array') {
+        if (source.kind !== 'array')
+            return `"${path}" changes kind from ${source.kind} to array`;
+        if (target.open)
+            return null;
+        if (source.open)
+            return `"${path}" is an open array at the source and declared at the target`;
+        return carryProblem(`${path}[]`, source.items, target.items, values, depth + 1);
+    }
+    if (target.kind === 'object') {
+        if (source.kind !== 'object')
+            return `"${path}" changes kind from ${source.kind} to object`;
+        if (target.open)
+            return null;
+        if (source.open)
+            return `"${path}" is an open object at the source and declared at the target`;
+        for (const [key, def] of Object.entries(target.properties)) {
+            const from = source.properties[key];
+            if (!from) {
+                if (def.required)
+                    return `"${path}.${key}" is required at the target and not at the source`;
+                continue;
+            }
+            const problem = carryProblem(`${path}.${key}`, from, def, undefined, depth + 1);
+            if (problem)
+                return problem;
+        }
+        for (const key of Object.keys(source.properties)) {
+            if (!Object.hasOwn(target.properties, key)) {
+                return `"${path}.${key}" is not declared at the target`;
+            }
+        }
+        return null;
+    }
+    if (target.kind === 'enum') {
+        if (source.kind !== 'enum')
+            return `"${path}" changes kind from ${source.kind} to enum`;
+        const allowed = new Set(target.values);
+        const missing = source.values.find((v) => !allowed.has(remap(v, values ?? {})));
+        return missing === undefined
+            ? null
+            : `"${path}" holds "${missing}"${values && Object.hasOwn(values, missing) ? ` (mapped to "${values[missing]}")` : ''}, which the target's enum does not list`;
+    }
+    if (target.kind === 'string' || target.kind === 'text') {
+        return isStringKind(source)
+            ? null
+            : `"${path}" changes kind from ${source.kind} to ${target.kind}`;
+    }
+    return source.kind === target.kind
+        ? null
+        : `"${path}" changes kind from ${source.kind} to ${target.kind}`;
+};
+/**
+ * What each of `to`'s top-level fields is in terms of `from`'s, after
+ * `steps`. Returns the problem that makes the list unusable as a string
+ * instead: a step naming a field that is not there, a field `to` would
+ * refuse, or one it requires that nothing produces. See
+ * docs/spec/data-model.md § Migration steps.
+ */
+export const fieldOrigins = (steps, from, to) => {
+    const current = new Map(Object.keys(from).map((field) => [field, { kind: 'field', field }]));
+    const removed = new Set();
+    for (const step of steps) {
+        const at = describe(step);
+        const named = step.op === 'rename' ? step.from : step.field;
+        if (step.op !== 'add' && step.op !== 'derive' && !current.has(named)) {
+            return `${at}: "${named}" is not a field at this point`;
+        }
+        switch (step.op) {
+            case 'rename':
+                if (current.has(step.to))
+                    return `${at}: "${step.to}" is already a field at this point`;
+                current.set(step.to, current.get(step.from));
+                current.delete(step.from);
+                removed.add(step.from);
+                break;
+            case 'map': {
+                const origin = current.get(step.field);
+                if (origin.kind === 'field') {
+                    if (!isMappable(from[origin.field])) {
+                        return `${at}: only an enum, string or text field, or an array of one, can be mapped`;
+                    }
+                    current.set(step.field, {
+                        ...origin,
+                        values: composeValues(origin.values, step.values),
+                    });
+                }
+                else if (origin.kind === 'constant') {
+                    current.set(step.field, { kind: 'constant', value: remap(origin.value, step.values) });
+                }
+                break;
+            }
+            case 'add':
+                if (current.has(step.field))
+                    return `${at}: "${step.field}" is already a field at this point`;
+                if (step.value === undefined)
+                    return `${at}: an added field needs a value`;
+                current.set(step.field, { kind: 'constant', value: step.value });
+                break;
+            case 'drop':
+                current.delete(step.field);
+                removed.add(step.field);
+                break;
+            case 'derive':
+                current.set(step.field, { kind: 'derived' });
+                break;
+        }
+    }
+    for (const field of current.keys()) {
+        if (!Object.hasOwn(to, field)) {
+            return `"${field}" is carried to a Type that does not declare it; drop or rename it`;
+        }
+    }
+    for (const [field, def] of Object.entries(to)) {
+        const origin = current.get(field);
+        if (!origin) {
+            if (def.required)
+                return `"${field}" is required at the target, and no step produces it`;
+            // migrate() carries every field no step names, so one an older
+            // version gained in place arrives under its own name.
+            current.set(field, removed.has(field) ? { kind: 'constant', value: undefined } : { kind: 'field', field });
+            continue;
+        }
+        if (origin.kind === 'field') {
+            const problem = carryProblem(field, from[origin.field], def, origin.values, 0);
+            if (problem)
+                return problem;
+        }
+        else if (origin.kind === 'constant') {
+            const errors = validateContent({ [field]: origin.value }, { [field]: def });
+            if (errors.length > 0)
+                return `"${field}" is set to a value the target refuses: ${errors[0].message}`;
+        }
+    }
+    for (const field of removed) {
+        if (!current.has(field))
+            current.set(field, { kind: 'constant', value: undefined });
+    }
+    return current;
+};
+// -------------------------------------------------------
+// Registry of origins
+// -------------------------------------------------------
+/**
+ * The origins `migration()` computed for each migration it built. A
+ * migration assembled by hand has none, and a collection reads every field
+ * across it as derived.
+ */
+const ORIGINS = new WeakMap();
+export const recordOrigins = (migration, origins) => {
+    ORIGINS.set(migration, origins);
+};
+export const originsOf = (migration) => ORIGINS.get(migration);
+//# sourceMappingURL=migration-steps.js.map

package/dist/migration-steps.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migration-steps.js","sourceRoot":"","sources":["../src/migration-steps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAgChD,0CAA0C;AAC1C,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAU,EAAc,EAAE,CAC7D,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;AAE5C;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,MAAwC,EAAW,EAAE,CACtF,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;AAE5E,iCAAiC;AACjC,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,KAAc,EAAW,EAAE,CAC5D,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAE7C,sBAAsB;AACtB,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAY,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAEtF;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAI,KAAa,EAAE,EAA2B,EAAiB,EAAE,CACrF,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;AAErD,MAAM,QAAQ,GAAG,CAAC,IAA0B,EAAU,EAAE;IACtD,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,WAAW,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,IAAI,CAAC;QAChD,KAAK,KAAK;YACR,OAAO,QAAQ,IAAI,CAAC,KAAK,OAAO,CAAC;QACnC;YACE,OAAO,GAAG,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;IAC3E,CAAC;AACH,CAAC,CAAC;AAEF,0DAA0D;AAC1D,iBAAiB;AACjB,0DAA0D;AAE1D,MAAM,KAAK,GAAG,CAAC,KAAc,EAAE,MAAwC,EAAW,EAAE;IAClF,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IACpE,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC3F,CAAC,CAAC;AAEF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,KAA+B,EAC/B,OAAgC,EACP,EAAE;IAC3B,MAAM,GAAG,GAA4B,EAAE,GAAG,OAAO,EAAE,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;YAChB,KAAK,QAAQ;gBACX,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjE,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtB,MAAM;YACR,KAAK,KAAK;gBACR,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS;oBAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;gBACzF,MAAM;YACR,KAAK,KAAK;gBACR,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;gBAC7B,MAAM;YACR,KAAK,MAAM;gBACT,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACvB,MAAM;YACR,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBACnC,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;;oBAC3C,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;gBAC7B,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AA0BF,6DAA6D;AAC7D,MAAM,aAAa,GAAG,CACpB,KAAmD,EACnD,KAAmD,EACL,EAAE;IAChD,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,EAAE,EAAE,KAAK,CAAW,CAAC;IAC5F,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;IACvD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAmB,EAAE,KAAmB,EAAgB,EAAE;IACvF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACpC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC5B,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,wEAAwE;QACxE,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;QAChF,QAAQ,CAAC,GAAG,CACV,KAAK,EACL,KAAK,CAAC,IAAI,KAAK,OAAO;YACpB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE;YAC3F,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;gBACzB,CAAC,CAAC;oBACE,IAAI,EAAE,UAAU;oBAChB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK;iBACvE;gBACH,CAAC,CAAC,KAAK,CACZ,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,GAAyB,EAAW,EAAE,CAC1D,GAAG,EAAE,IAAI,KAAK,MAAM,IAAI,GAAG,EAAE,IAAI,KAAK,QAAQ,IAAI,GAAG,EAAE,IAAI,KAAK,MAAM,CAAC;AAEzE,gFAAgF;AAChF,MAAM,UAAU,GAAG,CAAC,GAAyB,EAAW,EAAE,CACxD,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,KAAK,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AAEvF,MAAM,eAAe,GAAG,EAAE,CAAC;AAE3B;;;;;GAKG;AACH,MAAM,YAAY,GAAG,CACnB,IAAY,EACZ,MAAgB,EAChB,MAAgB,EAChB,MAAoD,EACpD,KAAa,EACE,EAAE;IACjB,IAAI,KAAK,GAAG,eAAe;QAAE,OAAO,IAAI,IAAI,6BAA6B,CAAC;IAC1E,IAAI,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACxC,OAAO,IAAI,IAAI,wDAAwD,CAAC;IAC1E,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,IAAI,uBAAuB,MAAM,CAAC,IAAI,WAAW,CAAC;QAC1F,IAAI,MAAM,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QAC7B,IAAI,MAAM,CAAC,IAAI;YAAE,OAAO,IAAI,IAAI,6DAA6D,CAAC;QAC9F,OAAO,YAAY,CAAC,GAAG,IAAI,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,IAAI,uBAAuB,MAAM,CAAC,IAAI,YAAY,CAAC;QAC5F,IAAI,MAAM,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QAC7B,IAAI,MAAM,CAAC,IAAI;YAAE,OAAO,IAAI,IAAI,8DAA8D,CAAC;QAC/F,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3D,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACpC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,IAAI,GAAG,CAAC,QAAQ;oBAAE,OAAO,IAAI,IAAI,IAAI,GAAG,mDAAmD,CAAC;gBAC5F,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAChF,IAAI,OAAO;gBAAE,OAAO,OAAO,CAAC;QAC9B,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC3C,OAAO,IAAI,IAAI,IAAI,GAAG,iCAAiC,CAAC;YAC1D,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,IAAI,uBAAuB,MAAM,CAAC,IAAI,UAAU,CAAC;QACxF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,IAAI,EAAE,CAAW,CAAC,CAAC,CAAC;QAC1F,OAAO,OAAO,KAAK,SAAS;YAC1B,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,IAAI,IAAI,YAAY,OAAO,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,gBAAgB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,yCAAyC,CAAC;IAClK,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACvD,OAAO,YAAY,CAAC,MAAM,CAAC;YACzB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,IAAI,IAAI,uBAAuB,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;QAChC,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,IAAI,uBAAuB,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;AACrE,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,KAAsC,EACtC,IAAwB,EACxB,EAAsB,EACC,EAAE;IACzB,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CACpE,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;QAC5D,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,IAAI,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACrE,OAAO,GAAG,EAAE,MAAM,KAAK,gCAAgC,CAAC;QAC1D,CAAC;QACD,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;YAChB,KAAK,QAAQ;gBACX,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAAE,OAAO,GAAG,EAAE,MAAM,IAAI,CAAC,EAAE,oCAAoC,CAAC;gBACxF,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC;gBAC9C,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC1B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACvB,MAAM;YACR,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC;gBACxC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC5B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAyB,CAAC,EAAE,CAAC;wBAC5D,OAAO,GAAG,EAAE,yEAAyE,CAAC;oBACxF,CAAC;oBACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE;wBACtB,GAAG,MAAM;wBACT,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;qBAClD,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACtC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACzF,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,KAAK;gBACR,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;oBACzB,OAAO,GAAG,EAAE,MAAM,IAAI,CAAC,KAAK,oCAAoC,CAAC;gBACnE,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;oBAAE,OAAO,GAAG,EAAE,gCAAgC,CAAC;gBAC3E,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;gBACjE,MAAM;YACR,KAAK,MAAM;gBACT,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC3B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACxB,MAAM;YACR,KAAK,QAAQ;gBACX,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;gBAC7C,MAAM;QACV,CAAC;IACH,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QACnC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,IAAI,KAAK,oEAAoE,CAAC;QACvF,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,IAAI,GAAG,CAAC,QAAQ;gBAAE,OAAO,IAAI,KAAK,sDAAsD,CAAC;YACzF,+DAA+D;YAC/D,sDAAsD;YACtD,OAAO,CAAC,GAAG,CACT,KAAK,EACL,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CACvF,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,YAAY,CAC1B,KAAK,EACL,IAAI,CAAC,MAAM,CAAC,KAAK,CAAa,EAC9B,GAAe,EACf,MAAM,CAAC,MAAM,EACb,CAAC,CACF,CAAC;YACF,IAAI,OAAO;gBAAE,OAAO,OAAO,CAAC;QAC9B,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,eAAe,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,GAAG,EAAgB,CAAC,CAAC;YAC1F,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBACnB,OAAO,IAAI,KAAK,2CAA2C,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACnF,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,0DAA0D;AAC1D,sBAAsB;AACtB,0DAA0D;AAE1D;;;;GAIG;AACH,MAAM,OAAO,GAAG,IAAI,OAAO,EAAwB,CAAC;AAEpD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,SAAiB,EAAE,OAAqB,EAAQ,EAAE;IAC9E,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,SAAiB,EAA4B,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC"}

package/dist/query-validation.d.ts

@@ -1,11 +1,10 @@
 /**
- * Query and association validation
+ * Query validation
  * -------------------------------------------------------
- * The sanitizers a query passes through before any adapter sees it, plus
- * the relationship-target rules an association is held to. Both sides of
- * the same job: a discriminated union and a `QuerySort` field are compile-
- * time promises, and a server mapping a request body onto either supplies
- * raw JSON that no compiler has seen.
+ * The sanitizers a query passes through before any adapter sees it. A
+ * `QuerySort` field or a filter's discriminated union is a compile-time
+ * promise, and a server mapping a request onto either supplies raw JSON
+ * that no compiler has seen.
  *
  * These live in the invariant layer for the reason validation and
  * `_config` protection do — so no adapter can forget one. `assertQueryCapabilities`
@@ -16,8 +15,7 @@
  * the query — one rule, one answer.
  * See docs/spec/data-model.md § Capability-gated filters.
  */
-import type { ValidationError } from './validate.js';
-import type { Association, AssociationEdit, AuthorityAssociation, DataAssociation, GrantGrantee, JournalQuery, VersionsQuery, QuerySort, RecordFilter, RelationshipTarget, StackCapabilities } from './types.js';
+import type { JournalQuery, QuerySort, RecordFilter, StackCapabilities, VersionsQuery } from './types/index.js';
 /**
  * Fail loud rather than silently widen: a filter the adapter can't honor
  * would otherwise be dropped, returning an unfiltered superset presented
@@ -26,6 +24,14 @@ import type { Association, AssociationEdit, AuthorityAssociation, DataAssociatio
  * § Capability-gated filters.
  */
 export declare function assertQueryCapabilities(filter: RecordFilter | undefined, capabilities: Pick<StackCapabilities, 'filter'>): void;
+/**
+ * Hold `filter.contentByType` to a split along Types: at least one arm,
+ * each pinned to a TypeId and flat, and never beside a top-level content
+ * predicate, whose relation to the arms would be ambiguous. A map that
+ * could arrive empty would match everything once it crossed the wire. See
+ * docs/spec/data-model.md § Content by type.
+ */
+export declare function assertValidContentByType(filter: RecordFilter | undefined): void;
 /**
  * Whether a single-segment content filter can be pushed down to the
  * adapter. Callers that read a content field pair this with an in-memory
@@ -42,15 +48,10 @@ export declare function filtersContent(features: Pick<StackCapabilities, 'filter
  */
 export declare function parseContentFilterKey(key: string): string[];
 /**
- * Reject a sort whose field or direction is outside the closed set the
- * types promise. `QuerySort` is typed `'asc' | 'desc'`, but a type is not a
- * runtime guard: a server mapping `?direction=` onto a query, or a
- * delegated app calling query(), supplies a raw string. A SQLite record
- * adapter interpolates the direction straight into `ORDER BY`, so an
- * unvalidated value there is a SQL-injection sink reachable from every
- * untrusted caller. Validating in the invariant layer — the same reason
- * emission and _config protection live here — means no adapter can forget
- * it. See docs/spec/data-model.md § Sorting and pagination.
+ * Reject a sort outside the closed set the types promise. A type is not a
+ * runtime guard, and a SQLite adapter interpolates the direction straight
+ * into `ORDER BY`, so an unvalidated one is an injection sink reachable by
+ * any untrusted caller. See docs/spec/data-model.md § Sorting and pagination.
  */
 export declare function assertValidSort(sort: QuerySort | undefined): void;
 /**
@@ -71,72 +72,6 @@ export declare function normalizeSort(sort: QuerySort | undefined): (QuerySort &
  * — see docs/spec/data-model.md § Capability-gated filters.
  */
 export declare function assertSortCapability(sort: QuerySort | undefined, capabilities: Pick<StackCapabilities, 'sort'>): void;
-/** Every key each relationship target arm defines. */
-export declare const TARGET_KEYS: Record<RelationshipTarget['kind'], readonly string[]>;
-/** Every key each grantee arm defines, the default tier included. */
-export declare const GRANTEE_KEYS: Record<GrantGrantee['kind'], readonly string[]>;
-/**
- * The keys of `value` its arm does not define. An element carrying one is
- * refused rather than stored: an adapter keeps only the keys it has
- * columns for, so the rest would answer 200 and then vanish.
- * See docs/spec/data-model.md § Associations.
- */
-export declare function unknownKeys(value: object, keys: readonly string[]): string[];
-/** unknownKeys() as a refusal. 400, not 422: the key addresses nothing. */
-export declare function assertKnownKeys(value: object, keys: readonly string[], path: string): void;
-/**
- * Reject a relationship target outside the closed set the types promise.
- * A discriminated union is not a runtime guard — a server mapping a
- * request body onto an association supplies raw JSON — and an
- * unrecognized kind would otherwise be stored under the one arm that
- * names a Record in this stack. See docs/spec/data-model.md
- * § Relationship targets.
- *
- * A key the element's kind does not define is thrown as a 400 rather than
- * collected, at every depth: it addresses nothing, the way an unknown key
- * on a request body does. See docs/spec/data-model.md § Associations.
- */
-export declare function validateAssociation(association: Association, path?: string): ValidationError[];
-/**
- * Refuse an authority element reaching the data half of the partition.
- * The two share a table, a delta shape and a durability tier; they never
- * share a call, because an app editing tags would otherwise be able to
- * replace an ACL it was never shown. Thrown rather than collected: the
- * caller named the wrong surface, not a malformed value, and the verb it
- * wanted is `grantAccess()`/`revokeAccess()`.
- *
- * Lives here, in the invariant layer, so an unscoped `Stack`, an import
- * and a server mapping a request body are all held to it.
- * See docs/spec/access-control.md § Record-level permissions.
- */
-export declare function assertDataAssociations(associations: readonly Association[], surface: string): asserts associations is DataAssociation[];
-/**
- * The mirror of assertDataAssociations(): the `permissions` surface takes
- * authority kinds alone, so a tag routed through it is refused rather than
- * quietly becoming an ACL entry the `associations` projection never shows.
- */
-export declare function assertAuthorityAssociations(permissions: readonly Association[], surface: string): asserts permissions is AuthorityAssociation[];
-/** validateAssociation() over a create's `associations` array. */
-/**
- * Every association in a list, plus the one rule a list has that a single
- * association does not: **identities are distinct**. A list naming one
- * identity twice describes a state no store can hold — an adapter keys
- * associations by identity, so the second entry displaces the first — and
- * which of the two the record ends up with is a question the caller did
- * not mean to ask. Refused rather than collapsed, for the reason an empty
- * change set is refused: every way of producing one is a caller bug.
- * See docs/spec/data-model.md § Associations.
- */
-export declare function validateAssociations(associations: Association[] | undefined, path?: string): ValidationError[];
-/**
- * Hold an association edit list to the rules every verb shares: non-empty,
- * every element a known `op` over a well-formed association, one surface,
- * and each identity named once — a list that both removes and adds one
- * identity is the same ambiguity as naming it twice. `repoint` is the
- * journal's word, never a request. Asked of the whole list before anything
- * is read or written. See docs/spec/data-model.md § Mutations.
- */
-export declare function assertAssociationEdits(changes: unknown, surface: string, half: 'data' | 'authority'): asserts changes is AssociationEdit[];
 /**
  * Reject an association filter that names neither of its halves, or whose
  * relationship target is malformed. `RelatedToFilter` and `AttachmentFilter`
@@ -145,6 +80,12 @@ export declare function assertAssociationEdits(changes: unknown, surface: string
  * any association of that kind. See docs/spec/data-model.md § Filter.
  */
 export declare function assertValidAssociationFilters(filter: RecordFilter | undefined): void;
+/**
+ * Refuse a `baseId` argument that cannot name a type family, as an
+ * argument error prefixed with the `surface` it was passed to. See
+ * familyIdProblem().
+ */
+export declare function assertFamilyId(baseId: unknown, surface: string): void;
 /**
  * Refuse a `baseId` carrying an `@version` suffix. A family filter resolves
  * against registered families, so a TypeId there would match nothing and
@@ -154,17 +95,10 @@ export declare function assertValidBaseIdFilter(filter: {
     baseId?: string | string[];
 } | undefined): void;
 /**
- * Hold a journal window to the shape both adapters can honor identically.
- *
- * Unvalidated, a negative `limit` diverges rather than failing: a JS
- * `slice(0, -1)` drops the newest entry, while SQLite reads a negative
- * LIMIT as "no ceiling" and returns the whole log. Neither is what the
- * caller asked for, and the disagreement is invisible until a stack
- * changes adapters. Refuse at the surface so no adapter has to guess.
- *
- * No ceiling is imposed: unlike a query, omitting `limit` reads the whole
- * log by contract, so a clamp would silently truncate exactly the caller
- * reconstructing an association's full history.
+ * Hold a journal window to a shape both adapters honor identically: a
+ * negative `limit` drops the newest entry from a JS slice but reads as no
+ * ceiling in SQLite. No ceiling is imposed — omitting `limit` reads the
+ * whole log by contract, which a clamp would silently truncate.
  */
 export declare function assertValidJournalQuery(query: JournalQuery | undefined): void;
 /**

package/dist/query-validation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"query-validation.d.ts","sourceRoot":"","sources":["../src/query-validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAMH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAErD,OAAO,KAAK,EAEV,WAAW,EACX,eAAe,EAEf,oBAAoB,EACpB,eAAe,EAGf,YAAY,EACZ,YAAY,EACZ,aAAa,EAMb,SAAS,EACT,YAAY,EACZ,kBAAkB,EAElB,iBAAiB,EAClB,MAAM,YAAY,CAAC;AAEpB;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,YAAY,GAAG,SAAS,EAChC,YAAY,EAAE,IAAI,CAAC,iBAAiB,EAAE,QAAQ,CAAC,GAC9C,IAAI,CAmCN;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC,iBAAiB,EAAE,QAAQ,CAAC,GAAG,OAAO,CAEnF;AAKD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAwB3D;AAYD;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,IAAI,CA6BjE;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,IAAI,EAAE,SAAS,GAAG,SAAS,GAC1B,CAAC,SAAS,GAAG;IAAE,SAAS,EAAE,KAAK,GAAG,MAAM,CAAA;CAAE,CAAC,GAAG,SAAS,CAKzD;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,SAAS,GAAG,SAAS,EAC3B,YAAY,EAAE,IAAI,CAAC,iBAAiB,EAAE,MAAM,CAAC,GAC5C,IAAI,CAmBN;AAYD,sDAAsD;AACtD,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAI7E,CAAC;AAgBF,qEAAqE;AACrE,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAIxE,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAE5E;AAED,2EAA2E;AAC3E,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAM1F;AAwCD;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CACjC,WAAW,EAAE,WAAW,EACxB,IAAI,SAAgB,GACnB,eAAe,EAAE,CAoBnB;AAsED;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,CACpC,YAAY,EAAE,SAAS,WAAW,EAAE,EACpC,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,YAAY,IAAI,eAAe,EAAE,CAO3C;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,WAAW,EAAE,SAAS,WAAW,EAAE,EACnC,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,WAAW,IAAI,oBAAoB,EAAE,CAO/C;AAED,kEAAkE;AAClE;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,WAAW,EAAE,GAAG,SAAS,EACvC,IAAI,SAAiB,GACpB,eAAe,EAAE,CAenB;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,GAAG,WAAW,GACzB,OAAO,CAAC,OAAO,IAAI,eAAe,EAAE,CA2CtC;AAED;;;;;;GAMG;AACH,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,YAAY,GAAG,SAAS,GAAG,IAAI,CAmBpF;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE;IAAE,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;CAAE,GAAG,SAAS,GAAG,IAAI,CAOhG;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,YAAY,GAAG,SAAS,GAAG,IAAI,CAW7E;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,aAAa,GAAG,SAAS,GAAG,IAAI,CAW/E"}
+{"version":3,"file":"query-validation.d.ts","sourceRoot":"","sources":["../src/query-validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAWH,OAAO,KAAK,EACV,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACd,MAAM,kBAAkB,CAAC;AAE1B;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,YAAY,GAAG,SAAS,EAChC,YAAY,EAAE,IAAI,CAAC,iBAAiB,EAAE,QAAQ,CAAC,GAC9C,IAAI,CAsDN;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,YAAY,GAAG,SAAS,GAAG,IAAI,CAgD/E;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC,iBAAiB,EAAE,QAAQ,CAAC,GAAG,OAAO,CAEnF;AAKD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAwB3D;AAaD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,IAAI,CAsBjE;AAsDD;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,IAAI,EAAE,SAAS,GAAG,SAAS,GAC1B,CAAC,SAAS,GAAG;IAAE,SAAS,EAAE,KAAK,GAAG,MAAM,CAAA;CAAE,CAAC,GAAG,SAAS,CAKzD;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,SAAS,GAAG,SAAS,EAC3B,YAAY,EAAE,IAAI,CAAC,iBAAiB,EAAE,MAAM,CAAC,GAC5C,IAAI,CAiCN;AAED;;;;;;GAMG;AACH,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,YAAY,GAAG,SAAS,GAAG,IAAI,CAmBpF;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAKrE;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE;IAAE,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;CAAE,GAAG,SAAS,GAAG,IAAI,CAOhG;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,YAAY,GAAG,SAAS,GAAG,IAAI,CAW7E;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,aAAa,GAAG,SAAS,GAAG,IAAI,CAW/E"}