@bjornpagen/bumbledb 0.11.0 → 0.12.2

package/dist/query/run.d.ts

@@ -15,9 +15,9 @@
  * SETS — no order or limit exists anywhere; hosts sort. The `Prepared`
  * VALUE itself (no lifecycle, GC-reclaimed plan) lives in `#db.ts`.
  */
-import type { FactValue, QueryParam } from "#native.ts";
-import type { FindColumn } from "#query/atom.ts";
-import type { ParamEntry } from "#query/scope.ts";
+import type { FactValue, QueryParam } from "../native.js";
+import type { FindColumn } from "./atom.js";
+import type { ParamEntry } from "./scope.js";
 /**
  * Marshals the typed params object to the bridge's positional arguments,
  * in registry order (= the lowering's dense `ParamId`s). A missing entry

package/dist/query/scope.d.ts

@@ -29,11 +29,11 @@
  * {@link JoinOk} with its runtime twin {@link fieldJoins}, and the
  * record-folding helpers `Params` and `Row` inference ride.
  */
-import type { AnyClosed } from "#closed.ts";
-import type { AnyField, Infer } from "#fields.ts";
-import type { ClassLookup, ClassRecordOf, SchemaClasses } from "#law.ts";
-import type { QueryParam } from "#native.ts";
-import type { AnyRelation, RelationFields } from "#relation.ts";
+import type { AnyClosed } from "../closed.js";
+import type { AnyField, Infer } from "../fields.js";
+import type { ClassLookup, ClassRecordOf, SchemaClasses } from "../law.js";
+import type { QueryParam } from "../native.js";
+import type { AnyRelation, RelationFields } from "../relation.js";
 /**
  * The runtime discriminant of query term values. Host literals (bigints,
  * strings, interval objects) never carry it, so "is this position a term

package/dist/relation.d.ts

@@ -12,12 +12,21 @@
  * fields are optional on insert input (omit-to-mint) and present on read
  * (resupply-to-preserve-identity), typed exactly.
  */
-import { type AnyField, type Infer } from "#fields.ts";
-import { type LiteralSetSpec } from "#spec.ts";
+import { type AnyField, type Infer } from "./fields.js";
+import { type LiteralSetSpec } from "./spec.js";
 /** Flattens an intersection into one displayed object type (hover legibility). */
 type Flatten<T> = {
     [K in keyof T]: T[K];
 };
+/**
+ * An optional property that may be omitted OR explicitly `undefined`.
+ * `Partial<T>` under `exactOptionalPropertyTypes` is omit-only (`key?: T`),
+ * which rejects `key: T | undefined` — insert must accept both (omit-to-mint,
+ * and a host binding that is already `bigint | undefined`).
+ */
+type ExactOptional<T> = {
+    [K in keyof T]?: T[K] | undefined;
+};
 /**
  * Resolves a whole `where()` selection against the declared fields, in the
  * selection's written order (macro parity: σ is spelled, not sorted). An
@@ -99,9 +108,10 @@ type FreshKeys<R extends AnyRelation> = {
 /**
  * The inferred row object type of a relation as INSERTED: fresh fields
  * optional — omitted, the engine mints; supplied, identity is preserved
- * (the ETL resupply idiom).
+ * (the ETL resupply idiom). Explicit `undefined` is the same as omit
+ * (`exactOptionalPropertyTypes`: `id?: bigint | undefined`, not omit-only).
  */
