@adminiumjs/manifest 0.3.0-rc.4 → 0.3.1

package/dist/shapes.js

@@ -0,0 +1,190 @@
+/** `invoices` + `invoice@1` → `invoices/invoice@1`, the way an app names it. */
+export function shapeKey(addOn, shape) {
+    return `${addOn}/${shape.name}@${String(shape.version)}`;
+}
+/** Rules an app may add to a part's column: they label or narrow, never decide. */
+const ADDABLE_RULES = new Set(['enumLabels', 'personal', 'validation', 'required', 'options', 'notAfter', 'notBefore']);
+/** JSON with sorted keys, so two spellings of one value compare equal. */
+function canonical(value) {
+    if (Array.isArray(value))
+        return `[${value.map(canonical).join(',')}]`;
+    if (value !== null && typeof value === 'object') {
+        return `{${Object.keys(value)
+            .filter((key) => value[key] !== undefined)
+            .sort()
+            .map((key) => `${JSON.stringify(key)}:${canonical(value[key])}`)
+            .join(',')}}`;
+    }
+    return JSON.stringify(value);
+}
+/**
+ * Every way the app's tables built on a shape differ from it. `shapes` maps
+ * `<addOn>/<name>@<version>` to its definition; a table built on a shape that
+ * is not there is `SHAPE_UNKNOWN`.
+ */
+export function shapeConformanceIssues(app, shapes) {
+    const out = [];
+    const tables = app.requiredSchema?.tables ?? [];
+    /** The app's table built on a part: `document` in the same shape, or `quote@1/document` in another of the add-on's. */
+    const tableFor = (builtOn, ref) => {
+        const addOn = builtOn.split('/')[0];
+        const [shape, part] = ref.includes('/') ? [`${addOn}/${ref.split('/')[0]}`, ref.split('/')[1]] : [builtOn, ref];
+        return tables.find((t) => t.builtOn === shape && t.part === part)?.ref;
+    };
+    const usedShapes = new Set();
+    tables.forEach((table, t) => {
+        if (table.builtOn === undefined || table.part === undefined)
+            return;
+        const at = (...rest) => ['requiredSchema', 'tables', t, ...rest].join('.');
+        const shape = shapes.get(table.builtOn);
+        if (shape === undefined) {
+            out.push({ code: 'SHAPE_UNKNOWN', path: at('builtOn'), message: `"${table.builtOn}" is not a shape the add-on defines` });
+            return;
+        }
+        usedShapes.add(table.builtOn);
+        const part = shape.parts[table.part];
+        if (part === undefined) {
+            out.push({ code: 'SHAPE_MISMATCH', path: at('part'), message: `"${table.builtOn}" has no part "${table.part}"` });
+            return;
+        }
+        const map = (ref) => tableFor(table.builtOn, ref) ?? `(no table built on ${ref})`;
+        const mismatch = (path, message) => out.push({ code: 'SHAPE_MISMATCH', path, message });
+        for (const want of part.columns) {
+            const c = table.columns.findIndex((column) => column.ref === want.ref);
+            const have = table.columns[c];
+            if (have === undefined) {
+                mismatch(at('columns'), `"${table.ref}" has no column "${want.ref}", which "${table.builtOn}" ${table.part} has`);
+                continue;
+            }
+            const here = at('columns', c);
+            const shapeOf = (column, references) => canonical({
+                type: column.type,
+                role: column.role,
+                nullable: column.nullable === true,
+                enum: column.enum,
+                references,
+                maxLength: column.maxLength,
+                scale: column.scale,
+                unique: column.unique,
+                default: column.default,
+            });
+            if (shapeOf(have, have.references) !== shapeOf(want, want.references === undefined ? undefined : map(want.references))) {
+                mismatch(here, `"${table.ref}.${want.ref}" is not declared as the shape declares it`);
+            }
+            const wantRules = mapRules(want.rules, map);
+            const haveRules = (have.rules ?? {});
+            for (const [name, value] of Object.entries(wantRules)) {
+                if (canonical(haveRules[name]) !== canonical(value)) {
+                    mismatch(`${here}.rules.${name}`, `"${table.ref}.${want.ref}" changes the shape's ${name} rule`);
+                }
+            }
+            for (const name of Object.keys(haveRules)) {
+                const copyBeforeFill = name === 'copy' && wantRules['default'] !== undefined && wantRules['copy'] === undefined;
+                if (wantRules[name] === undefined && !ADDABLE_RULES.has(name) && !copyBeforeFill) {
+                    mismatch(`${here}.rules.${name}`, `"${table.ref}.${want.ref}" adds a ${name} rule the shape does not keep`);
+                }
+            }
+        }
+        if (part.states !== undefined || table.states !== undefined) {
+            if (part.states === undefined) {
+                // The part keeps no states: the app's own are its business.
+            }
+            else if (table.states === undefined) {
+                mismatch(at('states'), `"${table.ref}" drops the shape's states`);
+            }
+            else {
+                for (const message of statesDifferences(mapStates(part.states, map), table.states))
+                    mismatch(at('states'), message);
+            }
+        }
+    });
+    // The shape's messages are part of it: an app built on it sends them.
+    for (const key of usedShapes) {
+        const shape = shapes.get(key);
+        for (const producer of shape.outbox?.producers ?? []) {
+            if (app.outbox?.kinds[producer.kind] === undefined || !(app.outbox.producers ?? []).some((p) => p.kind === producer.kind)) {
+                out.push({ code: 'SHAPE_MISMATCH', path: 'outbox', message: `"${key}" sends "${producer.kind}", and the app's outbox does not` });
+            }
+        }
+    }
+    return out;
+}
+/** A part's rules with the part names they read replaced by the app's tables. */
+function mapRules(rules, map) {
+    if (rules === undefined)
+        return {};
+    const out = { ...rules };
+    if (rules.rollup !== undefined)
+        out['rollup'] = { ...rules.rollup, from: map(rules.rollup.from) };
+    const set = rules.stamp?.set;
+    if (typeof set === 'object' && 'hashOf' in set) {
+        const child = (c) => ({ ...c, table: map(c.table) });
+        out['stamp'] = {
+            ...rules.stamp,
+            set: {
+                hashOf: {
+                    ...set.hashOf,
+                    ...(set.hashOf.children === undefined ? {} : { children: set.hashOf.children.map(child) }),
+                    ...(set.hashOf.linked === undefined
+                        ? {}
+                        : { linked: set.hashOf.linked.map((l) => ({ ...child(l), ...(l.children === undefined ? {} : { children: l.children.map(child) }) })) }),
+                },
+            },
+        };
+    }
+    return out;
+}
+function mapStates(states, map) {
+    return {
+        ...states,
+        moves: Object.fromEntries(Object.entries(states.moves).map(([from, moves]) => [
+            from,
+            moves.map((move) => typeof move === 'string' || move.requires?.children === undefined
+                ? move
+                : { ...move, requires: { ...move.requires, children: Object.fromEntries(Object.entries(move.requires.children).map(([ref, n]) => [map(ref), n])) } }),
+        ])),
+        ...(states.children === undefined ? {} : { children: Object.fromEntries(Object.entries(states.children).map(([ref, rule]) => [map(ref), rule])) }),
+        ...(states.lockedWhenReferencedBy === undefined
+            ? {}
+            : { lockedWhenReferencedBy: states.lockedWhenReferencedBy.map((ref) => ({ ...ref, table: map(ref.table) })) }),
+    };
+}
+/** How an app's states differ from the part's, beyond what an app may add. */
+function statesDifferences(want, have) {
+    const out = [];
+    const same = (a, b) => canonical(a) === canonical(b);
+    if (want.column !== have.column || want.initial !== have.initial)
+        out.push('the state column and the first state are the shape\'s');
+    const moveList = (moves) => Object.fromEntries(Object.entries(moves).map(([from, list]) => [
+        from,
+        list.map((move) => (typeof move === 'string' ? { to: move } : { ...move, roles: undefined })),
+    ]));
+    if (!same(moveList(want.moves), moveList(have.moves)))
+        out.push('the moves between states are the shape\'s (an app may only keep a move for some roles)');
+    if (want.lock !== undefined) {
+        if (have.lock === undefined || !same(want.lock.when, have.lock.when))
+            out.push('the lock is the shape\'s');
+        const missing = (want.lock.except ?? []).filter((ref) => !(have.lock?.except ?? []).includes(ref));
+        if (missing.length > 0)
+            out.push(`the lock keeps ${missing.join(', ')} open, as the shape does`);
+    }
+    else if (have.lock !== undefined) {
+        out.push('the shape locks nothing');
+    }
+    for (const [ref, rule] of Object.entries(want.children ?? {})) {
+        const own = have.children?.[ref];
+        if (own === undefined || own.via !== rule.via || own.lock !== rule.lock || !same(own.parentIn, rule.parentIn)) {
+            out.push(`"${ref}" is tied to the state as the shape ties it`);
+            continue;
+        }
+        const cleared = (rule.clearOnCreate ?? []).filter((col) => !(own.clearOnCreate ?? []).includes(col));
+        if (cleared.length > 0)
+            out.push(`creating a "${ref}" row empties ${cleared.join(', ')}, as the shape says`);
+    }
+    for (const name of ['lockedWhenReferencedBy', 'noDelete', 'onlyLater']) {
+        if (!same(want[name], have[name]))
+            out.push(`${name} is the shape's`);
+    }
+    return out;
+}
+//# sourceMappingURL=shapes.js.map

