@rindle/client 0.3.1 → 0.4.2

package/dist/index.d.ts

@@ -6,6 +6,9 @@ export * from "./store.ts";
 export * from "./ssr.ts";
 export { resolveChange, subRow } from "./resolve.ts";
 export type { NamedRow, ResolvedChange } from "./resolve.ts";
+export type { KeyedRow, MutationOp, ServerWriteTx } from "./mutation-ops.ts";
+export { driveMutationAsync, driveMutationSync, isGeneratorMutator, isoTx, shared, } from "./mutation-ops.ts";
+export type { ArgSchema, AsyncEffectExec, BatchEffect, IsoTx, MutationGen, MutatorCtx, ReadEffect, SharedMutator, SharedMutatorWithArgs, SyncEffectExec, YieldEffect, } from "./mutation-ops.ts";
 export { stableKey } from "./key.ts";
 export { COMPARATOR_VERSION, compareNumber, compareRows, compareString, compareValue } from "./compare.ts";
 export type { Backend, BackendDevObserver, BackendServerDelta, ChangeEvent, ColType, FlatChange, FlatOp, Mutation, MutationEnvelope, NormalizedEvent, NormalizedOp, NormalizedSource, NormalizedTableSchema, OptimisticSource, PathSeg, ProgressFrame, QueryId, RemoteQuery, ResultType, WireNode, WireProjection, WireRel, WireSchema, WireValue, } from "./types.ts";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAIA,cAAc,aAAa,CAAC;AAC5B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,UAAU,CAAC;AAEzB,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACrD,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE7D,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAErC,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE3G,YAAY,EACV,OAAO,EACP,kBAAkB,EAClB,kBAAkB,EAClB,WAAW,EACX,OAAO,EACP,UAAU,EACV,MAAM,EACN,QAAQ,EACR,gBAAgB,EAChB,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,qBAAqB,EACrB,gBAAgB,EAChB,OAAO,EACP,aAAa,EACb,OAAO,EACP,WAAW,EACX,UAAU,EACV,QAAQ,EACR,cAAc,EACd,OAAO,EACP,UAAU,EACV,SAAS,GACV,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAG9F,YAAY,EACV,SAAS,EACT,GAAG,EACH,KAAK,EACL,SAAS,EACT,kBAAkB,EAClB,WAAW,EACX,GAAG,EACH,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,aAAa,GACd,MAAM,UAAU,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAIA,cAAc,aAAa,CAAC;AAC5B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,UAAU,CAAC;AAEzB,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACrD,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE7D,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAE7E,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,kBAAkB,EAClB,KAAK,EACL,MAAM,GACP,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EACV,SAAS,EACT,eAAe,EACf,WAAW,EACX,KAAK,EACL,WAAW,EACX,UAAU,EACV,UAAU,EACV,aAAa,EACb,qBAAqB,EACrB,cAAc,EACd,WAAW,GACZ,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAErC,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE3G,YAAY,EACV,OAAO,EACP,kBAAkB,EAClB,kBAAkB,EAClB,WAAW,EACX,OAAO,EACP,UAAU,EACV,MAAM,EACN,QAAQ,EACR,gBAAgB,EAChB,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,qBAAqB,EACrB,gBAAgB,EAChB,OAAO,EACP,aAAa,EACb,OAAO,EACP,WAAW,EACX,UAAU,EACV,QAAQ,EACR,cAAc,EACd,OAAO,EACP,UAAU,EACV,SAAS,GACV,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAG9F,YAAY,EACV,SAAS,EACT,GAAG,EACH,KAAK,EACL,SAAS,EACT,kBAAkB,EAClB,WAAW,EACX,GAAG,EACH,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,aAAa,GACd,MAAM,UAAU,CAAC"}

package/dist/index.js

@@ -1,13 +1,15 @@
 // @rindle/client — the backend-agnostic flat-change client core: typed schema, query builder,
 // comparator, Backend seam, and the ArrayView contract. (The ArrayView folding impl + the
 // Store/backend wiring land in later slices.)
-export * from "./schema.js"; // table/columns/primaryKey, createSchema/extendSchema, string/number/boolean/json, Col, RowOf, Row, TableDef, tableSpec, SCHEMA
+export * from "./schema.js"; // table/columns/primaryKey, createSchema/extendSchema, refineTable/refineSchema, string/number/boolean/json, Col, RowOf, Row, TableDef, tableSpec, SCHEMA
 export * from "./operators.js"; // eq/ne/gt/ge/lt/le/like/notLike/ilike/notIlike/inList/notInList/is/isNot, and/or, Pred, Cond, Arg
 export * from "./query.js"; // Query, QueryRoot, queries/newQueryBuilder, defineQuery/NamedQuery, exists, notExists, defineFragment/Fragment/FragmentRef/isFragment
 export * from "./view.js"; // ArrayView, SingularArrayView, FlatArrayView, SingularView, ViewTypes
 export * from "./store.js"; // Store, WriteTx, AssembledNode, DehydratedQuery, DehydratedState
 export * from "./ssr.js"; // createServerStore, ServerStore, OneShotBackend, OneShotQueryFn, OneShotResult, ServerStoreOptions
 export { resolveChange, subRow } from "./resolve.js"; // positional FlatChange → named rows (inverse of the wire encoder)
+// shared (generator) mutator seam — one body, sync on the client + async on the server
+export { driveMutationAsync, driveMutationSync, isGeneratorMutator, isoTx, shared, } from "./mutation-ops.js";
 export { stableKey } from "./key.js"; // canonical viewKey for an AST (shared with @rindle/react)
 export { COMPARATOR_VERSION, compareNumber, compareRows, compareString, compareValue } from "./compare.js";
 export { CLIENT_MUTATIONS_SCHEMA, CLIENT_MUTATIONS_TABLE, LMID_QUERY_NAME } from "./types.js";

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,0FAA0F;AAC1F,8CAA8C;AAE9C,cAAc,aAAa,CAAC,CAAC,gIAAgI;AAC7J,cAAc,gBAAgB,CAAC,CAAC,mGAAmG;AACnI,cAAc,YAAY,CAAC,CAAC,uIAAuI;AACnK,cAAc,WAAW,CAAC,CAAC,uEAAuE;AAClG,cAAc,YAAY,CAAC,CAAC,kEAAkE;AAC9F,cAAc,UAAU,CAAC,CAAC,oGAAoG;AAE9H,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC,CAAC,mEAAmE;AAGzH,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC,CAAC,2DAA2D;AAEjG,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AA6B3G,OAAO,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,0FAA0F;AAC1F,8CAA8C;AAE9C,cAAc,aAAa,CAAC,CAAC,0JAA0J;AACvL,cAAc,gBAAgB,CAAC,CAAC,mGAAmG;AACnI,cAAc,YAAY,CAAC,CAAC,uIAAuI;AACnK,cAAc,WAAW,CAAC,CAAC,uEAAuE;AAClG,cAAc,YAAY,CAAC,CAAC,kEAAkE;AAC9F,cAAc,UAAU,CAAC,CAAC,oGAAoG;AAE9H,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC,CAAC,mEAAmE;AAIzH,uFAAuF;AACvF,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,kBAAkB,EAClB,KAAK,EACL,MAAM,GACP,MAAM,mBAAmB,CAAC;AAe3B,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC,CAAC,2DAA2D;AAEjG,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AA6B3G,OAAO,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC"}

package/dist/mutation-ops.d.ts

