@bjornpagen/bumbledb 0.12.0 → 0.14.0

package/COOKBOOK.md

@@ -1043,9 +1043,9 @@ const outcome = db.read(function attempt(snap) {
 			return abandon("nothing queued")
 		}
 		for (const row of queued) {
-			tx.delete(Job, { id: row.id, state: "Queued", payload: row.payload })
-			tx.insert(Job, { id: row.id, state: "Running", payload: row.payload })
-			tx.insert(Lease, { job: row.id, worker: 7n, until: 60n })
+			tx.delete(Job, [{ id: row.id, state: "Queued", payload: row.payload }])
+			tx.insert(Job, [{ id: row.id, state: "Running", payload: row.payload }])
+			tx.insert(Lease, [{ job: row.id, worker: 7n, until: 60n }])
 		}
 		return undefined
 	})
@@ -1599,9 +1599,11 @@ const db = await Db.create("./courses.db", KeyedRead)
 
 const minted: { grp?: bigint } = {}
 db.write((tx) => {
-	const g = tx.insert(Grp, { label: "algebra" })
-	tx.insert(Course, { grp: g.id, title: "linear equations" })
-	minted.grp = g.id
+	const g = tx.reserve(Grp, "id", 1n).at(0n)!
+	tx.insert(Grp, [{ id: g, label: "algebra" }])
+	const course = tx.reserve(Course, "id", 1n).at(0n)!
+	tx.insert(Course, [{ id: course, grp: g, title: "linear equations" }])
+	minted.grp = g
 })
 const grp = minted.grp ?? 0n
 
@@ -1616,8 +1618,8 @@ const viaSnap = db.read((snap) => snap.get(Course, courseGrpKey, { grp }))
 db.write((tx) => {
 	const current = tx.get(Course, courseGrpKey, { grp })
 	if (current !== undefined) {
-		tx.delete(Course, current)
-		tx.insert(Course, { id: current.id, grp: current.grp, title: "linear equations II" })
+		tx.delete(Course, [current])
+		tx.insert(Course, [{ id: current.id, grp: current.grp, title: "linear equations II" }])
 	}
 })
 

package/README.md

