@adminiumjs/manifest 0.3.5 → 0.3.7

package/dist/states.d.ts

@@ -30,7 +30,9 @@
  *   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
+ *   is in those states (payments on a sent invoice) — or, apart, `createIn`
+ *   for a new child and `changeIn` for a change or a delete of one (a payment
+ *   taken only on a live stay, and voided on a cancelled one too); `clearOnCreate` empties
  *   columns of this row when one of them is created (a recorded payment
  *   clears the client's "I've sent it"). `release` opens a locked child a
  *   little while its parent is in some of the lock's states: a change that
@@ -46,12 +48,28 @@
  * - `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.
+ * - A move may also wait for the row one of its links points at
+ *   (`requires.linked`), for a window on the clock (`requires.time`, read from
+ *   moments — see `refs.ts`) and for a value of the settings row
+ *   (`requires.setting`).
+ * - `strict`: a write naming the state the row already holds is refused
+ *   (a ticket let in once), repeating up to four columns of the row.
+ * - `late`: a move made inside some time before a moment sets a flag, or is
+ *   refused.
+ * - `timed`: listed moves Adminium makes by itself once a moment of the row
+ *   has passed (a held order expiring).
+ * - `effects`: a move that moves the row one of its links points at too, by a
+ *   move that table lists (a guest checked out turns the room to cleaning).
+ * - `create`: what a new row must meet to be created — the conditions a move
+ *   waits for, judged when the row is written (a check-in only for a paid
+ *   ticket, on its day).
+ * - A timed move may also write fixed values to other columns (`set`).
  *
  * 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';
+import { type ColumnShape, type Moment, type MomentOffset, 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;
@@ -64,6 +82,34 @@ export declare const stateConditionSchema: z.ZodObject<{
     lte: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strict>;
 export type StateCondition = z.infer<typeof stateConditionSchema>;
+/** Conditions on the row one of this row's links points at (the order a ticket belongs to is paid). */
+export declare const linkedConditionSchema: z.ZodObject<{
+    via: z.ZodString;
+    where: 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>;
+export type LinkedCondition = z.infer<typeof linkedConditionSchema>;
+/** A move allowed only after one moment, before another, or between the two. */
+export declare const timeConditionSchema: z.ZodObject<{
+    after: z.ZodOptional<z.ZodType<Moment, unknown, z.core.$ZodTypeInternals<Moment, unknown>>>;
+    before: z.ZodOptional<z.ZodType<Moment, unknown, z.core.$ZodTypeInternals<Moment, unknown>>>;
+}, z.core.$strict>;
+export type TimeCondition = z.infer<typeof timeConditionSchema>;
+/** A value of the app's one-row settings table a move waits for (door sales switched on). */
+export declare const settingConditionSchema: z.ZodObject<{
+    table: z.ZodString;
+    column: z.ZodString;
+    eq: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>;
+}, z.core.$strict>;
+export type SettingCondition = z.infer<typeof settingConditionSchema>;
 export declare const stateMoveSchema: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
     to: z.ZodString;
     requires: z.ZodOptional<z.ZodObject<{
@@ -78,14 +124,40 @@ export declare const stateMoveSchema: z.ZodUnion<readonly [z.ZodString, z.ZodObj
             lt: z.ZodOptional<z.ZodNumber>;
             lte: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strict>>>;
+        linked: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            via: z.ZodString;
+            where: 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>>>;
+        time: z.ZodOptional<z.ZodObject<{
+            after: z.ZodOptional<z.ZodType<Moment, unknown, z.core.$ZodTypeInternals<Moment, unknown>>>;
+            before: z.ZodOptional<z.ZodType<Moment, unknown, z.core.$ZodTypeInternals<Moment, unknown>>>;
+        }, z.core.$strict>>;
+        setting: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            table: z.ZodString;
+            column: z.ZodString;
+            eq: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>;
+        }, z.core.$strict>>>;
     }, z.core.$strict>>;
     roles: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    undo: z.ZodOptional<z.ZodLiteral<true>>;
+    clears: 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>>;
+    createIn: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    changeIn: z.ZodOptional<z.ZodArray<z.ZodString>>;
     clearOnCreate: z.ZodOptional<z.ZodArray<z.ZodString>>;
     release: z.ZodOptional<z.ZodObject<{
         when: z.ZodArray<z.ZodString>;
@@ -94,6 +166,138 @@ export declare const stateChildSchema: z.ZodObject<{
     lockLinked: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>>;
 }, z.core.$strict>;
 export type StateChild = z.infer<typeof stateChildSchema>;
+/**
+ * `strict`: a write that names the state the row already holds is refused
+ * instead of passing silently (a ticket scanned twice). `show` names up to
+ * four columns of the row the refusal repeats (the door it came in by);
+ * never a personal or secret column.
+ */
+export declare const strictStatesSchema: z.ZodUnion<readonly [z.ZodLiteral<true>, z.ZodObject<{
+    show: z.ZodArray<z.ZodString>;
+}, z.core.$strict>]>;
+/**
+ * A move to `to` (from one of `from`, or from anywhere) made inside `within`
+ * before `moment`: `flag` lets it through and sets the bool column `flag`;
+ * `refuse` turns it away — for public writers, or with `refuse: 'everyone'`
+ * for every writer.
+ */
+export declare const lateMoveSchema: z.ZodObject<{
+    to: z.ZodString;
+    from: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    moment: z.ZodType<Moment, unknown, z.core.$ZodTypeInternals<Moment, unknown>>;
+    within: z.ZodType<MomentOffset, unknown, z.core.$ZodTypeInternals<MomentOffset, unknown>>;
+    mode: z.ZodEnum<{
+        refuse: "refuse";
+        flag: "flag";
+    }>;
+    flag: z.ZodOptional<z.ZodString>;
+    refuse: z.ZodOptional<z.ZodEnum<{
+        public: "public";
+        everyone: "everyone";
+    }>>;
+}, z.core.$strict>;
+export type LateMove = z.infer<typeof lateMoveSchema>;
+/**
+ * A listed move Adminium makes by itself once `at` has passed, for a row still
+ * in `from`. `set` writes fixed values to other columns of the row in the same
+ * move (why an order still open at closing was cancelled).
+ */
+export declare const timedMoveSchema: z.ZodObject<{
+    from: z.ZodString;
+    to: z.ZodString;
+    at: z.ZodType<Moment, unknown, z.core.$ZodTypeInternals<Moment, unknown>>;
+    set: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodNull]>>>;
+}, z.core.$strict>;
+export type TimedMove = z.infer<typeof timedMoveSchema>;
+/**
+ * What a row must meet to be created at all: a value of its own
+ * (`where`), of the row one of its links points at (`linked`), of the
+ * settings row (`setting`), and a window on the clock (`time`) — the same
+ * shapes a move waits for. A check-in recorded only for a paid ticket, on
+ * its day, from half an hour before the doors.
+ */
+export declare const createRequiresSchema: z.ZodObject<{
+    requires: z.ZodObject<{
+        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>>>;
+        linked: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            via: z.ZodString;
+            where: 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>>>;
+        time: z.ZodOptional<z.ZodObject<{
+            after: z.ZodOptional<z.ZodType<Moment, unknown, z.core.$ZodTypeInternals<Moment, unknown>>>;
+            before: z.ZodOptional<z.ZodType<Moment, unknown, z.core.$ZodTypeInternals<Moment, unknown>>>;
+        }, z.core.$strict>>;
+        setting: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            table: z.ZodString;
+            column: z.ZodString;
+            eq: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type CreateRequires = z.infer<typeof createRequiresSchema>;
+/**
+ * When this row moves to `on.to`, the row its link `via` points at moves too,
+ * in the same write: `set` names that table's state column and the state it
+ * moves to, one of the moves that table lists (a guest checked out turns the
+ * room to cleaning). One link, never a chain.
+ */
+export declare const moveEffectSchema: z.ZodObject<{
+    on: z.ZodObject<{
+        to: z.ZodString;
+    }, z.core.$strict>;
+    via: z.ZodString;
+    set: z.ZodRecord<z.ZodString, z.ZodString>;
+}, z.core.$strict>;
+export type MoveEffect = z.infer<typeof moveEffectSchema>;
+/**
+ * When the link `on.change` really changes — while this row is in one of
+ * `on.in` before and after the write — the row it pointed at moves by `old`
+ * and the row it now points at by `new`, in the same write (a guest moved to
+ * another room: the old room to cleaning, the new one to occupied, which only
+ * a ready room may be). Each is that table's declared move; a new row already
+ * in `new`'s state refuses the write. Either side may be left out, and a link
+ * emptied or first set moves only the side there is.
+ */
+export declare const changeEffectSchema: z.ZodObject<{
+    on: z.ZodObject<{
+        change: z.ZodString;
+        in: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>;
+    old: z.ZodOptional<z.ZodObject<{
+        set: z.ZodRecord<z.ZodString, z.ZodString>;
+    }, z.core.$strict>>;
+    new: z.ZodOptional<z.ZodObject<{
+        set: z.ZodRecord<z.ZodString, z.ZodString>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type ChangeEffect = z.infer<typeof changeEffectSchema>;
+export type StateEffect = MoveEffect | ChangeEffect;
+/** Whether an effect is set off by a changed link rather than by a move. */
+export declare function isChangeEffect(effect: StateEffect): effect is ChangeEffect;
+/**
+ * An effect, parsed by the schema of the form written (a move's, or a changed
+ * link's), so a mistake is named where it is: a union of the two would only
+ * say the input is invalid.
+ */
+export declare const stateEffectSchema: z.ZodCustom<StateEffect, StateEffect>;
 export declare const statesSchema: z.ZodObject<{
     column: z.ZodString;
     initial: z.ZodString;
@@ -111,8 +315,32 @@ export declare const statesSchema: z.ZodObject<{
                 lt: z.ZodOptional<z.ZodNumber>;
                 lte: z.ZodOptional<z.ZodNumber>;
             }, z.core.$strict>>>;
+            linked: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                via: z.ZodString;
+                where: 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>>>;
+            time: z.ZodOptional<z.ZodObject<{
+                after: z.ZodOptional<z.ZodType<Moment, unknown, z.core.$ZodTypeInternals<Moment, unknown>>>;
+                before: z.ZodOptional<z.ZodType<Moment, unknown, z.core.$ZodTypeInternals<Moment, unknown>>>;
+            }, z.core.$strict>>;
+            setting: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                table: z.ZodString;
+                column: z.ZodString;
+                eq: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>;
+            }, z.core.$strict>>>;
         }, z.core.$strict>>;
         roles: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        undo: z.ZodOptional<z.ZodLiteral<true>>;
+        clears: z.ZodOptional<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>]>>>;
     lock: z.ZodOptional<z.ZodObject<{
         when: z.ZodArray<z.ZodString>;
@@ -122,6 +350,8 @@ export declare const statesSchema: z.ZodObject<{
         via: z.ZodString;
         lock: z.ZodOptional<z.ZodLiteral<true>>;
         parentIn: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        createIn: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        changeIn: z.ZodOptional<z.ZodArray<z.ZodString>>;
         clearOnCreate: z.ZodOptional<z.ZodArray<z.ZodString>>;
         release: z.ZodOptional<z.ZodObject<{
             when: z.ZodArray<z.ZodString>;
@@ -138,9 +368,78 @@ export declare const statesSchema: z.ZodObject<{
         when: z.ZodUnion<readonly [z.ZodLiteral<"numbered">, z.ZodArray<z.ZodString>]>;
     }, z.core.$strict>>;
     onlyLater: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    strict: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<true>, z.ZodObject<{
+        show: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>]>>;
+    late: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        to: z.ZodString;
+        from: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        moment: z.ZodType<Moment, unknown, z.core.$ZodTypeInternals<Moment, unknown>>;
+        within: z.ZodType<MomentOffset, unknown, z.core.$ZodTypeInternals<MomentOffset, unknown>>;
+        mode: z.ZodEnum<{
+            refuse: "refuse";
+            flag: "flag";
+        }>;
+        flag: z.ZodOptional<z.ZodString>;
+        refuse: z.ZodOptional<z.ZodEnum<{
+            public: "public";
+            everyone: "everyone";
+        }>>;
+    }, z.core.$strict>>>;
+    timed: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        from: z.ZodString;
+        to: z.ZodString;
+        at: z.ZodType<Moment, unknown, z.core.$ZodTypeInternals<Moment, unknown>>;
+        set: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>, z.ZodNull]>>>;
+    }, z.core.$strict>>>;
+    effects: z.ZodOptional<z.ZodArray<z.ZodCustom<StateEffect, StateEffect>>>;
+    create: z.ZodOptional<z.ZodObject<{
+        requires: z.ZodObject<{
+            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>>>;
+            linked: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                via: z.ZodString;
+                where: 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>>>;
+            time: z.ZodOptional<z.ZodObject<{
+                after: z.ZodOptional<z.ZodType<Moment, unknown, z.core.$ZodTypeInternals<Moment, unknown>>>;
+                before: z.ZodOptional<z.ZodType<Moment, unknown, z.core.$ZodTypeInternals<Moment, unknown>>>;
+            }, z.core.$strict>>;
+            setting: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                table: z.ZodString;
+                column: z.ZodString;
+                eq: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
 }, z.core.$strict>;
 export type States = z.infer<typeof statesSchema>;
 /** A move written as a bare state is a move with nothing asked first. */
+/**
+ * Whether a state is reached only by moves marked `undo`: made only by a
+ * person naming the state they saw — never by a door that names none (a
+ * timed move, an effect, an email's `onSent`, a guest's writable value).
+ */
+export declare function reachedOnlyByUndo(states: {
+    moves: Readonly<Record<string, readonly StateMove[]>>;
+} | undefined, state: unknown): boolean;
 export declare function moveTarget(move: StateMove): string;
 interface StatesContext<C extends ColumnShape> {
     index: TableIndex<C>;
@@ -148,8 +447,49 @@ interface StatesContext<C extends ColumnShape> {
     roles?: readonly string[] | undefined;
     /** A column of this table decides "numbered": a gapless running number. */
     numbered: boolean;
+    /** Why a column of this table is kept from readers (a secret, personal data, a shared link's code), or null. */
+    keptFromReaders?: ((column: string) => string | null) | undefined;
+    /** Whether another rule already writes a column of this table. */
+    decided?: ((column: string) => boolean) | undefined;
+    /** This table's booking cancellation, which keeps a late flag of its own. */
+    bookingCancel?: {
+        column: string;
+        to: string;
+    } | undefined;
+    /** Another table's states, which an effect moves. */
+    statesOf?: ((table: string) => States | undefined) | undefined;
+    /** Whether another table keeps a booking guard (`table.booking`), whose lock an effect's write cannot take. */
+    bookedOf?: ((table: string) => boolean) | undefined;
+    /** The table whose states another table's rows are tied to as its lines (`states.children`), or undefined. */
+    lineOf?: ((table: string) => string | undefined) | undefined;
+    /** The app's outbox table, whose rows move only by the outbox's own moves. */
+    outboxTable?: string | undefined;
+}
+/** A column of the table as the judge of an undo's `clears` needs it. */
+export interface UndoColumn {
+    /** The table's key. */
+    key: boolean;
+    nullable: boolean;
 }
+/**
+ * Everything wrong with what a table's undo moves empty (`clears`), and with a
+ * move that another move to the same state comes before — the judge takes the
+ * first, so a later one marked `undo` or naming `clears` would never be made.
+ * Paths are relative to the states. The one judge for an app's manifest and a
+ * states rule saved in Studio (the server's `statesRuleIssue`).
+ */
+export declare function undoMoveIssues(states: {
+    column: string;
+    moves: Readonly<Record<string, readonly StateMove[]>>;
+}, table: string, lookup: {
+    column: (ref: string) => UndoColumn | undefined;
+    decided: (ref: string) => boolean;
+}): {
+    path: (string | number)[];
+    message: string;
+}[];
 /** 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 declare function conditionIssues<C extends ColumnShape>(table: string, condition: StateCondition, index: TableIndex<C>, path: (string | number)[]): ReferenceIssue[];
 export {};
 //# sourceMappingURL=states.d.ts.map

package/dist/states.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"states.d.ts","sourceRoot":"","sources":["../src/states.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;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;;;;;;;;;;kBAmBzB,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,CA8HlB"}
+{"version":3,"file":"states.d.ts","sourceRoot":"","sources":["../src/states.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqEG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAOL,KAAK,WAAW,EAChB,KAAK,MAAM,EACX,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,UAAU,EAChB,MAAM,WAAW,CAAC;AAKnB,oFAAoF;AACpF,eAAO,MAAM,oBAAoB;;;;;;;;;kBAc7B,CAAC;AACL,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,uGAAuG;AACvG,eAAO,MAAM,qBAAqB;;;;;;;;;;;;kBAMvB,CAAC;AACZ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,gFAAgF;AAChF,eAAO,MAAM,mBAAmB;;;kBAG6F,CAAC;AAC9H,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,6FAA6F;AAC7F,eAAO,MAAM,sBAAsB;;;;kBAA+E,CAAC;AACnH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oBAsC1B,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,eAAO,MAAM,gBAAgB;;;;;;;;;;;;kBA2BzB,CAAC;AACL,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAI1D;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB;;oBAG7B,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;kBAkBvB,CAAC;AACL,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD;;;;GAIG;AACH,eAAO,MAAM,eAAe;;;;;kBAUjB,CAAC;AACZ,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBActB,CAAC;AACZ,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAOlE;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB;;;;;;kBAMlB,CAAC;AACZ,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D;;;;;;;;GAQG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;kBAOiH,CAAC;AACjJ,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG,YAAY,CAAC;AAEpD,4EAA4E;AAC5E,wBAAgB,cAAc,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,IAAI,YAAY,CAE1E;AAED;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,uCAM5B,CAAC;AAEH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA+Bd,CAAC;AACZ,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAGlD,yEAAyE;AACzE;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC,CAAC,CAAA;CAAE,GAAG,SAAS,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAIxI;AAED,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;IAClB,gHAAgH;IAChH,eAAe,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,SAAS,CAAC;IAClE,kEAAkE;IAClE,OAAO,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACpD,6EAA6E;IAC7E,aAAa,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;IAC3D,qDAAqD;IACrD,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC,GAAG,SAAS,CAAC;IAC/D,+GAA+G;IAC/G,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACpD,8GAA8G;IAC9G,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC,GAAG,SAAS,CAAC;IAC7D,8EAA8E;IAC9E,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAClC;AAED,yEAAyE;AACzE,MAAM,WAAW,UAAU;IACzB,uBAAuB;IACvB,GAAG,EAAE,OAAO,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC,CAAC,CAAA;CAAE,EACjF,KAAK,EAAE,MAAM,EACb,MAAM,EAAE;IAAE,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,UAAU,GAAG,SAAS,CAAC;IAAC,OAAO,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAA;CAAE,GAC7F;IAAE,IAAI,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,EAAE,CA4BlD;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,CA8IlB;AAoQD,wBAAgB,eAAe,CAAC,CAAC,SAAS,WAAW,EACnD,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,cAAc,EACzB,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,EACpB,IAAI,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,GACxB,cAAc,EAAE,CAalB"}