@@ -0,0 +1,140 @@
+import type { WireValue } from "./types.ts";
+/** A keyed row: column name → cell. The ergonomic write shape (validated against the schema at
+ *  runtime). JSON columns carry their raw JSON string (a {@link WireValue}), never a parsed object. */
+export type KeyedRow = Record<string, WireValue>;
+/** One structured write intent — the discriminated union that mirrors the write half of the client
+ *  `MutationTx` 1:1. Keyed (column-name addressed), so it is independent of column order. */
+export type MutationOp = {
+    kind: "insert";
+    table: string;
+    row: KeyedRow;
+} | {
+    kind: "upsert";
+    table: string;
+    row: KeyedRow;
+} | {
+    kind: "insertIgnore";
+    table: string;
+    row: KeyedRow;
+} | {
+    kind: "update";
+    table: string;
+    row: KeyedRow;
+} | {
+    kind: "delete";
+    table: string;
+    pk: KeyedRow;
+};
+/** The ASYNC server-side write surface a mutator runs against. Semantically the twin of the client's
+ *  synchronous `MutationTx` write methods — same names, same keyed-row arguments — but every op is a
+ *  Promise so a Postgres backend can execute it live against an open transaction (read-your-writes).
+ *  A rindle/daemon backend resolves writes immediately (accumulate) and serves `row` from committed
+ *  state. `insert` requires every column; `update`/`delete` require the pk columns. */
+export interface ServerWriteTx {
+    /** Insert a FULL row (every column named; missing or unknown columns throw). */
+    insert(table: string, row: KeyedRow): Promise<void>;
+    /** Update the row identified by the pk columns; only the named non-pk columns change. A missing
+     *  row is a NO-OP. */
+    update(table: string, row: KeyedRow): Promise<void>;
+    /** Insert, or fully replace when the pk already exists (a FULL row, like `insert`). */
+    upsert(table: string, row: KeyedRow): Promise<void>;
+    /** Insert a FULL row, or do nothing if the pk already exists (the SQL twin of the client
+     *  `if (!tx.row(pk)) tx.insert(row)` pattern). */
+    insertIgnore(table: string, row: KeyedRow): Promise<void>;
+    /** Delete the row identified by the pk columns. A missing row is a NO-OP. */
+    delete(table: string, pk: KeyedRow): Promise<void>;
+    /** Read one row by primary key, through the OPEN transaction on both backends
+     *  (read-your-writes: live on Postgres; via an interactive mutation session on the daemon,
+     *  DAEMON-INTERACTIVE-TXN-DESIGN.md §5.3). */
+    row(table: string, pk: KeyedRow): Promise<KeyedRow | undefined>;
+}
+/** A point read a generator mutator yields; the driver resolves it and feeds the row back through
+ *  `gen.next(row)`. Read-your-writes on every tier: the client reads its local engine, and both
+ *  server backends read the open transaction (the daemon via an interactive mutation session). */
+export type ReadEffect = {
+    kind: "row";
+    table: string;
+    pk: KeyedRow;
+};
+/** A fan-out a generator mutator yields: run several effects "together". The server driver resolves
+ *  them with `Promise.all`; the client driver runs them in array order (already synchronous). Results
+ *  return in the SAME order on both tiers, so the mutator stays deterministic. The `yield` evaluates
+ *  to `(KeyedRow | undefined)[]` at runtime (cast it — the generator's single next-type is a row). */
+export type BatchEffect = {
+    kind: "all";
+    effects: readonly YieldEffect[];
+};
+/** Everything a generator mutator may `yield`: a write {@link MutationOp}, a {@link ReadEffect}, or a
+ *  {@link BatchEffect}. */
+export type YieldEffect = MutationOp | ReadEffect | BatchEffect;
+/** The tier-AGNOSTIC effect factory a generator mutator writes against. Every method just BUILDS an
+ *  effect to `yield` — it performs no I/O and holds no state, so the single {@link isoTx} instance is
+ *  shared by every mutator on both tiers; only the driver differs. `insert`/`upsert`/`insertIgnore`
+ *  take a FULL row; `update`/`delete` take the pk columns (`update` adds the columns to change). */
+export interface IsoTx {
+    insert(table: string, row: KeyedRow): MutationOp;
+    update(table: string, row: KeyedRow): MutationOp;
+    upsert(table: string, row: KeyedRow): MutationOp;
+    insertIgnore(table: string, row: KeyedRow): MutationOp;
+    delete(table: string, pk: KeyedRow): MutationOp;
+    row(table: string, pk: KeyedRow): ReadEffect;
+    all(effects: readonly YieldEffect[]): BatchEffect;
+}
+/** The one shared effect factory (stateless — see {@link IsoTx}). */
+export declare const isoTx: IsoTx;
+/** The minimal per-invocation context a shared mutator sees on BOTH tiers: the acting principal. The
+ *  server injects its AUTHENTICATED user; the client injects its local user. (The server's own
+ *  `MutationContext` is a superset of this.) */
+export interface MutatorCtx {
+    user: string;
+}
+/** What a generator mutator IS: `yield tx.<op>()` on every side effect; a `yield tx.row()` expression
+ *  evaluates to the row. Neither sync nor async — the tier's driver decides, which is what lets one
+ *  body run synchronously on the client and against a live async transaction on the server. */
+export type MutationGen = Generator<YieldEffect, void, KeyedRow | undefined>;
+/** A generator (isomorphic) mutator, shared verbatim by both tiers: the client trusts typed `args`,
+ *  the server parses untrusted args into `Args` before invoking. */
+export type SharedMutator<Args, Ctx extends MutatorCtx = MutatorCtx> = (tx: IsoTx, args: Args, ctx: Ctx) => MutationGen;
+/** The minimal arg validator a shared mutator can carry so the SERVER can parse UNTRUSTED wire args
+ *  before driving it (the client trusts its typed callsites and never calls this). Structural on
+ *  purpose — a zod schema satisfies it as-is — so `@rindle/client` stays validator-library-agnostic. */
+export interface ArgSchema<Args> {
+    parse(raw: unknown): Args;
+}
+/** A shared mutator that CARRIES its own arg validator, co-located at the def site (`shared(schema,
+ *  gen)`). The client registers it exactly like a bare generator mutator — the `.args` validator is
+ *  inert there (typed callsites skip the parse); the server ({@link runSharedMutation}, via the
+ *  api-server's `sharedApiMutators`) reads `.args` to parse untrusted wire args before driving the
+ *  SAME body. */
+export type SharedMutatorWithArgs<Args, Ctx extends MutatorCtx = MutatorCtx> = SharedMutator<Args, Ctx> & {
+    args: ArgSchema<Args>;
+};
+/** Co-locate a shared (generator) mutator with the validator for its args — pairing the arg SHAPE
+ *  with the body that consumes it at ONE site, so neither tier restates it (the client derives its
+ *  callsite type from `Args`; the server parses untrusted args through `.args`). Returns the SAME
+ *  generator function with an `args` property attached (`Object.assign` mutates + returns it), so the
+ *  registered value is byte-for-byte what the client drove before: {@link isGeneratorMutator} still
+ *  detects it and it still `satisfies ClientRegistry`. */
+export declare function shared<Args, Ctx extends MutatorCtx = MutatorCtx>(args: ArgSchema<Args>, run: SharedMutator<Args, Ctx>): SharedMutatorWithArgs<Args, Ctx>;
+/** True iff `fn` is a generator function (a shared/isomorphic mutator) rather than a plain function —
+ *  the driver accepts both forms. Detected structurally (native `GeneratorFunction`). */
+export declare function isGeneratorMutator(fn: unknown): fn is (...args: never[]) => MutationGen;
+/** A tier's SYNCHRONOUS effect executor (the browser wasm engine): apply a write, resolve a read —
+ *  both immediate. */
+export interface SyncEffectExec {
+    apply(op: MutationOp): void;
+    read(table: string, pk: KeyedRow): KeyedRow | undefined;
+}
+/** Drive a generator mutator SYNCHRONOUSLY (the client, inside the wasm write transaction). Each
+ *  yielded write applies immediately; each read is resolved and fed back; a batch runs in order. */
+export declare function driveMutationSync(gen: MutationGen, exec: SyncEffectExec): void;
+/** A tier's ASYNCHRONOUS effect executor (the server transaction): every op is a Promise. */
+export interface AsyncEffectExec {
+    apply(op: MutationOp): Promise<void>;
+    read(table: string, pk: KeyedRow): Promise<KeyedRow | undefined>;
+}
+/** Drive a generator mutator ASYNCHRONOUSLY (the server, against the open transaction). Writes are
+ *  awaited (harmless: a single interactive Postgres connection serializes statements anyway, and the
+ *  daemon backend resolves them instantly), reads suspend, and a batch fans out with `Promise.all`. */
+export declare function driveMutationAsync(gen: MutationGen, exec: AsyncEffectExec): Promise<void>;
+//# sourceMappingURL=mutation-ops.d.ts.map

package/dist/mutation-ops.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutation-ops.d.ts","sourceRoot":"","sources":["../src/mutation-ops.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C;uGACuG;AACvG,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;AAEjD;6FAC6F;AAC7F,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GACtD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEpD;;;;uFAIuF;AACvF,MAAM,WAAW,aAAa;IAC5B,gFAAgF;IAChF,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD;0BACsB;IACtB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD,uFAAuF;IACvF,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD;sDACkD;IAClD,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,6EAA6E;IAC7E,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACnD;;kDAE8C;IAC9C,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,GAAG,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAC,CAAC;CACjE;AAYD;;kGAEkG;AAClG,MAAM,MAAM,UAAU,GAAG;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEtE;;;sGAGsG;AACtG,MAAM,MAAM,WAAW,GAAG;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAA;CAAE,CAAC;AAE3E;2BAC2B;AAC3B,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,CAAC;AAEhE;;;oGAGoG;AACpG,MAAM,WAAW,KAAK;IACpB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,GAAG,UAAU,CAAC;IACjD,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,GAAG,UAAU,CAAC;IACjD,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,GAAG,UAAU,CAAC;IACjD,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,GAAG,UAAU,CAAC;IACvD,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,GAAG,UAAU,CAAC;IAChD,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,GAAG,UAAU,CAAC;IAC7C,GAAG,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,GAAG,WAAW,CAAC;CACnD;AAED,qEAAqE;AACrE,eAAO,MAAM,KAAK,EAAE,KAQnB,CAAC;AAEF;;gDAEgD;AAChD,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;+FAE+F;AAC/F,MAAM,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC,CAAC;AAE7E;oEACoE;AACpE,MAAM,MAAM,aAAa,CAAC,IAAI,EAAE,GAAG,SAAS,UAAU,GAAG,UAAU,IAAI,CACrE,EAAE,EAAE,KAAK,EACT,IAAI,EAAE,IAAI,EACV,GAAG,EAAE,GAAG,KACL,WAAW,CAAC;AAEjB;;wGAEwG;AACxG,MAAM,WAAW,SAAS,CAAC,IAAI;IAC7B,KAAK,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI,CAAC;CAC3B;AAED;;;;iBAIiB;AACjB,MAAM,MAAM,qBAAqB,CAAC,IAAI,EAAE,GAAG,SAAS,UAAU,GAAG,UAAU,IAAI,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG;IACxG,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;CACvB,CAAC;AAEF;;;;;0DAK0D;AAC1D,wBAAgB,MAAM,CAAC,IAAI,EAAE,GAAG,SAAS,UAAU,GAAG,UAAU,EAC9D,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,EACrB,GAAG,EAAE,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,GAC5B,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,CAElC;AAED;yFACyF;AACzF,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,OAAO,GAAG,EAAE,IAAI,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,WAAW,CAKvF;AAED;sBACsB;AACtB,MAAM,WAAW,cAAc;IAC7B,KAAK,CAAC,EAAE,EAAE,UAAU,GAAG,IAAI,CAAC;IAC5B,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;CACzD;AAED;oGACoG;AACpG,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,GAAG,IAAI,CAQ9E;AAED,6FAA6F;AAC7F,MAAM,WAAW,eAAe;IAC9B,KAAK,CAAC,EAAE,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,GAAG,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAC,CAAC;CAClE;AAED;;uGAEuG;AACvG,wBAAsB,kBAAkB,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAQ/F"}

package/dist/mutation-ops.js

@@ -0,0 +1,60 @@
+// Isomorphic mutation ops — the backend-agnostic "rindle mutation" vocabulary
+// (MUTATORS-ISOMORPHIC plan). A mutator names WHAT it writes (insert/update/upsert/
+// insertIgnore/delete over a keyed row), not HOW — the server renders dialect SQL and the
+// client applies to its local engine. This lives in `@rindle/client` (the leaf both tiers
+// import); the SQL renderer that consumes it is server-only (`@rindle/api-server`).
+/** The one shared effect factory (stateless — see {@link IsoTx}). */
+export const isoTx = {
+    insert: (table, row) => ({ kind: "insert", table, row }),
+    update: (table, row) => ({ kind: "update", table, row }),
+    upsert: (table, row) => ({ kind: "upsert", table, row }),
+    insertIgnore: (table, row) => ({ kind: "insertIgnore", table, row }),
+    delete: (table, pk) => ({ kind: "delete", table, pk }),
+    row: (table, pk) => ({ kind: "row", table, pk }),
+    all: (effects) => ({ kind: "all", effects }),
+};
+/** Co-locate a shared (generator) mutator with the validator for its args — pairing the arg SHAPE
+ *  with the body that consumes it at ONE site, so neither tier restates it (the client derives its
+ *  callsite type from `Args`; the server parses untrusted args through `.args`). Returns the SAME
+ *  generator function with an `args` property attached (`Object.assign` mutates + returns it), so the
+ *  registered value is byte-for-byte what the client drove before: {@link isGeneratorMutator} still
+ *  detects it and it still `satisfies ClientRegistry`. */
+export function shared(args, run) {
+    return Object.assign(run, { args });
+}
+/** True iff `fn` is a generator function (a shared/isomorphic mutator) rather than a plain function —
+ *  the driver accepts both forms. Detected structurally (native `GeneratorFunction`). */
+export function isGeneratorMutator(fn) {
+    return (typeof fn === "function" &&
+        fn.constructor?.name === "GeneratorFunction");
+}
+/** Drive a generator mutator SYNCHRONOUSLY (the client, inside the wasm write transaction). Each
+ *  yielded write applies immediately; each read is resolved and fed back; a batch runs in order. */
+export function driveMutationSync(gen, exec) {
+    const run = (eff) => {
+        if (eff.kind === "row")
+            return exec.read(eff.table, eff.pk);
+        if (eff.kind === "all")
+            return eff.effects.map(run);
+        exec.apply(eff);
+        return undefined;
+    };
+    for (let step = gen.next(); !step.done; step = gen.next(run(step.value)))
+        ;
+}
+/** Drive a generator mutator ASYNCHRONOUSLY (the server, against the open transaction). Writes are
+ *  awaited (harmless: a single interactive Postgres connection serializes statements anyway, and the
+ *  daemon backend resolves them instantly), reads suspend, and a batch fans out with `Promise.all`. */
+export async function driveMutationAsync(gen, exec) {
+    const run = async (eff) => {
+        if (eff.kind === "row")
+            return exec.read(eff.table, eff.pk);
+        if (eff.kind === "all")
+            return (await Promise.all(eff.effects.map(run)));
+        await exec.apply(eff);
+        return undefined;
+    };
+    for (let step = gen.next(); !step.done; step = gen.next(await run(step.value)))
+        ;
+}
+//# sourceMappingURL=mutation-ops.js.map