package/dist/shapes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shapes.js","sourceRoot":"","sources":["../src/shapes.ts"],"names":[],"mappings":"AAmEA,gFAAgF;AAChF,MAAM,UAAU,QAAQ,CAAC,KAAa,EAAE,KAAwC;IAC9E,OAAO,GAAG,KAAK,IAAI,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,mFAAmF;AACnF,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;AAE7I,0EAA0E;AAC1E,SAAS,SAAS,CAAC,KAAc;IAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACvE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAgC,CAAC;aACrD,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAE,KAAiC,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;aACtE,IAAI,EAAE;aACN,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,SAAS,CAAE,KAAiC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;aAC5F,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAClB,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAUD;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACpC,GAAgM,EAChM,MAAgD;IAEhD,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAG,GAAG,CAAC,cAAc,EAAE,MAAM,IAAI,EAAE,CAAC;IAChD,uHAAuH;IACvH,MAAM,QAAQ,GAAG,CAAC,OAAe,EAAE,GAAW,EAAsB,EAAE;QACpE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACrC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAClH,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,GAAG,CAAC;IACzE,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAErC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAC1B,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO;QACpE,MAAM,EAAE,GAAG,CAAC,GAAG,IAAyB,EAAE,EAAE,CAAC,CAAC,gBAAgB,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChG,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,KAAK,CAAC,OAAO,qCAAqC,EAAE,CAAC,CAAC;YAC1H,OAAO;QACT,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,KAAK,CAAC,OAAO,kBAAkB,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YAClH,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAQ,EAAE,GAAG,CAAC,IAAI,sBAAsB,GAAG,GAAG,CAAC;QACnG,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QAExG,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC;YACvE,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,QAAQ,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,oBAAoB,IAAI,CAAC,GAAG,aAAa,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC;gBAClH,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;YAC9B,MAAM,OAAO,GAAG,CAAC,MAAmB,EAAE,UAA8B,EAAE,EAAE,CACtE,SAAS,CAAC;gBACR,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,QAAQ,EAAE,MAAM,CAAC,QAAQ,KAAK,IAAI;gBAClC,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,UAAU;gBACV,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,OAAO,EAAE,MAAM,CAAC,OAAO;aACxB,CAAC,CAAC;YACL,IAAI,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;gBACvH,QAAQ,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,4CAA4C,CAAC,CAAC;YACxF,CAAC;YACD,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC5C,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAA4B,CAAC;YAChE,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;gBACtD,IAAI,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;oBACpD,QAAQ,CAAC,GAAG,IAAI,UAAU,IAAI,EAAE,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,yBAAyB,IAAI,OAAO,CAAC,CAAC;gBACnG,CAAC;YACH,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC1C,MAAM,cAAc,GAAG,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,SAAS,CAAC,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC;gBAChH,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC;oBACjF,QAAQ,CAAC,GAAG,IAAI,UAAU,IAAI,EAAE,EAAE,IAAI,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,YAAY,IAAI,+BAA+B,CAAC,CAAC;gBAC9G,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC5D,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC9B,4DAA4D;YAC9D,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBACtC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,4BAA4B,CAAC,CAAC;YACpE,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,OAAO,IAAI,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC;oBAAE,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;YACtH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,sEAAsE;IACtE,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QAC/B,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,MAAM,EAAE,SAAS,IAAI,EAAE,EAAE,CAAC;YACrD,IAAI,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1H,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,GAAG,YAAY,QAAQ,CAAC,IAAI,kCAAkC,EAAE,CAAC,CAAC;YACpI,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iFAAiF;AACjF,SAAS,QAAQ,CAAC,KAA8B,EAAE,GAA4B;IAC5E,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,GAAG,GAA4B,EAAE,GAAG,KAAK,EAAE,CAAC;IAClD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IAClG,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC;IAC7B,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,QAAQ,IAAI,GAAG,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,CAAC,CAAoB,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACxE,GAAG,CAAC,OAAO,CAAC,GAAG;YACb,GAAG,KAAK,CAAC,KAAK;YACd,GAAG,EAAE;gBACH,MAAM,EAAE;oBACN,GAAG,GAAG,CAAC,MAAM;oBACb,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC1F,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS;wBACjC,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;iBAC3I;aACF;SACF,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,SAAS,CAAC,MAAc,EAAE,GAA4B;IAC7D,OAAO;QACL,GAAG,MAAM;QACT,KAAK,EAAE,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;YAClD,IAAI;YACJ,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACjB,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,EAAE,QAAQ,KAAK,SAAS;gBAC/D,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CACvJ;SACF,CAAC,CACH;QACD,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAClJ,GAAG,CAAC,MAAM,CAAC,sBAAsB,KAAK,SAAS;YAC7C,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,sBAAsB,EAAE,MAAM,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;KACjH,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,SAAS,iBAAiB,CAAC,IAAY,EAAE,IAAY;IACnD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,CAAU,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC;IACvE,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;QAAE,GAAG,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;IACpI,MAAM,QAAQ,GAAG,CAAC,KAAmD,EAAE,EAAE,CACvE,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;QAC1C,IAAI;QACJ,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,GAAI,IAAe,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;KAC1G,CAAC,CACH,CAAC;IACJ,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,wFAAwF,CAAC,CAAC;IAC1J,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAC3G,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QACnG,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,kBAAkB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACnG,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACnC,GAAG,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACtC,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;QAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9G,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,6CAA6C,CAAC,CAAC;YAC/D,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QACrG,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,eAAe,GAAG,iBAAiB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAC/G,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,wBAAwB,EAAE,UAAU,EAAE,WAAW,CAAU,EAAE,CAAC;QAChF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/states.d.ts

