@bjornpagen/bumbledb 1.1.0 → 1.2.0

package/dist/db-native.d.ts

@@ -6,6 +6,7 @@
  * and joins any of them. Close verbs report the real drain outcome through
  * `CloseWire`.
  */
+import type { ChangeCounts } from "./changes.js";
 import type { DbHandle, ParsedQuery, QueryParam, SealedDescriptor, Violation } from "./native.js";
 import { native } from "./native.js";
 import type { CellValue } from "./rows.js";
@@ -29,6 +30,9 @@ export interface DraftHandle {
 export interface ChangesHandle {
     readonly __changes: unique symbol;
 }
+export interface ChangesCursorHandle {
+    readonly __changesCursor: unique symbol;
+}
 /** The core-local witness: catalog/store identity plus generation, never a StateStamp. */
 export interface WitnessWire {
     readonly store: string;
@@ -55,6 +59,20 @@ export type ApplyOutcomeWire = {
     readonly witnessed: WitnessWire;
     readonly current: WitnessWire;
 };
+export type JudgeOutcomeWire = {
+    readonly tag: "admitted";
+    readonly base: WitnessWire;
+    readonly changes: ChangeCounts;
+} | {
+    readonly tag: "invariant-rejected";
+    readonly base: WitnessWire;
+    readonly changes: ChangeCounts;
+    readonly violations: readonly Violation[];
+} | {
+    readonly tag: "moved";
+    readonly witnessed: WitnessWire;
+    readonly current: WitnessWire;
+};
 /** Bounded database diagnostics: measurements, never retained row payloads. */
 export interface DbInspectionWire {
     readonly generation: bigint;
@@ -68,6 +86,13 @@ export interface SnapshotWire {
 export interface ChangesWire {
     readonly changes: ChangesHandle;
     readonly fingerprint: string;
+    readonly counts: ChangeCounts;
+    readonly byteLength: bigint;
+}
+export interface ChangeRecordWire {
+    readonly relation: number;
+    readonly kind: "add" | "remove";
+    readonly values: readonly CellValue[];
 }
 export interface MutationReportWire {
     readonly submitted: bigint;
@@ -132,9 +157,23 @@ interface DbBridge {
     runtimeChangesTake(operation: OperationHandle): ChangesWire;
     runtimeDraftClose(draft: DraftHandle, callback: (report: CloseWire) => void): void;
     runtimeChangesClose(changes: ChangesHandle, callback: (report: CloseWire) => void): void;
+    /** Owned immutable bytes; parsing checks canonical order and the supplied schema. */
+    runtimeChangesBytes(changes: ChangesHandle, callback: () => void): OperationHandle;
+    runtimeChangesParse(runtime: RuntimeHandle, spec: SchemaSpec, bytes: Uint8Array, callback: () => void): OperationHandle;
+    /** One command's add-wins composition, not sequential application. */
+    runtimeChangesCompose(left: ChangesHandle, right: ChangesHandle, callback: () => void): OperationHandle;
+    /** Independent bounded traversal; never spends the immutable source. */
+    runtimeChangesCursor(changes: ChangesHandle, callback: () => void): OperationHandle;
+    runtimeChangesCursorTake(operation: OperationHandle): ChangesCursorHandle;
+    runtimeChangesCursorNext(cursor: ChangesCursorHandle, callback: () => void): OperationHandle;
+    runtimeChangePageTake(operation: OperationHandle): readonly ChangeRecordWire[] | null;
+    runtimeChangesCursorClose(cursor: ChangesCursorHandle, callback: (report: CloseWire) => void): void;
     /** One immutable final-state admission/commit under the managed owner. */
     runtimeDbApply(db: DbHandle, changes: ChangesHandle, expected: ExpectedWire, callback: () => void): OperationHandle;
     runtimeApplyTake(operation: OperationHandle): ApplyOutcomeWire;
+    /** Same candidate admission as apply, aborted on its worker before returning. */
+    runtimeDbJudge(db: DbHandle, changes: ChangesHandle, expected: ExpectedWire, callback: () => void): OperationHandle;
+    runtimeJudgeTake(operation: OperationHandle): JudgeOutcomeWire;
     runtimeDbInspect(db: DbHandle, callback: () => void): OperationHandle;
     runtimeDbClearCache(db: DbHandle, callback: () => void): OperationHandle;
     runtimeDbInspectTake(operation: OperationHandle): DbInspectionWire;

package/dist/db-native.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"db-native.d.ts","sourceRoot":"","sources":["../src/db-native.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAChG,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AACzC,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AACnF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAE1C,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,MAAM,CAAA;CAClC;AACD,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,MAAM,CAAA;CAClC;AACD,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,MAAM,CAAA;CAChC;AACD,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,MAAM,CAAA;CAChC;AACD,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,MAAM,CAAA;CAC/B;AACD,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,SAAS,EAAE,OAAO,MAAM,CAAA;CACjC;AAED,0FAA0F;AAC1F,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAC3B;AAED,MAAM,MAAM,YAAY,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAA;AAElF,MAAM,MAAM,gBAAgB,GACzB;IAAE,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,GAC3D;IAAE,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,GAC5D;IAAE,QAAQ,CAAC,GAAG,EAAE,oBAAoB,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,GACjF;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAA;AAE5F,+EAA+E;AAC/E,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,QAAQ,EAAE,iBAAiB,CAAA;IACpD,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;CACnC;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAA;IACjC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAC7B;AAED,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAC5B;AAED,MAAM,WAAW,kBAAkB;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACxB;AAED,UAAU,QAAQ;IACjB,0EAA0E;IAC1E,oBAAoB,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACrG,iBAAiB,CAAC,SAAS,EAAE,eAAe,GAAG,gBAAgB,CAAA;IAE/D,kEAAkE;IAClE,iBAAiB,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACtE,mBAAmB,CAAC,SAAS,EAAE,eAAe,GAAG,YAAY,CAAA;IAC7D,oBAAoB,CAAC,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,KAAK,IAAI,GAAG,IAAI,CAAA;IAE3F,yEAAyE;IACzE,sBAAsB,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IAC3G,mBAAmB,CAAC,SAAS,EAAE,eAAe,GAAG,cAAc,CAAA;IAC/D,oBAAoB,CAAC,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,KAAK,IAAI,GAAG,IAAI,CAAA;IAC3F,4BAA4B,CAAC,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IAE7F,wEAAwE;IACxE,kBAAkB,CACjB,QAAQ,EAAE,cAAc,EACxB,UAAU,EAAE,MAAM,EAClB,cAAc,EAAE,MAAM,EACtB,QAAQ,EAAE,SAAS,SAAS,EAAE,EAC9B,QAAQ,EAAE,MAAM,IAAI,GAClB,eAAe,CAAA;IAClB,cAAc,CAAC,SAAS,EAAE,eAAe,GAAG,SAAS,SAAS,EAAE,GAAG,IAAI,CAAA;IAEvE;;;;OAIG;IACH,sBAAsB,CACrB,QAAQ,EAAE,cAAc,EACxB,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,SAAS,UAAU,EAAE,EAC7B,QAAQ,EAAE,MAAM,IAAI,GAClB,eAAe,CAAA;IAClB,sBAAsB,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,SAAS,UAAU,EAAE,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACtH,iBAAiB,CAAC,SAAS,EAAE,eAAe,GAAG,YAAY,CAAA;IAC3D,kBAAkB,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,KAAK,IAAI,GAAG,IAAI,CAAA;IAErF;;;OAGG;IACH,oBAAoB,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACjF,eAAe,CAAC,SAAS,EAAE,eAAe,GAAG,SAAS,CAAC,SAAS,SAAS,EAAE,CAAC,EAAE,CAAA;IAE9E;;;;OAIG;IACH,mBAAmB,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IAChF,iBAAiB,CAAC,SAAS,EAAE,eAAe,GAAG,YAAY,CAAA;IAC3D,8EAA8E;IAC9E,iBAAiB,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IAC9E,eAAe,CAAC,SAAS,EAAE,eAAe,GAAG,SAAS,CAAC,SAAS,SAAS,EAAE,CAAC,EAAE,GAAG,IAAI,CAAA;IACrF,kBAAkB,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,KAAK,IAAI,GAAG,IAAI,CAAA;IAErF,iFAAiF;IACjF,gBAAgB,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACjG,gBAAgB,CAAC,SAAS,EAAE,eAAe,GAAG,WAAW,CAAA;IACzD;;;;;OAKG;IACH,kBAAkB,CACjB,KAAK,EAAE,WAAW,EAClB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,QAAQ,EAAE,MAAM,IAAI,GAClB,eAAe,CAAA;IAClB,kBAAkB,CACjB,KAAK,EAAE,WAAW,EAClB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,QAAQ,EAAE,MAAM,IAAI,GAClB,eAAe,CAAA;IAClB,iBAAiB,CAAC,SAAS,EAAE,eAAe,GAAG,kBAAkB,CAAA;IACjE,yGAAyG;IACzG,kBAAkB,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IAC7E,kBAAkB,CAAC,SAAS,EAAE,eAAe,GAAG,WAAW,CAAA;IAC3D,iBAAiB,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,KAAK,IAAI,GAAG,IAAI,CAAA;IAClF,mBAAmB,CAAC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,KAAK,IAAI,GAAG,IAAI,CAAA;IAExF,0EAA0E;IAC1E,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACnH,gBAAgB,CAAC,SAAS,EAAE,eAAe,GAAG,gBAAgB,CAAA;IAE9D,gBAAgB,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACrE,mBAAmB,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACxE,oBAAoB,CAAC,SAAS,EAAE,eAAe,GAAG,gBAAgB,CAAA;IAElE,oEAAoE;IACpE,iBAAiB,CAChB,OAAO,EAAE,aAAa,EACtB,IAAI,EAAE,UAAU,EAChB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,QAAQ,EAAE,MAAM,IAAI,GAClB,eAAe,CAAA;IAClB,gBAAgB,CAAC,SAAS,EAAE,eAAe,GAAG,UAAU,CAAA;IACxD,iBAAiB,CAChB,OAAO,EAAE,aAAa,EACtB,IAAI,EAAE,UAAU,EAChB,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,UAAU,EACjB,QAAQ,EAAE,MAAM,IAAI,GAClB,eAAe,CAAA;IAElB;;;;;;OAMG;IACH,sBAAsB,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACvG,oBAAoB,CAAC,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;CACxG;AAID,eAAO,MAAM,QAAQ,EAAa,OAAO,MAAM,GAAG,QAAQ,CAAA"}
+{"version":3,"file":"db-native.d.ts","sourceRoot":"","sources":["../src/db-native.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAChG,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AACzC,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AACnF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAE1C,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,MAAM,CAAA;CAClC;AACD,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,MAAM,CAAA;CAClC;AACD,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,MAAM,CAAA;CAChC;AACD,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,MAAM,CAAA;CAChC;AACD,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,MAAM,CAAA;CAC/B;AACD,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,SAAS,EAAE,OAAO,MAAM,CAAA;CACjC;AACD,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,eAAe,EAAE,OAAO,MAAM,CAAA;CACvC;AAED,0FAA0F;AAC1F,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAC3B;AAED,MAAM,MAAM,YAAY,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAA;AAElF,MAAM,MAAM,gBAAgB,GACzB;IAAE,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,GAC3D;IAAE,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,GAC5D;IAAE,QAAQ,CAAC,GAAG,EAAE,oBAAoB,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,GACjF;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAA;AAE5F,MAAM,MAAM,gBAAgB,GACzB;IAAE,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;CAAE,GACxF;IACA,QAAQ,CAAC,GAAG,EAAE,oBAAoB,CAAA;IAClC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAA;CACxC,GACD;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAA;AAE5F,+EAA+E;AAC/E,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,QAAQ,EAAE,iBAAiB,CAAA;IACpD,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;CACnC;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAA;IACjC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAC7B;AAED,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAC3B;AAED,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,QAAQ,CAAA;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAA;CACrC;AAED,MAAM,WAAW,kBAAkB;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACxB;AAED,UAAU,QAAQ;IACjB,0EAA0E;IAC1E,oBAAoB,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACrG,iBAAiB,CAAC,SAAS,EAAE,eAAe,GAAG,gBAAgB,CAAA;IAE/D,kEAAkE;IAClE,iBAAiB,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACtE,mBAAmB,CAAC,SAAS,EAAE,eAAe,GAAG,YAAY,CAAA;IAC7D,oBAAoB,CAAC,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,KAAK,IAAI,GAAG,IAAI,CAAA;IAE3F,yEAAyE;IACzE,sBAAsB,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IAC3G,mBAAmB,CAAC,SAAS,EAAE,eAAe,GAAG,cAAc,CAAA;IAC/D,oBAAoB,CAAC,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,KAAK,IAAI,GAAG,IAAI,CAAA;IAC3F,4BAA4B,CAAC,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IAE7F,wEAAwE;IACxE,kBAAkB,CACjB,QAAQ,EAAE,cAAc,EACxB,UAAU,EAAE,MAAM,EAClB,cAAc,EAAE,MAAM,EACtB,QAAQ,EAAE,SAAS,SAAS,EAAE,EAC9B,QAAQ,EAAE,MAAM,IAAI,GAClB,eAAe,CAAA;IAClB,cAAc,CAAC,SAAS,EAAE,eAAe,GAAG,SAAS,SAAS,EAAE,GAAG,IAAI,CAAA;IAEvE;;;;OAIG;IACH,sBAAsB,CACrB,QAAQ,EAAE,cAAc,EACxB,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,SAAS,UAAU,EAAE,EAC7B,QAAQ,EAAE,MAAM,IAAI,GAClB,eAAe,CAAA;IAClB,sBAAsB,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,SAAS,UAAU,EAAE,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACtH,iBAAiB,CAAC,SAAS,EAAE,eAAe,GAAG,YAAY,CAAA;IAC3D,kBAAkB,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,KAAK,IAAI,GAAG,IAAI,CAAA;IAErF;;;OAGG;IACH,oBAAoB,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACjF,eAAe,CAAC,SAAS,EAAE,eAAe,GAAG,SAAS,CAAC,SAAS,SAAS,EAAE,CAAC,EAAE,CAAA;IAE9E;;;;OAIG;IACH,mBAAmB,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IAChF,iBAAiB,CAAC,SAAS,EAAE,eAAe,GAAG,YAAY,CAAA;IAC3D,8EAA8E;IAC9E,iBAAiB,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IAC9E,eAAe,CAAC,SAAS,EAAE,eAAe,GAAG,SAAS,CAAC,SAAS,SAAS,EAAE,CAAC,EAAE,GAAG,IAAI,CAAA;IACrF,kBAAkB,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,KAAK,IAAI,GAAG,IAAI,CAAA;IAErF,iFAAiF;IACjF,gBAAgB,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACjG,gBAAgB,CAAC,SAAS,EAAE,eAAe,GAAG,WAAW,CAAA;IACzD;;;;;OAKG;IACH,kBAAkB,CACjB,KAAK,EAAE,WAAW,EAClB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,QAAQ,EAAE,MAAM,IAAI,GAClB,eAAe,CAAA;IAClB,kBAAkB,CACjB,KAAK,EAAE,WAAW,EAClB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,QAAQ,EAAE,MAAM,IAAI,GAClB,eAAe,CAAA;IAClB,iBAAiB,CAAC,SAAS,EAAE,eAAe,GAAG,kBAAkB,CAAA;IACjE,yGAAyG;IACzG,kBAAkB,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IAC7E,kBAAkB,CAAC,SAAS,EAAE,eAAe,GAAG,WAAW,CAAA;IAC3D,iBAAiB,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,KAAK,IAAI,GAAG,IAAI,CAAA;IAClF,mBAAmB,CAAC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,KAAK,IAAI,GAAG,IAAI,CAAA;IACxF,qFAAqF;IACrF,mBAAmB,CAAC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IAClF,mBAAmB,CAClB,OAAO,EAAE,aAAa,EACtB,IAAI,EAAE,UAAU,EAChB,KAAK,EAAE,UAAU,EACjB,QAAQ,EAAE,MAAM,IAAI,GAClB,eAAe,CAAA;IAClB,sEAAsE;IACtE,qBAAqB,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACvG,wEAAwE;IACxE,oBAAoB,CAAC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACnF,wBAAwB,CAAC,SAAS,EAAE,eAAe,GAAG,mBAAmB,CAAA;IACzE,wBAAwB,CAAC,MAAM,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IAC5F,qBAAqB,CAAC,SAAS,EAAE,eAAe,GAAG,SAAS,gBAAgB,EAAE,GAAG,IAAI,CAAA;IACrF,yBAAyB,CAAC,MAAM,EAAE,mBAAmB,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,KAAK,IAAI,GAAG,IAAI,CAAA;IAEnG,0EAA0E;IAC1E,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACnH,gBAAgB,CAAC,SAAS,EAAE,eAAe,GAAG,gBAAgB,CAAA;IAC9D,iFAAiF;IACjF,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACnH,gBAAgB,CAAC,SAAS,EAAE,eAAe,GAAG,gBAAgB,CAAA;IAE9D,gBAAgB,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACrE,mBAAmB,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACxE,oBAAoB,CAAC,SAAS,EAAE,eAAe,GAAG,gBAAgB,CAAA;IAElE,oEAAoE;IACpE,iBAAiB,CAChB,OAAO,EAAE,aAAa,EACtB,IAAI,EAAE,UAAU,EAChB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,QAAQ,EAAE,MAAM,IAAI,GAClB,eAAe,CAAA;IAClB,gBAAgB,CAAC,SAAS,EAAE,eAAe,GAAG,UAAU,CAAA;IACxD,iBAAiB,CAChB,OAAO,EAAE,aAAa,EACtB,IAAI,EAAE,UAAU,EAChB,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,UAAU,EACjB,QAAQ,EAAE,MAAM,IAAI,GAClB,eAAe,CAAA;IAElB;;;;;;OAMG;IACH,sBAAsB,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;IACvG,oBAAoB,CAAC,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,eAAe,CAAA;CACxG;AAID,eAAO,MAAM,QAAQ,EAAa,OAAO,MAAM,GAAG,QAAQ,CAAA"}

package/dist/db-native.js

@@ -1,3 +1,11 @@
+/**
+ * Private database bridge over worker-owned core snapshots and results.
+ * The implementation lives in `ts/crate/src/`; this is not a public API.
+ * Every verb runs on the shared bounded executor, registers under its
+ * operation ownership and completes through the registered callback; `runtimeCancel` cancels
+ * and joins any of them. Close verbs report the real drain outcome through
+ * `CloseWire`.
+ */
 import { native } from "#native.ts";
 // The fresh-addon roster test pins this private declaration exactly as it
 // pins #runtime-native.ts's; the two casts re-type the SAME single binding.

package/dist/db-native.js.map

@@ -1 +1 @@
-{"version":3,"file":"db-native.js","sourceRoot":"","sources":["../src/db-native.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AA6LnC,0EAA0E;AAC1E,4EAA4E;AAC5E,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAkC,CAAA"}
+{"version":3,"file":"db-native.js","sourceRoot":"","sources":["../src/db-native.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AAqOnC,0EAA0E;AAC1E,4EAA4E;AAC5E,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAkC,CAAA"}

package/dist/db.d.ts

@@ -1,6 +1,6 @@
 import type { Scope } from "effect";
 import { Effect, Option } from "effect";
-import type { ChangeSet } from "./changes.js";
+import type { ChangeCounts, ChangeSet } from "./changes.js";
 import type { SchemaId } from "./compile.js";
 import type { Violation } from "./native.js";
 import type { ParamsRecord } from "./query/scope.js";
@@ -11,6 +11,7 @@ import type { CloseReport } from "./runtime-errors.js";
 import { DbError } from "./runtime-errors.js";
 import type { AnySchema } from "./schema.js";
 import type { Key, QueryTemplate, Rel } from "./shape.js";
+import type { KeyStatement } from "./statements.js";
 /**
  * The core surface: `Db.create`/`Db.open`, scoped coherent
  * `Snapshot`s, reusable `PreparedQuery`s, the shared `QueryReader`
@@ -32,15 +33,15 @@ interface CoreWitness {
     readonly store: string;
     readonly generation: bigint;
 }
-type ApplyExpected = {
+type WriteExpected = {
     readonly kind: "any";
 } | {
     readonly kind: "exact";
     readonly at: CoreWitness;
 };
-/** Expected-state intent for an atomic apply. */
-type ApplyOptions = {
-    readonly expected: ApplyExpected;
+/** Expected-state intent shared by judgment and application. */
+type WriteOptions = {
+    readonly expected: WriteExpected;
 };
 type ApplyOutcome = {
     readonly kind: "accepted";
@@ -56,6 +57,23 @@ type ApplyOutcome = {
     readonly witnessed: CoreWitness;
     readonly current: CoreWitness;
 };
+/** A judgment against the actual current base, not a promise about a later apply.
+ * A moved witness is unjudged and therefore carries no made-up change counts.
+ */
+type JudgeOutcome = {
+    readonly kind: "admitted";
+    readonly base: CoreWitness;
+    readonly changes: ChangeCounts;
+} | {
+    readonly kind: "invariant-rejected";
+    readonly base: CoreWitness;
+    readonly changes: ChangeCounts;
+    readonly violations: readonly Violation[];
+} | {
+    readonly kind: "moved";
+    readonly witnessed: CoreWitness;
+    readonly current: CoreWitness;
+};
 /** Storage measurements, not heap usage or mapped-page residency. */
 interface StorageInspection {
     /** Reserved virtual address range for the LMDB mapping. */
@@ -82,7 +100,7 @@ interface DbInspection {
  * no writable authority — never a `Db`, an `apply`, or a raw transaction.
  */
 interface QueryReader<S extends AnySchema> {
-    get<R extends Rel<S>>(relation: R, key: Key<R>): Effect.Effect<Option.Option<Fact<R>>, DbError>;
+    get<K extends KeyStatement<Rel<S>, readonly string[]>>(key: K, value: NoInfer<Key<K>>): Effect.Effect<Option.Option<Fact<K["owner"]>>, DbError>;
     execute<P extends ParamsRecord, A>(query: QueryTemplate<S, P, A>, params: P): Effect.Effect<CompleteResult<A>, DbError, Scope.Scope>;
     prepare<P extends ParamsRecord, A>(query: QueryTemplate<S, P, A>): Effect.Effect<PreparedQuery<P, A>, DbError, Scope.Scope>;
 }
@@ -102,7 +120,9 @@ interface PreparedQuery<P extends ParamsRecord, A> {
 interface Db<S extends AnySchema> {
     readonly schemaId: SchemaId;
     snapshot(): Effect.Effect<Snapshot<S>, DbError, Scope.Scope>;
-    apply(changes: ChangeSet<S>, options: ApplyOptions): Effect.Effect<ApplyOutcome, DbError>;
+    apply(changes: ChangeSet<S>, options: WriteOptions): Effect.Effect<ApplyOutcome, DbError>;
+    /** Briefly acquires the writer, judges and aborts. Stores no facts or generation. */
+    judge(changes: ChangeSet<S>, options: WriteOptions): Effect.Effect<JudgeOutcome, DbError>;
     inspect(): Effect.Effect<DbInspection, DbError>;
     /** Clear shared query caches without invalidating live snapshots or results. */
     clearCache(): Effect.Effect<void, DbError>;
@@ -134,6 +154,6 @@ declare function internalPublishedReader<S extends AnySchema>(core: object, theo
     readonly execute: QueryReader<S>["execute"];
     readonly prepare: QueryReader<S>["prepare"];
 };
-export type { ApplyExpected, ApplyOptions, ApplyOutcome, CoreWitness, DbInspection, PreparedQuery, QueryReader, Snapshot, StorageInspection };
+export type { ApplyOutcome, CoreWitness, DbInspection, JudgeOutcome, PreparedQuery, QueryReader, Snapshot, StorageInspection, WriteExpected, WriteOptions };
 export { Db, internalPublishedReader };
 //# 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,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACnC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAG5C,OAAO,KAAK,EAAkB,QAAQ,EAAE,MAAM,aAAa,CAAA;AAY3D,OAAO,KAAK,EAAY,SAAS,EAAE,MAAM,YAAY,CAAA;AAIrD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AACxC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAIhD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEhD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAG5C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,KAAK,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AAExD;;;;;;;;;;;;;;;GAeG;AAEH,+FAA+F;AAC/F,UAAU,WAAW;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAC3B;AAED,KAAK,aAAa,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAA;CAAE,CAAA;AAEpG,iDAAiD;AACjD,KAAK,YAAY,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAA;CAAE,CAAA;AAExD,KAAK,YAAY,GACd;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,GAC5D;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,GAClF;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAA;AAE7F,qEAAqE;AACrE,UAAU,iBAAiB;IAC1B,2DAA2D;IAC3D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,8DAA8D;IAC9D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,yEAAyE;IACzE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,2EAA2E;IAC3E,QAAQ,CAAC,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAA;CAC1C;AAED,+DAA+D;AAC/D,UAAU,YAAY;IACrB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAA;IACnC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;CACnC;AAED;;;;;;GAMG;AACH,UAAU,WAAW,CAAC,CAAC,SAAS,SAAS;IACxC,GAAG,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;IAC/F,OAAO,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,EAChC,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC7B,MAAM,EAAE,CAAC,GACP,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACzD,OAAO,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,EAChC,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAC3B,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;CAC3D;AAED,UAAU,QAAQ,CAAC,CAAC,SAAS,SAAS,CAAE,SAAQ,WAAW,CAAC,CAAC,CAAC;IAC7D,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;IAC7B,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;CACnC;AAED;;GAEG;AACH,UAAU,aAAa,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC;IAChD,OAAO,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IAC1E,gFAAgF;IAChF,aAAa,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IAC7C,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;CACnC;AAED,UAAU,EAAE,CAAC,CAAC,SAAS,SAAS;IAC/B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IAC5D,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;IACzF,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;IAC/C,gFAAgF;IAChF,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IAC1C,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;CACnC;AA2XD;;;;;GAKG;AACH,QAAA,MAAM,EAAE;WACA,CAAC,SAAS,SAAS,QAAQ,MAAM,UAAU,CAAC;SAG9C,CAAC,SAAS,SAAS,QAAQ,MAAM,UAAU,CAAC;EAGhD,CAAA;AAEF;;;;;;;;;;GAUG;AACH,iBAAS,uBAAuB,CAAC,CAAC,SAAS,SAAS,EACnD,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,CAAC,GACP;IACF,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IACnC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IAC3C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;CAC3C,CAaA;AAED,YAAY,EACX,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,aAAa,EACb,WAAW,EACX,QAAQ,EACR,iBAAiB,EACjB,CAAA;AACD,OAAO,EAAE,EAAE,EAAE,uBAAuB,EAAE,CAAA"}
+{"version":3,"file":"db.d.ts","sourceRoot":"","sources":["../src/db.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACnC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAI1D,OAAO,KAAK,EAAkB,QAAQ,EAAE,MAAM,aAAa,CAAA;AAa3D,OAAO,KAAK,EAAY,SAAS,EAAE,MAAM,YAAY,CAAA;AAIrD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AACxC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAIhD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEhD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,EAAiB,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAG3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAE3C,OAAO,KAAK,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AACxD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAGlD;;;;;;;;;;;;;;;GAeG;AAEH,+FAA+F;AAC/F,UAAU,WAAW;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAC3B;AAED,KAAK,aAAa,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAA;CAAE,CAAA;AAEpG,gEAAgE;AAChE,KAAK,YAAY,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAA;CAAE,CAAA;AAExD,KAAK,YAAY,GACd;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,GAC5D;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,GAClF;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAA;AAE7F;;GAEG;AACH,KAAK,YAAY,GACd;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;CAAE,GACzF;IACA,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAA;IACnC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAA;CACxC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAA;AAE7F,qEAAqE;AACrE,UAAU,iBAAiB;IAC1B,2DAA2D;IAC3D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,8DAA8D;IAC9D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,yEAAyE;IACzE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,2EAA2E;IAC3E,QAAQ,CAAC,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAA;CAC1C;AAED,+DAA+D;AAC/D,UAAU,YAAY;IACrB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAA;IACnC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;CACnC;AAED;;;;;;GAMG;AACH,UAAU,WAAW,CAAC,CAAC,SAAS,SAAS;IACxC,GAAG,CAAC,CAAC,SAAS,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EACpD,GAAG,EAAE,CAAC,EACN,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GACpB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;IAC1D,OAAO,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,EAChC,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC7B,MAAM,EAAE,CAAC,GACP,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACzD,OAAO,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,EAChC,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAC3B,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;CAC3D;AAED,UAAU,QAAQ,CAAC,CAAC,SAAS,SAAS,CAAE,SAAQ,WAAW,CAAC,CAAC,CAAC;IAC7D,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;IAC7B,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;CACnC;AAED;;GAEG;AACH,UAAU,aAAa,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC;IAChD,OAAO,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IAC1E,gFAAgF;IAChF,aAAa,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IAC7C,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;CACnC;AAED,UAAU,EAAE,CAAC,CAAC,SAAS,SAAS;IAC/B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IAC5D,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;IACzF,qFAAqF;IACrF,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;IACzF,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;IAC/C,gFAAgF;IAChF,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IAC1C,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;CACnC;AAqbD;;;;;GAKG;AACH,QAAA,MAAM,EAAE;WACA,CAAC,SAAS,SAAS,QAAQ,MAAM,UAAU,CAAC;SAG9C,CAAC,SAAS,SAAS,QAAQ,MAAM,UAAU,CAAC;EAGhD,CAAA;AAEF;;;;;;;;;;GAUG;AACH,iBAAS,uBAAuB,CAAC,CAAC,SAAS,SAAS,EACnD,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,CAAC,GACP;IACF,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IACnC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IAC3C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;CAC3C,CAaA;AAED,YAAY,EACX,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,WAAW,EACX,QAAQ,EACR,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,CAAA;AACD,OAAO,EAAE,EAAE,EAAE,uBAAuB,EAAE,CAAA"}

package/dist/db.js

@@ -1,7 +1,8 @@
 import { Effect, Option } from "effect";
 import { internalChanges } from "#changes.ts";
 import { drainClose, releaseOwner } from "#close.ts";
-import { Schema as CoreSchema, schemaTables } from "#compile.ts";
+import { membersAgree } from "#closed.ts";
+import { Schema as CoreSchema, declaredKey, schemaTables } from "#compile.ts";
 import { dbNative } from "#db-native.ts";
 import { lower } from "#lower.ts";
 import { lowerQuery } from "#query/lower.ts";
@@ -9,8 +10,10 @@ import { wireParams } from "#query/run.ts";
 import { internalResult, makeCompleteResult } from "#result.ts";
 import { factOfCells, keyCellsOf } from "#rows.ts";
 import { nativeOperationWith, runtimeHandle } from "#runtime.ts";
-import { DbError } from "#runtime-errors.ts";
+import { argumentError, DbError } from "#runtime-errors.ts";
 import { runtimeNative } from "#runtime-native.ts";
+import { schemaDescriptor, schemasAgree } from "#schema.ts";
+import { integerValue, recordValue } from "#values.ts";
 function refusal(operation, reason) {
     return new DbError({ operation, reason: { _tag: reason } });
 }
@@ -29,13 +32,60 @@ function outcomeOf(wire) {
             return Object.freeze({ kind: "moved", witnessed: witnessOf(wire.witnessed), current: witnessOf(wire.current) });
     }
 }
+function judgmentOf(wire) {
+    switch (wire.tag) {
+        case "admitted":
+            return Object.freeze({ kind: "admitted", base: witnessOf(wire.base), changes: Object.freeze(wire.changes) });
+        case "invariant-rejected":
+            return Object.freeze({
+                kind: "invariant-rejected",
+                base: witnessOf(wire.base),
+                changes: Object.freeze(wire.changes),
+                violations: wire.violations
+            });
+        case "moved":
+            return Object.freeze({ kind: "moved", witnessed: witnessOf(wire.witnessed), current: witnessOf(wire.current) });
+    }
+}
+function writeInputs(state, changes, options, operation) {
+    return Effect.try({
+        try: () => {
+            const internal = internalChanges(changes);
+            if (internal === undefined || internal.schemaId !== state.schemaId) {
+                throw refusal(operation, "InvalidArgument");
+            }
+            const record = recordValue("write options", options, ["expected"]);
+            const intent = recordValue("expected state", record.expected, options.expected.kind === "any" ? ["kind"] : ["kind", "at"]);
+            let expected;
+            if (intent.kind === "any") {
+                expected = { kind: "any" };
+            }
+            else if (intent.kind === "exact") {
+                const at = recordValue("expected witness", intent.at, ["store", "generation"]);
+                if (typeof at.store !== "string" || !/^[0-9a-f]{32}$/.test(at.store)) {
+                    throw refusal(operation, "InvalidArgument");
+                }
+                expected = {
+                    kind: "exact",
+                    store: at.store,
+                    generation: integerValue("expected generation", "u64", at.generation)
+                };
+            }
+            else {
+                throw refusal(operation, "InvalidArgument");
+            }
+            return { handle: internal.handle, expected };
+        },
+        catch: (cause) => argumentError(operation, cause)
+    });
+}
 /**
- * Validates the query template's schema binding (identity, the membership
- * rule) and lowers it to IR plus wire params. Pure host preparation; the
+ * Validates the query template's ordered logical schema and lowers it to
+ * IR plus wire params. Pure host preparation; the
  * engine's IR validation remains the authority.
  */
 function preparedOf(theory, query, params) {
-    if (query.schema !== theory) {
+    if (!schemasAgree(query.schema, theory)) {
         throw refusal("QueryReader.execute", "InvalidArgument");
     }
     const ir = lowerQuery(query);
@@ -46,7 +96,7 @@ function executeOn(state, query, params) {
     return scopedResult(Effect.gen(function* () {
         const prepared = yield* Effect.try({
             try: () => preparedOf(state.theory, query, params),
-            catch: (cause) => (cause instanceof DbError ? cause : refusal("QueryReader.execute", "InvalidArgument"))
+            catch: (cause) => argumentError("QueryReader.execute", cause)
         });
         const handle = yield* nativeOperationWith("QueryReader.execute", (callback) => dbNative.runtimeSnapshotExecute(state.handle, prepared.ir, prepared.wire, callback), dbNative.runtimeResultTake, (value) => value);
         return makeCompleteResult(handle, prepared.finds);
@@ -64,22 +114,30 @@ function scopedResult(acquire) {
 function internalResultHandle(result) {
     return internalResult(result)?.handle;
 }
-function getOn(state, relation, key) {
+function getOn(state, key, value) {
     return Effect.gen(function* () {
-        if (state.theory.relations[relation.name] !== relation) {
+        const tables = schemaTables(state.theory);
+        const resolved = yield* Effect.try({
+            try: () => declaredKey(state.theory, key),
+            catch: (cause) => argumentError("QueryReader.get", cause)
+        });
+        if (resolved === undefined || key.kind !== "key") {
+            return yield* Effect.fail(refusal("QueryReader.get", "InvalidArgument"));
+        }
+        const { statementId } = resolved;
+        const relation = resolved.key.owner;
+        if (!membersAgree(state.theory.relations[relation.name], relation)) {
             return yield* Effect.fail(refusal("QueryReader.get", "InvalidArgument"));
         }
-        const tables = schemaTables(state.theory);
         const relationId = tables.relationIds.get(relation.name);
-        const primary = tables.primaryKeys.get(relation.name);
-        if (relationId === undefined || primary === undefined) {
+        if (relationId === undefined) {
             return yield* Effect.fail(refusal("QueryReader.get", "InvalidArgument"));
         }
         const cells = yield* Effect.try({
-            try: () => keyCellsOf(relation.data, primary.projection, key),
-            catch: (cause) => (cause instanceof DbError ? cause : refusal("QueryReader.get", "InvalidArgument"))
+            try: () => keyCellsOf(relation, resolved.key.projection, value),
+            catch: (cause) => argumentError("QueryReader.get", cause)
         });
-        const row = yield* nativeOperationWith("QueryReader.get", (callback) => dbNative.runtimeSnapshotGet(state.handle, relationId, primary.statementId, cells, callback), dbNative.runtimeRowTake, (value) => value);
+        const row = yield* nativeOperationWith("QueryReader.get", (callback) => dbNative.runtimeSnapshotGet(state.handle, relationId, statementId, cells, callback), dbNative.runtimeRowTake, (value) => value);
         if (row === null) {
             return Option.none();
         }
@@ -95,7 +153,7 @@ function makePrepared(handle, definitions, finds) {
             return scopedResult(Effect.gen(function* () {
                 const args = yield* Effect.try({
                     try: () => wireParams(definitions, params),
-                    catch: () => refusal("PreparedQuery.execute", "InvalidArgument")
+                    catch: (cause) => argumentError("PreparedQuery.execute", cause)
                 });
                 const result = yield* nativeOperationWith("PreparedQuery.execute", (callback) => dbNative.runtimePreparedExecute(handle, args, callback), dbNative.runtimeResultTake, (value) => makeCompleteResult(value, finds));
                 return result;
@@ -110,12 +168,12 @@ function prepareOn(state, query) {
     return Effect.gen(function* () {
         const ir = yield* Effect.try({
             try: () => {
-                if (query.schema !== state.theory) {
+                if (!schemasAgree(query.schema, state.theory)) {
                     throw refusal("QueryReader.prepare", "InvalidArgument");
                 }
                 return lowerQuery(query);
             },
-            catch: () => refusal("QueryReader.prepare", "InvalidArgument")
+            catch: (cause) => argumentError("QueryReader.prepare", cause)
         });
         const handle = yield* Effect.acquireRelease(nativeOperationWith("QueryReader.prepare", (callback) => dbNative.runtimeSnapshotPrepare(state.handle, ir, callback), dbNative.runtimePreparedTake, (value) => value), (value) => releaseOwner("PreparedQuery.close", (callback) => dbNative.runtimePreparedClose(value, callback)), { interruptible: true });
         return makePrepared(handle, query.data.params, query.data.finds);
@@ -125,8 +183,8 @@ function makeSnapshot(theory, handle, witness) {
     const state = { theory, handle };
     const snapshot = {
         witness,
-        get(relation, key) {
-            return getOn(state, relation, key);
+        get(key, value) {
+            return getOn(state, key, value);
         },
         execute(query, params) {
             return executeOn(state, query, params);
@@ -153,19 +211,14 @@ function makeDb(theory, state) {
         },
         apply(changes, options) {
             return Effect.gen(function* () {
-                const internal = internalChanges(changes);
-                if (internal === undefined) {
-                    // A foreign object supplied dynamically refuses before
-                    // any native dispatch.
-                    return yield* Effect.fail(refusal("Db.apply", "InvalidArgument"));
-                }
-                if (internal.schemaId !== state.schemaId) {
-                    return yield* Effect.fail(refusal("Db.apply", "InvalidArgument"));
-                }
-                const expected = options.expected.kind === "any"
-                    ? { kind: "any" }
-                    : { kind: "exact", store: options.expected.at.store, generation: options.expected.at.generation };
-                return yield* nativeOperationWith("Db.apply", (callback) => dbNative.runtimeDbApply(state.db, internal.handle, expected, callback), dbNative.runtimeApplyTake, outcomeOf);
+                const input = yield* writeInputs(state, changes, options, "Db.apply");
+                return yield* nativeOperationWith("Db.apply", (callback) => dbNative.runtimeDbApply(state.db, input.handle, input.expected, callback), dbNative.runtimeApplyTake, outcomeOf);
+            });
+        },
+        judge(changes, options) {
+            return Effect.gen(function* () {
+                const input = yield* writeInputs(state, changes, options, "Db.judge");
+                return yield* nativeOperationWith("Db.judge", (callback) => dbNative.runtimeDbJudge(state.db, input.handle, input.expected, callback), dbNative.runtimeJudgeTake, judgmentOf);
             });
         },
         inspect() {
@@ -196,7 +249,7 @@ function openDatabase(operation, path, schema, create) {
     return Effect.gen(function* () {
         const runtime = yield* runtimeHandle();
         const compiled = yield* CoreSchema.compile(schema);
-        const spec = lower(schema);
+        const spec = lower(compiled.schema);
         // Compound acquisition: register the directory owner and
         // its finalizer BEFORE any interruptible child-open step.
         const directory = yield* Effect.acquireRelease(nativeOperationWith(operation, (callback) => runtimeNative.runtimeDirectoryAcquire(runtime, path, callback), runtimeNative.runtimeDirectoryTake, (value) => value), (dir) => releaseOwner(`${operation}.directoryClose`, (callback) => runtimeNative.runtimeDirectoryClose(dir, false, callback)), { interruptible: true });
@@ -206,8 +259,8 @@ function openDatabase(operation, path, schema, create) {
                 yield* drainClose(`${operation}.directoryClose`, (callback) => runtimeNative.runtimeDirectoryClose(directory, false, callback));
                 return yield* Effect.fail(refusal(operation, "InvalidArgument"));
             }
-            const state = { theory: schema, db: outcome.db, directory, schemaId: compiled.schemaId };
-            const db = makeDb(schema, state);
+            const state = { theory: compiled.schema, db: outcome.db, directory, schemaId: compiled.schemaId };
+            const db = makeDb(compiled.schema, state);
             dbStates.set(db, state);
             return db;
         }), (db) => Effect.suspend(() => {
@@ -246,10 +299,10 @@ const Db = Object.freeze({
  * on every verb, so a forged object refuses there, typed.
  */
 function internalPublishedReader(core, theory) {
-    const state = { theory, handle: core };
+    const state = { theory: schemaDescriptor(theory), handle: core };
     return Object.freeze({
-        get(relation, key) {
-            return getOn(state, relation, key);
+        get(key, value) {
+            return getOn(state, key, value);
         },
         execute(queryValue, params) {
             return executeOn(state, queryValue, params);

package/dist/db.js.map

@@ -1 +1 @@
-{"version":3,"file":"db.js","sourceRoot":"","sources":["../src/db.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAEpD,OAAO,EAAE,MAAM,IAAI,UAAU,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAShE,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAA;AAGjC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAI1C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA;AAE/D,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAElD,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEhE,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAE5C,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAqGlD,SAAS,OAAO,CAAC,SAAiB,EAAE,MAA0C;IAC7E,OAAO,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;AAC5D,CAAC;AAED,SAAS,SAAS,CAAC,IAAiB;IACnC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAA;AACzE,CAAC;AAED,SAAS,SAAS,CAAC,IAAsB;IACxC,QAAQ,IAAI,CAAC,GAAG,EAAE,CAAC;QAClB,KAAK,UAAU;YACd,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;QAC7E,KAAK,WAAW;YACf,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;QAC9E,KAAK,oBAAoB;YACxB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAA;QAClF,KAAK,OAAO;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACjH,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAClB,MAAS,EACT,KAAe,EACf,MAAyC;IAMzC,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC7B,MAAM,OAAO,CAAC,qBAAqB,EAAE,iBAAiB,CAAC,CAAA;IACxD,CAAC;IACD,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;IAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAClD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAA;AAC7C,CAAC;AAOD,SAAS,SAAS,CACjB,KAAuB,EACvB,KAAe,EACf,MAAyC;IAEzC,OAAO,YAAY,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAClC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC;YAClD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,iBAAiB,CAAC,CAAC;SACxG,CAAC,CAAA;QACF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,mBAAmB,CACxC,qBAAqB,EACrB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,EACjG,QAAQ,CAAC,iBAAiB,EAC1B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAChB,CAAA;QACD,OAAO,kBAAkB,CAAI,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAA;IACrD,CAAC,CAAC,CACF,CAAA;AACF,CAAC;AAED,SAAS,YAAY,CAAI,OAAkD;IAC1E,OAAO,MAAM,CAAC,cAAc,CAC3B,OAAO,EACP,CAAC,MAAM,EAAE,EAAE,CACV,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACnB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAA;QAC7C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,MAAM,CAAC,IAAI,CAAA;QACnB,CAAC;QACD,OAAO,YAAY,CAAC,sBAAsB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;IAC3G,CAAC,CAAC,EACH,EAAE,aAAa,EAAE,IAAI,EAAE,CACvB,CAAA;AACF,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAc;IAC3C,OAAO,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;AACtC,CAAC;AAED,SAAS,KAAK,CACb,KAAuB,EACvB,QAAW,EACX,GAAW;IAEX,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC1B,IAAI,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YACxD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC,CAAA;QACzE,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QACzC,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QACxD,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QACrD,IAAI,UAAU,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACvD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC,CAAA;QACzE,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAC/B,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,GAAwC,CAAC;YAClG,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;SACpG,CAAC,CAAA;QACF,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,mBAAmB,CACrC,iBAAiB,EACjB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,kBAAkB,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,WAAW,EAAE,KAAK,EAAE,QAAQ,CAAC,EACzG,QAAQ,CAAC,cAAc,EACvB,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAChB,CAAA;QACD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAClB,OAAO,MAAM,CAAC,IAAI,EAAW,CAAA;QAC9B,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,GAA2B,CAAC,CAAC,CAAA;IACvE,CAAC,CAAC,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CACpB,MAAsB,EACtB,WAAuC,EACvC,KAAgC;IAEhC,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,aAAa;YACZ,OAAO,mBAAmB,CACzB,6BAA6B,EAC7B,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,4BAA4B,CAAC,MAAM,EAAE,QAAQ,CAAC,EACrE,aAAa,CAAC,WAAW,EACzB,GAAG,EAAE,CAAC,SAAS,CACf,CAAA;QACF,CAAC;QACD,OAAO,CAAC,MAAS;YAChB,OAAO,YAAY,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBACnB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;oBAC9B,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,MAAM,CAAC;oBAC1C,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,uBAAuB,EAAE,iBAAiB,CAAC;iBAChE,CAAC,CAAA;gBACF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,mBAAmB,CACxC,uBAAuB,EACvB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,EACrE,QAAQ,CAAC,iBAAiB,EAC1B,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAI,KAAK,EAAE,KAAK,CAAC,CAC9C,CAAA;gBACD,OAAO,MAAM,CAAA;YACd,CAAC,CAAC,CACF,CAAA;QACF,CAAC;QACD,KAAK;YACJ,OAAO,UAAU,CAAC,qBAAqB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,oBAAoB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;QACxG,CAAC;KACD,CAAC,CAAA;AACH,CAAC;AAED,SAAS,SAAS,CACjB,KAAuB,EACvB,KAA6B;IAE7B,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC1B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAC5B,GAAG,EAAE,GAAG,EAAE;gBACT,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;oBACnC,MAAM,OAAO,CAAC,qBAAqB,EAAE,iBAAiB,CAAC,CAAA;gBACxD,CAAC;gBACD,OAAO,UAAU,CAAC,KAAK,CAAC,CAAA;YACzB,CAAC;YACD,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,qBAAqB,EAAE,iBAAiB,CAAC;SAC9D,CAAC,CAAA;QACF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,cAAc,CAC1C,mBAAmB,CAClB,qBAAqB,EACrB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,QAAQ,CAAC,EACzE,QAAQ,CAAC,mBAAmB,EAC5B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAChB,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,qBAAqB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,oBAAoB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,EAC5G,EAAE,aAAa,EAAE,IAAI,EAAE,CACvB,CAAA;QACD,OAAO,YAAY,CAAO,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACvE,CAAC,CAAC,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CAAsB,MAAS,EAAE,MAAsB,EAAE,OAAoB;IACjG,MAAM,KAAK,GAAqB,EAAE,MAAM,EAAE,MAAM,EAAE,CAAA;IAClD,MAAM,QAAQ,GAAgB;QAC7B,OAAO;QACP,GAAG,CAAC,QAAQ,EAAE,GAAG;YAChB,OAAO,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAA;QACnC,CAAC;QACD,OAAO,CAAC,KAAK,EAAE,MAAM;YACpB,OAAO,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QACvC,CAAC;QACD,OAAO,CAAC,KAAK;YACZ,OAAO,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC/B,CAAC;QACD,KAAK;YACJ,OAAO,UAAU,CAAC,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,oBAAoB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;QACnG,CAAC;KACD,CAAA;IACD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;IACvB,eAAe,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;IACrC,OAAO,QAAQ,CAAA;AAChB,CAAC;AASD,SAAS,MAAM,CAAsB,MAAS,EAAE,KAAc;IAC7D,MAAM,KAAK,GAAU;QACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU;YACT,OAAO,mBAAmB,CACzB,eAAe,EACf,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,EAC9D,aAAa,CAAC,WAAW,EACzB,GAAG,EAAE,CAAC,SAAS,CACf,CAAA;QACF,CAAC;QACD,QAAQ;YACP,OAAO,MAAM,CAAC,cAAc,CAC3B,mBAAmB,CAClB,aAAa,EACb,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,EAC5D,QAAQ,CAAC,mBAAmB,EAC5B,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CACtE,EACD,CAAC,QAAQ,EAAE,EAAE,CACZ,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CACnB,YAAY,CAAC,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC3C,QAAQ,CAAC,oBAAoB,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,eAAe,EAAE,EAAE,QAAQ,CAAC,CAC3F,CACD,EACF,EAAE,aAAa,EAAE,IAAI,EAAE,CACvB,CAAA;QACF,CAAC;QACD,KAAK,CAAC,OAAO,EAAE,OAAO;YACrB,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAC1B,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,CAAA;gBACzC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC5B,uDAAuD;oBACvD,uBAAuB;oBACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC,CAAA;gBAClE,CAAC;gBACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;oBAC1C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC,CAAA;gBAClE,CAAC;gBACD,MAAM,QAAQ,GACb,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK;oBAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE;oBACjB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,CAAA;gBACnG,OAAO,KAAK,CAAC,CAAC,mBAAmB,CAChC,UAAU,EACV,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,EACpF,QAAQ,CAAC,gBAAgB,EACzB,SAAS,CACT,CAAA;YACF,CAAC,CAAC,CAAA;QACH,CAAC;QACD,OAAO;YACN,OAAO,mBAAmB,CACzB,YAAY,EACZ,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,EAC3D,QAAQ,CAAC,oBAAoB,EAC7B,CAAC,IAAsB,EAAgB,EAAE,CACxC,MAAM,CAAC,MAAM,CAAC;gBACb,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;gBACpC,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;aAC3C,CAAC,CACH,CAAA;QACF,CAAC;QACD,KAAK;YACJ,0DAA0D;YAC1D,sDAAsD;YACtD,iCAAiC;YACjC,OAAO,UAAU,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CACxG,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACzB,UAAU,CAAC,mBAAmB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC5C,aAAa,CAAC,qBAAqB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CACrE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAC9F,CACD,CAAA;QACF,CAAC;KACD,CAAA;IACD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACpB,OAAO,KAAK,CAAA;AACb,CAAC;AAED,MAAM,eAAe,GAAG,IAAI,OAAO,EAA0B,CAAA;AAE7D,SAAS,eAAe;IACvB,MAAM,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,CAAA;AACjF,CAAC;AAED,iEAAiE;AACjE,MAAM,KAAK,GAAG,OAAO,CAAA;AAErB,SAAS,YAAY,CACpB,SAAkC,EAClC,IAAY,EACZ,MAAS,EACT,MAAe;IAEf,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,EAAE,CAAA;QACtC,MAAM,QAAQ,GAAsB,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QACrE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAA;QAC1B,yDAAyD;QACzD,0DAA0D;QAC1D,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,cAAc,CAC7C,mBAAmB,CAClB,SAAS,EACT,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,EAC5E,aAAa,CAAC,oBAAoB,EAClC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAChB,EACD,CAAC,GAAG,EAAE,EAAE,CACP,YAAY,CAAC,GAAG,SAAS,iBAAiB,EAAE,CAAC,QAAQ,EAAE,EAAE,CACxD,aAAa,CAAC,qBAAqB,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,CACzD,EACF,EAAE,aAAa,EAAE,IAAI,EAAE,CACvB,CAAA;QACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,cAAc,CAClC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YACnB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,mBAAmB,CACzC,SAAS,EACT,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,sBAAsB,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,EAC5F,aAAa,CAAC,aAAa,EAC3B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAChB,CAAC,IAAI,CACL,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACtB,UAAU,CAAC,GAAG,SAAS,iBAAiB,EAAE,CAAC,QAAQ,EAAE,EAAE,CACtD,aAAa,CAAC,qBAAqB,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAC/D,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAC1C,CACD,CAAA;YACD,IAAI,OAAO,CAAC,GAAG,KAAK,UAAU,EAAE,CAAC;gBAChC,KAAK,CAAC,CAAC,UAAU,CAAC,GAAG,SAAS,iBAAiB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC7D,aAAa,CAAC,qBAAqB,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAC/D,CAAA;gBACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC,CAAA;YACjE,CAAC;YACD,MAAM,KAAK,GAAY,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAA;YACjG,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;YAChC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YACvB,OAAO,EAAE,CAAA;QACV,CAAC,CAAC,EACF,CAAC,EAAE,EAAE,EAAE,CACN,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;YACnB,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAC9B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO,MAAM,CAAC,IAAI,CAAA;YACnB,CAAC;YACD,OAAO,YAAY,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAC1G,MAAM,CAAC,QAAQ,CACd,YAAY,CAAC,mBAAmB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC9C,aAAa,CAAC,qBAAqB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CACrE,CACD,CACD,CAAA;QACF,CAAC,CAAC,EACH,EAAE,aAAa,EAAE,IAAI,EAAE,CACvB,CAAA;IACF,CAAC,CAAC,CAAA;AACH,CAAC;AAED,MAAM,QAAQ,GAAG,IAAI,OAAO,EAAmB,CAAA;AAE/C;;;;;GAKG;AACH,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,MAAM,CAAsB,IAAY,EAAE,MAAS;QAClD,OAAO,YAAY,CAAC,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAA;IACrD,CAAC;IACD,IAAI,CAAsB,IAAY,EAAE,MAAS;QAChD,OAAO,YAAY,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;IACpD,CAAC;CACD,CAAC,CAAA;AAEF;;;;;;;;;;GAUG;AACH,SAAS,uBAAuB,CAC/B,IAAY,EACZ,MAAS;IAMT,MAAM,KAAK,GAAqB,EAAE,MAAM,EAAE,MAAM,EAAE,IAAsB,EAAE,CAAA;IAC1E,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,GAAG,CAAmB,QAAW,EAAE,GAAW;YAC7C,OAAO,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAA;QACnC,CAAC;QACD,OAAO,CAA4B,UAAkC,EAAE,MAAS;YAC/E,OAAO,SAAS,CAAO,KAAK,EAAE,UAAsB,EAAE,MAAM,CAAC,CAAA;QAC9D,CAAC;QACD,OAAO,CAA4B,UAAkC;YACpE,OAAO,SAAS,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;QACpC,CAAC;KACD,CAAC,CAAA;AACH,CAAC;AAaD,OAAO,EAAE,EAAE,EAAE,uBAAuB,EAAE,CAAA"}
+{"version":3,"file":"db.js","sourceRoot":"","sources":["../src/db.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAEzC,OAAO,EAAE,MAAM,IAAI,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAU7E,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAA;AAGjC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAI1C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA;AAE/D,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAElD,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEhE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAE3D,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAElD,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAG3D,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAqHtD,SAAS,OAAO,CAAC,SAAiB,EAAE,MAA0C;IAC7E,OAAO,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;AAC5D,CAAC;AAED,SAAS,SAAS,CAAC,IAAiB;IACnC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAA;AACzE,CAAC;AAED,SAAS,SAAS,CAAC,IAAsB;IACxC,QAAQ,IAAI,CAAC,GAAG,EAAE,CAAC;QAClB,KAAK,UAAU;YACd,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;QAC7E,KAAK,WAAW;YACf,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;QAC9E,KAAK,oBAAoB;YACxB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAA;QAClF,KAAK,OAAO;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACjH,CAAC;AACF,CAAC;AAED,SAAS,UAAU,CAAC,IAAsB;IACzC,QAAQ,IAAI,CAAC,GAAG,EAAE,CAAC;QAClB,KAAK,UAAU;YACd,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;QAC7G,KAAK,oBAAoB;YACxB,OAAO,MAAM,CAAC,MAAM,CAAC;gBACpB,IAAI,EAAE,oBAAoB;gBAC1B,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;gBACpC,UAAU,EAAE,IAAI,CAAC,UAAU;aAC3B,CAAC,CAAA;QACH,KAAK,OAAO;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACjH,CAAC;AACF,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,OAAe,EAAE,OAAqB,EAAE,SAAiB;IAC7F,OAAO,MAAM,CAAC,GAAG,CAAC;QACjB,GAAG,EAAE,GAAG,EAAE;YACT,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,CAAA;YACzC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACpE,MAAM,OAAO,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAA;YAC5C,CAAC;YACD,MAAM,MAAM,GAAG,WAAW,CAAC,eAAe,EAAE,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC,CAAA;YAClE,MAAM,MAAM,GAAG,WAAW,CACzB,gBAAgB,EAChB,MAAM,CAAC,QAAQ,EACf,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAC3D,CAAA;YACD,IAAI,QAAsB,CAAA;YAC1B,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC3B,QAAQ,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;YAC3B,CAAC;iBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACpC,MAAM,EAAE,GAAG,WAAW,CAAC,kBAAkB,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAA;gBAC9E,IAAI,OAAO,EAAE,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;oBACtE,MAAM,OAAO,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAA;gBAC5C,CAAC;gBACD,QAAQ,GAAG;oBACV,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE,EAAE,CAAC,KAAK;oBACf,UAAU,EAAE,YAAY,CAAC,qBAAqB,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC;iBACrE,CAAA;YACF,CAAC;iBAAM,CAAC;gBACP,MAAM,OAAO,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAA;YAC5C,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAA;QAC7C,CAAC;QACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,KAAK,CAAC;KACjD,CAAC,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAClB,MAAS,EACT,KAAe,EACf,MAAyC;IAMzC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACzC,MAAM,OAAO,CAAC,qBAAqB,EAAE,iBAAiB,CAAC,CAAA;IACxD,CAAC;IACD,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;IAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAClD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAA;AAC7C,CAAC;AAOD,SAAS,SAAS,CACjB,KAAuB,EACvB,KAAe,EACf,MAAyC;IAEzC,OAAO,YAAY,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAClC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC;YAClD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,qBAAqB,EAAE,KAAK,CAAC;SAC7D,CAAC,CAAA;QACF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,mBAAmB,CACxC,qBAAqB,EACrB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,EACjG,QAAQ,CAAC,iBAAiB,EAC1B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAChB,CAAA;QACD,OAAO,kBAAkB,CAAI,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAA;IACrD,CAAC,CAAC,CACF,CAAA;AACF,CAAC;AAED,SAAS,YAAY,CAAI,OAAkD;IAC1E,OAAO,MAAM,CAAC,cAAc,CAC3B,OAAO,EACP,CAAC,MAAM,EAAE,EAAE,CACV,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACnB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAA;QAC7C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,MAAM,CAAC,IAAI,CAAA;QACnB,CAAC;QACD,OAAO,YAAY,CAAC,sBAAsB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;IAC3G,CAAC,CAAC,EACH,EAAE,aAAa,EAAE,IAAI,EAAE,CACvB,CAAA;AACF,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAc;IAC3C,OAAO,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;AACtC,CAAC;AAED,SAAS,KAAK,CACb,KAAuB,EACvB,GAAM,EACN,KAAa;IAEb,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC1B,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAClC,GAAG,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC;YACzC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,iBAAiB,EAAE,KAAK,CAAC;SACzD,CAAC,CAAA;QACF,IAAI,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAClD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC,CAAA;QACzE,CAAC;QACD,MAAM,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAA;QAChC,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAA;QACnC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC;YACpE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC,CAAA;QACzE,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QACxD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC,CAAA;QACzE,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAC/B,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC;YAC/D,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,iBAAiB,EAAE,KAAK,CAAC;SACzD,CAAC,CAAA;QACF,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,mBAAmB,CACrC,iBAAiB,EACjB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,kBAAkB,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,CAAC,EACjG,QAAQ,CAAC,cAAc,EACvB,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAChB,CAAA;QACD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAClB,OAAO,MAAM,CAAC,IAAI,EAAoB,CAAA;QACvC,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,GAA2B,CAAC,CAAC,CAAA;IACvE,CAAC,CAAC,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CACpB,MAAsB,EACtB,WAAuC,EACvC,KAAgC;IAEhC,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,aAAa;YACZ,OAAO,mBAAmB,CACzB,6BAA6B,EAC7B,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,4BAA4B,CAAC,MAAM,EAAE,QAAQ,CAAC,EACrE,aAAa,CAAC,WAAW,EACzB,GAAG,EAAE,CAAC,SAAS,CACf,CAAA;QACF,CAAC;QACD,OAAO,CAAC,MAAS;YAChB,OAAO,YAAY,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBACnB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;oBAC9B,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,MAAM,CAAC;oBAC1C,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,uBAAuB,EAAE,KAAK,CAAC;iBAC/D,CAAC,CAAA;gBACF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,mBAAmB,CACxC,uBAAuB,EACvB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,EACrE,QAAQ,CAAC,iBAAiB,EAC1B,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAI,KAAK,EAAE,KAAK,CAAC,CAC9C,CAAA;gBACD,OAAO,MAAM,CAAA;YACd,CAAC,CAAC,CACF,CAAA;QACF,CAAC;QACD,KAAK;YACJ,OAAO,UAAU,CAAC,qBAAqB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,oBAAoB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;QACxG,CAAC;KACD,CAAC,CAAA;AACH,CAAC;AAED,SAAS,SAAS,CACjB,KAAuB,EACvB,KAA6B;IAE7B,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC1B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAC5B,GAAG,EAAE,GAAG,EAAE;gBACT,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC/C,MAAM,OAAO,CAAC,qBAAqB,EAAE,iBAAiB,CAAC,CAAA;gBACxD,CAAC;gBACD,OAAO,UAAU,CAAC,KAAK,CAAC,CAAA;YACzB,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,qBAAqB,EAAE,KAAK,CAAC;SAC7D,CAAC,CAAA;QACF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,cAAc,CAC1C,mBAAmB,CAClB,qBAAqB,EACrB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,QAAQ,CAAC,EACzE,QAAQ,CAAC,mBAAmB,EAC5B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAChB,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,qBAAqB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,oBAAoB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,EAC5G,EAAE,aAAa,EAAE,IAAI,EAAE,CACvB,CAAA;QACD,OAAO,YAAY,CAAO,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACvE,CAAC,CAAC,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CAAsB,MAAS,EAAE,MAAsB,EAAE,OAAoB;IACjG,MAAM,KAAK,GAAqB,EAAE,MAAM,EAAE,MAAM,EAAE,CAAA;IAClD,MAAM,QAAQ,GAAgB;QAC7B,OAAO;QACP,GAAG,CAAC,GAAG,EAAE,KAAK;YACb,OAAO,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;QAChC,CAAC;QACD,OAAO,CAAC,KAAK,EAAE,MAAM;YACpB,OAAO,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QACvC,CAAC;QACD,OAAO,CAAC,KAAK;YACZ,OAAO,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC/B,CAAC;QACD,KAAK;YACJ,OAAO,UAAU,CAAC,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,oBAAoB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;QACnG,CAAC;KACD,CAAA;IACD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;IACvB,eAAe,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;IACrC,OAAO,QAAQ,CAAA;AAChB,CAAC;AASD,SAAS,MAAM,CAAsB,MAAS,EAAE,KAAc;IAC7D,MAAM,KAAK,GAAU;QACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU;YACT,OAAO,mBAAmB,CACzB,eAAe,EACf,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,EAC9D,aAAa,CAAC,WAAW,EACzB,GAAG,EAAE,CAAC,SAAS,CACf,CAAA;QACF,CAAC;QACD,QAAQ;YACP,OAAO,MAAM,CAAC,cAAc,CAC3B,mBAAmB,CAClB,aAAa,EACb,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,EAC5D,QAAQ,CAAC,mBAAmB,EAC5B,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CACtE,EACD,CAAC,QAAQ,EAAE,EAAE,CACZ,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CACnB,YAAY,CAAC,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC3C,QAAQ,CAAC,oBAAoB,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,eAAe,EAAE,EAAE,QAAQ,CAAC,CAC3F,CACD,EACF,EAAE,aAAa,EAAE,IAAI,EAAE,CACvB,CAAA;QACF,CAAC;QACD,KAAK,CAAC,OAAO,EAAE,OAAO;YACrB,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAA;gBACrE,OAAO,KAAK,CAAC,CAAC,mBAAmB,CAChC,UAAU,EACV,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,EACvF,QAAQ,CAAC,gBAAgB,EACzB,SAAS,CACT,CAAA;YACF,CAAC,CAAC,CAAA;QACH,CAAC;QACD,KAAK,CAAC,OAAO,EAAE,OAAO;YACrB,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAA;gBACrE,OAAO,KAAK,CAAC,CAAC,mBAAmB,CAChC,UAAU,EACV,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,EACvF,QAAQ,CAAC,gBAAgB,EACzB,UAAU,CACV,CAAA;YACF,CAAC,CAAC,CAAA;QACH,CAAC;QACD,OAAO;YACN,OAAO,mBAAmB,CACzB,YAAY,EACZ,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,EAC3D,QAAQ,CAAC,oBAAoB,EAC7B,CAAC,IAAsB,EAAgB,EAAE,CACxC,MAAM,CAAC,MAAM,CAAC;gBACb,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;gBACpC,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;aAC3C,CAAC,CACH,CAAA;QACF,CAAC;QACD,KAAK;YACJ,0DAA0D;YAC1D,sDAAsD;YACtD,iCAAiC;YACjC,OAAO,UAAU,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CACxG,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACzB,UAAU,CAAC,mBAAmB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC5C,aAAa,CAAC,qBAAqB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CACrE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAC9F,CACD,CAAA;QACF,CAAC;KACD,CAAA;IACD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACpB,OAAO,KAAK,CAAA;AACb,CAAC;AAED,MAAM,eAAe,GAAG,IAAI,OAAO,EAA0B,CAAA;AAE7D,SAAS,eAAe;IACvB,MAAM,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,CAAA;AACjF,CAAC;AAED,iEAAiE;AACjE,MAAM,KAAK,GAAG,OAAO,CAAA;AAErB,SAAS,YAAY,CACpB,SAAkC,EAClC,IAAY,EACZ,MAAS,EACT,MAAe;IAEf,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,EAAE,CAAA;QACtC,MAAM,QAAQ,GAAsB,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QACrE,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QACnC,yDAAyD;QACzD,0DAA0D;QAC1D,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,cAAc,CAC7C,mBAAmB,CAClB,SAAS,EACT,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,EAC5E,aAAa,CAAC,oBAAoB,EAClC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAChB,EACD,CAAC,GAAG,EAAE,EAAE,CACP,YAAY,CAAC,GAAG,SAAS,iBAAiB,EAAE,CAAC,QAAQ,EAAE,EAAE,CACxD,aAAa,CAAC,qBAAqB,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,CACzD,EACF,EAAE,aAAa,EAAE,IAAI,EAAE,CACvB,CAAA;QACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,cAAc,CAClC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YACnB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,mBAAmB,CACzC,SAAS,EACT,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,sBAAsB,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,EAC5F,aAAa,CAAC,aAAa,EAC3B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAChB,CAAC,IAAI,CACL,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACtB,UAAU,CAAC,GAAG,SAAS,iBAAiB,EAAE,CAAC,QAAQ,EAAE,EAAE,CACtD,aAAa,CAAC,qBAAqB,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAC/D,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAC1C,CACD,CAAA;YACD,IAAI,OAAO,CAAC,GAAG,KAAK,UAAU,EAAE,CAAC;gBAChC,KAAK,CAAC,CAAC,UAAU,CAAC,GAAG,SAAS,iBAAiB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC7D,aAAa,CAAC,qBAAqB,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAC/D,CAAA;gBACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC,CAAA;YACjE,CAAC;YACD,MAAM,KAAK,GAAY,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAA;YAC1G,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;YACzC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YACvB,OAAO,EAAE,CAAA;QACV,CAAC,CAAC,EACF,CAAC,EAAE,EAAE,EAAE,CACN,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;YACnB,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAC9B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO,MAAM,CAAC,IAAI,CAAA;YACnB,CAAC;YACD,OAAO,YAAY,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAC1G,MAAM,CAAC,QAAQ,CACd,YAAY,CAAC,mBAAmB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC9C,aAAa,CAAC,qBAAqB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CACrE,CACD,CACD,CAAA;QACF,CAAC,CAAC,EACH,EAAE,aAAa,EAAE,IAAI,EAAE,CACvB,CAAA;IACF,CAAC,CAAC,CAAA;AACH,CAAC;AAED,MAAM,QAAQ,GAAG,IAAI,OAAO,EAAmB,CAAA;AAE/C;;;;;GAKG;AACH,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,MAAM,CAAsB,IAAY,EAAE,MAAS;QAClD,OAAO,YAAY,CAAC,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAA;IACrD,CAAC;IACD,IAAI,CAAsB,IAAY,EAAE,MAAS;QAChD,OAAO,YAAY,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;IACpD,CAAC;CACD,CAAC,CAAA;AAEF;;;;;;;;;;GAUG;AACH,SAAS,uBAAuB,CAC/B,IAAY,EACZ,MAAS;IAMT,MAAM,KAAK,GAAqB,EAAE,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAsB,EAAE,CAAA;IACpG,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,GAAG,CAAoD,GAAM,EAAE,KAAsB;YACpF,OAAO,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;QAChC,CAAC;QACD,OAAO,CAA4B,UAAkC,EAAE,MAAS;YAC/E,OAAO,SAAS,CAAO,KAAK,EAAE,UAAsB,EAAE,MAAM,CAAC,CAAA;QAC9D,CAAC;QACD,OAAO,CAA4B,UAAkC;YACpE,OAAO,SAAS,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;QACpC,CAAC;KACD,CAAC,CAAA;AACH,CAAC;AAcD,OAAO,EAAE,EAAE,EAAE,uBAAuB,EAAE,CAAA"}

package/dist/errors.d.ts

@@ -1,6 +1,4 @@
-declare const AuthoringError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
-    readonly _tag: "AuthoringError";
-} & Readonly<A>;
+import { Schema } from "effect";
 /**
  * Pure authoring failures, SDK-invariant defects and internal native-boundary
  * diagnostics. AST misuse can throw synchronously without I/O. Runtime
@@ -8,8 +6,18 @@ declare const AuthoringError_base: new <A extends Record<string, any> = {}>(args
  * in `#runtime-errors.ts`; contradictions in SDK/native state remain defects.
  */
 /** A pure schema, query, parameter, or value-authoring refusal. */
+export declare const AuthoringDiagnostic: Schema.Struct<{
+    readonly code: Schema.Literals<readonly ["InvalidValue", "InvalidRecord", "UnknownField", "MissingField", "InvalidDeclaration", "InvalidQuery"]>;
+    readonly context: Schema.String;
+    readonly expected: Schema.String;
+}>;
+export type AuthoringDiagnostic = typeof AuthoringDiagnostic.Type;
+declare const AuthoringError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "AuthoringError";
+} & Readonly<A>;
 export declare class AuthoringError extends AuthoringError_base<{
     readonly message: string;
+    readonly diagnostic?: AuthoringDiagnostic;
 }> {
 }
 declare const SdkInvariantError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {

package/dist/errors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":";;;AAEA;;;;;GAKG;AAEH,mEAAmE;AACnE,qBAAa,cAAe,SAAQ,oBAAmC;IACtE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACxB,CAAC;CAAG;;;;AAEL,2EAA2E;AAC3E,qBAAa,iBAAkB,SAAQ,uBAAsC;IAC5E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACxB,CAAC;CAAG;;;;AAEL,qBAAa,eAAgB,SAAQ,qBAAoC;IACxE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,GAAG,MAAM,CAAA;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACvB,CAAC;CAAG;;;;AAEL,qFAAqF;AACrF,qBAAa,oBAAqB,SAAQ,0BAAyC;IAClF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACvB,CAAC;IACD,IAAa,OAAO,IAAI,MAAM,CAO7B;CACD;;;;AAED,qBAAa,mBAAoB,SAAQ,yBAAwC;IAChF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACvB,CAAC;CAAG"}
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,MAAM,EAAE,MAAM,QAAQ,CAAA;AAErC;;;;;GAKG;AAEH,mEAAmE;AACnE,eAAO,MAAM,mBAAmB;;;;EAW9B,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA;;;;AAEjE,qBAAa,cAAe,SAAQ,oBAAmC;IACtE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,mBAAmB,CAAA;CACzC,CAAC;CAAG;;;;AAEL,2EAA2E;AAC3E,qBAAa,iBAAkB,SAAQ,uBAAsC;IAC5E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACxB,CAAC;CAAG;;;;AAEL,qBAAa,eAAgB,SAAQ,qBAAoC;IACxE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,GAAG,MAAM,CAAA;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACvB,CAAC;CAAG;;;;AAEL,qFAAqF;AACrF,qBAAa,oBAAqB,SAAQ,0BAAyC;IAClF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACvB,CAAC;IACD,IAAa,OAAO,IAAI,MAAM,CAO7B;CACD;;;;AAED,qBAAa,mBAAoB,SAAQ,yBAAwC;IAChF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACvB,CAAC;CAAG"}

package/dist/errors.js

@@ -1,4 +1,4 @@
-import { Data } from "effect";
+import { Data, Schema } from "effect";
 /**
  * Pure authoring failures, SDK-invariant defects and internal native-boundary
  * diagnostics. AST misuse can throw synchronously without I/O. Runtime
@@ -6,6 +6,18 @@ import { Data } from "effect";
  * in `#runtime-errors.ts`; contradictions in SDK/native state remain defects.
  */
 /** A pure schema, query, parameter, or value-authoring refusal. */
+export const AuthoringDiagnostic = Schema.Struct({
+    code: Schema.Literals([
+        "InvalidValue",
+        "InvalidRecord",
+        "UnknownField",
+        "MissingField",
+        "InvalidDeclaration",
+        "InvalidQuery"
+    ]),
+    context: Schema.String,
+    expected: Schema.String
+});
 export class AuthoringError extends Data.TaggedError("AuthoringError") {
 }
 /** A contradiction in an SDK/native result, not an application refusal. */

package/dist/errors.js.map

@@ -1 +1 @@
-{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAE7B;;;;;GAKG;AAEH,mEAAmE;AACnE,MAAM,OAAO,cAAe,SAAQ,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAEnE;CAAG;AAEL,2EAA2E;AAC3E,MAAM,OAAO,iBAAkB,SAAQ,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAEzE;CAAG;AAEL,MAAM,OAAO,eAAgB,SAAQ,IAAI,CAAC,WAAW,CAAC,iBAAiB,CAKrE;CAAG;AAEL,qFAAqF;AACrF,MAAM,OAAO,oBAAqB,SAAQ,IAAI,CAAC,WAAW,CAAC,sBAAsB,CAG/E;IACD,IAAa,OAAO;QACnB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QACxB,MAAM,MAAM,GACX,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,SAAS,IAAI,KAAK,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;YACrG,CAAC,CAAC,KAAK,CAAC,OAAO;YACf,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACjB,OAAO,GAAG,IAAI,CAAC,SAAS,KAAK,MAAM,EAAE,CAAA;IACtC,CAAC;CACD;AAED,MAAM,OAAO,mBAAoB,SAAQ,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAI7E;CAAG"}
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAErC;;;;;GAKG;AAEH,mEAAmE;AACnE,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC;IAChD,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC;QACrB,cAAc;QACd,eAAe;QACf,cAAc;QACd,cAAc;QACd,oBAAoB;QACpB,cAAc;KACd,CAAC;IACF,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,QAAQ,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC,CAAA;AAGF,MAAM,OAAO,cAAe,SAAQ,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAGnE;CAAG;AAEL,2EAA2E;AAC3E,MAAM,OAAO,iBAAkB,SAAQ,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAEzE;CAAG;AAEL,MAAM,OAAO,eAAgB,SAAQ,IAAI,CAAC,WAAW,CAAC,iBAAiB,CAKrE;CAAG;AAEL,qFAAqF;AACrF,MAAM,OAAO,oBAAqB,SAAQ,IAAI,CAAC,WAAW,CAAC,sBAAsB,CAG/E;IACD,IAAa,OAAO;QACnB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QACxB,MAAM,MAAM,GACX,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,SAAS,IAAI,KAAK,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;YACrG,CAAC,CAAC,KAAK,CAAC,OAAO;YACf,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACjB,OAAO,GAAG,IAAI,CAAC,SAAS,KAAK,MAAM,EAAE,CAAA;IACtC,CAAC;CACD;AAED,MAAM,OAAO,mBAAoB,SAAQ,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAI7E;CAAG"}