@moyodb/sdk 0.0.0-alpha.3 → 1.0.1

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;AAcrC,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,CAMrD;AACD,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,GAAG,CAAC,CAElD;AACD,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU,CAezD;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;AAoMtD,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,CAmBnH;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,CAOrB;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.1
 ```
 
 ```ts
@@ -40,13 +40,30 @@ 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
+
+\- Lean checks run with all built-in/extra linters, Heron, JunkLinter and the full Batteries set; every finding fails CI. See [strict Lean linting](docs/LEAN_LINTING.md) and run `npm run lint:lean` locally.\
+\- `proofs/moyodb_proofs` models abstract KV/WAL/transaction semantics and independently checks real inline B-tree pages. The [B-tree checker](docs/LEAN_BTREE_CHECKER.md) has kernel-checked certificates for structure, contents and routing for every byte-string key; CI compares real Rust mutations, lookup/scan and retained COW roots with Lean-computed states and rejects two production mutation witnesses. This proves properties of the Lean checker and checks concrete Rust executions; the Rust engine, checksums, overflow, OPFS I/O, flush ordering and power loss remain outside those proofs.\
+\- 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.
-- 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.
+\- 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,90 @@
 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 operation in input order. For puts, 1 means
+     * the key existed before the write. For deletes, 1 means it was deleted.
+     */
+    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 a healthy engine and closes it. Releases the binding
+     * handle even on error so a retry cannot reuse a partially closed engine.
+     */
     close(): void;
     commit_tx(tx_id: bigint): bigint;
+    /**
+     * Streams this database into a new, empty target generation.
+     * Returns the target txid. The caller must activate the generation.
+     */
+    compact_into(target: WasmEngine): bigint;
+    /**
+     * Omits the named internal stores during a rebuild. Compaction
+     * also omits the change log and retains the other stores.
+     */
+    compact_into_skipping_stores(target: WasmEngine, skip_stores: any): 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;
+    /**
+     * Returns packed values as
+     * `u32 count | count x u32 length (u32::MAX = missing) | bytes`.
+     * All integers are little-endian.
+     */
+    get_many_packed(tx_id: bigint, store: string, keys: Uint8Array): Uint8Array;
     get_schema_version(): bigint;
     has(tx_id: bigint, store: string, key: Uint8Array): boolean;
+    /**
+     * Checks existence using one TTL timestamp without loading value bodies.
+     */
+    has_many(tx_id: bigint, store: string, keys: any): any;
+    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;
 }
 
+/**
+ * Returns `"debug"` or `"release"` for the loaded WASM build.
+ */
+export function buildProfile(): string;
+
 export function cleanupInactiveEntries(name: string): Promise<void>;
 
 export function dbDirectorySize(name: string): Promise<number>;
@@ -47,61 +96,83 @@ export function deleteDB(name: string): Promise<void>;
 
 export function prepareRebuildTarget(name: string): Promise<any>;
 
-export function swapActiveGeneration(name: string, generation_name: string): Promise<void>;
+/**
+ * Returns the active generation, or `null` for the legacy layout.
+ * A corrupt control file permits legacy fallback only while legacy data
+ * files remain. Otherwise it is an error.
+ */
+export function readActiveGeneration(name: string): Promise<any>;
+
+/**
+ * Publishes `generation_name` only if the active generation matches
+ * `expected_current`. `None` requires no active generation.
+ * Verifies the written control file before returning.
+ */
+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_compact_into_skipping_stores: (a: number, b: number, c: number, d: 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_has_many: (a: number, b: number, c: bigint, d: number, e: number, f: 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_721: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_736: (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;