@@ -6,7 +6,7 @@ bumbledb models data as relations judged by statements (functionality, containme
 
 The surface is structural to the bone. Relation declarations are pure structure — kind, width, element, fresh, nothing else — and domains are never declared anywhere: **the laws type the columns**. `schema()` computes every field's equivalence class from the statement list itself, so the containments and mirrors you already write ARE the typing, at compile time and again at construction. Values stay bare (`bigint`, `string`, …); identity lives in the class the laws compute, not in a wrapper.
 
-> **Research-grade, one platform.** This is a `0.x` release of an embedded engine under active development. It targets a single platform today (below), the API is not yet frozen across `0.x`, and the FFI ABI is pinned exactly per version. Treat it as an early adopter's tool, not a production datastore.
+> **Research-grade, one platform.** This is **0.14.0**, a `0.x` release of an embedded engine under active development. It targets a single platform today (below), the API is not yet frozen across `0.x`, and the FFI ABI is pinned exactly per version (`bdb_abi_version()` is **2** — collection insert/delete, `reserve`). Treat it as an early adopter's tool, not a production datastore.
 
 ## Platform support
 
@@ -63,8 +63,9 @@ const db = await Db.create("./review.db", Review)
 // column takes the handle name — a wrong string is a compile error AND a
 // marshal refusal.
 const result = db.write((tx) => {
-	const attempt = tx.insert(Attempt, { kind: "DirectPass" }) // attempt.id minted, a bare bigint
-	tx.insert(Certificate, { attempt: attempt.id, kind: "DirectPass" })
+	const id = tx.reserve(Attempt, "id", 1n).at(0n)!
+	tx.insert(Attempt, [{ id, kind: "DirectPass" }])
+	tx.insert(Certificate, [{ attempt: id, kind: "DirectPass" }])
 })
 
 // Rejection-as-data: no throw — a rejected commit is a typed value carrying
@@ -128,7 +129,7 @@ The drizzle law governs this surface: the SDK's job at the host boundary is tran
 
 - The structural type kernel — fields as pure structure (`bool`, `bytes`, `i64`, `u64`, `str`, `interval`, `span`), `relation()`, and `closed()` sealed rosters with typed axiom payloads. A closed reference's value type IS the handle union (`Infer` speaks it); dispatch is native `switch` narrowing with `satisfies never` exhaustiveness. Domains are never declared: `schema()` computes every field's class from the statement list.
 - The statement algebra — `schema()`, `key`, `contained`, `mirrors`, `capacity`; faces via `on` (set membership is a plain array in `.where`); windows via `within` (`within(n)` exact, `within(lo, hi)` range, `within(lo, "*")` floor), measures via `weigh` (`weigh("f")` a u64 field, `weigh(duration("f"))` an interval's measure), dependent bounds via `ref`/`duration` read from the target row; ψ-selection via `.where` on relations and closed rosters.
-- The `Db` runtime — `Db.create`/`Db.open` (exclusive-lock stores; a second open of the same path is `EnvironmentLocked`), transactions, typed violations, scoped snapshot reads (`db.read(fn)`, or `using snap = db.read()` — lifetimes are disposables, never `close()`), the write verbs with `abandon` (returning `abandon(payload)` from `write` or `writeFrom` rolls the transaction back; the outcome arm is in the result type).
+- The `Db` runtime — `Db.create`/`Db.open` (exclusive-lock stores; a second open of the same path is `EnvironmentLocked`), transactions, typed violations, scoped snapshot reads (`db.read(fn)`, or `using snap = db.read()` — lifetimes are disposables, never `close()`), the write verbs with `abandon` (returning `abandon(payload)` from `write` or `writeFrom` rolls the transaction back; the outcome arm is in the result type). Collection writes: `tx.insert(Rel, [{...}])` / `tx.delete(Rel, facts)` return `MutationReport { submitted, changed }`; mint is `tx.reserve(Rel, field, 1n)` (empty is not a minted id). ETL is a host loop of `write`.
 - The query surface — `query(S).rule(r => ...)`: `v(R)`-minted vars (identity is the object reference — reusing one across binding positions IS the join), `find({...})` named result heads (renames are real), params typed by use unchanged, negation, aggregates, and the free comparison/connective exports (`eq`, `ne`, `lt`, `le`, `gt`, `ge`, `and`, `or`, `not`, `allen`/`ALLEN`, `pointIn`); set membership at a closed field is a plain array in the match record (`r.match(Ticket, { priority: ["Normal", "Urgent"] })` — closed-only there: an ordinary field's membership is a bound `r.inSet` param); named interiors and one linear rec via `q.interior` / `q.reach`; `db.prepare` as a plain value.
 - The exhume surface — `Db.exhume`, the schema-independent read path: a store's self-described shapes and raw facts by name, with typed refusals (`ErrExhumeNoDescriptor`, `ErrExhumeFormatMismatch`, `ErrExhumeCorruption`). A disposable lifetime: `using exhumed = await Db.exhume(path)` releases the store's exclusive lock at scope exit.
 

package/dist/capacity.d.ts

@@ -34,8 +34,8 @@
  * crosses as bigint always, PRD-04's law); the witnessed measure comes
  * back as `bigint` too (u128-wide engine accumulator, C3).
  */
-import type { AnyFace, FaceFields, FaceSource, ProjectedShape } from "#face.ts";
-import type { CapacityWindowSpec, WeightSpec } from "#spec.ts";
+import type { AnyFace, FaceFields, FaceSource, ProjectedShape } from "./face.js";
+import type { CapacityWindowSpec, WeightSpec } from "./spec.js";
 /**
  * The admission brand — a module-private symbol, deliberately unexported
  * (the standing statement-mint pattern): `CapacityWindowSpec` and

package/dist/closed.d.ts

@@ -29,10 +29,10 @@
  * unwritable by construction: the value simply lacks the writable relation
  * shape.
  */
-import { type AnyField, type ClosedIdField, type Infer } from "#fields.ts";
-import type { AnyRelation, RelationField } from "#relation.ts";
-import { type SelectionBinding, type SelectionInput } from "#relation.ts";
-import type { LiteralSpec } from "#spec.ts";
+import { type AnyField, type ClosedIdField, type Infer } from "./fields.js";
+import type { AnyRelation, RelationField } from "./relation.js";
+import { type SelectionBinding, type SelectionInput } from "./relation.js";
+import type { LiteralSpec } from "./spec.js";
 /**
  * A payload column of a closed relation: any field descriptor except a
  * fresh-marked one (a vocabulary's rows are ground axioms, never minted).

package/dist/db.d.ts

@@ -29,20 +29,45 @@
  * marshal shape, a moved generation on {@link Db.writeFrom} — throw
  * `@superbuilders/errors` wrapped errors instead.
  */
-import type { Exhumed } from "#exhume.ts";
-import { type KeyFact, type Minted } from "#marshal.ts";
-import type { FactValue } from "#native.ts";
-import type { Query } from "#query/lower.ts";
-import type { ParamsRecord } from "#query/scope.ts";
-import type { AnyRelation, Fact, InsertFact } from "#relation.ts";
-import type { Schema, SchemaRelations } from "#schema.ts";
-import { type KeyStatement, type Statement } from "#statements.ts";
+import type { Exhumed } from "./exhume.js";
+import { type KeyFact } from "./marshal.js";
+import type { FactValue } from "./native.js";
+import type { Query } from "./query/lower.js";
+import type { ParamsRecord } from "./query/scope.js";
+import type { AnyRelation, Fact, FreshKeys } from "./relation.js";
+import type { Schema, SchemaRelations } from "./schema.js";
+import { type KeyStatement, type Statement } from "./statements.js";
 /**
  * The ordinary (writable, scannable) relations of a schema's record — the
  * only values the runtime methods accept: closed relations lack the
  * relation shape entirely, so passing one is a type error.
  */
 type MemberRelation<Rels extends SchemaRelations> = Extract<Rels[keyof Rels], AnyRelation>;
+/**
+ * Facts consumed vs facts that changed the in-memory final-state view.
+ * The length-1 report is `{ submitted: 1n, changed: 0n | 1n }`.
+ */
+interface MutationReport {
+    readonly submitted: bigint;
+    readonly changed: bigint;
+}
+/**
+ * Half-open fresh-id range from one `reserve`. Empty cannot yield a
+ * minted id — `start` exists only on the nonempty arm.
+ */
+type FreshRange = {
+    readonly empty: true;
+    readonly count: 0n;
+    at(index: bigint): undefined;
+    [Symbol.iterator](): IterableIterator<bigint>;
+} | {
+    readonly empty: false;
+    readonly start: bigint;
+    readonly endExclusive: bigint;
+    readonly count: bigint;
+    at(index: bigint): bigint | undefined;
+    [Symbol.iterator](): IterableIterator<bigint>;
+};
 /**
  * The key object of a key-statement-selected `get`: exactly the selected
  * `key()` statement's projection fields, each at the relation's own BARE
@@ -65,52 +90,77 @@ interface OffendingFact<Rels extends SchemaRelations> {
     readonly fact: Readonly<Record<string, FactValue>>;
 }
 /**
- * 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 Violation<Rels extends SchemaRelations> = {
-    readonly kind: "functionality";
-    readonly statement?: Statement;
+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 canonical: string;
+    readonly statement: Statement;
     readonly direction: "sourceUnsatisfied" | "targetRequired";
-    readonly facts: readonly OffendingFact<Rels>[];
-} | {
+};
+/**
+ * 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 canonical: string;
+    readonly statement: Statement;
     readonly direction: "sourceUnsatisfied" | "targetRequired";
     readonly orientation: "written" | "mirrored";
-    readonly facts: readonly OffendingFact<Rels>[];
-} | {
+};
+/**
+ * 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 canonical: string;
+    readonly statement: Statement;
     readonly measure: bigint;
-    readonly facts: readonly OffendingFact<Rels>[];
 };
+/**
+ * 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> = ImpliedKeyViolation<Rels> | DeclaredKeyViolation<Rels> | ContainmentViolation<Rels> | MirrorViolation<Rels> | CapacityViolation<Rels>;
 /**
  * The abandoned arm of a write result (ruled 2026-07-23, R10): present in
  * the type EXACTLY when the callback can abandon — the conditional
@@ -179,23 +229,22 @@ declare function abandon<P>(payload: P): Abandon<P>;
  */
 interface Tx<Rels extends SchemaRelations> {
     /**
-     * Records one insert. Omitted fresh fields are MINTED through the
-     * engine's alloc lane and returned as bare bigints; supplying them instead
-     * preserves identity (the resupply idiom). Returns `{ changed, ...fresh }`
-     * (ruled 2026-07-23, R11): the engine's changed-state report — the Rust
-     * surface's `insert(&fact) -> bool` bijection `delete` always honored —
-     * beside the relation's fresh cells, minted or resupplied. The
-     * idempotent-replay lane reads the bit from the insert itself; no extra
-     * `contains` round trip exists. The flattened shape cannot carry a FRESH
-     * cell literally named `changed` beside the report, so admission refuses
-     * that one spelling ({@link refuseShadowedChanged}) — never a silent
-     * shadow here.
+     * Records a collection of inserts. Singleton is `[fact]`. Empty is
+     * lawful. Returns how many facts were consumed and how many changed
+     * the in-memory final-state view. Every fact is complete — omitted
+     * fresh cells are a type error; mint first with {@link Tx.reserve}.
+     */
+    insert<R extends MemberRelation<Rels>>(relation: R, facts: Iterable<Fact<R>>): MutationReport;
+    /**
+     * Records a collection of deletes. Singleton is `[fact]`. Returns
+     * how many facts were consumed and how many changed the view.
+     */
+    delete<R extends MemberRelation<Rels>>(relation: R, facts: Iterable<Fact<R>>): MutationReport;
+    /**
+     * Mints `count` consecutive fresh values for a `.fresh` field.
+     * `count === 0n` is empty and does not yield a start.
      */
-    insert<R extends MemberRelation<Rels>>(relation: R, fact: InsertFact<R>): {
-        readonly changed: boolean;
-    } & Minted<R>;
-    /** Records one delete; `true` iff the final state changed. */
-    delete<R extends MemberRelation<Rels>>(relation: R, fact: Fact<R>): boolean;
+    reserve<R extends MemberRelation<Rels>>(relation: R, field: FreshKeys<R> & string, count: bigint): FreshRange;
     /** Final-state membership of one complete fact. */
     contains<R extends MemberRelation<Rels>>(relation: R, fact: Fact<R>): boolean;
     /**
@@ -392,6 +441,6 @@ declare const Db: Readonly<{
      */
     exhume(storePath: string): Promise<Exhumed>;
 }>;
-export type { Abandon, AbandonedArm, DeclaredKeyFact, DeltaBuild, MemberRelation, OffendingFact, Prepared, ReadScope, Tx, Violation, WriteResult };
+export type { Abandon, AbandonedArm, CapacityViolation, ContainmentViolation, DeclaredKeyFact, DeclaredKeyViolation, DeltaBuild, FreshRange, ImpliedKeyViolation, MemberRelation, MirrorViolation, MutationReport, OffendingFact, Prepared, ReadScope, Tx, Violation, WriteResult };
 export { abandon, Db, ErrGenerationMoved, ErrNewtypeMismatch };
 //# sourceMappingURL=db.d.ts.map

package/dist/db.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"db.d.ts","sourceRoot":"","sources":["../src/db.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAKH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAIzC,OAAO,EAKN,KAAK,OAAO,EAEZ,KAAK,MAAM,EAGX,MAAM,aAAa,CAAA;AAEpB,OAAO,KAAK,EAEX,SAAS,EAOT,MAAM,YAAY,CAAA;AAGnB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAG5C,OAAO,KAAK,EAAc,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAC/D,OAAO,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AACjE,OAAO,KAAK,EAAa,MAAM,EAAkB,eAAe,EAAE,MAAM,YAAY,CAAA;AACpF,OAAO,EAAe,KAAK,YAAY,EAAE,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAE/E;;;;GAIG;AACH,KAAK,cAAc,CAAC,IAAI,SAAS,eAAe,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,WAAW,CAAC,CAAA;AAE1F;;;;;GAKG;AACH,KAAK,eAAe,CAAC,CAAC,SAAS,WAAW,EAAE,UAAU,SAAS,SAAS,MAAM,EAAE,IAAI;IACnF,QAAQ,EAAE,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC9D,CAAA;AAED;;;;;;;GAOG;AACH,UAAU,aAAa,CAAC,IAAI,SAAS,eAAe;IACnD,QAAQ,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,CAAA;IACtC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;CAClD;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,KAAK,SAAS,CAAC,IAAI,SAAS,eAAe,IACxC;IACA,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;IAC9B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;CAC7C,GACD;IACA,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,SAAS,EAAE,mBAAmB,GAAG,gBAAgB,CAAA;IAC1D,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;CAC7C,GACD;IACA,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,SAAS,EAAE,mBAAmB,GAAG,gBAAgB,CAAA;IAC1D,QAAQ,CAAC,WAAW,EAAE,SAAS,GAAG,UAAU,CAAA;IAC5C,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;CAC7C,GACD;IACA,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;CAC7C,CAAA;AAEJ;;;;;;GAMG;AACH,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAA;CAAE,GAAG,KAAK,CAAA;AAEzG;;;;;;;;GAQG;AACH,KAAK,WAAW,CAAC,IAAI,SAAS,eAAe,EAAE,CAAC,GAAG,IAAI,IACpD;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,CAAC,IAAI,CAAC,EAAE,CAAA;CAAE,GACvE,YAAY,CAAC,CAAC,CAAC,CAAA;AAElB;;;;;GAKG;AACH,KAAK,UAAU,CAAC,IAAI,SAAS,eAAe,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAE7E;;;;GAIG;AACH,QAAA,MAAM,WAAW,EAAE,OAAO,MAAmC,CAAA;AAE7D;;;;;;GAMG;AACH,UAAU,OAAO,CAAC,CAAC;IAClB,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,IAAI,CAAA;IAC5B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CACnB;AAED;;;;;;GAMG;AACH,iBAAS,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAE1C;AA8CD;;;;;;GAMG;AACH,UAAU,EAAE,CAAC,IAAI,SAAS,eAAe;IACxC;;;;;;;;;;;;OAYG;IACH,MAAM,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;IACnH,8DAA8D;IAC9D,MAAM,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAA;IAC3E,mDAAmD;IACnD,QAAQ,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAA;IAC7E;;;OAGG;IACH,GAAG,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IACtF;;;;OAIG;IACH,GAAG,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EACpE,QAAQ,EAAE,CAAC,EACX,YAAY,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,GAAG,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GACxB,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;CACtB;AAED;;;;;;;;;GASG;AACH,UAAU,SAAS,CAAC,IAAI,SAAS,eAAe,CAAE,SAAQ,UAAU;IACnE;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,8EAA8E;IAC9E,IAAI,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;IAC5D;;;OAGG;IACH,GAAG,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IACtF;;;;OAIG;IACH,GAAG,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EACpE,QAAQ,EAAE,CAAC,EACX,YAAY,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,GAAG,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GACxB,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IACtB,uDAAuD;IACvD,QAAQ,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAA;IAC7E;;;;;OAKG;IACH,OAAO,CAAC,GAAG,EAAE,MAAM,SAAS,YAAY,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,GAAG,EAAE,CAAA;CACvG;AAED;;;;;;;GAOG;AACH,QAAA,MAAM,aAAa,EAAE,OAAO,MAA0C,CAAA;AAEtE;;;;;;;;;GASG;AACH,UAAU,QAAQ,CAAC,IAAI,SAAS,eAAe,EAAE,GAAG,EAAE,MAAM,SAAS,YAAY;IAChF,QAAQ,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;CAC9F;AAED;;;;;;GAMG;AACH,UAAU,EAAE,CAAC,IAAI,SAAS,eAAe;IACxC,kFAAkF;IAClF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;IAC7B;;;;;OAKG;IACH,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC5C;;;;;;OAMG;IACH,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,CAAA;IACvB,4EAA4E;IAC5E,IAAI,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;IAC5D,gFAAgF;IAChF,GAAG,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IACtF,kGAAkG;IAClG,GAAG,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EACpE,QAAQ,EAAE,CAAC,EACX,YAAY,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,GAAG,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GACxB,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IACtB,0FAA0F;IAC1F,QAAQ,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAA;IAC7E,kGAAkG;IAClG,OAAO,CAAC,GAAG,EAAE,MAAM,SAAS,YAAY,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,GAAG,EAAE,CAAA;IACvG;;;;;;;;OAQG;IACH,KAAK,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAC9D;;;;;;;OAOG;IACH,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAClF;;;;;;OAMG;IACH,OAAO,CAAC,GAAG,EAAE,MAAM,SAAS,YAAY,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAA;CACnG;AAkTD;;;;GAIG;AACH,QAAA,MAAM,kBAAkB,OAEvB,CAAA;AAylBD;;;;;;;;;GASG;AACH,QAAA,MAAM,kBAAkB,OAEvB,CAAA;AA4DD;;;;;;;;GAQG;AACH,QAAA,MAAM,EAAE;IACP,+DAA+D;WAClD,IAAI,SAAS,eAAe,QAAQ,MAAM,UAAU,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAGjG;;;;;;;;OAQG;SACQ,IAAI,SAAS,eAAe,QAAQ,MAAM,UAAU,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAG/F;;;;;;;;;;;OAWG;sBACqB,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;EAGhD,CAAA;AAEF,YAAY,EACX,OAAO,EACP,YAAY,EACZ,eAAe,EACf,UAAU,EACV,cAAc,EACd,aAAa,EACb,QAAQ,EACR,SAAS,EACT,EAAE,EACF,SAAS,EACT,WAAW,EACX,CAAA;AACD,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,CAAA"}
+{"version":3,"file":"db.d.ts","sourceRoot":"","sources":["../src/db.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAKH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAIzC,OAAO,EAAkC,KAAK,OAAO,EAA6B,MAAM,aAAa,CAAA;AAErG,OAAO,KAAK,EAEX,SAAS,EAQT,MAAM,YAAY,CAAA;AAGnB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAG5C,OAAO,KAAK,EAAc,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAC/D,OAAO,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAChE,OAAO,KAAK,EAAa,MAAM,EAAkB,eAAe,EAAE,MAAM,YAAY,CAAA;AACpF,OAAO,EAAe,KAAK,YAAY,EAAE,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAE/E;;;;GAIG;AACH,KAAK,cAAc,CAAC,IAAI,SAAS,eAAe,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,WAAW,CAAC,CAAA;AAE1F;;;GAGG;AACH,UAAU,cAAc;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACxB;AAED;;;GAGG;AACH,KAAK,UAAU,GACZ;IACA,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;IACpB,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAA;IAClB,EAAE,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,gBAAgB,CAAC,MAAM,CAAC,CAAA;CAC5C,GACD;IACA,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,EAAE,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IACrC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,gBAAgB,CAAC,MAAM,CAAC,CAAA;CAC5C,CAAA;AAqCJ;;;;;GAKG;AACH,KAAK,eAAe,CAAC,CAAC,SAAS,WAAW,EAAE,UAAU,SAAS,SAAS,MAAM,EAAE,IAAI;IACnF,QAAQ,EAAE,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC9D,CAAA;AAED;;;;;;;GAOG;AACH,UAAU,aAAa,CAAC,IAAI,SAAS,eAAe;IACnD,QAAQ,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,CAAA;IACtC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;CAClD;AAED;;;;;;GAMG;AACH,KAAK,aAAa,CAAC,IAAI,SAAS,eAAe,IAAI;IAClD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;CAC9C,CAAA;AAED;;;;GAIG;AACH,KAAK,mBAAmB,CAAC,IAAI,SAAS,eAAe,IAAI,aAAa,CAAC,IAAI,CAAC,GAAG;IAC9E,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;CAC7B,CAAA;AAED;;;GAGG;AACH,KAAK,oBAAoB,CAAC,IAAI,SAAS,eAAe,IAAI,aAAa,CAAC,IAAI,CAAC,GAAG;IAC/E,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;CAC7B,CAAA;AAED;;;GAGG;AACH,KAAK,oBAAoB,CAAC,IAAI,SAAS,eAAe,IAAI,aAAa,CAAC,IAAI,CAAC,GAAG;IAC/E,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,SAAS,EAAE,mBAAmB,GAAG,gBAAgB,CAAA;CAC1D,CAAA;AAED;;;;;;;;;GASG;AACH,KAAK,eAAe,CAAC,IAAI,SAAS,eAAe,IAAI,aAAa,CAAC,IAAI,CAAC,GAAG;IAC1E,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,SAAS,EAAE,mBAAmB,GAAG,gBAAgB,CAAA;IAC1D,QAAQ,CAAC,WAAW,EAAE,SAAS,GAAG,UAAU,CAAA;CAC5C,CAAA;AAED;;;;GAIG;AACH,KAAK,iBAAiB,CAAC,IAAI,SAAS,eAAe,IAAI,aAAa,CAAC,IAAI,CAAC,GAAG;IAC5E,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACxB,CAAA;AAED;;;;;;;GAOG;AACH,KAAK,SAAS,CAAC,IAAI,SAAS,eAAe,IACxC,mBAAmB,CAAC,IAAI,CAAC,GACzB,oBAAoB,CAAC,IAAI,CAAC,GAC1B,oBAAoB,CAAC,IAAI,CAAC,GAC1B,eAAe,CAAC,IAAI,CAAC,GACrB,iBAAiB,CAAC,IAAI,CAAC,CAAA;AAE1B;;;;;;GAMG;AACH,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAA;CAAE,GAAG,KAAK,CAAA;AAEzG;;;;;;;;GAQG;AACH,KAAK,WAAW,CAAC,IAAI,SAAS,eAAe,EAAE,CAAC,GAAG,IAAI,IACpD;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,CAAC,IAAI,CAAC,EAAE,CAAA;CAAE,GACvE,YAAY,CAAC,CAAC,CAAC,CAAA;AAElB;;;;;GAKG;AACH,KAAK,UAAU,CAAC,IAAI,SAAS,eAAe,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAE7E;;;;GAIG;AACH,QAAA,MAAM,WAAW,EAAE,OAAO,MAAmC,CAAA;AAE7D;;;;;;GAMG;AACH,UAAU,OAAO,CAAC,CAAC;IAClB,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,IAAI,CAAA;IAC5B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CACnB;AAED;;;;;;GAMG;AACH,iBAAS,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAE1C;AA8CD;;;;;;GAMG;AACH,UAAU,EAAE,CAAC,IAAI,SAAS,eAAe;IACxC;;;;;OAKG;IACH,MAAM,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc,CAAA;IAC7F;;;OAGG;IACH,MAAM,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc,CAAA;IAC7F;;;OAGG;IACH,OAAO,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CAAA;IAC7G,mDAAmD;IACnD,QAAQ,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAA;IAC7E;;;OAGG;IACH,GAAG,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IACtF;;;;OAIG;IACH,GAAG,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EACpE,QAAQ,EAAE,CAAC,EACX,YAAY,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,GAAG,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GACxB,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;CACtB;AAED;;;;;;;;;GASG;AACH,UAAU,SAAS,CAAC,IAAI,SAAS,eAAe,CAAE,SAAQ,UAAU;IACnE;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,8EAA8E;IAC9E,IAAI,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;IAC5D;;;OAGG;IACH,GAAG,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IACtF;;;;OAIG;IACH,GAAG,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EACpE,QAAQ,EAAE,CAAC,EACX,YAAY,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,GAAG,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GACxB,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IACtB,uDAAuD;IACvD,QAAQ,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAA;IAC7E;;;;;OAKG;IACH,OAAO,CAAC,GAAG,EAAE,MAAM,SAAS,YAAY,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,GAAG,EAAE,CAAA;CACvG;AAED;;;;;;;GAOG;AACH,QAAA,MAAM,aAAa,EAAE,OAAO,MAA0C,CAAA;AAEtE;;;;;;;;;GASG;AACH,UAAU,QAAQ,CAAC,IAAI,SAAS,eAAe,EAAE,GAAG,EAAE,MAAM,SAAS,YAAY;IAChF,QAAQ,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;CAC9F;AAED;;;;;;GAMG;AACH,UAAU,EAAE,CAAC,IAAI,SAAS,eAAe;IACxC,kFAAkF;IAClF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;IAC7B;;;;;OAKG;IACH,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC5C;;;;;;OAMG;IACH,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,CAAA;IACvB,4EAA4E;IAC5E,IAAI,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;IAC5D,gFAAgF;IAChF,GAAG,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IACtF,kGAAkG;IAClG,GAAG,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EACpE,QAAQ,EAAE,CAAC,EACX,YAAY,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,GAAG,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GACxB,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IACtB,0FAA0F;IAC1F,QAAQ,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAA;IAC7E,kGAAkG;IAClG,OAAO,CAAC,GAAG,EAAE,MAAM,SAAS,YAAY,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,GAAG,EAAE,CAAA;IACvG;;;;;;;;OAQG;IACH,KAAK,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAC9D;;;;;;;OAOG;IACH,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAClF;;;;;;OAMG;IACH,OAAO,CAAC,GAAG,EAAE,MAAM,SAAS,YAAY,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAA;CACnG;AA4TD;;;;GAIG;AACH,QAAA,MAAM,kBAAkB,OAEvB,CAAA;AAslBD;;;;;;;;;GASG;AACH,QAAA,MAAM,kBAAkB,OAEvB,CAAA;AAsCD;;;;;;;;GAQG;AACH,QAAA,MAAM,EAAE;IACP,+DAA+D;WAClD,IAAI,SAAS,eAAe,QAAQ,MAAM,UAAU,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAGjG;;;;;;;;OAQG;SACQ,IAAI,SAAS,eAAe,QAAQ,MAAM,UAAU,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAG/F;;;;;;;;;;;OAWG;sBACqB,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;EAGhD,CAAA;AAEF,YAAY,EACX,OAAO,EACP,YAAY,EACZ,iBAAiB,EACjB,oBAAoB,EACpB,eAAe,EACf,oBAAoB,EACpB,UAAU,EACV,UAAU,EACV,mBAAmB,EACnB,cAAc,EACd,eAAe,EACf,cAAc,EACd,aAAa,EACb,QAAQ,EACR,SAAS,EACT,EAAE,EACF,SAAS,EACT,WAAW,EACX,CAAA;AACD,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,CAAA"}

package/dist/db.js

@@ -35,11 +35,45 @@ import { isClosedMember, sealedFieldsOf } from "#closed.ts";
 import { exhumeStore } from "#exhume.ts";
 import { rosterOf } from "#fields.ts";
 import { lower } from "#lower.ts";
-import { factOf, handleOf, isFreshField, isInserted, keyRowOf, recordOf, rowOf } from "#marshal.ts";
+import { factOf, handleOf, isFreshField, keyRowOf, recordOf, rowOf } from "#marshal.ts";
 import { bridged, native } from "#native.ts";
 import { lowerQuery } from "#query/lower.ts";
 import { decodeAnswers, wireParams } from "#query/run.ts";
 import { isStatement } from "#statements.ts";
+function freshRangeOf(wire) {
+    if (wire.empty) {
+        return Object.freeze({
+            empty: true,
+            count: 0n,
+            at(_index) {
+                return undefined;
+            },
+            *[Symbol.iterator]() { }
+        });
+    }
+    const start = wire.start;
+    const endExclusive = wire.endExclusive;
+    const count = endExclusive - start;
+    return Object.freeze({
+        empty: false,
+        start,
+        endExclusive,
+        get count() {
+            return count;
+        },
+        at(index) {
+            if (index < 0n || index >= count) {
+                return undefined;
+            }
+            return start + index;
+        },
+        *[Symbol.iterator]() {
+            for (let id = start; id < endExclusive; id++) {
+                yield id;
+            }
+        }
+    });
+}
 /**
  * The runtime discriminant of {@link Abandon} values — a property probe is
  * how `write`/`writeFrom` distinguish "abort without committing" from an
@@ -302,36 +336,6 @@ const planReclaimer = new FinalizationRegistry(function reclaimPlan(handle) {
  * policy. Match with `errors.is`.
  */
 const ErrGenerationMoved = errors.new("bumbledb generationMoved: a state-changing commit landed since the witness snapshot");
-/**
- * Fills one insert's omitted fresh cells through the engine's
- * alloc-then-insert dyn lane (there is no insert-with-omitted-fields wire
- * spelling) and collects every fresh cell — minted or resupplied — for the
- * insert's return. Mutates `values` in place with the minted cells.
- */
-function mintFreshCells(txHandle, entry, relation, values) {
-    const fresh = {};
-    for (const declared of relation.data.fields) {
-        if (!isFreshField(declared.field)) {
-            continue;
-        }
-        let cell = values[declared.name];
-        if (cell === undefined) {
-            const fieldId = entry.fieldIds.get(declared.name);
-            if (fieldId === undefined) {
-                throw errors.new(`bumbledb manifest drift: relation ${relation.name} has no field id for ${declared.name}`);
-            }
-            cell = bridged("bumbledb tx alloc", function mint() {
-                return native.txAlloc(txHandle, entry.id, fieldId);
-            });
-            values[declared.name] = cell;
-        }
-        if (typeof cell !== "bigint") {
-            throw errors.new(`relation ${relation.name} field ${declared.name}: a fresh cell is a u64 bigint, got ${typeof cell}`);
-        }
-        fresh[declared.name] = cell;
-    }
-    return fresh;
-}
 /**
  * Constructs one open `Db` over an already-admitted handle: builds the
  * id-resolution tables once and closes over them — the `Db` owns handle
@@ -380,16 +384,24 @@ function openDb(handle, theory, manifest) {
             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`);
@@ -397,14 +409,20 @@ function openDb(handle, theory, manifest) {
         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
+        });
     }
     /**
      * Resolves a key-statement-selected read: the statement must be the
@@ -415,7 +433,7 @@ function openDb(handle, theory, manifest) {
      */
     function declaredKeyOf(relation, statement) {
         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) {
@@ -640,35 +658,55 @@ function openDb(handle, theory, manifest) {
                 });
             }
         });
-        function insert(relation, fact) {
+        function insert(relation, facts) {
             assertLive();
+            const rows = [];
+            for (const fact of facts) {
+                rows.push(rowOf(relation.data, recordOf(fact)));
+            }
             const entry = resolveOrdinary(relation);
             const txHandle = resolveTx();
-            /** The one spread copy of the write path: `mintFreshCells` writes minted cells in place, and they must never land in the caller's own fact object. */
-            const values = { ...recordOf(fact) };
-            const fresh = mintFreshCells(txHandle, entry, relation, values);
-            const row = rowOf(relation.data, values);
-            const changed = bridged("bumbledb tx insert", function record() {
-                return native.txInsert(txHandle, entry.id, row);
+            const report = bridged("bumbledb tx insert", function record() {
+                return native.txInsert(txHandle, entry.id, rows);
             });
-            const inserted = Object.freeze({ changed, ...fresh });
-            if (!isInserted(relation, inserted)) {
-                throw errors.new(`relation ${relation.name}: insert return record is incomplete`);
+            return Object.freeze({ submitted: report.submitted, changed: report.changed });
+        }
+        function remove(relation, facts) {
+            assertLive();
+            const rows = [];
+            for (const fact of facts) {
+                rows.push(rowOf(relation.data, recordOf(fact)));
             }
-            return inserted;
+            const entry = resolveOrdinary(relation);
+            const txHandle = resolveTx();
+            const report = bridged("bumbledb tx delete", function record() {
+                return native.txDelete(txHandle, entry.id, rows);
+            });
+            return Object.freeze({ submitted: report.submitted, changed: report.changed });
         }
-        function remove(relation, fact) {
+        function reserve(relation, field, count) {
             assertLive();
             const entry = resolveOrdinary(relation);
+            const declared = relation.data.fields.find(function byName(candidate) {
+                return candidate.name === field;
+            });
+            if (declared === undefined || !isFreshField(declared.field)) {
+                throw errors.new(`relation ${relation.name}: field ${field} is not a fresh cell`);
+            }
+            const fieldId = entry.fieldIds.get(field);
+            if (fieldId === undefined) {
+                throw errors.new(`bumbledb manifest drift: relation ${relation.name} has no field id for ${field}`);
+            }
             const txHandle = resolveTx();
-            const row = rowOf(relation.data, recordOf(fact));
-            return bridged("bumbledb tx delete", function record() {
-                return native.txDelete(txHandle, entry.id, row);
+            const range = bridged("bumbledb tx reserve", function mint() {
+                return native.txReserve(txHandle, entry.id, fieldId, count);
             });
+            return freshRangeOf(range);
         }
         const tx = Object.freeze({
             insert,
             delete: remove,
+            reserve,
             contains: reads.contains,
             get: reads.get
         });
@@ -821,24 +859,6 @@ function openDb(handle, theory, manifest) {
  * what the types claim.
  */
 const ErrNewtypeMismatch = errors.new("bumbledb newtypeMismatch: a statement pairs faces whose newtypes disagree — the faces of a dependency agree on their newtype, or neither carries one");
-/**
- * `Tx.insert` returns the flattened `{ changed, ...fresh }` record (R11),
- * where the spread wins: a FRESH field literally named `changed` would
- * shadow the engine's changed-state report on every insert of its
- * relation. No field name is reserved SILENTLY — the one unspeakable
- * spelling is refused here at admission, before any store is touched.
- * Supplied (non-fresh) fields named `changed` never enter the return
- * record and stay legal.
- */
-function refuseShadowedChanged(theory) {
-    for (const [name, member] of Object.entries(theory.relations)) {
-        for (const declared of sealedFieldsOf(member)) {
-            if (declared.name === "changed" && isFreshField(declared.field)) {
-                throw errors.new(`relation ${name}: a fresh field named "changed" would shadow tx.insert's changed-state report in its { changed, ...fresh } return (R11) — rename the fresh field; a supplied field named "changed" stays legal (only fresh cells ride the return)`);
-            }
-        }
-    }
-}
 /**
  * The one admission path both verbs share: lower the theory, run one
  * bridge call, and wrap the domain refusals — `schemaError` (spec
@@ -851,7 +871,6 @@ function refuseShadowedChanged(theory) {
  * "another live handle holds this environment's lock".
  */
 function admit(verb, storePath, theory) {
-    refuseShadowedChanged(theory);
     const canonical = path.resolve(storePath);
     const spec = lower(theory);
     const opened = bridged(`${verb} bumbledb store at ${canonical}`, function callBridge() {