-type InsertFact<R extends AnyRelation> = Flatten<Omit<Fact<R>, FreshKeys<R>> & Partial<Pick<Fact<R>, FreshKeys<R>>>>;
+type InsertFact<R extends AnyRelation> = Flatten<Omit<Fact<R>, FreshKeys<R>> & ExactOptional<Pick<Fact<R>, FreshKeys<R>>>>;
 /**
  * Declares one relation: `relation("Account", { id: u64.fresh,
  * holder: u64, kind: Kind.id, ... })` — every field is a pure-structure

package/dist/relation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"relation.d.ts","sourceRoot":"","sources":["../src/relation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,KAAK,QAAQ,EAAsD,KAAK,KAAK,EAAa,MAAM,YAAY,CAAA;AACrH,OAAO,EAAE,KAAK,cAAc,EAAmC,MAAM,UAAU,CAAA;AAE/E,kFAAkF;AAClF,KAAK,OAAO,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AA4C1C;;;;;;;;GAQG;AACH,iBAAS,gBAAgB,CACxB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,SAAS,aAAa,EAAE,EACjC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAChD,SAAS,gBAAgB,EAAE,CAsB7B;AAED,qEAAqE;AACrE,KAAK,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;AAE3C,0EAA0E;AAC1E,UAAU,aAAa;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CACxB;AAED,wCAAwC;AACxC,UAAU,YAAY;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAA;CACzC;AAED;;;;GAIG;AACH,UAAU,gBAAgB;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAA;CAC5B;AAED;;;;;;;;GAQG;AACH,KAAK,cAAc,CAAC,MAAM,SAAS,WAAW,IAAI;IACjD,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;CAC7E,CAAA;AAED,yFAAyF;AACzF,UAAU,QAAQ,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,WAAW;IACjE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IACzC,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAC/C;AAED,wBAAwB;AACxB,UAAU,QAAQ,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,WAAW;IACjE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,KAAK,CAAC,SAAS,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAChE;AAED,6DAA6D;AAC7D,KAAK,WAAW,GAAG,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;AAEhD,mCAAmC;AACnC,UAAU,WAAW;IACpB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAA;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAC/C;AAED,8CAA8C;AAC9C,KAAK,cAAc,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,WAAW,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEhH;;;;;GAKG;AACH,KAAK,IAAI,CAAC,CAAC,SAAS,WAAW,IAAI;KACjC,CAAC,IAAI,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC3D,CAAA;AAED,gFAAgF;AAChF,KAAK,SAAS,CAAC,CAAC,SAAS,WAAW,IAAI;KACtC,CAAC,IAAI,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK;CACjG,CAAC,MAAM,cAAc,CAAC,CAAC,CAAC,CAAC,CAAA;AAE1B;;;;GAIG;AACH,KAAK,UAAU,CAAC,CAAC,SAAS,WAAW,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAEpH;;;;;;;;;GASG;AACH,iBAAS,QAAQ,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,WAAW,EACtE,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,MAAM,GACZ,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAuBxB;AAED,YAAY,EACX,WAAW,EACX,WAAW,EACX,IAAI,EACJ,WAAW,EACX,SAAS,EACT,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,cAAc,EACd,QAAQ,EACR,gBAAgB,EAChB,cAAc,EACd,CAAA;AACD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAA"}
+{"version":3,"file":"relation.d.ts","sourceRoot":"","sources":["../src/relation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,KAAK,QAAQ,EAAsD,KAAK,KAAK,EAAa,MAAM,YAAY,CAAA;AACrH,OAAO,EAAE,KAAK,cAAc,EAAmC,MAAM,UAAU,CAAA;AAE/E,kFAAkF;AAClF,KAAK,OAAO,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAE1C;;;;;GAKG;AACH,KAAK,aAAa,CAAC,CAAC,IAAI;KACtB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS;CACjC,CAAA;AA4CD;;;;;;;;GAQG;AACH,iBAAS,gBAAgB,CACxB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,SAAS,aAAa,EAAE,EACjC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAChD,SAAS,gBAAgB,EAAE,CAsB7B;AAED,qEAAqE;AACrE,KAAK,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;AAE3C,0EAA0E;AAC1E,UAAU,aAAa;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CACxB;AAED,wCAAwC;AACxC,UAAU,YAAY;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAA;CACzC;AAED;;;;GAIG;AACH,UAAU,gBAAgB;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAA;CAC5B;AAED;;;;;;;;GAQG;AACH,KAAK,cAAc,CAAC,MAAM,SAAS,WAAW,IAAI;IACjD,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;CAC7E,CAAA;AAED,yFAAyF;AACzF,UAAU,QAAQ,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,WAAW;IACjE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IACzC,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAC/C;AAED,wBAAwB;AACxB,UAAU,QAAQ,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,WAAW;IACjE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,KAAK,CAAC,SAAS,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAChE;AAED,6DAA6D;AAC7D,KAAK,WAAW,GAAG,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;AAEhD,mCAAmC;AACnC,UAAU,WAAW;IACpB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAA;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAC/C;AAED,8CAA8C;AAC9C,KAAK,cAAc,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,WAAW,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEhH;;;;;GAKG;AACH,KAAK,IAAI,CAAC,CAAC,SAAS,WAAW,IAAI;KACjC,CAAC,IAAI,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC3D,CAAA;AAED,gFAAgF;AAChF,KAAK,SAAS,CAAC,CAAC,SAAS,WAAW,IAAI;KACtC,CAAC,IAAI,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK;CACjG,CAAC,MAAM,cAAc,CAAC,CAAC,CAAC,CAAC,CAAA;AAE1B;;;;;GAKG;AACH,KAAK,UAAU,CAAC,CAAC,SAAS,WAAW,IAAI,OAAO,CAC/C,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CACxE,CAAA;AAED;;;;;;;;;GASG;AACH,iBAAS,QAAQ,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,WAAW,EACtE,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,MAAM,GACZ,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAuBxB;AAED,YAAY,EACX,WAAW,EACX,WAAW,EACX,IAAI,EACJ,WAAW,EACX,SAAS,EACT,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,cAAc,EACd,QAAQ,EACR,gBAAgB,EAChB,cAAc,EACd,CAAA;AACD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAA"}

package/dist/relation.js.map

@@ -1 +1 @@
-{"version":3,"file":"relation.js","sourceRoot":"","sources":["../src/relation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAC/C,OAAO,EAAiB,yBAAyB,EAAE,uBAAuB,EAAc,SAAS,EAAE,MAAM,YAAY,CAAA;AACrH,OAAO,EAAyC,aAAa,EAAE,MAAM,UAAU,CAAA;AAK/E;;;;;;;;;;;;;;;GAeG;AACH,SAAS,YAAY,CAAC,OAAe,EAAE,KAAe,EAAE,KAAc;IACrE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,MAAM,CAAC,GAAG,CACf,KAAK,CAAC,MAAM,KAAK,CAAC;gBACjB,CAAC,CAAC,GAAG,OAAO,uEAAuE;gBACnF,CAAC,CAAC,GAAG,OAAO,wIAAwI,CACrJ,CAAA;QACF,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,MAAM,QAAQ,GAAkB,KAAK,CAAC,GAAG,CAAC,SAAS,eAAe,CAAC,OAAgB;YAClF,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;YACxD,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAA;YACvC,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxB,MAAM,MAAM,CAAC,GAAG,CACf,GAAG,OAAO,4BAA4B,QAAQ,iFAAiF,CAC/H,CAAA;YACF,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;YAClB,OAAO,OAAO,CAAA;QACf,CAAC,CAAC,CAAA;QACF,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IAC1E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAA;AACvF,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,gBAAgB,CACxB,IAAY,EACZ,OAAiC,EACjC,OAAkD;IAElD,MAAM,QAAQ,GAAuB,EAAE,CAAA;IACvC,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QAC1C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,SAAQ;QACT,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS;YACtD,OAAO,SAAS,CAAC,IAAI,KAAK,SAAS,CAAA;QACpC,CAAC,CAAC,CAAA;QACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,MAAM,CAAC,GAAG,CAAC,YAAY,IAAI,iBAAiB,SAAS,EAAE,CAAC,CAAA;QAC/D,CAAC;QACD,QAAQ,CAAC,IAAI,CACZ,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,YAAY,CAAC,YAAY,IAAI,IAAI,SAAS,EAAE,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAC9G,CAAA;IACF,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,MAAM,CAAC,GAAG,CACf,YAAY,IAAI,yIAAyI,CACzJ,CAAA;IACF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;AAC/B,CAAC;AAuFD;;;;;;;;;GASG;AACH,SAAS,QAAQ,CAChB,IAAU,EACV,MAAc;IAEd,yBAAyB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;IAC3C,uBAAuB,CAAC,YAAY,IAAI,SAAS,EAAE,MAAM,CAAC,CAAA;IAC1D,MAAM,OAAO,GAAoB,EAAE,CAAA;IACnC,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACzD,yBAAyB,CAAC,YAAY,IAAI,QAAQ,EAAE,SAAS,CAAC,CAAA;QAC9D,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IACxD,CAAC;IACD,MAAM,IAAI,GAAiB,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAClF,MAAM,MAAM,GAAkD,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;IAClF,SAAS,KAAK,CAAC,SAAiC;QAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAA;QAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,MAAM,CAAC,GAAG,CAAC,YAAY,IAAI,qDAAqD,CAAC,CAAA;QACxF,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACpB,QAAQ,EAAE,KAAK;YACf,SAAS,EAAE,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;SACrE,CAAC,CAAA;IACH,CAAC;IACD,MAAM,KAAK,GAA2B,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;IAC1E,MAAM,CAAC,KAAK,GAAG,KAAK,CAAA;IACpB,OAAO,KAAK,CAAA;AACb,CAAC;AAiBD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAA"}
+{"version":3,"file":"relation.js","sourceRoot":"","sources":["../src/relation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAC/C,OAAO,EAAiB,yBAAyB,EAAE,uBAAuB,EAAc,SAAS,EAAE,MAAM,YAAY,CAAA;AACrH,OAAO,EAAyC,aAAa,EAAE,MAAM,UAAU,CAAA;AAe/E;;;;;;;;;;;;;;;GAeG;AACH,SAAS,YAAY,CAAC,OAAe,EAAE,KAAe,EAAE,KAAc;IACrE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,MAAM,CAAC,GAAG,CACf,KAAK,CAAC,MAAM,KAAK,CAAC;gBACjB,CAAC,CAAC,GAAG,OAAO,uEAAuE;gBACnF,CAAC,CAAC,GAAG,OAAO,wIAAwI,CACrJ,CAAA;QACF,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,MAAM,QAAQ,GAAkB,KAAK,CAAC,GAAG,CAAC,SAAS,eAAe,CAAC,OAAgB;YAClF,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;YACxD,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAA;YACvC,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxB,MAAM,MAAM,CAAC,GAAG,CACf,GAAG,OAAO,4BAA4B,QAAQ,iFAAiF,CAC/H,CAAA;YACF,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;YAClB,OAAO,OAAO,CAAA;QACf,CAAC,CAAC,CAAA;QACF,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IAC1E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAA;AACvF,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,gBAAgB,CACxB,IAAY,EACZ,OAAiC,EACjC,OAAkD;IAElD,MAAM,QAAQ,GAAuB,EAAE,CAAA;IACvC,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QAC1C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,SAAQ;QACT,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS;YACtD,OAAO,SAAS,CAAC,IAAI,KAAK,SAAS,CAAA;QACpC,CAAC,CAAC,CAAA;QACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,MAAM,CAAC,GAAG,CAAC,YAAY,IAAI,iBAAiB,SAAS,EAAE,CAAC,CAAA;QAC/D,CAAC;QACD,QAAQ,CAAC,IAAI,CACZ,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,YAAY,CAAC,YAAY,IAAI,IAAI,SAAS,EAAE,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAC9G,CAAA;IACF,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,MAAM,CAAC,GAAG,CACf,YAAY,IAAI,yIAAyI,CACzJ,CAAA;IACF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;AAC/B,CAAC;AA0FD;;;;;;;;;GASG;AACH,SAAS,QAAQ,CAChB,IAAU,EACV,MAAc;IAEd,yBAAyB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;IAC3C,uBAAuB,CAAC,YAAY,IAAI,SAAS,EAAE,MAAM,CAAC,CAAA;IAC1D,MAAM,OAAO,GAAoB,EAAE,CAAA;IACnC,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACzD,yBAAyB,CAAC,YAAY,IAAI,QAAQ,EAAE,SAAS,CAAC,CAAA;QAC9D,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IACxD,CAAC;IACD,MAAM,IAAI,GAAiB,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAClF,MAAM,MAAM,GAAkD,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;IAClF,SAAS,KAAK,CAAC,SAAiC;QAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAA;QAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,MAAM,CAAC,GAAG,CAAC,YAAY,IAAI,qDAAqD,CAAC,CAAA;QACxF,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACpB,QAAQ,EAAE,KAAK;YACf,SAAS,EAAE,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;SACrE,CAAC,CAAA;IACH,CAAC;IACD,MAAM,KAAK,GAA2B,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;IAC1E,MAAM,CAAC,KAAK,GAAG,KAAK,CAAA;IACpB,OAAO,KAAK,CAAA;AACb,CAAC;AAiBD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAA"}

package/dist/schema.d.ts

@@ -8,10 +8,10 @@
  * DELIBERATELY left to the engine's `SchemaError` at `Db.create` — the
  * same judge, the same two-boundary split as Rust.
  */