package/dist/mutation-ops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutation-ops.js","sourceRoot":"","sources":["../src/mutation-ops.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,oFAAoF;AACpF,0FAA0F;AAC1F,0FAA0F;AAC1F,oFAAoF;AAgFpF,qEAAqE;AACrE,MAAM,CAAC,MAAM,KAAK,GAAU;IAC1B,MAAM,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACxD,MAAM,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACxD,MAAM,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACxD,YAAY,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACpE,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IACtD,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAChD,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;CAC7C,CAAC;AAsCF;;;;;0DAK0D;AAC1D,MAAM,UAAU,MAAM,CACpB,IAAqB,EACrB,GAA6B;IAE7B,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;AACtC,CAAC;AAED;yFACyF;AACzF,MAAM,UAAU,kBAAkB,CAAC,EAAW;IAC5C,OAAO,CACL,OAAO,EAAE,KAAK,UAAU;QACvB,EAA0C,CAAC,WAAW,EAAE,IAAI,KAAK,mBAAmB,CACtF,CAAC;AACJ,CAAC;AASD;oGACoG;AACpG,MAAM,UAAU,iBAAiB,CAAC,GAAgB,EAAE,IAAoB;IACtE,MAAM,GAAG,GAAG,CAAC,GAAgB,EAAwB,EAAE;QACrD,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAoC,CAAC;QACvF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,KAAK,IAAI,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAAC,CAAC;AAC5E,CAAC;AAQD;;uGAEuG;AACvG,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,GAAgB,EAAE,IAAqB;IAC9E,MAAM,GAAG,GAAG,KAAK,EAAE,GAAgB,EAAiC,EAAE;QACpE,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAoC,CAAC;QAC5G,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACtB,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,KAAK,IAAI,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAAC,CAAC;AAClF,CAAC"}

package/dist/schema.d.ts

@@ -1,6 +1,8 @@
 import type { Arg, Cond } from "./operators.ts";
 import type { ColType } from "./types.ts";