@@ -0,0 +1,134 @@
+/**
+ * `table.states` — the life of a document, kept by Adminium for every writer.
+ *
+ * ```json
+ * "states": {
+ *   "column": "status", "initial": "draft",
+ *   "moves": {
+ *     "draft": [{ "to": "sent", "requires": { "children": { "invoice_lines": 1 }, "where": [{ "column": "total", "gt": 0 }] } }, "void"],
+ *     "sent": [{ "to": "void", "requires": { "where": [{ "column": "paid", "eq": 0 }] }, "roles": ["studio-manager"] }]
+ *   },
+ *   "lock": { "when": ["sent", "void"], "except": ["due_on", "ladder"] },
+ *   "children": {
+ *     "invoice_lines": { "via": "document_id", "lock": true },
+ *     "payments": { "via": "document_id", "parentIn": ["sent"], "clearOnCreate": ["client_paid_at"] }
+ *   },
+ *   "noDelete": { "when": "numbered" },
+ *   "onlyLater": ["valid_until"]
+ * }
+ * ```
+ *
+ * - `moves`: from each state, the states a write may move a row to. A move
+ *   may ask for something first — child rows, a column's value — and may be
+ *   kept for some of the app's roles. A move not listed is refused.
+ * - `lock`: while a row is in one of `when`, only `except` (and the state
+ *   itself, through a move) may change. Adminium's own columns (totals,
+ *   stamps) keep being written by Adminium.
+ * - `children`: child tables tied to this row's state. `lock` refuses their
+ *   writes while the row is locked; `parentIn` allows them only while the row
+ *   is in those states (payments on a sent invoice); `clearOnCreate` empties
+ *   columns of this row when one of them is created (a recorded payment
+ *   clears the client's "I've sent it").
+ * - `lockedWhenReferencedBy`: this row locks once a row of another table in
+ *   one of the states points at it (a terms version once a proposal naming it
+ *   is sent).
+ * - `noDelete`: rows in these states, or any row with a number
+ *   (`"numbered"`), are never deleted — voided instead.
+ * - `onlyLater`: date columns that may move later and never earlier.
+ *
+ * Adding sample data and importing past records are history: they write any
+ * state their rows were in.
+ */
+import { z } from 'zod';
+import { type ColumnShape, type ReferenceIssue, type TableIndex } from './refs.js';
+/** A condition on the row itself, checked in the same statement that changes it. */
+export declare const stateConditionSchema: z.ZodObject<{
+    column: z.ZodString;
+    eq: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>;
+    in: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+    isNull: z.ZodOptional<z.ZodBoolean>;
+    gt: z.ZodOptional<z.ZodNumber>;
+    gte: z.ZodOptional<z.ZodNumber>;
+    lt: z.ZodOptional<z.ZodNumber>;
+    lte: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strict>;
+export type StateCondition = z.infer<typeof stateConditionSchema>;
+export declare const stateMoveSchema: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+    to: z.ZodString;
+    requires: z.ZodOptional<z.ZodObject<{
+        children: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        where: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            column: z.ZodString;
+            eq: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>;
+            in: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+            isNull: z.ZodOptional<z.ZodBoolean>;
+            gt: z.ZodOptional<z.ZodNumber>;
+            gte: z.ZodOptional<z.ZodNumber>;
+            lt: z.ZodOptional<z.ZodNumber>;
+            lte: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>;
+    roles: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>]>;
+export type StateMove = z.infer<typeof stateMoveSchema>;
+export declare const stateChildSchema: z.ZodObject<{
+    via: z.ZodString;
+    lock: z.ZodOptional<z.ZodLiteral<true>>;
+    parentIn: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    clearOnCreate: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+export type StateChild = z.infer<typeof stateChildSchema>;
+export declare const statesSchema: z.ZodObject<{
+    column: z.ZodString;
+    initial: z.ZodString;
+    moves: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        to: z.ZodString;
+        requires: z.ZodOptional<z.ZodObject<{
+            children: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+            where: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                column: z.ZodString;
+                eq: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>;
+                in: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>>;
+                isNull: z.ZodOptional<z.ZodBoolean>;
+                gt: z.ZodOptional<z.ZodNumber>;
+                gte: z.ZodOptional<z.ZodNumber>;
+                lt: z.ZodOptional<z.ZodNumber>;
+                lte: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>>;
+        roles: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>]>>>;
+    lock: z.ZodOptional<z.ZodObject<{
+        when: z.ZodArray<z.ZodString>;
+        except: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>;
+    children: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        via: z.ZodString;
+        lock: z.ZodOptional<z.ZodLiteral<true>>;
+        parentIn: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        clearOnCreate: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>>;
+    lockedWhenReferencedBy: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        table: z.ZodString;
+        via: z.ZodString;
+        in: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>>;
+    noDelete: z.ZodOptional<z.ZodObject<{
+        when: z.ZodUnion<readonly [z.ZodLiteral<"numbered">, z.ZodArray<z.ZodString>]>;
+    }, z.core.$strict>>;
+    onlyLater: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+export type States = z.infer<typeof statesSchema>;
+/** A move written as a bare state is a move with nothing asked first. */
+export declare function moveTarget(move: StateMove): string;
+interface StatesContext<C extends ColumnShape> {
+    index: TableIndex<C>;
+    /** The app's role keys, when the manifest declares roles (an add-on's shape has none to name). */
+    roles?: readonly string[] | undefined;
+    /** A column of this table decides "numbered": a gapless running number. */
+    numbered: boolean;
+}
+/** Everything wrong with one table's `states` against the manifest's tables. */
+export declare function statesIssues<C extends ColumnShape>(table: string, states: States, ctx: StatesContext<C>, at: (...rest: (string | number)[]) => (string | number)[]): ReferenceIssue[];
+export {};
+//# sourceMappingURL=states.d.ts.map

package/dist/states.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"states.d.ts","sourceRoot":"","sources":["../src/states.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAsC,KAAK,WAAW,EAAE,KAAK,cAAc,EAAE,KAAK,UAAU,EAAE,MAAM,WAAW,CAAC;AAKvH,oFAAoF;AACpF,eAAO,MAAM,oBAAoB;;;;;;;;;kBAc7B,CAAC;AACL,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;oBAiB1B,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,eAAO,MAAM,gBAAgB;;;;;kBAWzB,CAAC;AACL,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAqBd,CAAC;AACZ,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAElD,yEAAyE;AACzE,wBAAgB,UAAU,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAElD;AAED,UAAU,aAAa,CAAC,CAAC,SAAS,WAAW;IAC3C,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACrB,kGAAkG;IAClG,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;IACtC,2EAA2E;IAC3E,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,gFAAgF;AAChF,wBAAgB,YAAY,CAAC,CAAC,SAAS,WAAW,EAChD,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC,EACrB,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,GACxD,cAAc,EAAE,CAyFlB"}

package/dist/states.js

@@ -0,0 +1,244 @@
+// SPDX-License-Identifier: AGPL-3.0-only
+/**
+ * `table.states` — the life of a document, kept by Adminium for every writer.
+ *
+ * ```json
+ * "states": {
+ *   "column": "status", "initial": "draft",
+ *   "moves": {
+ *     "draft": [{ "to": "sent", "requires": { "children": { "invoice_lines": 1 }, "where": [{ "column": "total", "gt": 0 }] } }, "void"],
+ *     "sent": [{ "to": "void", "requires": { "where": [{ "column": "paid", "eq": 0 }] }, "roles": ["studio-manager"] }]
+ *   },
+ *   "lock": { "when": ["sent", "void"], "except": ["due_on", "ladder"] },
+ *   "children": {
+ *     "invoice_lines": { "via": "document_id", "lock": true },
+ *     "payments": { "via": "document_id", "parentIn": ["sent"], "clearOnCreate": ["client_paid_at"] }
+ *   },
+ *   "noDelete": { "when": "numbered" },
+ *   "onlyLater": ["valid_until"]
+ * }
+ * ```
+ *
+ * - `moves`: from each state, the states a write may move a row to. A move
+ *   may ask for something first — child rows, a column's value — and may be
+ *   kept for some of the app's roles. A move not listed is refused.
+ * - `lock`: while a row is in one of `when`, only `except` (and the state
+ *   itself, through a move) may change. Adminium's own columns (totals,
+ *   stamps) keep being written by Adminium.
+ * - `children`: child tables tied to this row's state. `lock` refuses their
+ *   writes while the row is locked; `parentIn` allows them only while the row
+ *   is in those states (payments on a sent invoice); `clearOnCreate` empties
+ *   columns of this row when one of them is created (a recorded payment
+ *   clears the client's "I've sent it").
+ * - `lockedWhenReferencedBy`: this row locks once a row of another table in
+ *   one of the states points at it (a terms version once a proposal naming it
+ *   is sent).
+ * - `noDelete`: rows in these states, or any row with a number
+ *   (`"numbered"`), are never deleted — voided instead.
+ * - `onlyLater`: date columns that may move later and never earlier.
+ *
+ * Adding sample data and importing past records are history: they write any
+ * state their rows were in.
+ */
+import { z } from 'zod';
+import { refSchema, scalarSchema, valueFits } from './refs.js';
+const stateName = z.string().min(1).max(64);
+const roleKey = z.string().regex(/^[a-z][a-z0-9-]*$/, 'a role key');
+/** A condition on the row itself, checked in the same statement that changes it. */
+export const stateConditionSchema = z
+    .object({
+    column: refSchema,
+    eq: scalarSchema.optional(),
+    in: z.array(scalarSchema).min(1).max(32).optional(),
+    isNull: z.boolean().optional(),
+    gt: z.number().finite().optional(),
+    gte: z.number().finite().optional(),
+    lt: z.number().finite().optional(),
+    lte: z.number().finite().optional(),
+})
+    .strict()
+    .refine((c) => [c.eq, c.in, c.isNull, c.gt, c.gte, c.lt, c.lte].filter((part) => part !== undefined).length === 1, {
+    message: 'a condition says one of eq, in, isNull, gt, gte, lt or lte',
+});
+export const stateMoveSchema = z.union([
+    stateName,
+    z
+        .object({
+        to: stateName,
+        /** What must be true first: at least n child rows of a table, and conditions on the row. */
+        requires: z
+            .object({
+            children: z.record(refSchema, z.number().int().min(1).max(1000)).optional(),
+            where: z.array(stateConditionSchema).min(1).max(8).optional(),
+        })
+            .strict()
+            .optional(),
+        /** Only people holding one of these app roles may make this move. */
+        roles: z.array(roleKey).min(1).max(8).optional(),
+    })
+        .strict(),
+]);
+export const stateChildSchema = z
+    .object({
+    /** The child's foreign key to this row. */
+    via: refSchema,
+    lock: z.literal(true).optional(),
+    parentIn: z.array(stateName).min(1).max(16).optional(),
+    clearOnCreate: z.array(refSchema).min(1).max(8).optional(),
+})
+    .strict()
+    .refine((c) => c.lock === undefined || c.parentIn === undefined, {
+    message: 'a child is locked with its parent, or writable only in some of its states — not both',
+});
+export const statesSchema = z
+    .object({
+    column: refSchema,
+    initial: stateName,
+    moves: z.record(stateName, z.array(stateMoveSchema).max(16)),
+    lock: z
+        .object({
+        when: z.array(stateName).min(1).max(16),
+        except: z.array(refSchema).max(32).optional(),
+    })
+        .strict()
+        .optional(),
+    children: z.record(refSchema, stateChildSchema).optional(),
+    lockedWhenReferencedBy: z
+        .array(z.object({ table: refSchema, via: refSchema, in: z.array(stateName).min(1).max(16) }).strict())
+        .min(1)
+        .max(4)
+        .optional(),
+    noDelete: z.object({ when: z.union([z.literal('numbered'), z.array(stateName).min(1).max(16)]) }).strict().optional(),
+    onlyLater: z.array(refSchema).min(1).max(8).optional(),
+})
+    .strict();
+/** A move written as a bare state is a move with nothing asked first. */
+export function moveTarget(move) {
+    return typeof move === 'string' ? move : move.to;
+}
+/** Everything wrong with one table's `states` against the manifest's tables. */
+export function statesIssues(table, states, ctx, at) {
+    const out = [];
+    const { index } = ctx;
+    const column = index.column(table, states.column);
+    let values = [];
+    if (column === undefined) {
+        out.push({ path: at('column'), message: `"${table}" has no column "${states.column}"` });
+    }
+    else if (column.type !== 'enum') {
+        out.push({ path: at('column'), message: `"${table}.${states.column}" is not an enum, so it cannot hold a state` });
+    }
+    else {
+        values = column.enum ?? [];
+    }
+    const isState = (value) => values.length === 0 || values.includes(value);
+    const known = (value, path) => {
+        if (!isState(value))
+            out.push({ path, message: `"${value}" is not a value of "${table}.${states.column}"` });
+    };
+    known(states.initial, at('initial'));
+    for (const [from, moves] of Object.entries(states.moves)) {
+        known(from, at('moves', from));
+        moves.forEach((move, m) => {
+            const to = moveTarget(move);
+            known(to, at('moves', from, m));
+            if (to === from)
+                out.push({ path: at('moves', from, m), message: 'a move goes to another state' });
+            if (typeof move === 'string')
+                return;
+            for (const child of Object.keys(move.requires?.children ?? {})) {
+                if (states.children?.[child] === undefined) {
+                    out.push({ path: at('moves', from, m, 'requires', 'children', child), message: `"${child}" is not one of this table's children` });
+                }
+            }
+            (move.requires?.where ?? []).forEach((condition, w) => {
+                out.push(...conditionIssues(table, condition, index, at('moves', from, m, 'requires', 'where', w)));
+            });
+            for (const role of move.roles ?? []) {
+                if (ctx.roles !== undefined && !ctx.roles.includes(role)) {
+                    out.push({ path: at('moves', from, m, 'roles'), message: `"${role}" is not one of the app's roles` });
+                }
+            }
+        });
+    }
+    if (states.lock !== undefined) {
+        states.lock.when.forEach((value, i) => known(value, at('lock', 'when', i)));
+        for (const ref of states.lock.except ?? []) {
+            if (index.column(table, ref) === undefined)
+                out.push({ path: at('lock', 'except'), message: `"${table}" has no column "${ref}"` });
+            if (ref === states.column)
+                out.push({ path: at('lock', 'except'), message: 'the state moves by its moves, never by the lock' });
+        }
+    }
+    for (const [child, rule] of Object.entries(states.children ?? {})) {
+        const here = (...rest) => at('children', child, ...rest);
+        if (index.table(child) === undefined) {
+            out.push({ path: here(), message: `"${child}" is not a table of this manifest` });
+            continue;
+        }
+        const via = index.column(child, rule.via);
+        if (via === undefined)
+            out.push({ path: here('via'), message: `"${child}" has no column "${rule.via}"` });
+        else if (via.type !== 'fk' || via.references !== table)
+            out.push({ path: here('via'), message: `"${child}.${rule.via}" does not point at "${table}"` });
+        if (rule.lock === true && states.lock === undefined)
+            out.push({ path: here('lock'), message: 'a child is locked with its parent, and the parent has no lock' });
+        (rule.parentIn ?? []).forEach((value, i) => known(value, here('parentIn', i)));
+        for (const ref of rule.clearOnCreate ?? []) {
+            const found = index.column(table, ref);
+            if (found === undefined)
+                out.push({ path: here('clearOnCreate'), message: `"${table}" has no column "${ref}"` });
+            else if (found.nullable !== true)
+                out.push({ path: here('clearOnCreate'), message: `"${table}.${ref}" is not nullable, so it cannot be emptied` });
+        }
+        if (rule.lock === undefined && rule.parentIn === undefined && rule.clearOnCreate === undefined) {
+            out.push({ path: here(), message: 'a child says lock, parentIn or clearOnCreate' });
+        }
+    }
+    (states.lockedWhenReferencedBy ?? []).forEach((ref, r) => {
+        const here = (...rest) => at('lockedWhenReferencedBy', r, ...rest);
+        if (index.table(ref.table) === undefined) {
+            out.push({ path: here('table'), message: `"${ref.table}" is not a table of this manifest` });
+            return;
+        }
+        const via = index.column(ref.table, ref.via);
+        if (via?.type !== 'fk' || via.references !== table)
+            out.push({ path: here('via'), message: `"${ref.table}.${ref.via}" does not point at "${table}"` });
+        if (states.lock === undefined)
+            out.push({ path: here(), message: 'a row locked by a reference needs a lock to say what stays open' });
+    });
+    if (states.noDelete !== undefined) {
+        if (states.noDelete.when === 'numbered') {
+            if (!ctx.numbered)
+                out.push({ path: at('noDelete', 'when'), message: '"numbered" needs a column numbered without gaps (sequence.gapless)' });
+        }
+        else {
+            states.noDelete.when.forEach((value, i) => known(value, at('noDelete', 'when', i)));
+        }
+    }
+    for (const ref of states.onlyLater ?? []) {
+        const found = index.column(table, ref);
+        if (found === undefined)
+            out.push({ path: at('onlyLater'), message: `"${table}" has no column "${ref}"` });
+        else if (found.type !== 'date' && found.type !== 'timestamptz')
+            out.push({ path: at('onlyLater'), message: `"${table}.${ref}" is not a date` });
+    }
+    return out;
+}
+function conditionIssues(table, condition, index, path) {
+    const found = index.column(table, condition.column);
+    if (found === undefined)
+        return [{ path, message: `"${table}" has no column "${condition.column}"` }];
+    const out = [];
+    const values = condition.eq !== undefined ? [condition.eq] : (condition.in ?? []);
+    for (const value of values) {
+        if (!valueFits(found, value))
+            out.push({ path, message: `${JSON.stringify(value)} is not a value of "${table}.${condition.column}"` });
+    }
+    const ordered = [condition.gt, condition.gte, condition.lt, condition.lte].some((part) => part !== undefined);
+    if (ordered && !['int', 'bigint', 'decimal', 'money', 'float'].includes(found.type)) {
+        out.push({ path, message: `"${table}.${condition.column}" is not a number, so it cannot be compared` });
+    }
+    return out;
+}
+//# sourceMappingURL=states.js.map

package/dist/states.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"states.js","sourceRoot":"","sources":["../src/states.ts"],"names":[],"mappings":"AAAA,yCAAyC;AACzC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAA0D,MAAM,WAAW,CAAC;AAEvH,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAC5C,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,mBAAmB,EAAE,YAAY,CAAC,CAAC;AAEpE,oFAAoF;AACpF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC;IACN,MAAM,EAAE,SAAS;IACjB,EAAE,EAAE,YAAY,CAAC,QAAQ,EAAE;IAC3B,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE;IACnD,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC9B,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACpC,CAAC;KACD,MAAM,EAAE;KACR,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE;IACjH,OAAO,EAAE,4DAA4D;CACtE,CAAC,CAAC;AAGL,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC;IACrC,SAAS;IACT,CAAC;SACE,MAAM,CAAC;QACN,EAAE,EAAE,SAAS;QACb,4FAA4F;QAC5F,QAAQ,EAAE,CAAC;aACR,MAAM,CAAC;YACN,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE;YAC3E,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;SAC9D,CAAC;aACD,MAAM,EAAE;aACR,QAAQ,EAAE;QACb,qEAAqE;QACrE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KACjD,CAAC;SACD,MAAM,EAAE;CACZ,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC;KAC9B,MAAM,CAAC;IACN,2CAA2C;IAC3C,GAAG,EAAE,SAAS;IACd,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;IAChC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE;IACtD,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAC3D,CAAC;KACD,MAAM,EAAE;KACR,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE;IAC/D,OAAO,EAAE,sFAAsF;CAChG,CAAC,CAAC;AAGL,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC;KAC1B,MAAM,CAAC;IACN,MAAM,EAAE,SAAS;IACjB,OAAO,EAAE,SAAS;IAClB,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5D,IAAI,EAAE,CAAC;SACJ,MAAM,CAAC;QACN,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACvC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE;KAC9C,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;IACb,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC,QAAQ,EAAE;IAC1D,sBAAsB,EAAE,CAAC;SACtB,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;SACrG,GAAG,CAAC,CAAC,CAAC;SACN,GAAG,CAAC,CAAC,CAAC;SACN,QAAQ,EAAE;IACb,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACrH,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CACvD,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,yEAAyE;AACzE,MAAM,UAAU,UAAU,CAAC,IAAe;IACxC,OAAO,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;AACnD,CAAC;AAUD,gFAAgF;AAChF,MAAM,UAAU,YAAY,CAC1B,KAAa,EACb,MAAc,EACd,GAAqB,EACrB,EAAyD;IAEzD,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,CAAC;IACtB,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,MAAM,GAAsB,EAAE,CAAC;IACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,IAAI,KAAK,oBAAoB,MAAM,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;IAC3F,CAAC;SAAM,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAClC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,IAAI,KAAK,IAAI,MAAM,CAAC,MAAM,6CAA6C,EAAE,CAAC,CAAC;IACrH,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;IAC7B,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACjF,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,IAAyB,EAAE,EAAE;QACzD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,KAAK,wBAAwB,KAAK,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;IAC/G,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACzD,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/B,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YACxB,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAC5B,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,EAAE,KAAK,IAAI;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,8BAA8B,EAAE,CAAC,CAAC;YACnG,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,OAAO;YACrC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC/D,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;oBAC3C,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,KAAK,uCAAuC,EAAE,CAAC,CAAC;gBACrI,CAAC;YACH,CAAC;YACD,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE;gBACpD,GAAG,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACtG,CAAC,CAAC,CAAC;YACH,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;gBACpC,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBACzD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,IAAI,IAAI,iCAAiC,EAAE,CAAC,CAAC;gBACxG,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5E,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YAC3C,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,SAAS;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,IAAI,KAAK,oBAAoB,GAAG,GAAG,EAAE,CAAC,CAAC;YACnI,IAAI,GAAG,KAAK,MAAM,CAAC,MAAM;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,iDAAiD,EAAE,CAAC,CAAC;QAClI,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,GAAG,CAAC,GAAG,IAAyB,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC;QAC9E,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;YACrC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,KAAK,mCAAmC,EAAE,CAAC,CAAC;YAClF,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAI,GAAG,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,KAAK,oBAAoB,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC;aACrG,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,KAAK,KAAK;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,KAAK,IAAI,IAAI,CAAC,GAAG,wBAAwB,KAAK,GAAG,EAAE,CAAC,CAAC;QACxJ,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,+DAA+D,EAAE,CAAC,CAAC;QAChK,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/E,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACvC,IAAI,KAAK,KAAK,SAAS;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,EAAE,OAAO,EAAE,IAAI,KAAK,oBAAoB,GAAG,GAAG,EAAE,CAAC,CAAC;iBAC5G,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,EAAE,OAAO,EAAE,IAAI,KAAK,IAAI,GAAG,4CAA4C,EAAE,CAAC,CAAC;QACrJ,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YAC/F,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,8CAA8C,EAAE,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IACD,CAAC,MAAM,CAAC,sBAAsB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACvD,MAAM,IAAI,GAAG,CAAC,GAAG,IAAyB,EAAE,EAAE,CAAC,EAAE,CAAC,wBAAwB,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC;QACxF,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;YACzC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,KAAK,mCAAmC,EAAE,CAAC,CAAC;YAC7F,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAI,GAAG,EAAE,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,KAAK,KAAK;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,wBAAwB,KAAK,GAAG,EAAE,CAAC,CAAC;QACvJ,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,iEAAiE,EAAE,CAAC,CAAC;IACxI,CAAC,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACxC,IAAI,CAAC,GAAG,CAAC,QAAQ;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,oEAAoE,EAAE,CAAC,CAAC;QAC/I,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACvC,IAAI,KAAK,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,IAAI,KAAK,oBAAoB,GAAG,GAAG,EAAE,CAAC,CAAC;aACtG,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,IAAI,KAAK,IAAI,GAAG,iBAAiB,EAAE,CAAC,CAAC;IAClJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,eAAe,CACtB,KAAa,EACb,SAAyB,EACzB,KAAoB,EACpB,IAAyB;IAEzB,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,KAAK,oBAAoB,SAAS,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;IACtG,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;IAClF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,uBAAuB,KAAK,IAAI,SAAS,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;IACzI,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC9G,IAAI,OAAO,IAAI,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpF,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,KAAK,IAAI,SAAS,CAAC,MAAM,6CAA6C,EAAE,CAAC,CAAC;IAC1G,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/validate.d.ts

@@ -28,13 +28,27 @@ export interface ValidateManifestOptions {
     /** The host app's table refs, so an add-on's `scopes` can be bounded. */
     hostTables?: readonly string[];
 }
+/**
+ * A warning is advice, never a refusal: a manifest with warnings validates.
+ * Kept apart from `issues` on purpose — every app repo compares its vendored
+ * validator's issues with Adminium's, and a warning reported as an issue
+ * would fail them all on their next push.
+ */
 export type ValidateManifestResult = {
     ok: true;
     manifest: Manifest;
+    warnings: ManifestIssue[];
 } | {
     ok: false;
     issues: ManifestIssue[];
+    warnings: ManifestIssue[];
 };
+/**
+ * Advice about an app that validates: a column with no default that is not
+ * nullable is NOT NULL once installed, so every insert must give it a value —
+ * a draft saved half-filled is refused. Every app round has hit this once.
+ */
+export declare function manifestWarnings(manifest: Manifest): ManifestIssue[];
 /**
  * Validate an untrusted manifest document. Returns the typed manifest on
  * success, or every issue found (schema + policy) on failure — never throws.