-import type { AnyClosed } from "#closed.ts";
-import { type ClassesOf, type LawfulStatements, type SchemaClasses } from "#law.ts";
-import type { AnyRelation } from "#relation.ts";
-import { type Statement } from "#statements.ts";
+import type { AnyClosed } from "./closed.js";
+import { type ClassesOf, type LawfulStatements, type SchemaClasses } from "./law.js";
+import type { AnyRelation } from "./relation.js";
+import { type Statement } from "./statements.js";
 /** One member of a schema's relation record. */
 type SchemaRelation = AnyRelation | AnyClosed;
 /** The relation record a schema is generic over — what `Db` and queries key on. */

package/dist/statements.d.ts

@@ -33,10 +33,10 @@
  * `Db.create`/`Db.open` (the two-boundary split, engine as final
  * authority).
  */
-import { type BoundsOnTarget, type CapacityWeight, type CapacityWindow, type UnitDimensionBan, type UnitWindowBan, type WeightOnSource } from "#capacity.ts";
-import { type AnyFace, type FaceData, type SameArity, type SameShapes } from "#face.ts";
-import type { AnyRelation, RelationFields } from "#relation.ts";
-import { type CapacityWindowSpec, type WeightSpec } from "#spec.ts";
+import { type BoundsOnTarget, type CapacityWeight, type CapacityWindow, type UnitDimensionBan, type UnitWindowBan, type WeightOnSource } from "./capacity.js";
+import { type AnyFace, type FaceData, type SameArity, type SameShapes } from "./face.js";
+import type { AnyRelation, RelationFields } from "./relation.js";
+import { type CapacityWindowSpec, type WeightSpec } from "./spec.js";
 /** A `key()` statement's runtime description — owner and projection carried at exact types. */
 interface KeyData<R extends AnyRelation, Projection extends readonly string[]> {
     readonly kind: "key";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@bjornpagen/bumbledb",
-  "version": "0.11.0",
+  "version": "0.12.2",
   "description": "Type-theoretic TypeScript SDK for the bumbledb embedded relational engine",
   "type": "module",
   "exports": {
@@ -12,7 +12,8 @@
   "imports": {
     "#test/*.ts": "./test/*.ts",
     "#*.ts": {
-      "types": "./src/*.ts",
+      "bumbledb-src": "./src/*.ts",
+      "types": "./dist/*.d.ts",
       "default": "./dist/*.js"
     }
   },
@@ -53,7 +54,7 @@
   },
   "private": false,
   "optionalDependencies": {
-    "@bjornpagen/bumbledb-darwin-arm64": "0.11.0"
+    "@bjornpagen/bumbledb-darwin-arm64": "0.12.2"
   },
   "scripts": {
     "build": "node scripts/build.ts",

package/src/db.ts

@@ -100,56 +100,88 @@ interface OffendingFact<Rels extends SchemaRelations> {
 }
 
 /**
- * One violated statement of a rejected commit, as a typed value.
- * `statement` is the IDENTICAL SDK statement value the schema declared —
- * consumers `===`-match it against their own constants; it is `undefined`
- * exactly for the engine-materialized fresh-implied and closed auto-keys,
- * which have no declared spelling (`schema()` rejects an explicit
- * duplicate of them). `canonical` is the ENGINE's rendering of the
- * violated materialized statement — for a `mirrors` statement BOTH
- * materialized slots render as the one `==` utterance in the written
- * orientation (identical strings; the engine's `render.rs` renders each
- * partner of a mirrored pair as the `==` spelling, never a bare `<=`
- * direction). `direction` (`sourceUnsatisfied` | `targetRequired`) and
- * `measure` are the containment/capacity form payloads, passed through
- * from the engine VERBATIM (`measure` the capacity form's witnessed group
- * total — u128-wide, crossing whole as bigint, C3) — `direction` is
- * relative to the violated SLOT's
- * own orientation, so for a `mirrors` statement it alone cannot say which
- * side of the `==` was violated: the slot identity is carried by
- * `orientation`, present exactly for `mirrors` slots — `written` is the
- * `source <= target` slot as the statement was spelled, `mirrored` the
- * engine-materialized `target <= source` partner.
+ * Shared body of every violation arm: the engine's canonical rendering and
+ * the cited facts. `statement` is NOT here — its presence is the
+ * discriminant. Implied auto-keys have no SDK spelling (`statement` is
+ * the value `undefined`); every declared form carries the IDENTICAL
+ * statement value the schema declared (consumers `===`-match it).
+ */
+type ViolationBody<Rels extends SchemaRelations> = {
+	readonly canonical: string
+	readonly facts: readonly OffendingFact<Rels>[]
+}
+
+/**
+ * A functionality violation of an engine-materialized fresh-implied or
+ * closed auto-key. These slots have no declared spelling (`schema()`
+ * rejects an explicit duplicate); `statement` is present and `undefined`.
+ */
+type ImpliedKeyViolation<Rels extends SchemaRelations> = ViolationBody<Rels> & {
+	readonly kind: "functionality"
+	readonly statement: undefined
+}
+
+/**
+ * A functionality violation of a declared `key()` statement. `statement`
+ * is the IDENTICAL SDK value the schema declared.
+ */
+type DeclaredKeyViolation<Rels extends SchemaRelations> = ViolationBody<Rels> & {
+	readonly kind: "functionality"
+	readonly statement: Statement
+}
+
+/**
+ * A containment violation of a declared `contained()` statement (no
+ * `orientation` — that property exists exactly on {@link MirrorViolation}).
+ */
+type ContainmentViolation<Rels extends SchemaRelations> = ViolationBody<Rels> & {
+	readonly kind: "containment"
+	readonly statement: Statement
+	readonly direction: "sourceUnsatisfied" | "targetRequired"
+}
+
+/**
+ * A containment violation of one slot of a declared `mirrors()` statement.
+ * BOTH materialized slots render as the one `==` utterance in the written
+ * orientation (identical `canonical` strings; the engine's `render.rs`
+ * never emits a bare `<=` for a mirrored pair). `direction` is relative
+ * to the violated SLOT's own orientation, so it alone cannot say which
+ * side of the `==` was violated: `written` is the `source <= target` slot
+ * as the statement was spelled, `mirrored` the engine-materialized
+ * `target <= source` partner.
+ */
+type MirrorViolation<Rels extends SchemaRelations> = ViolationBody<Rels> & {
+	readonly kind: "containment"
+	readonly statement: Statement
+	readonly direction: "sourceUnsatisfied" | "targetRequired"
+	readonly orientation: "written" | "mirrored"
+}
+
+/**
+ * A capacity violation of a declared `capacity()` statement. `measure` is
+ * the engine's witnessed group total — u128-wide, crossing whole as
+ * bigint (C3: truncation is unrepresentable).
+ */
+type CapacityViolation<Rels extends SchemaRelations> = ViolationBody<Rels> & {
+	readonly kind: "capacity"
+	readonly statement: Statement
+	readonly measure: bigint
+}
+
+/**
+ * One violated statement of a rejected commit, as a typed value. The
+ * arms are a true discriminant: `statement === undefined` is exactly the
+ * implied-auto-key arm; every declared form carries `Statement` (not
+ * `Statement | undefined`, not an omit-optional). `canonical` is the
+ * ENGINE's rendering. `direction` / `measure` pass through from the
+ * engine VERBATIM.
  */
 type Violation<Rels extends SchemaRelations> =
-	| {
-			readonly kind: "functionality"
-			readonly statement?: Statement
-			readonly canonical: string
-			readonly facts: readonly OffendingFact<Rels>[]
-	  }
-	| {
-			readonly kind: "containment"
-			readonly statement?: Statement
-			readonly canonical: string
-			readonly direction: "sourceUnsatisfied" | "targetRequired"
-			readonly facts: readonly OffendingFact<Rels>[]
-	  }
-	| {
-			readonly kind: "containment"
-			readonly statement?: Statement
-			readonly canonical: string
-			readonly direction: "sourceUnsatisfied" | "targetRequired"
-			readonly orientation: "written" | "mirrored"
-			readonly facts: readonly OffendingFact<Rels>[]
-	  }
-	| {
-			readonly kind: "capacity"
-			readonly statement?: Statement
-			readonly canonical: string
-			readonly measure: bigint
-			readonly facts: readonly OffendingFact<Rels>[]
-	  }
+	| ImpliedKeyViolation<Rels>
+	| DeclaredKeyViolation<Rels>
+	| ContainmentViolation<Rels>
+	| MirrorViolation<Rels>
+	| CapacityViolation<Rels>
 
 /**
  * The abandoned arm of a write result (ruled 2026-07-23, R10): present in
@@ -451,18 +483,28 @@ interface PrimaryKey {
 }
 
 /**
- * One materialized-statement slot as the SDK mirrors it: the form tag, the
- * SDK statement value that lowered to it (`undefined` for the
- * engine-materialized implied keys), and — for functionality forms — the
- * key's owner and projection (what keyed point reads resolve through).
+ * One materialized-statement slot as the SDK mirrors it. Implied auto-keys
+ * omit `statement` (the engine owns those slots); every declared form
+ * carries the SDK value that lowered to it. Functionality forms also
+ * carry the key's owner and projection (what keyed point reads resolve
+ * through).
  */
+type ImpliedKeyEntry = {
+	readonly kind: "functionality"
+	readonly owner: string
+	readonly projection: readonly string[]
+}
+
+type DeclaredKeyEntry = {
+	readonly kind: "functionality"
+	readonly statement: Statement
+	readonly owner: string
+	readonly projection: readonly string[]
+}
+
 type StatementEntry =
-	| {
-			readonly kind: "functionality"
-			readonly statement?: Statement
-			readonly owner: string
-			readonly projection: readonly string[]
-	  }
+	| ImpliedKeyEntry
+	| DeclaredKeyEntry
 	| { readonly kind: "containment"; readonly statement: Statement }
 	| { readonly kind: "mirrors"; readonly statement: Statement; readonly orientation: "written" | "mirrored" }
 	| { readonly kind: "capacity"; readonly statement: Statement }
@@ -841,16 +883,24 @@ function openDb<Rels extends SchemaRelations>(handle: DbHandle, theory: Schema<R
 			throw errors.new(`bumbledb violation cites unknown statement id ${wire.statementId}`)
 		}
 		const facts = Object.freeze(wire.facts.map(offendingFactOf))
-		const statement = entry.statement
 		const canonical = wire.canonical
 		if (entry.kind === "functionality") {
-			return Object.freeze({ kind: "functionality", statement, canonical, facts })
+			if (!("statement" in entry)) {
+				return Object.freeze({ kind: "functionality", statement: undefined, canonical, facts })
+			}
+			return Object.freeze({ kind: "functionality", statement: entry.statement, canonical, facts })
 		}
 		if (entry.kind === "capacity") {
 			if (wire.kind !== "capacity") {
 				throw errors.new(`bumbledb violation ${wire.statementId} is a capacity slot without a measure`)
 			}
-			return Object.freeze({ kind: "capacity", statement, canonical, measure: wire.measure, facts })
+			return Object.freeze({
+				kind: "capacity",
+				statement: entry.statement,
+				canonical,
+				measure: wire.measure,
+				facts
+			})
 		}
 		if (wire.kind !== "containment") {
 			throw errors.new(`bumbledb violation ${wire.statementId} is a containment slot without a direction`)
@@ -858,14 +908,20 @@ function openDb<Rels extends SchemaRelations>(handle: DbHandle, theory: Schema<R
 		if (entry.kind === "mirrors") {
 			return Object.freeze({
 				kind: "containment",
-				statement,
+				statement: entry.statement,
 				canonical,
 				direction: wire.direction,
 				orientation: entry.orientation,
 				facts
 			})
 		}
-		return Object.freeze({ kind: "containment", statement, canonical, direction: wire.direction, facts })
+		return Object.freeze({
+			kind: "containment",
+			statement: entry.statement,
+			canonical,
+			direction: wire.direction,
+			facts
+		})
 	}
 
 	/**
@@ -877,7 +933,7 @@ function openDb<Rels extends SchemaRelations>(handle: DbHandle, theory: Schema<R
 	 */
 	function declaredKeyOf(relation: AnyRelation, statement: Statement): PrimaryKey {
 		const statementId = tables.statements.findIndex(function byIdentity(candidate) {
-			return candidate.statement === statement
+			return "statement" in candidate && candidate.statement === statement
 		})
 		const entry = tables.statements[statementId]
 		if (entry === undefined) {
@@ -1466,9 +1522,14 @@ const Db = Object.freeze({
 export type {
 	Abandon,
 	AbandonedArm,
+	CapacityViolation,
+	ContainmentViolation,
 	DeclaredKeyFact,
+	DeclaredKeyViolation,
 	DeltaBuild,
+	ImpliedKeyViolation,
 	MemberRelation,
+	MirrorViolation,
 	OffendingFact,
 	Prepared,
 	ReadScope,

package/src/index.ts

@@ -7,13 +7,13 @@
  * statement algebra with `schema()` and `SchemaSpec` lowering (PRD-06), the `Db`
  * runtime (exclusive-lock stores, transactions, typed violations, scoped
  * snapshot reads, one-shot `write`/`writeFrom` with `abandon` — PRD-07, zero
- * closables), the query surface (Datalog as values, kysely-shaped:
+ * closables), the query surface (kysely-shaped:
  * `query(S).rule(r => { const { id, name } = v(Holder); return r.match(Holder, { id, name }).find({ name }) })` —
  * variables minted by `v()` and joined by OBJECT REFERENCE (reuse is the
  * join), the head a `find` RECORD whose keys name the answer columns
  * (renames are real), params still STRING-named, plus negation,
  * conditions, aggregates, and interiors / one linear rec via
- * `q.interior` / `q.recursive` —
+ * `q.interior` / `q.reach` —
  * `db.prepare` as a plain value; the comparison/connective builders are
  * also free exports, and the free names `eq`/`not`/`and`/`or` collide with
  * common host identifiers — import aliasing is the answer; the SDK does
@@ -51,9 +51,14 @@ export { closed } from "#closed.ts"
 export type {
 	Abandon,
 	AbandonedArm,
+	CapacityViolation,
+	ContainmentViolation,
 	DeclaredKeyFact,
+	DeclaredKeyViolation,
 	DeltaBuild,
+	ImpliedKeyViolation,
 	MemberRelation,
+	MirrorViolation,
 	OffendingFact,
 	Prepared,
 	ReadScope,
@@ -132,6 +137,7 @@ export type {
 	Query,
 	QueryData,
 	QueryParams,
+	QueryReachStart,
 	QueryRelation,
 	QueryRow,
 	QueryRuleChain,

package/src/native.ts

@@ -73,14 +73,23 @@ type QueryParam = TaggedValue | { readonly kind: "set"; readonly values: readonl
 /**
  * The IR mirror (`bumbledb::ir`, 1:1): relations, fields, interiors, and
  * params by NUMERIC id — the SDK resolves names through the manifest and
- * sends ids; the bridge never sees names in queries.
+ * sends ids; the bridge never sees names in queries. Q1 is a tagged sum:
+ * CQ carries no rec; Reach carries `rec` by value.
  */
-interface QueryIr {
-	readonly interiors: readonly InteriorIr[]
-	readonly rec: RecIr | null
-	readonly head: readonly HeadTermIr[]
-	readonly rules: readonly RuleIr[]
-}
+type QueryIr =
+	| {
+			readonly kind: "cq"
+			readonly interiors: readonly InteriorIr[]
+			readonly head: readonly HeadTermIr[]
+			readonly rules: readonly RuleIr[]
+	  }
+	| {
+			readonly kind: "reach"
+			readonly interiors: readonly InteriorIr[]
+			readonly rec: RecIr
+			readonly head: readonly HeadTermIr[]
+			readonly rules: readonly RuleIr[]
+	  }
 
 /** One named interior: the head shape its rules align against, and the rules. */
 interface InteriorIr {
@@ -88,7 +97,7 @@ interface InteriorIr {
 	readonly rules: readonly RuleIr[]
 }
 
-/** The optional linear rec: shared head, base arms, rec arms. */
+/** The linear rec on a Reach query: shared head, base arms, rec arms. */
 interface RecIr {
 	readonly head: readonly HeadTermIr[]
 	readonly base: readonly RuleIr[]

package/src/query/atom.ts

@@ -207,7 +207,7 @@ interface RecHead {
 }
 
 /**
- * The optional linear rec's runtime description — identity keys the dense
+ * The linear rec's runtime description — identity keys the dense
  * `InteriorId` (`interiors.length`) at lowering. Base and rec arms are
  * nonempty by type and sealed in one assignment.
  */