-/** A column descriptor. `type` drives the comparator + JSON parsing; `__t` is a phantom. */
+/** A column descriptor. `type` drives the comparator + JSON parsing; `__t` is a phantom. A
+ *  nullable column is a `Col<T | null>` — that is the ONLY thing nullability changes at the type
+ *  level, so `RowOf` (and the field-condition factory) widen automatically. */
 export interface Col<T> {
     readonly type: ColType;
     readonly __t?: T;
@@ -10,10 +12,19 @@ export type AnyCols = Record<string, Col<unknown>>;
 export type RowOf<C extends AnyCols> = {
     [K in keyof C]: ColT<C[K]>;
 };
-export declare const string: () => Col<string>;
-export declare const number: () => Col<number>;
-export declare const boolean: () => Col<boolean>;
-export declare const json: <T = unknown>() => Col<T>;
+/** The chainable form returned by the column factories: a {@link Col} plus `.nullable()`.
+ *
+ *  `.nullable()` widens the column's value type to `T | null` — its `Row<…>` field becomes
+ *  `T | null`, and (design 206 Phase 2) it may be omitted from an insert. `rindle schema gen` emits
+ *  `.nullable()` for every nullable (non-`NOT NULL`) SQL column; you can also call it by hand on a
+ *  local-only table's columns. It is idempotent and stays chainable. */
+export interface ColBuilder<T> extends Col<T> {
+    nullable(): ColBuilder<T | null>;
+}
+export declare const string: <T extends string = string>() => ColBuilder<T>;
+export declare const number: <T extends number = number>() => ColBuilder<T>;
+export declare const boolean: () => ColBuilder<boolean>;
+export declare const json: <T = unknown>() => ColBuilder<T>;
 /** Metadata key on a {@link TableDef} (a `unique symbol`, so no column name collides). */
 export declare const SCHEMA: unique symbol;
 export interface TableMeta<N extends string = string, C extends AnyCols = AnyCols> {
@@ -92,6 +103,43 @@ export declare function createSchema<const T extends readonly AnyTable[]>(opts:
 export declare function extendSchema<S extends ColsMap, const T extends readonly AnyTable[]>(base: Schema<S>, opts: {
     tables: T;
 }): Schema<S & SchemaOf<T>>;
+/** Per-column narrowings for {@link refineTable}: each entry must keep the column's kind and narrow
+ *  its TS type (`Col<T2>` with `T2 extends T`) — `json<Meta>()` on a json column, a literal-union
+ *  `string<"a" | "b">()` on a string column. Kind changes are rejected (cross-kind at compile time,
+ *  same-phantom kind flips like `string()` on a json column at runtime). */
+export type ColRefinements<C extends AnyCols> = {
+    readonly [K in keyof C]?: Col<ColT<C[K]>>;
+};
+/** `C` with the columns named in `R` re-typed to their refined `Col`s. */
+export type RefinedCols<C extends AnyCols, R extends ColRefinements<C>> = {
+    [K in keyof C]: K extends keyof R ? (R[K] extends Col<unknown> ? R[K] : C[K]) : C[K];
+};
+/** Narrow a generated table's column TYPES without touching its runtime shape.
+ *
+ *  Returns the SAME def, re-typed (identity, after validating that every refined column exists and
+ *  keeps its kind) — so conditions built from it, `rel(...)`s anchored on it, and `Row<typeof t>`
+ *  all see the narrowed types. Pass the result to {@link refineSchema} so query roots narrow too. */
+export declare function refineTable<N extends string, C extends AnyCols, R extends ColRefinements<C>>(base: TableDef<N, C>, cols: R): TableDef<N, RefinedCols<C, R>>;
+/** A table def acceptable to {@link refineSchema} over `Schema<S>`: its NAME must be one of `S`'s
+ *  tables (a def for an unknown table is a compile error at the call site). */
+export type RefinableTable<S extends ColsMap> = {
+    readonly [SCHEMA]: TableMeta<Extract<keyof S, string>, AnyCols>;
+};
+/** `S` with each table named in `T` re-typed to that def's (refined) columns. (The inner
+ *  `extends AnyCols` guard is how the checker proves the remapped `SchemaOf<T>[K]` is a column
+ *  map while `T` is still generic; it always holds for a concrete `T`.) */
+export type RefinedColsMap<S extends ColsMap, T extends readonly AnyTable[]> = {
+    [K in keyof S]: K extends keyof SchemaOf<T> ? (SchemaOf<T>[K] extends AnyCols ? SchemaOf<T>[K] : S[K]) : S[K];
+};
+/** Swap {@link refineTable}-narrowed table defs into a generated schema, re-typing those tables for
+ *  everything downstream of the schema (`newQueryBuilder`/`queries` roots, store row types).
+ *
+ *  Runtime-validated identity: each def must name a table already in the schema and match its
+ *  runtime shape exactly (same columns, kinds, primary key, and locality) — refinement narrows TS
+ *  types, never what's on the wire. Composes with {@link extendSchema} in either order. */
+export declare function refineSchema<S extends ColsMap, const T extends readonly RefinableTable<S>[]>(base: Schema<S>, opts: {
+    tables: T;
+}): Schema<RefinedColsMap<S, T>>;
 /** Whether `table` is a {@link TableMeta.local local-only} table in `schema` (an unknown table
  *  reads as non-local). The single locality predicate the backends key off. */
 export declare function isLocalTable<S extends ColsMap>(schema: Schema<S>, table: string): boolean;

package/dist/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAEhD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE1C,4FAA4F;AAC5F,MAAM,WAAW,GAAG,CAAC,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;CAClB;AACD,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AACzD,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;AACnD,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,OAAO,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAEtE,eAAO,MAAM,MAAM,QAAO,GAAG,CAAC,MAAM,CAAyB,CAAC;AAC9D,eAAO,MAAM,MAAM,QAAO,GAAG,CAAC,MAAM,CAAyB,CAAC;AAC9D,eAAO,MAAM,OAAO,QAAO,GAAG,CAAC,OAAO,CAA0B,CAAC;AACjE,eAAO,MAAM,IAAI,GAAI,CAAC,GAAG,OAAO,OAAK,GAAG,CAAC,CAAC,CAAuB,CAAC;AAElE,0FAA0F;AAC1F,eAAO,MAAM,MAAM,EAAE,OAAO,MAAgC,CAAC;AAE7D,MAAM,WAAW,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,OAAO,GAAG,OAAO;IAC/E,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IAIpB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC;;;iCAG6B;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED,iCAAiC;AACjC,MAAM,WAAW,YAAY;IAC3B;;6CAEyC;IACzC,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,OAAO,IAAI;IAC1D,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACpC,GAAG;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CAClE,CAAC;AAEF;;2DAE2D;AAC3D,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,OAAO,IAAI;IAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;CAAE,CAAC;AACvF,MAAM,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;AAE1C;;8DAE8D;AAC9D,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAEzE;oFACoF;AACpF,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,YAAY;YAExD,CAAC,SAAS,OAAO,QAAQ,CAAC;mBAEnB,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;;EAM3E;AAYD,qDAAqD;AACrD,wBAAgB,SAAS,CAAC,CAAC,EAAE,QAAQ,GAAG,SAAS,CAEhD;AAED,wFAAwF;AACxF,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,SAAS,QAAQ,EAAE,IAAI;KACnD,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,SAAS,CAAC;CAC1E,CAAC;AAEF,kFAAkF;AAClF,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAE9C,MAAM,WAAW,MAAM,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO;IACjD,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACrD,sFAAsF;IACtF,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;CACpB;AAED;;;;;;mFAMmF;AACnF,eAAO,MAAM,uBAAuB,iCAAkC,CAAC;AAEvE,0GAA0G;AAC1G,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEzD;AAED,wBAAgB,YAAY,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,QAAQ,EAAE,EAAE,IAAI,EAAE;IACtE,MAAM,EAAE,CAAC,CAAC;CACX,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAOtB;AAED;;;;;;mEAMmE;AACnE,wBAAgB,YAAY,CAAC,CAAC,SAAS,OAAO,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,QAAQ,EAAE,EACjF,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EACf,IAAI,EAAE;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,GAClB,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAYzB;AAmBD;+EAC+E;AAC/E,wBAAgB,YAAY,CAAC,CAAC,SAAS,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAEzF;AAED,4FAA4F;AAC5F,wBAAgB,eAAe,CAAC,CAAC,SAAS,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAEjF;AAQD,mGAAmG;AACnG,QAAA,MAAM,kBAAkB,EAAE,OAAO,MAAsC,CAAC;AAExE;;;;;GAKG;AACH,MAAM,WAAW,YAAY,CAAC,EAAE,SAAS,OAAO,EAAE,EAAE,SAAS,OAAO;IAClE,kDAAkD;IAClD,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;IAC9B,4FAA4F;IAC5F,QAAQ,CAAC,WAAW,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;IAChG,wGAAwG;IACxG,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;IACvB,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,CAAC;CACrC;AAED,oFAAoF;AACpF,MAAM,MAAM,eAAe,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAE7D;;;;GAIG;AACH,wBAAgB,GAAG,CAAC,EAAE,SAAS,OAAO,EAAE,EAAE,SAAS,OAAO,EACxD,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC,EACtB,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,EACpB,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAC7D,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,CAItB;AAED;yGACyG;AACzG,wBAAgB,mBAAmB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAEzF;AAED,0FAA0F;AAC1F,wBAAgB,cAAc,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,eAAe,CAE/D;AAED,6FAA6F;AAC7F,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,GAAG;IAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,CAItF;AAED;;;;;;;;oFAQoF;AACpF,wBAAgB,sBAAsB,CAAC,CAAC,SAAS,OAAO,EACtD,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAChB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,EAAE,CAK7D"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAEhD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE1C;;+EAE+E;AAC/E,MAAM,WAAW,GAAG,CAAC,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;CAClB;AACD,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AACzD,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;AACnD,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,OAAO,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAEtE;;;;;wEAKwE;AACxE,MAAM,WAAW,UAAU,CAAC,CAAC,CAAE,SAAQ,GAAG,CAAC,CAAC,CAAC;IAC3C,QAAQ,IAAI,UAAU,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;CAClC;AAGD,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,MAAM,GAAG,MAAM,OAAK,UAAU,CAAC,CAAC,CAAyB,CAAC;AAC3F,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,MAAM,GAAG,MAAM,OAAK,UAAU,CAAC,CAAC,CAAyB,CAAC;AAC3F,eAAO,MAAM,OAAO,QAAO,UAAU,CAAC,OAAO,CAAgC,CAAC;AAC9E,eAAO,MAAM,IAAI,GAAI,CAAC,GAAG,OAAO,OAAK,UAAU,CAAC,CAAC,CAAuB,CAAC;AAEzE,0FAA0F;AAC1F,eAAO,MAAM,MAAM,EAAE,OAAO,MAAgC,CAAC;AAE7D,MAAM,WAAW,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,OAAO,GAAG,OAAO;IAC/E,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IAIpB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC;;;iCAG6B;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED,iCAAiC;AACjC,MAAM,WAAW,YAAY;IAC3B;;6CAEyC;IACzC,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,OAAO,IAAI;IAC1D,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACpC,GAAG;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CAClE,CAAC;AAEF;;2DAE2D;AAC3D,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,OAAO,IAAI;IAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;CAAE,CAAC;AACvF,MAAM,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;AAE1C;;8DAE8D;AAC9D,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAEzE;oFACoF;AACpF,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,YAAY;YAExD,CAAC,SAAS,OAAO,QAAQ,CAAC;mBAEnB,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;;EAM3E;AAYD,qDAAqD;AACrD,wBAAgB,SAAS,CAAC,CAAC,EAAE,QAAQ,GAAG,SAAS,CAEhD;AAED,wFAAwF;AACxF,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,SAAS,QAAQ,EAAE,IAAI;KACnD,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,SAAS,CAAC;CAC1E,CAAC;AAEF,kFAAkF;AAClF,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAE9C,MAAM,WAAW,MAAM,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO;IACjD,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACrD,sFAAsF;IACtF,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;CACpB;AAED;;;;;;mFAMmF;AACnF,eAAO,MAAM,uBAAuB,iCAAkC,CAAC;AAEvE,0GAA0G;AAC1G,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEzD;AAED,wBAAgB,YAAY,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,QAAQ,EAAE,EAAE,IAAI,EAAE;IACtE,MAAM,EAAE,CAAC,CAAC;CACX,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAOtB;AAED;;;;;;mEAMmE;AACnE,wBAAgB,YAAY,CAAC,CAAC,SAAS,OAAO,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,QAAQ,EAAE,EACjF,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EACf,IAAI,EAAE;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,GAClB,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAYzB;AA8BD;;;4EAG4E;AAC5E,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,OAAO,IAAI;IAC9C,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC1C,CAAC;AAEF,0EAA0E;AAC1E,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,cAAc,CAAC,CAAC,CAAC,IAAI;KACvE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACrF,CAAC;AAEF;;;;qGAIqG;AACrG,wBAAgB,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,cAAc,CAAC,CAAC,CAAC,EAC1F,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EACpB,IAAI,EAAE,CAAC,GACN,QAAQ,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAgBhC;AAED;+EAC+E;AAC/E,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,OAAO,IAAI;IAC9C,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;CACjE,CAAC;AAEF;;2EAE2E;AAC3E,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,SAAS,QAAQ,EAAE,IAAI;KAC5E,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAC9G,CAAC;AAEF;;;;;2FAK2F;AAC3F,wBAAgB,YAAY,CAAC,CAAC,SAAS,OAAO,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,cAAc,CAAC,CAAC,CAAC,EAAE,EAC1F,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EACf,IAAI,EAAE;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,GAClB,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAkB9B;AAsBD;+EAC+E;AAC/E,wBAAgB,YAAY,CAAC,CAAC,SAAS,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAEzF;AAED,4FAA4F;AAC5F,wBAAgB,eAAe,CAAC,CAAC,SAAS,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAEjF;AAQD,mGAAmG;AACnG,QAAA,MAAM,kBAAkB,EAAE,OAAO,MAAsC,CAAC;AAExE;;;;;GAKG;AACH,MAAM,WAAW,YAAY,CAAC,EAAE,SAAS,OAAO,EAAE,EAAE,SAAS,OAAO;IAClE,kDAAkD;IAClD,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;IAC9B,4FAA4F;IAC5F,QAAQ,CAAC,WAAW,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;IAChG,wGAAwG;IACxG,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;IACvB,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,CAAC;CACrC;AAED,oFAAoF;AACpF,MAAM,MAAM,eAAe,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAE7D;;;;GAIG;AACH,wBAAgB,GAAG,CAAC,EAAE,SAAS,OAAO,EAAE,EAAE,SAAS,OAAO,EACxD,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC,EACtB,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,EACpB,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAC7D,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,CAItB;AAED;yGACyG;AACzG,wBAAgB,mBAAmB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAEzF;AAED,0FAA0F;AAC1F,wBAAgB,cAAc,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,eAAe,CAE/D;AAED,6FAA6F;AAC7F,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,GAAG;IAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,CAItF;AAED;;;;;;;;oFAQoF;AACpF,wBAAgB,sBAAsB,CAAC,CAAC,SAAS,OAAO,EACtD,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAChB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,EAAE,CAK7D"}

package/dist/schema.js

@@ -6,10 +6,11 @@
 // (WASM-CLIENT-DESIGN.md §6). Schema metadata is stored under a `unique symbol` key so it
 // never collides with a column name.
 import { fieldCondition } from "./operators.js";
-export const string = () => ({ type: "string" });
-export const number = () => ({ type: "number" });
-export const boolean = () => ({ type: "boolean" });
-export const json = () => ({ type: "json" });
+const makeCol = (type) => ({ type, nullable: () => makeCol(type) });
+export const string = () => makeCol("string");
+export const number = () => makeCol("number");
+export const boolean = () => makeCol("boolean");
+export const json = () => makeCol("json");
 /** Metadata key on a {@link TableDef} (a `unique symbol`, so no column name collides). */
 export const SCHEMA = Symbol("rindle.schema");
 /** `table("issue").columns({ id: string(), … }).primaryKey("id")`. Pass `{ local: true }` for a
@@ -92,6 +93,66 @@ function addTableMeta(tables, m, caller) {
     }
     tables[m.name] = m;
 }
+/** Narrow a generated table's column TYPES without touching its runtime shape.
+ *
+ *  Returns the SAME def, re-typed (identity, after validating that every refined column exists and
+ *  keeps its kind) — so conditions built from it, `rel(...)`s anchored on it, and `Row<typeof t>`
+ *  all see the narrowed types. Pass the result to {@link refineSchema} so query roots narrow too. */
+export function refineTable(base, cols) {
+    const meta = base[SCHEMA];
+    for (const [name, col] of Object.entries(cols)) {
+        if (col === undefined)
+            continue;
+        const baseCol = meta.columns[name];
+        if (baseCol === undefined) {
+            throw new Error(`refineTable: table "${meta.name}" has no column "${name}".`);
+        }
+        if (col.type !== baseCol.type) {
+            throw new Error(`refineTable: column "${meta.name}.${name}" is ${baseCol.type}, not ${col.type} — a refinement ` +
+                `may only narrow the TS type WITHIN a column's kind, never change the kind itself.`);
+        }
+    }
+    return base;
+}
+/** Swap {@link refineTable}-narrowed table defs into a generated schema, re-typing those tables for
+ *  everything downstream of the schema (`newQueryBuilder`/`queries` roots, store row types).
+ *
+ *  Runtime-validated identity: each def must name a table already in the schema and match its
+ *  runtime shape exactly (same columns, kinds, primary key, and locality) — refinement narrows TS
+ *  types, never what's on the wire. Composes with {@link extendSchema} in either order. */
+export function refineSchema(base, opts) {
+    const seen = new Set();
+    for (const t of opts.tables) {
+        const m = t[SCHEMA];
+        const baseMeta = base.tables[m.name];
+        if (baseMeta === undefined) {
+            throw new Error(`refineSchema: schema has no table "${m.name}" — refinement re-types existing tables only ` +
+                `(add local-only tables with extendSchema).`);
+        }
+        if (seen.has(m.name)) {
+            throw new Error(`refineSchema: table "${m.name}" is refined twice.`);
+        }
+        seen.add(m.name);
+        assertRefinementMatches(m, baseMeta);
+    }
+    return base;
+}
+/** The refined def must be the same table the schema already carries — identical column set, kinds,
+ *  primary key, and locality — so swapping its TYPE in cannot change any runtime behavior. */
+function assertRefinementMatches(m, baseMeta) {
+    const cols = Object.keys(m.columns);
+    const baseCols = Object.keys(baseMeta.columns);
+    const matches = cols.length === baseCols.length &&
+        cols.every((c) => baseMeta.columns[c] !== undefined && m.columns[c].type === baseMeta.columns[c].type) &&
+        m.primaryKey.length === baseMeta.primaryKey.length &&
+        m.primaryKey.every((k, i) => baseMeta.primaryKey[i] === k) &&
+        (m.local === true) === (baseMeta.local === true);
+    if (!matches) {
+        throw new Error(`refineSchema: table "${m.name}" does not match the schema's table of that name — pass the ` +
+            `output of refineTable over the SAME generated def (identical columns, kinds, primary key, ` +
+            `and locality).`);
+    }
+}
 /** Whether `table` is a {@link TableMeta.local local-only} table in `schema` (an unknown table
  *  reads as non-local). The single locality predicate the backends key off. */
 export function isLocalTable(schema, table) {

package/dist/schema.js.map

@@ -1 +1 @@
-{"version":3,"file":"schema.js","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,EAAE;AACF,6EAA6E;AAC7E,2FAA2F;AAC3F,sFAAsF;AACtF,0FAA0F;AAC1F,qCAAqC;AAGrC,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAYhD,MAAM,CAAC,MAAM,MAAM,GAAG,GAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;AAC9D,MAAM,CAAC,MAAM,MAAM,GAAG,GAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;AAC9D,MAAM,CAAC,MAAM,OAAO,GAAG,GAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;AACjE,MAAM,CAAC,MAAM,IAAI,GAAG,GAAwB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AAElE,0FAA0F;AAC1F,MAAM,CAAC,MAAM,MAAM,GAAkB,MAAM,CAAC,eAAe,CAAC,CAAC;AAyC7D;oFACoF;AACpF,MAAM,UAAU,KAAK,CAAmB,IAAO,EAAE,IAAmB;IAClE,OAAO;QACL,OAAO,CAAoB,IAAO;YAChC,OAAO;gBACL,UAAU,CAA6B,GAAG,IAAS;oBACjD,OAAO,YAAY,CAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC3F,CAAC;aACF,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAsC,IAAqB;IAC9E,OAAO,IAAI,KAAK,CAAC,EAAsC,EAAE;QACvD,GAAG,CAAC,OAAO,EAAE,IAAI;YACf,IAAI,IAAI,KAAK,MAAM;gBAAE,OAAO,IAAI,CAAC;YACjC,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,OAAO,CAAC,GAAY,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACjF,OAAO,SAAS,CAAC;QACnB,CAAC;KACF,CAA8B,CAAC;AAClC,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,SAAS,CAAC,CAAW;IACnC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC;AACnB,CAAC;AAgBD;;;;;;mFAMmF;AACnF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAU,CAAC;AAEvE,0GAA0G;AAC1G,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,OAAO,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,YAAY,CAAsC,IAEjE;IACC,MAAM,MAAM,GAA8B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QACpB,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,cAAc,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,EAAE,MAAM,EAAyB,CAAC;AAC3C,CAAC;AAED;;;;;;mEAMmE;AACnE,MAAM,UAAU,YAAY,CAC1B,IAAe,EACf,IAAmB;IAEnB,MAAM,MAAM,GAA8B,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QACpB,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CACb,wBAAwB,CAAC,CAAC,IAAI,+EAA+E,CAC9G,CAAC;QACJ,CAAC;QACD,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,cAAc,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,EAAE,MAAM,EAA6B,CAAC;AAC/C,CAAC;AAED,SAAS,YAAY,CAAC,MAAiC,EAAE,CAAY,EAAE,MAAuC;IAC5G,2FAA2F;IAC3F,8EAA8E;IAC9E,IAAI,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,GAAG,MAAM,YAAY,CAAC,CAAC,IAAI,6BAA6B,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;YAC9F,mGAAmG,CACtG,CAAC;IACJ,CAAC;IACD,yFAAyF;IACzF,gFAAgF;IAChF,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,sBAAsB,CAAC,CAAC,IAAI,iCAAiC,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACrB,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,YAAY,CAAoB,MAAiB,EAAE,KAAa;IAC9E,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC;AAC9C,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,eAAe,CAAoB,MAAiB;IAClE,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,oGAAoG;AACpG,EAAE;AACF,mGAAmG;AACnG,sGAAsG;AACtG,6FAA6F;AAE7F,mGAAmG;AACnG,MAAM,kBAAkB,GAAkB,MAAM,CAAC,qBAAqB,CAAC,CAAC;AAqBxE;;;;GAIG;AACH,MAAM,UAAU,GAAG,CACjB,OAAsB,EACtB,KAAoB,EACpB,OAA8D;IAE9D,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAsB,CAAW,CAAC,CAAC;IAC/E,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,CAAC;AAC1F,CAAC;AAED;yGACyG;AACzG,MAAM,UAAU,mBAAmB,CAA4C,IAAO;IACpF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,cAAc,CAAC,CAAU;IACvC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAK,CAA8B,CAAC,kBAAkB,CAAC,KAAK,IAAI,CAAC;AAC7G,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,SAAS,CAAC,IAAe;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACjC,CAAC;AAED;;;;;;;;oFAQoF;AACpF,MAAM,UAAU,sBAAsB,CACpC,MAAiB;IAEjB,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;SAC9B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;SAC5C,IAAI,EAAE;SACN,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAClE,CAAC"}
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,EAAE;AACF,6EAA6E;AAC7E,2FAA2F;AAC3F,sFAAsF;AACtF,0FAA0F;AAC1F,qCAAqC;AAGrC,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAuBhD,MAAM,OAAO,GAAG,CAAI,IAAa,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,OAAO,CAAW,IAAI,CAAC,EAAE,CAAC,CAAC;AAEzG,MAAM,CAAC,MAAM,MAAM,GAAG,GAA6C,EAAE,CAAC,OAAO,CAAI,QAAQ,CAAC,CAAC;AAC3F,MAAM,CAAC,MAAM,MAAM,GAAG,GAA6C,EAAE,CAAC,OAAO,CAAI,QAAQ,CAAC,CAAC;AAC3F,MAAM,CAAC,MAAM,OAAO,GAAG,GAAwB,EAAE,CAAC,OAAO,CAAU,SAAS,CAAC,CAAC;AAC9E,MAAM,CAAC,MAAM,IAAI,GAAG,GAA+B,EAAE,CAAC,OAAO,CAAI,MAAM,CAAC,CAAC;AAEzE,0FAA0F;AAC1F,MAAM,CAAC,MAAM,MAAM,GAAkB,MAAM,CAAC,eAAe,CAAC,CAAC;AAyC7D;oFACoF;AACpF,MAAM,UAAU,KAAK,CAAmB,IAAO,EAAE,IAAmB;IAClE,OAAO;QACL,OAAO,CAAoB,IAAO;YAChC,OAAO;gBACL,UAAU,CAA6B,GAAG,IAAS;oBACjD,OAAO,YAAY,CAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC3F,CAAC;aACF,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAsC,IAAqB;IAC9E,OAAO,IAAI,KAAK,CAAC,EAAsC,EAAE;QACvD,GAAG,CAAC,OAAO,EAAE,IAAI;YACf,IAAI,IAAI,KAAK,MAAM;gBAAE,OAAO,IAAI,CAAC;YACjC,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,OAAO,CAAC,GAAY,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACjF,OAAO,SAAS,CAAC;QACnB,CAAC;KACF,CAA8B,CAAC;AAClC,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,SAAS,CAAC,CAAW;IACnC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC;AACnB,CAAC;AAgBD;;;;;;mFAMmF;AACnF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAU,CAAC;AAEvE,0GAA0G;AAC1G,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,OAAO,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,YAAY,CAAsC,IAEjE;IACC,MAAM,MAAM,GAA8B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QACpB,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,cAAc,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,EAAE,MAAM,EAAyB,CAAC;AAC3C,CAAC;AAED;;;;;;mEAMmE;AACnE,MAAM,UAAU,YAAY,CAC1B,IAAe,EACf,IAAmB;IAEnB,MAAM,MAAM,GAA8B,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QACpB,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CACb,wBAAwB,CAAC,CAAC,IAAI,+EAA+E,CAC9G,CAAC;QACJ,CAAC;QACD,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,cAAc,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,EAAE,MAAM,EAA6B,CAAC;AAC/C,CAAC;AAED,SAAS,YAAY,CAAC,MAAiC,EAAE,CAAY,EAAE,MAAuC;IAC5G,2FAA2F;IAC3F,8EAA8E;IAC9E,IAAI,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,GAAG,MAAM,YAAY,CAAC,CAAC,IAAI,6BAA6B,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;YAC9F,mGAAmG,CACtG,CAAC;IACJ,CAAC;IACD,yFAAyF;IACzF,gFAAgF;IAChF,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,sBAAsB,CAAC,CAAC,IAAI,iCAAiC,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACrB,CAAC;AA0BD;;;;qGAIqG;AACrG,MAAM,UAAU,WAAW,CACzB,IAAoB,EACpB,IAAO;IAEP,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAyC,EAAE,CAAC;QACvF,IAAI,GAAG,KAAK,SAAS;YAAE,SAAS;QAChC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,CAAC,IAAI,oBAAoB,IAAI,IAAI,CAAC,CAAC;QAChF,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CACb,wBAAwB,IAAI,CAAC,IAAI,IAAI,IAAI,QAAQ,OAAO,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,kBAAkB;gBAC9F,mFAAmF,CACtF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAiD,CAAC;AAC3D,CAAC;AAeD;;;;;2FAK2F;AAC3F,MAAM,UAAU,YAAY,CAC1B,IAAe,EACf,IAAmB;IAEnB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACb,sCAAsC,CAAC,CAAC,IAAI,+CAA+C;gBACzF,4CAA4C,CAC/C,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC,IAAI,qBAAqB,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACjB,uBAAuB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,IAA+C,CAAC;AACzD,CAAC;AAED;8FAC8F;AAC9F,SAAS,uBAAuB,CAAC,CAAY,EAAE,QAAmB;IAChE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC/C,MAAM,OAAO,GACX,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QAC/B,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACtG,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,QAAQ,CAAC,UAAU,CAAC,MAAM;QAClD,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,wBAAwB,CAAC,CAAC,IAAI,8DAA8D;YAC1F,4FAA4F;YAC5F,gBAAgB,CACnB,CAAC;IACJ,CAAC;AACH,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,YAAY,CAAoB,MAAiB,EAAE,KAAa;IAC9E,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC;AAC9C,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,eAAe,CAAoB,MAAiB;IAClE,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,oGAAoG;AACpG,EAAE;AACF,mGAAmG;AACnG,sGAAsG;AACtG,6FAA6F;AAE7F,mGAAmG;AACnG,MAAM,kBAAkB,GAAkB,MAAM,CAAC,qBAAqB,CAAC,CAAC;AAqBxE;;;;GAIG;AACH,MAAM,UAAU,GAAG,CACjB,OAAsB,EACtB,KAAoB,EACpB,OAA8D;IAE9D,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAsB,CAAW,CAAC,CAAC;IAC/E,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,CAAC;AAC1F,CAAC;AAED;yGACyG;AACzG,MAAM,UAAU,mBAAmB,CAA4C,IAAO;IACpF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,cAAc,CAAC,CAAU;IACvC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAK,CAA8B,CAAC,kBAAkB,CAAC,KAAK,IAAI,CAAC;AAC7G,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,SAAS,CAAC,IAAe;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACjC,CAAC;AAED;;;;;;;;oFAQoF;AACpF,MAAM,UAAU,sBAAsB,CACpC,MAAiB;IAEjB,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;SAC9B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;SAC5C,IAAI,EAAE;SACN,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAClE,CAAC"}

package/dist/ssr.d.ts

@@ -68,6 +68,20 @@ export declare class ServerStore<S extends ColsMap> {
     /** The dehydrated first-paint cache for every preloaded query — embed in the HTML, then
      *  `store.hydrate(...)` it in the browser. */
     dehydrate(): DehydratedState;
+    /**
+     * Loader-phase convenience over {@link preload} + {@link dehydrate}: preload EVERY query (reads run
+     * concurrently) and return the dehydrated first-paint cache. Composition keeps this to one read per
+     * composed root query — no request waterfall (SSR-DESIGN.md §6.2).
+     *
+     * A failed read degrades to NO seed for that one query — `onError` fires and the browser's live
+     * engine fills it in right after hydration — rather than rejecting the whole batch (which would trip
+     * the route's error boundary). The seed is a first-paint optimization; the live `subscribe` is the
+     * source of truth, so a missing seed never affects correctness. Without `onError` a failed read is
+     * swallowed silently — pass one to log.
+     */
+    preloadAll(queries: Array<Query<any, any, any>>, opts?: {
+        onError?: (query: Query<any, any, any>, err: unknown) => void;
+    }): Promise<DehydratedState>;
 }
 /** Construct a {@link ServerStore} — the one-shot REST Store for server-side rendering. */
 export declare function createServerStore<S extends ColsMap>(schema: Schema<S>, opts: ServerStoreOptions): ServerStore<S>;

package/dist/ssr.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ssr.d.ts","sourceRoot":"","sources":["../src/ssr.ts"],"names":[],"mappings":"AAYA,OAAO,EAAuB,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AAC7D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,KAAK,aAAa,EAAE,KAAK,eAAe,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAC7E,OAAO,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEvF;;wFAEwF;AACxF,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,aAAa,EAAE,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;4EAU4E;AAC5E,MAAM,MAAM,cAAc,GAAG,CAC3B,KAAK,EAAE;IAAE,GAAG,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,KAC3F,OAAO,CAAC,aAAa,CAAC,CAAC;AAE5B;;;;;GAKG;AACH,qBAAa,cAAe,YAAW,OAAO;IAC5C,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,IAAI;IACxE,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI;IACpC,MAAM,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAG7C,OAAO,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,KAAK,IAAI,GAAG,IAAI;CACxE;AAED,MAAM,WAAW,kBAAkB;IACjC,oGAAoG;IACpG,KAAK,EAAE,cAAc,CAAC;IACtB;;+EAE2E;IAC3E,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;;;6DAGyD;IACzD,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;;GAIG;AACH,qBAAa,WAAW,CAAC,CAAC,SAAS,OAAO;IACxC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAY;IACnC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAqB;gBAE9B,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB;IAMvD;kFAC8E;IACxE,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAqBzD;kDAC8C;IAC9C,SAAS,IAAI,eAAe;CAG7B;AAED,2FAA2F;AAC3F,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,OAAO,EACjD,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EACjB,IAAI,EAAE,kBAAkB,GACvB,WAAW,CAAC,CAAC,CAAC,CAEhB"}
+{"version":3,"file":"ssr.d.ts","sourceRoot":"","sources":["../src/ssr.ts"],"names":[],"mappings":"AAYA,OAAO,EAAuB,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AAC7D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,KAAK,aAAa,EAAE,KAAK,eAAe,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAC7E,OAAO,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEvF;;wFAEwF;AACxF,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,aAAa,EAAE,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;4EAU4E;AAC5E,MAAM,MAAM,cAAc,GAAG,CAC3B,KAAK,EAAE;IAAE,GAAG,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,KAC3F,OAAO,CAAC,aAAa,CAAC,CAAC;AAE5B;;;;;GAKG;AACH,qBAAa,cAAe,YAAW,OAAO;IAC5C,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,IAAI;IACxE,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI;IACpC,MAAM,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAG7C,OAAO,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,KAAK,IAAI,GAAG,IAAI;CACxE;AAED,MAAM,WAAW,kBAAkB;IACjC,oGAAoG;IACpG,KAAK,EAAE,cAAc,CAAC;IACtB;;+EAE2E;IAC3E,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;;;6DAGyD;IACzD,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;;GAIG;AACH,qBAAa,WAAW,CAAC,CAAC,SAAS,OAAO;IACxC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAY;IACnC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAqB;gBAE9B,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB;IAMvD;kFAC8E;IACxE,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAqBzD;kDAC8C;IAC9C,SAAS,IAAI,eAAe;IAI5B;;;;;;;;;;OAUG;IACG,UAAU,CACd,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EACpC,IAAI,GAAE;QAAE,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,KAAK,IAAI,CAAA;KAAO,GAC3E,OAAO,CAAC,eAAe,CAAC;CAM5B;AAED,2FAA2F;AAC3F,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,OAAO,EACjD,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EACjB,IAAI,EAAE,kBAAkB,GACvB,WAAW,CAAC,CAAC,CAAC,CAEhB"}

package/dist/ssr.js

@@ -66,6 +66,21 @@ export class ServerStore {
     dehydrate() {
         return this.store.dehydrate();
     }
+    /**
+     * Loader-phase convenience over {@link preload} + {@link dehydrate}: preload EVERY query (reads run
+     * concurrently) and return the dehydrated first-paint cache. Composition keeps this to one read per
+     * composed root query — no request waterfall (SSR-DESIGN.md §6.2).
+     *
+     * A failed read degrades to NO seed for that one query — `onError` fires and the browser's live
+     * engine fills it in right after hydration — rather than rejecting the whole batch (which would trip
+     * the route's error boundary). The seed is a first-paint optimization; the live `subscribe` is the
+     * source of truth, so a missing seed never affects correctness. Without `onError` a failed read is
+     * swallowed silently — pass one to log.
+     */
+    async preloadAll(queries, opts = {}) {
+        await Promise.all(queries.map((query) => this.preload(query).catch((err) => opts.onError?.(query, err))));
+        return this.dehydrate();
+    }
 }
 /** Construct a {@link ServerStore} — the one-shot REST Store for server-side rendering. */
 export function createServerStore(schema, opts) {

package/dist/ssr.js.map

@@ -1 +1 @@
-{"version":3,"file":"ssr.js","sourceRoot":"","sources":["../src/ssr.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,gGAAgG;AAChG,EAAE;AACF,+EAA+E;AAC/E,iGAAiG;AACjG,mGAAmG;AACnG,kGAAkG;AAClG,4FAA4F;AAC5F,EAAE;AACF,gGAAgG;AAChG,mCAAmC;AAEnC,OAAO,EAAE,mBAAmB,EAAc,MAAM,YAAY,CAAC;AAE7D,OAAO,EAA4C,KAAK,EAAE,MAAM,YAAY,CAAC;AA0B7E;;;;;GAKG;AACH,MAAM,OAAO,cAAc;IACzB,aAAa,CAAC,IAAa,EAAE,IAAa,EAAE,OAAqB,IAAS,CAAC;IAC3E,eAAe,CAAC,IAAa,IAAS,CAAC;IACvC,MAAM,CAAC,UAAsB;QAC3B,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC,CAAC;IACzG,CAAC;IACD,OAAO,CAAC,QAAwD,IAAS,CAAC;CAC3E;AAgBD;;;;GAIG;AACH,MAAM,OAAO,WAAW;IACb,KAAK,CAAW;IACR,MAAM,CAAY;IAClB,IAAI,CAAqB;IAE1C,YAAY,MAAiB,EAAE,IAAwB;QACrD,IAAI,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC,CAAC;QACrD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IAED;kFAC8E;IAC9E,KAAK,CAAC,OAAO,CAAC,KAA2B;QACvC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QACxB,gGAAgG;QAChG,+FAA+F;QAC/F,gGAAgG;QAChG,qDAAqD;QACrD,mBAAmB,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACtC,+FAA+F;QAC/F,+FAA+F;QAC/F,uFAAuF;QACvF,qDAAqD;QACrD,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAClG,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;YACnC,GAAG;YACH,GAAG,KAAK;YACR,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa;YACtC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK;SACvB,CAAC,CAAC;QACH,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;IAChE,CAAC;IAED;kDAC8C;IAC9C,SAAS;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;IAChC,CAAC;CACF;AAED,2FAA2F;AAC3F,MAAM,UAAU,iBAAiB,CAC/B,MAAiB,EACjB,IAAwB;IAExB,OAAO,IAAI,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AACvC,CAAC"}
+{"version":3,"file":"ssr.js","sourceRoot":"","sources":["../src/ssr.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,gGAAgG;AAChG,EAAE;AACF,+EAA+E;AAC/E,iGAAiG;AACjG,mGAAmG;AACnG,kGAAkG;AAClG,4FAA4F;AAC5F,EAAE;AACF,gGAAgG;AAChG,mCAAmC;AAEnC,OAAO,EAAE,mBAAmB,EAAc,MAAM,YAAY,CAAC;AAE7D,OAAO,EAA4C,KAAK,EAAE,MAAM,YAAY,CAAC;AA0B7E;;;;;GAKG;AACH,MAAM,OAAO,cAAc;IACzB,aAAa,CAAC,IAAa,EAAE,IAAa,EAAE,OAAqB,IAAS,CAAC;IAC3E,eAAe,CAAC,IAAa,IAAS,CAAC;IACvC,MAAM,CAAC,UAAsB;QAC3B,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC,CAAC;IACzG,CAAC;IACD,OAAO,CAAC,QAAwD,IAAS,CAAC;CAC3E;AAgBD;;;;GAIG;AACH,MAAM,OAAO,WAAW;IACb,KAAK,CAAW;IACR,MAAM,CAAY;IAClB,IAAI,CAAqB;IAE1C,YAAY,MAAiB,EAAE,IAAwB;QACrD,IAAI,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC,CAAC;QACrD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IAED;kFAC8E;IAC9E,KAAK,CAAC,OAAO,CAAC,KAA2B;QACvC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QACxB,gGAAgG;QAChG,+FAA+F;QAC/F,gGAAgG;QAChG,qDAAqD;QACrD,mBAAmB,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACtC,+FAA+F;QAC/F,+FAA+F;QAC/F,uFAAuF;QACvF,qDAAqD;QACrD,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAClG,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;YACnC,GAAG;YACH,GAAG,KAAK;YACR,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa;YACtC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK;SACvB,CAAC,CAAC;QACH,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;IAChE,CAAC;IAED;kDAC8C;IAC9C,SAAS;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;IAChC,CAAC;IAED;;;;;;;;;;OAUG;IACH,KAAK,CAAC,UAAU,CACd,OAAoC,EACpC,OAA0E,EAAE;QAE5E,MAAM,OAAO,CAAC,GAAG,CACf,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CACvF,CAAC;QACF,OAAO,IAAI,CAAC,SAAS,EAAE,CAAC;IAC1B,CAAC;CACF;AAED,2FAA2F;AAC3F,MAAM,UAAU,iBAAiB,CAC/B,MAAiB,EACjB,IAAwB;IAExB,OAAO,IAAI,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AACvC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rindle/client",
-  "version": "0.3.1",
+  "version": "0.4.2",
   "license": "Apache-2.0",
   "repository": {
     "type": "git",

package/src/index.ts

@@ -2,7 +2,7 @@
 // comparator, Backend seam, and the ArrayView contract. (The ArrayView folding impl + the
 // Store/backend wiring land in later slices.)
 
-export * from "./schema.ts"; // table/columns/primaryKey, createSchema/extendSchema, string/number/boolean/json, Col, RowOf, Row, TableDef, tableSpec, SCHEMA
+export * from "./schema.ts"; // table/columns/primaryKey, createSchema/extendSchema, refineTable/refineSchema, string/number/boolean/json, Col, RowOf, Row, TableDef, tableSpec, SCHEMA
 export * from "./operators.ts"; // eq/ne/gt/ge/lt/le/like/notLike/ilike/notIlike/inList/notInList/is/isNot, and/or, Pred, Cond, Arg
 export * from "./query.ts"; // Query, QueryRoot, queries/newQueryBuilder, defineQuery/NamedQuery, exists, notExists, defineFragment/Fragment/FragmentRef/isFragment
 export * from "./view.ts"; // ArrayView, SingularArrayView, FlatArrayView, SingularView, ViewTypes
@@ -12,6 +12,29 @@ export * from "./ssr.ts"; // createServerStore, ServerStore, OneShotBackend, One
 export { resolveChange, subRow } from "./resolve.ts"; // positional FlatChange → named rows (inverse of the wire encoder)
 export type { NamedRow, ResolvedChange } from "./resolve.ts";
 
+export type { KeyedRow, MutationOp, ServerWriteTx } from "./mutation-ops.ts"; // isomorphic mutation op vocabulary
+// shared (generator) mutator seam — one body, sync on the client + async on the server
+export {
+  driveMutationAsync,
+  driveMutationSync,
+  isGeneratorMutator,
+  isoTx,
+  shared,
+} from "./mutation-ops.ts";
+export type {
+  ArgSchema,
+  AsyncEffectExec,
+  BatchEffect,
+  IsoTx,
+  MutationGen,
+  MutatorCtx,
+  ReadEffect,
+  SharedMutator,
+  SharedMutatorWithArgs,
+  SyncEffectExec,
+  YieldEffect,
+} from "./mutation-ops.ts";
+
 export { stableKey } from "./key.ts"; // canonical viewKey for an AST (shared with @rindle/react)
 
 export { COMPARATOR_VERSION, compareNumber, compareRows, compareString, compareValue } from "./compare.ts";

package/src/mutation-ops.ts

@@ -0,0 +1,190 @@
+// Isomorphic mutation ops — the backend-agnostic "rindle mutation" vocabulary
+// (MUTATORS-ISOMORPHIC plan). A mutator names WHAT it writes (insert/update/upsert/
+// insertIgnore/delete over a keyed row), not HOW — the server renders dialect SQL and the
+// client applies to its local engine. This lives in `@rindle/client` (the leaf both tiers
+// import); the SQL renderer that consumes it is server-only (`@rindle/api-server`).
+
+import type { WireValue } from "./types.ts";
+
+/** A keyed row: column name → cell. The ergonomic write shape (validated against the schema at
+ *  runtime). JSON columns carry their raw JSON string (a {@link WireValue}), never a parsed object. */
+export type KeyedRow = Record<string, WireValue>;
+
+/** One structured write intent — the discriminated union that mirrors the write half of the client
+ *  `MutationTx` 1:1. Keyed (column-name addressed), so it is independent of column order. */
+export type MutationOp =
+  | { kind: "insert"; table: string; row: KeyedRow } // a FULL row (every column present)
+  | { kind: "upsert"; table: string; row: KeyedRow } // full row; replace non-pk cols on pk conflict
+  | { kind: "insertIgnore"; table: string; row: KeyedRow } // full row; do nothing on pk conflict
+  | { kind: "update"; table: string; row: KeyedRow } // pk cols + the non-pk cols to change
+  | { kind: "delete"; table: string; pk: KeyedRow }; // pk cols only
+
+/** The ASYNC server-side write surface a mutator runs against. Semantically the twin of the client's
+ *  synchronous `MutationTx` write methods — same names, same keyed-row arguments — but every op is a
+ *  Promise so a Postgres backend can execute it live against an open transaction (read-your-writes).
+ *  A rindle/daemon backend resolves writes immediately (accumulate) and serves `row` from committed
+ *  state. `insert` requires every column; `update`/`delete` require the pk columns. */
+export interface ServerWriteTx {
+  /** Insert a FULL row (every column named; missing or unknown columns throw). */
+  insert(table: string, row: KeyedRow): Promise<void>;
+  /** Update the row identified by the pk columns; only the named non-pk columns change. A missing
+   *  row is a NO-OP. */
+  update(table: string, row: KeyedRow): Promise<void>;
+  /** Insert, or fully replace when the pk already exists (a FULL row, like `insert`). */
+  upsert(table: string, row: KeyedRow): Promise<void>;
+  /** Insert a FULL row, or do nothing if the pk already exists (the SQL twin of the client
+   *  `if (!tx.row(pk)) tx.insert(row)` pattern). */
+  insertIgnore(table: string, row: KeyedRow): Promise<void>;
+  /** Delete the row identified by the pk columns. A missing row is a NO-OP. */
+  delete(table: string, pk: KeyedRow): Promise<void>;
+  /** Read one row by primary key, through the OPEN transaction on both backends
+   *  (read-your-writes: live on Postgres; via an interactive mutation session on the daemon,
+   *  DAEMON-INTERACTIVE-TXN-DESIGN.md §5.3). */
+  row(table: string, pk: KeyedRow): Promise<KeyedRow | undefined>;
+}
+
+// --------------------------------------------------------------------------- shared (generator) mutators
+//
+// The isomorphic mutator seam (MUTATORS-ISOMORPHIC plan §"one body, two tiers"): a mutator is a
+// GENERATOR that `yield`s effects instead of an async/sync function. A generator is neither sync nor
+// async — the tier's DRIVER decides — so ONE body runs synchronously against the browser wasm engine
+// AND against a live async Postgres transaction on the server. Writes are `yield`ed and pipelined by
+// the driver (never individually awaited by the body); a `yield tx.row(...)` is the one thing that
+// suspends, evaluating to the read row. `yield tx.all([...])` fans reads out (Promise.all on the
+// server, in-order on the client) — order-preserving on both tiers, so the body stays deterministic.
+
+/** A point read a generator mutator yields; the driver resolves it and feeds the row back through
+ *  `gen.next(row)`. Read-your-writes on every tier: the client reads its local engine, and both
+ *  server backends read the open transaction (the daemon via an interactive mutation session). */
+export type ReadEffect = { kind: "row"; table: string; pk: KeyedRow };
+
+/** A fan-out a generator mutator yields: run several effects "together". The server driver resolves
+ *  them with `Promise.all`; the client driver runs them in array order (already synchronous). Results
+ *  return in the SAME order on both tiers, so the mutator stays deterministic. The `yield` evaluates
+ *  to `(KeyedRow | undefined)[]` at runtime (cast it — the generator's single next-type is a row). */
+export type BatchEffect = { kind: "all"; effects: readonly YieldEffect[] };
+
+/** Everything a generator mutator may `yield`: a write {@link MutationOp}, a {@link ReadEffect}, or a
+ *  {@link BatchEffect}. */
+export type YieldEffect = MutationOp | ReadEffect | BatchEffect;
+
+/** The tier-AGNOSTIC effect factory a generator mutator writes against. Every method just BUILDS an
+ *  effect to `yield` — it performs no I/O and holds no state, so the single {@link isoTx} instance is
+ *  shared by every mutator on both tiers; only the driver differs. `insert`/`upsert`/`insertIgnore`
+ *  take a FULL row; `update`/`delete` take the pk columns (`update` adds the columns to change). */
+export interface IsoTx {
+  insert(table: string, row: KeyedRow): MutationOp;
+  update(table: string, row: KeyedRow): MutationOp;
+  upsert(table: string, row: KeyedRow): MutationOp;
+  insertIgnore(table: string, row: KeyedRow): MutationOp;
+  delete(table: string, pk: KeyedRow): MutationOp;
+  row(table: string, pk: KeyedRow): ReadEffect;
+  all(effects: readonly YieldEffect[]): BatchEffect;
+}
+
+/** The one shared effect factory (stateless — see {@link IsoTx}). */
+export const isoTx: IsoTx = {
+  insert: (table, row) => ({ kind: "insert", table, row }),
+  update: (table, row) => ({ kind: "update", table, row }),
+  upsert: (table, row) => ({ kind: "upsert", table, row }),
+  insertIgnore: (table, row) => ({ kind: "insertIgnore", table, row }),
+  delete: (table, pk) => ({ kind: "delete", table, pk }),
+  row: (table, pk) => ({ kind: "row", table, pk }),
+  all: (effects) => ({ kind: "all", effects }),
+};
+
+/** The minimal per-invocation context a shared mutator sees on BOTH tiers: the acting principal. The
+ *  server injects its AUTHENTICATED user; the client injects its local user. (The server's own
+ *  `MutationContext` is a superset of this.) */
+export interface MutatorCtx {
+  user: string;
+}
+
+/** What a generator mutator IS: `yield tx.<op>()` on every side effect; a `yield tx.row()` expression
+ *  evaluates to the row. Neither sync nor async — the tier's driver decides, which is what lets one
+ *  body run synchronously on the client and against a live async transaction on the server. */
+export type MutationGen = Generator<YieldEffect, void, KeyedRow | undefined>;
+
+/** A generator (isomorphic) mutator, shared verbatim by both tiers: the client trusts typed `args`,
+ *  the server parses untrusted args into `Args` before invoking. */
+export type SharedMutator<Args, Ctx extends MutatorCtx = MutatorCtx> = (
+  tx: IsoTx,
+  args: Args,
+  ctx: Ctx,
+) => MutationGen;
+
+/** The minimal arg validator a shared mutator can carry so the SERVER can parse UNTRUSTED wire args
+ *  before driving it (the client trusts its typed callsites and never calls this). Structural on
+ *  purpose — a zod schema satisfies it as-is — so `@rindle/client` stays validator-library-agnostic. */
+export interface ArgSchema<Args> {
+  parse(raw: unknown): Args;
+}
+
+/** A shared mutator that CARRIES its own arg validator, co-located at the def site (`shared(schema,
+ *  gen)`). The client registers it exactly like a bare generator mutator — the `.args` validator is
+ *  inert there (typed callsites skip the parse); the server ({@link runSharedMutation}, via the
+ *  api-server's `sharedApiMutators`) reads `.args` to parse untrusted wire args before driving the
+ *  SAME body. */
+export type SharedMutatorWithArgs<Args, Ctx extends MutatorCtx = MutatorCtx> = SharedMutator<Args, Ctx> & {
+  args: ArgSchema<Args>;
+};
+
+/** Co-locate a shared (generator) mutator with the validator for its args — pairing the arg SHAPE
+ *  with the body that consumes it at ONE site, so neither tier restates it (the client derives its
+ *  callsite type from `Args`; the server parses untrusted args through `.args`). Returns the SAME
+ *  generator function with an `args` property attached (`Object.assign` mutates + returns it), so the
+ *  registered value is byte-for-byte what the client drove before: {@link isGeneratorMutator} still
+ *  detects it and it still `satisfies ClientRegistry`. */
+export function shared<Args, Ctx extends MutatorCtx = MutatorCtx>(
+  args: ArgSchema<Args>,
+  run: SharedMutator<Args, Ctx>,
+): SharedMutatorWithArgs<Args, Ctx> {
+  return Object.assign(run, { args });
+}
+
+/** True iff `fn` is a generator function (a shared/isomorphic mutator) rather than a plain function —
+ *  the driver accepts both forms. Detected structurally (native `GeneratorFunction`). */
+export function isGeneratorMutator(fn: unknown): fn is (...args: never[]) => MutationGen {
+  return (
+    typeof fn === "function" &&
+    (fn as { constructor?: { name?: string } }).constructor?.name === "GeneratorFunction"
+  );
+}
+
+/** A tier's SYNCHRONOUS effect executor (the browser wasm engine): apply a write, resolve a read —
+ *  both immediate. */
+export interface SyncEffectExec {
+  apply(op: MutationOp): void;
+  read(table: string, pk: KeyedRow): KeyedRow | undefined;
+}
+
+/** Drive a generator mutator SYNCHRONOUSLY (the client, inside the wasm write transaction). Each
+ *  yielded write applies immediately; each read is resolved and fed back; a batch runs in order. */
+export function driveMutationSync(gen: MutationGen, exec: SyncEffectExec): void {
+  const run = (eff: YieldEffect): KeyedRow | undefined => {
+    if (eff.kind === "row") return exec.read(eff.table, eff.pk);
+    if (eff.kind === "all") return eff.effects.map(run) as unknown as KeyedRow | undefined;
+    exec.apply(eff);
+    return undefined;
+  };
+  for (let step = gen.next(); !step.done; step = gen.next(run(step.value)));
+}
+
+/** A tier's ASYNCHRONOUS effect executor (the server transaction): every op is a Promise. */
+export interface AsyncEffectExec {
+  apply(op: MutationOp): Promise<void>;
+  read(table: string, pk: KeyedRow): Promise<KeyedRow | undefined>;
+}
+
+/** Drive a generator mutator ASYNCHRONOUSLY (the server, against the open transaction). Writes are
+ *  awaited (harmless: a single interactive Postgres connection serializes statements anyway, and the
+ *  daemon backend resolves them instantly), reads suspend, and a batch fans out with `Promise.all`. */
+export async function driveMutationAsync(gen: MutationGen, exec: AsyncEffectExec): Promise<void> {
+  const run = async (eff: YieldEffect): Promise<KeyedRow | undefined> => {
+    if (eff.kind === "row") return exec.read(eff.table, eff.pk);
+    if (eff.kind === "all") return (await Promise.all(eff.effects.map(run))) as unknown as KeyedRow | undefined;
+    await exec.apply(eff);
+    return undefined;
+  };
+  for (let step = gen.next(); !step.done; step = gen.next(await run(step.value)));
+}

package/src/schema.ts

@@ -10,7 +10,9 @@ import type { Arg, Cond } from "./operators.ts";
 import { fieldCondition } from "./operators.ts";
 import type { ColType } from "./types.ts";
 
-/** A column descriptor. `type` drives the comparator + JSON parsing; `__t` is a phantom. */
+/** A column descriptor. `type` drives the comparator + JSON parsing; `__t` is a phantom. A
+ *  nullable column is a `Col<T | null>` — that is the ONLY thing nullability changes at the type
+ *  level, so `RowOf` (and the field-condition factory) widen automatically. */
 export interface Col<T> {
   readonly type: ColType;
   readonly __t?: T;
@@ -19,10 +21,21 @@ export type ColT<X> = X extends Col<infer T> ? T : never;
 export type AnyCols = Record<string, Col<unknown>>;
 export type RowOf<C extends AnyCols> = { [K in keyof C]: ColT<C[K]> };
 
-export const string = (): Col<string> => ({ type: "string" });
-export const number = (): Col<number> => ({ type: "number" });
-export const boolean = (): Col<boolean> => ({ type: "boolean" });
-export const json = <T = unknown>(): Col<T> => ({ type: "json" });
+/** The chainable form returned by the column factories: a {@link Col} plus `.nullable()`.
+ *
+ *  `.nullable()` widens the column's value type to `T | null` — its `Row<…>` field becomes
+ *  `T | null`, and (design 206 Phase 2) it may be omitted from an insert. `rindle schema gen` emits
+ *  `.nullable()` for every nullable (non-`NOT NULL`) SQL column; you can also call it by hand on a
+ *  local-only table's columns. It is idempotent and stays chainable. */
+export interface ColBuilder<T> extends Col<T> {
+  nullable(): ColBuilder<T | null>;
+}
+const makeCol = <T>(type: ColType): ColBuilder<T> => ({ type, nullable: () => makeCol<T | null>(type) });
+
+export const string = <T extends string = string>(): ColBuilder<T> => makeCol<T>("string");
+export const number = <T extends number = number>(): ColBuilder<T> => makeCol<T>("number");
+export const boolean = (): ColBuilder<boolean> => makeCol<boolean>("boolean");
+export const json = <T = unknown>(): ColBuilder<T> => makeCol<T>("json");
 
 /** Metadata key on a {@link TableDef} (a `unique symbol`, so no column name collides). */
 export const SCHEMA: unique symbol = Symbol("rindle.schema");
@@ -175,6 +188,118 @@ function addTableMeta(tables: Record<string, TableMeta>, m: TableMeta, caller: "
   tables[m.name] = m;
 }
 
+// ----------------------------- refinement (narrowing generated column types) ---------------------
+//
+// SQL carries a column's KIND (string/number/boolean/json) but not a refinement WITHIN a kind — the
+// element type of `json<T>()`, or a string/number literal union. `refineTable` re-types those
+// columns on a generated `TableDef` (so its field conditions, `rel(...)`s, and `Row<typeof t>` all
+// narrow), and `refineSchema` swaps the refined defs into the generated schema (so query roots and
+// result rows narrow too). Both are runtime-validated IDENTITIES: a refinement narrows the phantom
+// TS type but can never change a column's runtime kind, so the def still matches the daemon's wire
+// schema exactly. Keep refinements in a hand-written module (beside `extendSchema`'s local tables);
+// `schema.gen.ts` stays a pure, wholesale-regenerated artifact.
+
+/** Per-column narrowings for {@link refineTable}: each entry must keep the column's kind and narrow
+ *  its TS type (`Col<T2>` with `T2 extends T`) — `json<Meta>()` on a json column, a literal-union
+ *  `string<"a" | "b">()` on a string column. Kind changes are rejected (cross-kind at compile time,
+ *  same-phantom kind flips like `string()` on a json column at runtime). */
+export type ColRefinements<C extends AnyCols> = {
+  readonly [K in keyof C]?: Col<ColT<C[K]>>;
+};
+
+/** `C` with the columns named in `R` re-typed to their refined `Col`s. */
+export type RefinedCols<C extends AnyCols, R extends ColRefinements<C>> = {
+  [K in keyof C]: K extends keyof R ? (R[K] extends Col<unknown> ? R[K] : C[K]) : C[K];
+};
+
+/** Narrow a generated table's column TYPES without touching its runtime shape.
+ *
+ *  Returns the SAME def, re-typed (identity, after validating that every refined column exists and
+ *  keeps its kind) — so conditions built from it, `rel(...)`s anchored on it, and `Row<typeof t>`
+ *  all see the narrowed types. Pass the result to {@link refineSchema} so query roots narrow too. */
+export function refineTable<N extends string, C extends AnyCols, R extends ColRefinements<C>>(
+  base: TableDef<N, C>,
+  cols: R,
+): TableDef<N, RefinedCols<C, R>> {
+  const meta = base[SCHEMA];
+  for (const [name, col] of Object.entries(cols) as [string, Col<unknown> | undefined][]) {
+    if (col === undefined) continue;
+    const baseCol = meta.columns[name];
+    if (baseCol === undefined) {
+      throw new Error(`refineTable: table "${meta.name}" has no column "${name}".`);
+    }
+    if (col.type !== baseCol.type) {
+      throw new Error(
+        `refineTable: column "${meta.name}.${name}" is ${baseCol.type}, not ${col.type} — a refinement ` +
+          `may only narrow the TS type WITHIN a column's kind, never change the kind itself.`,
+      );
+    }
+  }
+  return base as unknown as TableDef<N, RefinedCols<C, R>>;
+}
+
+/** A table def acceptable to {@link refineSchema} over `Schema<S>`: its NAME must be one of `S`'s
+ *  tables (a def for an unknown table is a compile error at the call site). */
+export type RefinableTable<S extends ColsMap> = {
+  readonly [SCHEMA]: TableMeta<Extract<keyof S, string>, AnyCols>;
+};
+
+/** `S` with each table named in `T` re-typed to that def's (refined) columns. (The inner
+ *  `extends AnyCols` guard is how the checker proves the remapped `SchemaOf<T>[K]` is a column
+ *  map while `T` is still generic; it always holds for a concrete `T`.) */
+export type RefinedColsMap<S extends ColsMap, T extends readonly AnyTable[]> = {
+  [K in keyof S]: K extends keyof SchemaOf<T> ? (SchemaOf<T>[K] extends AnyCols ? SchemaOf<T>[K] : S[K]) : S[K];
+};
+
+/** Swap {@link refineTable}-narrowed table defs into a generated schema, re-typing those tables for
+ *  everything downstream of the schema (`newQueryBuilder`/`queries` roots, store row types).
+ *
+ *  Runtime-validated identity: each def must name a table already in the schema and match its
+ *  runtime shape exactly (same columns, kinds, primary key, and locality) — refinement narrows TS
+ *  types, never what's on the wire. Composes with {@link extendSchema} in either order. */
+export function refineSchema<S extends ColsMap, const T extends readonly RefinableTable<S>[]>(
+  base: Schema<S>,
+  opts: { tables: T },
+): Schema<RefinedColsMap<S, T>> {
+  const seen = new Set<string>();
+  for (const t of opts.tables) {
+    const m = t[SCHEMA];
+    const baseMeta = base.tables[m.name];
+    if (baseMeta === undefined) {
+      throw new Error(
+        `refineSchema: schema has no table "${m.name}" — refinement re-types existing tables only ` +
+          `(add local-only tables with extendSchema).`,
+      );
+    }
+    if (seen.has(m.name)) {
+      throw new Error(`refineSchema: table "${m.name}" is refined twice.`);
+    }
+    seen.add(m.name);
+    assertRefinementMatches(m, baseMeta);
+  }
+  return base as unknown as Schema<RefinedColsMap<S, T>>;
+}
+
+/** The refined def must be the same table the schema already carries — identical column set, kinds,
+ *  primary key, and locality — so swapping its TYPE in cannot change any runtime behavior. */
+function assertRefinementMatches(m: TableMeta, baseMeta: TableMeta): void {
+  const cols = Object.keys(m.columns);
+  const baseCols = Object.keys(baseMeta.columns);
+  const matches =
+    cols.length === baseCols.length &&
+    cols.every((c) => baseMeta.columns[c] !== undefined && m.columns[c].type === baseMeta.columns[c].type) &&
+    m.primaryKey.length === baseMeta.primaryKey.length &&
+    m.primaryKey.every((k, i) => baseMeta.primaryKey[i] === k) &&
+    (m.local === true) === (baseMeta.local === true);
+  if (!matches) {
+    throw new Error(
+      `refineSchema: table "${m.name}" does not match the schema's table of that name — pass the ` +
+        `output of refineTable over the SAME generated def (identical columns, kinds, primary key, ` +
+        `and locality).`,
+    );
+  }
+}
+
 /** Whether `table` is a {@link TableMeta.local local-only} table in `schema` (an unknown table
  *  reads as non-local). The single locality predicate the backends key off. */
 export function isLocalTable<S extends ColsMap>(schema: Schema<S>, table: string): boolean {

package/src/ssr.ts

@@ -111,6 +111,27 @@ export class ServerStore<S extends ColsMap> {
   dehydrate(): DehydratedState {
     return this.store.dehydrate();
   }
+
+  /**
+   * Loader-phase convenience over {@link preload} + {@link dehydrate}: preload EVERY query (reads run
+   * concurrently) and return the dehydrated first-paint cache. Composition keeps this to one read per
+   * composed root query — no request waterfall (SSR-DESIGN.md §6.2).
+   *
+   * A failed read degrades to NO seed for that one query — `onError` fires and the browser's live
+   * engine fills it in right after hydration — rather than rejecting the whole batch (which would trip
+   * the route's error boundary). The seed is a first-paint optimization; the live `subscribe` is the
+   * source of truth, so a missing seed never affects correctness. Without `onError` a failed read is
+   * swallowed silently — pass one to log.
+   */
+  async preloadAll(
+    queries: Array<Query<any, any, any>>,
+    opts: { onError?: (query: Query<any, any, any>, err: unknown) => void } = {},
+  ): Promise<DehydratedState> {
+    await Promise.all(
+      queries.map((query) => this.preload(query).catch((err) => opts.onError?.(query, err))),
+    );
+    return this.dehydrate();
+  }
 }
 
 /** Construct a {@link ServerStore} — the one-shot REST Store for server-side rendering. */