@moyodb/sdk 0.0.0-alpha.3 → 1.0.0

package/dist/change-events.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"change-events.d.ts","sourceRoot":"","sources":["../src/change-events.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAExC,MAAM,WAAW,cAAc;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,QAAQ,EAAE,CAAC;CACvB;AACD,MAAM,WAAW,kBAAkB;IAC/B,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,cAAc,EAAE,CAAC;CAC5B;AACD,MAAM,WAAW,iBAAiB;IAC9B,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,IAAI,CAAC;CACd;AACD,MAAM,WAAW,aAAa;IAC1B,IAAI,EAAE,WAAW,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,IAAI,CAAC;CACd;AACD,MAAM,WAAW,cAAc;IAC3B,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,IAAI,CAAC;CACd;AACD,MAAM,MAAM,oBAAoB,GAAG,kBAAkB,GAAG,iBAAiB,GAAG,aAAa,GAAG,cAAc,CAAC;AAY3G,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,kBAAkB,CAShF"}
+{"version":3,"file":"change-events.d.ts","sourceRoot":"","sources":["../src/change-events.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAExC,MAAM,WAAW,cAAc;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,QAAQ,EAAE,CAAC;CACvB;AACD,MAAM,WAAW,kBAAkB;IAC/B,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,cAAc,EAAE,CAAC;CAC5B;AACD,MAAM,WAAW,iBAAiB;IAC9B,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,IAAI,CAAC;CACd;AACD,MAAM,WAAW,aAAa;IAC1B,IAAI,EAAE,WAAW,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,IAAI,CAAC;CACd;AACD,MAAM,WAAW,cAAc;IAC3B,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,IAAI,CAAC;CACd;AACD,MAAM,MAAM,oBAAoB,GAAG,kBAAkB,GAAG,iBAAiB,GAAG,aAAa,GAAG,cAAc,CAAC;AAkB3G,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,kBAAkB,CAShF"}

package/dist/codec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../src/codec.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAarC,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,UAAU,CAAC;AAC5E,MAAM,MAAM,iBAAiB,GAAG,eAAe,CAAC;AAChD,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAEpD;AACD,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAEpD;AACD,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAErD;AACD,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,GAAG,CAAC,CAElD;AACD,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU,CASzD;AACD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,aAAa,CAAC,eAAe,CAAC,GAAG,UAAU,CAK5F;AACD,wBAAgB,WAAW,CAAC,GAAG,KAAK,EAAE,eAAe,EAAE,GAAG,UAAU,CAEnE;AACD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,iBAAiB,GAAG,UAAU,CAEtE;AACD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,GAAG,UAAU,CAEnF;AACD,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,UAAU,GAAG,UAAU,EAAE,CA2B9D;AACD,wBAAgB,eAAe,CAAC,MAAM,EAAE,UAAU,GAAG,UAAU,GAAG,IAAI,CASrE;AACD,wBAAgB,WAAW,CAAC,MAAM,EAAE,UAAU,GAAG,KAAK,CAGrD;AACD,wBAAgB,gBAAgB,CAAC,GAAG,KAAK,EAAE,eAAe,EAAE,GAAG,KAAK,CAEnE"}
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../src/codec.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAarC,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,UAAU,CAAC;AAC5E,MAAM,MAAM,iBAAiB,GAAG,eAAe,CAAC;AAChD,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAEpD;AACD,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAEpD;AACD,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAErD;AACD,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,GAAG,CAAC,CAElD;AACD,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU,CASzD;AAMD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,aAAa,CAAC,eAAe,CAAC,GAAG,UAAU,CAK5F;AACD,wBAAgB,WAAW,CAAC,GAAG,KAAK,EAAE,eAAe,EAAE,GAAG,UAAU,CAEnE;AACD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,iBAAiB,GAAG,UAAU,CAEtE;AACD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,GAAG,UAAU,CAEnF;AACD,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,UAAU,GAAG,UAAU,EAAE,CA2B9D;AACD,wBAAgB,eAAe,CAAC,MAAM,EAAE,UAAU,GAAG,UAAU,GAAG,IAAI,CASrE;AACD,wBAAgB,WAAW,CAAC,MAAM,EAAE,UAAU,GAAG,KAAK,CAGrD;AACD,wBAAgB,gBAAgB,CAAC,GAAG,KAAK,EAAE,eAAe,EAAE,GAAG,KAAK,CAEnE"}

package/dist/compression.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compression.d.ts","sourceRoot":"","sources":["../src/compression.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAC/C,MAAM,MAAM,iBAAiB,GAAG,eAAe,GAAG,KAAK,CAAC;AAUxD,eAAO,MAAM,iCAAiC,OAAO,CAAC;AA6KtD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,MAAM,GAAG,iBAAiB,CAY1E;AACD,wBAAsB,sBAAsB,CAAC,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC,CAYnH;AACD,wBAAsB,sBAAsB,CACxC,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE;IACL,MAAM,EAAE,OAAO,CAAC;CACnB,GACF,OAAO,CAAC,UAAU,CAAC,CAqDrB;AACD,wBAAsB,2BAA2B,CAC7C,QAAQ,EAAE,UAAU,EACpB,WAAW,EAAE,iBAAiB,GAC/B,OAAO,CAAC,UAAU,CAAC,CAMrB;AACD,wBAAsB,yBAAyB,CAAC,QAAQ,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAmCzF"}
+{"version":3,"file":"compression.d.ts","sourceRoot":"","sources":["../src/compression.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAC/C,MAAM,MAAM,iBAAiB,GAAG,eAAe,GAAG,KAAK,CAAC;AAUxD,eAAO,MAAM,iCAAiC,OAAO,CAAC;AAuKtD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,MAAM,GAAG,iBAAiB,CAY1E;AACD,wBAAsB,sBAAsB,CAAC,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC,CAYnH;AACD,wBAAsB,sBAAsB,CACxC,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE;IACL,MAAM,EAAE,OAAO,CAAC;CACnB,GACF,OAAO,CAAC,UAAU,CAAC,CAqDrB;AACD,wBAAsB,2BAA2B,CAC7C,QAAQ,EAAE,UAAU,EACpB,WAAW,EAAE,iBAAiB,GAC/B,OAAO,CAAC,UAAU,CAAC,CAMrB;AACD,wBAAsB,yBAAyB,CAAC,QAAQ,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAmCzF"}

package/dist/engine/README.md

@@ -19,12 +19,12 @@ Experimental Rust/WASM transactional key-value storage engine for browser apps.
 
 It provides ordered byte keys, range scans, snapshots, TTL, recovery checks, and a TypeScript SDK that talks to a dedicated Worker-backed runtime over OPFS.
 
-> Status: **alpha**. MoyoDB is useful for experiments and early integrations. Do not use it for production data without your own durability and compatibility validation.
+> Release: **1.0.0**. MoyoDB is experimental. Validate durability and compatibility for your workload before using it for production data.
 
 ## Quick start
 
 ```bash
-npm install @moyodb/sdk@alpha
+npm install @moyodb/sdk@1.0.0
 ```
 
 ```ts
@@ -40,13 +40,29 @@ console.log(value ? utf8Decode(value) : null);
 await db.close();
 ```
 
-The current alpha package is `@moyodb/sdk@0.0.0-alpha.3`. The human-facing project name is **MoyoDB**.
+## Verification
+
+- `proofs/moyodb_proofs` is a Lean 4 executable specification, not a proof of the storage engine. It models the store as a sorted association list, the WAL as a list of page-image and commit records, and transactions as write batches over that list. Its theorems (lookup after insert, idempotent delete, scan bounds, an incomplete WAL tail is ignored, snapshot stability) hold for that model only; they say nothing about the Rust B-tree, page and checksum layout, OPFS I/O, flush ordering, or power loss.
+- The traces exported to `proofs/artifacts` are replayed against the Rust engine by `crates/engine/tests/proof_artifacts.rs` as conformance scenarios.
+- Crash behavior is covered by tests: `crates/engine/tests/crash_matrix.rs`, `crates/engine/tests/fault_injection.rs` (failed and short writes plus torn flushes at every WAL, main-file, and superblock operation during commit, checkpoint, and recovery), and `crates/engine/js/opfs_shim.test.mjs` for control-file publication.
 
 ## Limitations
 
-- Alpha software; storage format and SDK API may still change.
+- Experimental software; storage format and SDK API may still change.
 - Browser-only runtime; there is no Node.js persistence API.
 - Requires OPFS and Worker-side sync access handles.
 - One active owner per database and one write transaction at a time.
 - Raw byte keys and values; no SQL/query planner.
 - No cloud sync, multi-tab concurrent writers, SharedWorker runtime, or IndexedDB fallback.
+
+## License
+
+Copyright © 2026 Eluvane. The licensor is Eluvane; licensing requests go to [keiko1337@proton.me](mailto:keiko1337@proton.me). The official repository is [eluvane/MoyoDB](https://github.com/eluvane/MoyoDB).
+
+MoyoDB **1.0.0** is the first release covered by the [Mother of Licenses 1.0](LICENSE) (`LicenseRef-MoL-1.0`). Earlier published releases retain their original licenses. Third-party dependencies and any separately licensed material retain their own licenses and notices.
+
+MoL permits royalty-free use, including commercial use of unmodified code or Authorized Builds inside your own products. Private modifications and production patches are permitted for your own internal use, provided the modified code is not distributed, published, made available to third parties, or used to create a standalone or competing product or provide Project-as-a-Service. The upstream contribution workflow in Section 6 remains permitted. Other publication or distribution of modified versions, independent forks, resale of MoyoDB itself, and hosting MoyoDB itself as a service require written permission. MoyoDB under MoL is source-available, not OSI-approved open source.
+
+## Contributing
+
+Read [CONTRIBUTING.md](CONTRIBUTING.md) and the license before submitting changes. Contributions must include explicit acceptance of the contribution and patent terms in Sections 9 and 10.

package/dist/engine/moyodb_engine.d.ts

@@ -4,41 +4,82 @@
 export class WasmEngine {
     free(): void;
     [Symbol.dispose](): void;
+    /**
+     * Closes without a checkpoint. Used for an engine whose files are
+     * about to be replaced or whose memory is not trusted.
+     */
+    abandon(): void;
     apply_batch(tx_id: bigint, store: string, ops: any): any;
-    apply_batch_packed(tx_id: bigint, store: string, ops: Uint8Array): any;
+    /**
+     * Returns one byte per op: for puts whether the key existed before,
+     * for deletes whether a key was deleted. The op kinds are the caller's.
+     */
+    apply_batch_packed(tx_id: bigint, store: string, ops: Uint8Array): Uint8Array;
     begin_tx(mode: string): bigint;
+    change_feed_policy(): any;
     changes_since(tx_id: bigint, options: any): any;
+    checkpoint(): void;
     clear_store(tx_id: bigint, name: string): void;
+    /**
+     * Checkpoints (when healthy) and closes. The handle is released even
+     * when closing fails, so a retry never reuses a half-closed engine.
+     */
     close(): void;
     commit_tx(tx_id: bigint): bigint;
+    /**
+     * Streams this database into `target`, a freshly opened empty
+     * generation. Returns the txid the target was published at.
+     */
+    compact_into(target: WasmEngine): bigint;
     create_store(tx_id: bigint, name: string, options: any): void;
     delete(tx_id: bigint, store: string, key: Uint8Array): boolean;
     delete_many(tx_id: bigint, store: string, keys: any): any;
-    delete_many_packed(tx_id: bigint, store: string, keys: Uint8Array): any;
+    /**
+     * Returns one byte per key: 1 if the key existed and was deleted.
+     */
+    delete_many_packed(tx_id: bigint, store: string, keys: Uint8Array): Uint8Array;
     drop_store(tx_id: bigint, name: string): void;
     export_snapshot(): Uint8Array;
     get(tx_id: bigint, store: string, key: Uint8Array): any;
     get_many(tx_id: bigint, store: string, keys: any): any;
-    get_many_packed(tx_id: bigint, store: string, keys: Uint8Array): any;
+    /**
+     * Keys arrive packed; values leave packed as
+     * `u32 count | count x u32 length (u32::MAX = missing) | bytes`,
+     * one buffer instead of one JS array per value.
+     */
+    get_many_packed(tx_id: bigint, store: string, keys: Uint8Array): Uint8Array;
     get_schema_version(): bigint;
     has(tx_id: bigint, store: string, key: Uint8Array): boolean;
+    health(): any;
     import_snapshot(data: Uint8Array): bigint;
     list_store_configs(): any;
     list_stores(): any;
+    needs_recovery(): boolean;
     constructor();
-    open(name: string, options: any): Promise<void>;
     openGeneration(name: string, generation_name: string, options: any): Promise<void>;
-    put(tx_id: bigint, store: string, key: Uint8Array, value: Uint8Array, options: any): void;
+    open(name: string, options: any): Promise<void>;
+    put(tx_id: bigint, store: string, key: Uint8Array, value: Uint8Array, options: any): boolean;
     put_many(tx_id: bigint, store: string, entries: any, options: any): any;
-    put_many_packed(tx_id: bigint, store: string, entries: Uint8Array, options: any): any;
+    /**
+     * Returns one byte per entry: 1 if the key existed before the put.
+     */
+    put_many_packed(tx_id: bigint, store: string, entries: Uint8Array, options: any): Uint8Array;
+    recover(): any;
     reset(): bigint;
     rollback_tx(tx_id: bigint): void;
     scan(tx_id: bigint, store: string, range: any): any;
+    set_change_feed_policy(tx_id: bigint, policy: any): void;
     set_failpoint(failpoint: any): void;
     set_schema_version(tx_id: bigint, version: bigint): void;
     stats(): any;
 }
 
+/**
+ * `"debug"` or `"release"`; benchmark reports record which build they
+ * measured instead of trusting the build script that was supposed to run.
+ */
+export function buildProfile(): string;
+
 export function cleanupInactiveEntries(name: string): Promise<void>;
 
 export function dbDirectorySize(name: string): Promise<number>;
@@ -47,61 +88,81 @@ export function deleteDB(name: string): Promise<void>;
 
 export function prepareRebuildTarget(name: string): Promise<any>;
 
-export function swapActiveGeneration(name: string, generation_name: string): Promise<void>;
+/**
+ * Active generation from the control file, or `null` for the legacy
+ * layout. A corrupt control file is an error, never `null`.
+ */
+export function readActiveGeneration(name: string): Promise<any>;
+
+/**
+ * Publishes `generation_name` as the active generation. With
+ * `expected_current` set, the swap fails unless the control file still
+ * names that generation (or is absent, for `null`), and the written
+ * control file is read back and verified before this resolves.
+ */
+export function swapActiveGeneration(name: string, generation_name: string, expected_current?: string | null): Promise<void>;
 
 export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
 
 export interface InitOutput {
     readonly memory: WebAssembly.Memory;
     readonly __wbg_wasmengine_free: (a: number, b: number) => void;
-    readonly cleanupInactiveEntries: (a: number, b: number) => any;
-    readonly dbDirectorySize: (a: number, b: number) => any;
-    readonly deleteDB: (a: number, b: number) => any;
-    readonly prepareRebuildTarget: (a: number, b: number) => any;
-    readonly swapActiveGeneration: (a: number, b: number, c: number, d: number) => any;
-    readonly wasmengine_apply_batch: (a: number, b: bigint, c: number, d: number, e: any) => [number, number, number];
-    readonly wasmengine_apply_batch_packed: (a: number, b: bigint, c: number, d: number, e: any) => [number, number, number];
-    readonly wasmengine_begin_tx: (a: number, b: number, c: number) => [bigint, number, number];
-    readonly wasmengine_changes_since: (a: number, b: bigint, c: any) => [number, number, number];
-    readonly wasmengine_clear_store: (a: number, b: bigint, c: number, d: number) => [number, number];
-    readonly wasmengine_close: (a: number) => [number, number];
-    readonly wasmengine_commit_tx: (a: number, b: bigint) => [bigint, number, number];
-    readonly wasmengine_create_store: (a: number, b: bigint, c: number, d: number, e: any) => [number, number];
-    readonly wasmengine_delete: (a: number, b: bigint, c: number, d: number, e: number, f: number) => [number, number, number];
-    readonly wasmengine_delete_many: (a: number, b: bigint, c: number, d: number, e: any) => [number, number, number];
-    readonly wasmengine_delete_many_packed: (a: number, b: bigint, c: number, d: number, e: any) => [number, number, number];
-    readonly wasmengine_drop_store: (a: number, b: bigint, c: number, d: number) => [number, number];
-    readonly wasmengine_export_snapshot: (a: number) => [number, number, number];
-    readonly wasmengine_get: (a: number, b: bigint, c: number, d: number, e: number, f: number) => [number, number, number];
-    readonly wasmengine_get_many: (a: number, b: bigint, c: number, d: number, e: any) => [number, number, number];
-    readonly wasmengine_get_many_packed: (a: number, b: bigint, c: number, d: number, e: any) => [number, number, number];
-    readonly wasmengine_get_schema_version: (a: number) => [bigint, number, number];
-    readonly wasmengine_has: (a: number, b: bigint, c: number, d: number, e: number, f: number) => [number, number, number];
-    readonly wasmengine_import_snapshot: (a: number, b: number, c: number) => [bigint, number, number];
-    readonly wasmengine_list_store_configs: (a: number) => [number, number, number];
-    readonly wasmengine_list_stores: (a: number) => [number, number, number];
+    readonly buildProfile: (a: number) => void;
+    readonly cleanupInactiveEntries: (a: number, b: number) => number;
+    readonly dbDirectorySize: (a: number, b: number) => number;
+    readonly deleteDB: (a: number, b: number) => number;
+    readonly prepareRebuildTarget: (a: number, b: number) => number;
+    readonly readActiveGeneration: (a: number, b: number) => number;
+    readonly swapActiveGeneration: (a: number, b: number, c: number, d: number, e: number, f: number) => number;
+    readonly wasmengine_abandon: (a: number, b: number) => void;
+    readonly wasmengine_apply_batch: (a: number, b: number, c: bigint, d: number, e: number, f: number) => void;
+    readonly wasmengine_apply_batch_packed: (a: number, b: number, c: bigint, d: number, e: number, f: number, g: number) => void;
+    readonly wasmengine_begin_tx: (a: number, b: number, c: number, d: number) => void;
+    readonly wasmengine_change_feed_policy: (a: number, b: number) => void;
+    readonly wasmengine_changes_since: (a: number, b: number, c: bigint, d: number) => void;
+    readonly wasmengine_checkpoint: (a: number, b: number) => void;
+    readonly wasmengine_clear_store: (a: number, b: number, c: bigint, d: number, e: number) => void;
+    readonly wasmengine_close: (a: number, b: number) => void;
+    readonly wasmengine_commit_tx: (a: number, b: number, c: bigint) => void;
+    readonly wasmengine_compact_into: (a: number, b: number, c: number) => void;
+    readonly wasmengine_create_store: (a: number, b: number, c: bigint, d: number, e: number, f: number) => void;
+    readonly wasmengine_delete: (a: number, b: number, c: bigint, d: number, e: number, f: number, g: number) => void;
+    readonly wasmengine_delete_many: (a: number, b: number, c: bigint, d: number, e: number, f: number) => void;
+    readonly wasmengine_delete_many_packed: (a: number, b: number, c: bigint, d: number, e: number, f: number, g: number) => void;
+    readonly wasmengine_drop_store: (a: number, b: number, c: bigint, d: number, e: number) => void;
+    readonly wasmengine_export_snapshot: (a: number, b: number) => void;
+    readonly wasmengine_get: (a: number, b: number, c: bigint, d: number, e: number, f: number, g: number) => void;
+    readonly wasmengine_get_many: (a: number, b: number, c: bigint, d: number, e: number, f: number) => void;
+    readonly wasmengine_get_many_packed: (a: number, b: number, c: bigint, d: number, e: number, f: number, g: number) => void;
+    readonly wasmengine_get_schema_version: (a: number, b: number) => void;
+    readonly wasmengine_has: (a: number, b: number, c: bigint, d: number, e: number, f: number, g: number) => void;
+    readonly wasmengine_health: (a: number, b: number) => void;
+    readonly wasmengine_import_snapshot: (a: number, b: number, c: number, d: number) => void;
+    readonly wasmengine_list_store_configs: (a: number, b: number) => void;
+    readonly wasmengine_list_stores: (a: number, b: number) => void;
+    readonly wasmengine_needs_recovery: (a: number, b: number) => void;
     readonly wasmengine_new: () => number;
-    readonly wasmengine_open: (a: number, b: number, c: number, d: any) => any;
-    readonly wasmengine_openGeneration: (a: number, b: number, c: number, d: number, e: number, f: any) => any;
-    readonly wasmengine_put: (a: number, b: bigint, c: number, d: number, e: number, f: number, g: number, h: number, i: any) => [number, number];
-    readonly wasmengine_put_many: (a: number, b: bigint, c: number, d: number, e: any, f: any) => [number, number, number];
-    readonly wasmengine_put_many_packed: (a: number, b: bigint, c: number, d: number, e: any, f: any) => [number, number, number];
-    readonly wasmengine_reset: (a: number) => [bigint, number, number];
-    readonly wasmengine_rollback_tx: (a: number, b: bigint) => [number, number];
-    readonly wasmengine_scan: (a: number, b: bigint, c: number, d: number, e: any) => [number, number, number];
-    readonly wasmengine_set_failpoint: (a: number, b: any) => [number, number];
-    readonly wasmengine_set_schema_version: (a: number, b: bigint, c: bigint) => [number, number];
-    readonly wasmengine_stats: (a: number) => [number, number, number];
-    readonly wasm_bindgen__convert__closures_____invoke__hdef3fd6d98035e1e: (a: number, b: number, c: any) => [number, number];
-    readonly wasm_bindgen__convert__closures_____invoke__h3f1054a61e4404a3: (a: number, b: number, c: any, d: any) => void;
-    readonly __wbindgen_malloc: (a: number, b: number) => number;
-    readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
-    readonly __wbindgen_exn_store: (a: number) => void;
-    readonly __externref_table_alloc: () => number;
-    readonly __wbindgen_externrefs: WebAssembly.Table;
-    readonly __wbindgen_destroy_closure: (a: number, b: number) => void;
-    readonly __externref_table_dealloc: (a: number) => void;
-    readonly __wbindgen_start: () => void;
+    readonly wasmengine_open: (a: number, b: number, c: number, d: number) => number;
+    readonly wasmengine_openGeneration: (a: number, b: number, c: number, d: number, e: number, f: number) => number;
+    readonly wasmengine_put: (a: number, b: number, c: bigint, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
+    readonly wasmengine_put_many: (a: number, b: number, c: bigint, d: number, e: number, f: number, g: number) => void;
+    readonly wasmengine_put_many_packed: (a: number, b: number, c: bigint, d: number, e: number, f: number, g: number, h: number) => void;
+    readonly wasmengine_recover: (a: number, b: number) => void;
+    readonly wasmengine_reset: (a: number, b: number) => void;
+    readonly wasmengine_rollback_tx: (a: number, b: number, c: bigint) => void;
+    readonly wasmengine_scan: (a: number, b: number, c: bigint, d: number, e: number, f: number) => void;
+    readonly wasmengine_set_change_feed_policy: (a: number, b: number, c: bigint, d: number) => void;
+    readonly wasmengine_set_failpoint: (a: number, b: number, c: number) => void;
+    readonly wasmengine_set_schema_version: (a: number, b: number, c: bigint, d: bigint) => void;
+    readonly wasmengine_stats: (a: number, b: number) => void;
+    readonly __wasm_bindgen_func_elem_665: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_680: (a: number, b: number, c: number, d: number) => void;
+    readonly __wbindgen_export: (a: number, b: number) => number;
+    readonly __wbindgen_export2: (a: number, b: number, c: number, d: number) => number;
+    readonly __wbindgen_export3: (a: number) => void;
+    readonly __wbindgen_export4: (a: number, b: number, c: number) => void;
+    readonly __wbindgen_export5: (a: number, b: number) => void;
+    readonly __wbindgen_add_to_stack_pointer: (a: number) => number;
 }
 
 export type SyncInitInput = BufferSource | WebAssembly.Module;