@panproto/core 0.1.0 → 0.2.0

package/dist/types.d.ts

@@ -0,0 +1,175 @@
+/**
+ * Core type definitions for the @panproto/core SDK.
+ *
+ * These types mirror the Rust-side structures but use JavaScript idioms:
+ * - `HashMap<K,V>` becomes `Map<K,V>` or `Record<string, V>` for string keys
+ * - `Option<T>` becomes `T | undefined`
+ * - `Vec<T>` becomes `T[]`
+ * - `Result<T,E>` becomes thrown `PanprotoError` or return value
+ *
+ * @module
+ */
+/** Opaque handle to a WASM-side resource. */
+export interface Handle {
+    readonly __brand: unique symbol;
+    readonly id: number;
+}
+/** Branded handle for a protocol resource. */
+export interface ProtocolHandle extends Handle {
+    readonly __kind: 'protocol';
+}
+/** Branded handle for a schema resource. */
+export interface SchemaHandle extends Handle {
+    readonly __kind: 'schema';
+}
+/** Branded handle for a compiled migration resource. */
+export interface MigrationHandle extends Handle {
+    readonly __kind: 'migration';
+}
+/** Rule constraining which vertex kinds an edge can connect. */
+export interface EdgeRule {
+    readonly edgeKind: string;
+    /** Allowed source vertex kinds. Empty array means any. */
+    readonly srcKinds: readonly string[];
+    /** Allowed target vertex kinds. Empty array means any. */
+    readonly tgtKinds: readonly string[];
+}
+/** A protocol specification defining schema/instance theories and validation rules. */
+export interface ProtocolSpec {
+    readonly name: string;
+    readonly schemaTheory: string;
+    readonly instanceTheory: string;
+    readonly edgeRules: readonly EdgeRule[];
+    readonly objKinds: readonly string[];
+    readonly constraintSorts: readonly string[];
+}
+/** Options for vertex creation. */
+export interface VertexOptions {
+    readonly nsid?: string;
+}
+/** A vertex in a schema graph. */
+export interface Vertex {
+    readonly id: string;
+    readonly kind: string;
+    readonly nsid?: string | undefined;
+}
+/** A directed edge in a schema graph. */
+export interface Edge {
+    readonly src: string;
+    readonly tgt: string;
+    readonly kind: string;
+    readonly name?: string | undefined;
+}
+/** A hyperedge with a labeled signature. */
+export interface HyperEdge {
+    readonly id: string;
+    readonly kind: string;
+    readonly signature: Readonly<Record<string, string>>;
+    readonly parentLabel: string;
+}
+/** A constraint on a vertex (sort + value). */
+export interface Constraint {
+    readonly sort: string;
+    readonly value: string;
+}
+/** Options for edge creation. */
+export interface EdgeOptions {
+    readonly name?: string;
+}
+/** Serializable schema representation. */
+export interface SchemaData {
+    readonly protocol: string;
+    readonly vertices: Readonly<Record<string, Vertex>>;
+    readonly edges: readonly Edge[];
+    readonly hyperEdges: Readonly<Record<string, HyperEdge>>;
+    readonly constraints: Readonly<Record<string, readonly Constraint[]>>;
+    readonly required: Readonly<Record<string, readonly Edge[]>>;
+}
+/** A vertex mapping entry for migration building. */
+export interface VertexMapping {
+    readonly src: string;
+    readonly tgt: string;
+}
+/** A migration specification (maps between two schemas). */
+export interface MigrationSpec {
+    readonly vertexMap: Readonly<Record<string, string>>;
+    readonly edgeMap: readonly [Edge, Edge][];
+    readonly resolvers: readonly [[string, string], Edge][];
+}
+/** Result of applying a compiled migration to a record. */
+export interface LiftResult {
+    readonly data: unknown;
+}
+/** Get result for bidirectional lens operation. */
+export interface GetResult {
+    readonly view: unknown;
+    readonly complement: Uint8Array;
+}
+/** A single change detected between two schemas. */
+export interface SchemaChange {
+    readonly kind: 'vertex-added' | 'vertex-removed' | 'edge-added' | 'edge-removed' | 'constraint-added' | 'constraint-removed' | 'constraint-changed' | 'kind-changed' | 'required-added' | 'required-removed';
+    readonly path: string;
+    readonly detail?: string | undefined;
+}
+/** Compatibility classification. */
+export type Compatibility = 'fully-compatible' | 'backward-compatible' | 'breaking';
+/** Schema diff report. */
+export interface DiffReport {
+    readonly compatibility: Compatibility;
+    readonly changes: readonly SchemaChange[];
+}
+/** A structured existence error. */
+export interface ExistenceError {
+    readonly kind: 'edge-missing' | 'kind-inconsistency' | 'label-inconsistency' | 'required-field-missing' | 'constraint-tightened' | 'resolver-invalid' | 'well-formedness' | 'signature-coherence' | 'simultaneity' | 'reachability-risk';
+    readonly message: string;
+    readonly detail?: Record<string, unknown> | undefined;
+}
+/** Result of existence checking. */
+export interface ExistenceReport {
+    readonly valid: boolean;
+    readonly errors: readonly ExistenceError[];
+}
+/** The raw WASM module interface (10 entry points). */
+export interface WasmExports {
+    define_protocol(spec: Uint8Array): number;
+    build_schema(proto: number, ops: Uint8Array): number;
+    check_existence(proto: number, src: number, tgt: number, mapping: Uint8Array): Uint8Array;
+    compile_migration(src: number, tgt: number, mapping: Uint8Array): number;
+    lift_record(migration: number, record: Uint8Array): Uint8Array;
+    get_record(migration: number, record: Uint8Array): Uint8Array;
+    put_record(migration: number, view: Uint8Array, complement: Uint8Array): Uint8Array;
+    compose_migrations(m1: number, m2: number): number;
+    diff_schemas(s1: number, s2: number): Uint8Array;
+    free_handle(handle: number): void;
+}
+/** WASM module wrapper including exports and memory. */
+export interface WasmModule {
+    readonly exports: WasmExports;
+    readonly memory: WebAssembly.Memory;
+}
+/** Base error class for all panproto errors. */
+export declare class PanprotoError extends Error {
+    readonly name: string;
+    constructor(message: string, options?: ErrorOptions);
+}
+/** Error from WASM boundary. */
+export declare class WasmError extends PanprotoError {
+    readonly name = "WasmError";
+}
+/** Error from schema validation. */
+export declare class SchemaValidationError extends PanprotoError {
+    readonly errors: readonly string[];
+    readonly name = "SchemaValidationError";
+    constructor(message: string, errors: readonly string[]);
+}
+/** Error from migration compilation. */
+export declare class MigrationError extends PanprotoError {
+    readonly name = "MigrationError";
+}
+/** Error from existence checking. */
+export declare class ExistenceCheckError extends PanprotoError {
+    readonly report: ExistenceReport;
+    readonly name = "ExistenceCheckError";
+    constructor(message: string, report: ExistenceReport);
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAMH,6CAA6C;AAC7C,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,OAAO,EAAE,OAAO,MAAM,CAAC;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED,8CAA8C;AAC9C,MAAM,WAAW,cAAe,SAAQ,MAAM;IAC5C,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,4CAA4C;AAC5C,MAAM,WAAW,YAAa,SAAQ,MAAM;IAC1C,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;CAC3B;AAED,wDAAwD;AACxD,MAAM,WAAW,eAAgB,SAAQ,MAAM;IAC7C,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;CAC9B;AAMD,gEAAgE;AAChE,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,0DAA0D;IAC1D,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,0DAA0D;IAC1D,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,uFAAuF;AACvF,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7C;AAMD,mCAAmC;AACnC,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,kCAAkC;AAClC,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACpC;AAED,yCAAyC;AACzC,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACpC;AAED,4CAA4C;AAC5C,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,+CAA+C;AAC/C,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,iCAAiC;AACjC,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,0CAA0C;AAC1C,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC,CAAC;IACtE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;CAC9D;AAMD,qDAAqD;AACrD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,4DAA4D;AAC5D,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;CACzD;AAED,2DAA2D;AAC3D,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB;AAED,mDAAmD;AACnD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAMD,oDAAoD;AACpD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,cAAc,GAAG,gBAAgB,GAAG,YAAY,GAAG,cAAc,GAC5E,kBAAkB,GAAG,oBAAoB,GAAG,oBAAoB,GAChE,cAAc,GAAG,gBAAgB,GAAG,kBAAkB,CAAC;IAC3D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACtC;AAED,oCAAoC;AACpC,MAAM,MAAM,aAAa,GAAG,kBAAkB,GAAG,qBAAqB,GAAG,UAAU,CAAC;AAEpF,0BAA0B;AAC1B,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;CAC3C;AAMD,oCAAoC;AACpC,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,cAAc,GAAG,oBAAoB,GAAG,qBAAqB,GACxE,wBAAwB,GAAG,sBAAsB,GAAG,kBAAkB,GACtE,iBAAiB,GAAG,qBAAqB,GAAG,cAAc,GAAG,mBAAmB,CAAC;IACrF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;CACvD;AAED,oCAAoC;AACpC,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;CAC5C;AAMD,uDAAuD;AACvD,MAAM,WAAW,WAAW;IAC1B,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAC;IAC1C,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,GAAG,MAAM,CAAC;IACrD,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,GAAG,UAAU,CAAC;IAC1F,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,GAAG,MAAM,CAAC;IACzE,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,UAAU,CAAC;IAC/D,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,UAAU,CAAC;IAC9D,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,GAAG,UAAU,CAAC;IACpF,kBAAkB,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAAC;IACnD,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,UAAU,CAAC;IACjD,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACnC;AAED,wDAAwD;AACxD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC;CACrC;AAMD,gDAAgD;AAChD,qBAAa,aAAc,SAAQ,KAAK;IACtC,SAAkB,IAAI,EAAE,MAAM,CAAmB;gBAErC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,YAAY;CAGpD;AAED,gCAAgC;AAChC,qBAAa,SAAU,SAAQ,aAAa;IAC1C,SAAkB,IAAI,eAAe;CACtC;AAED,oCAAoC;AACpC,qBAAa,qBAAsB,SAAQ,aAAa;IAKpD,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE;IAJpC,SAAkB,IAAI,2BAA2B;gBAG/C,OAAO,EAAE,MAAM,EACN,MAAM,EAAE,SAAS,MAAM,EAAE;CAIrC;AAED,wCAAwC;AACxC,qBAAa,cAAe,SAAQ,aAAa;IAC/C,SAAkB,IAAI,oBAAoB;CAC3C;AAED,qCAAqC;AACrC,qBAAa,mBAAoB,SAAQ,aAAa;IAKlD,QAAQ,CAAC,MAAM,EAAE,eAAe;IAJlC,SAAkB,IAAI,yBAAyB;gBAG7C,OAAO,EAAE,MAAM,EACN,MAAM,EAAE,eAAe;CAInC"}

package/dist/wasm.d.ts

@@ -0,0 +1,61 @@
+import { WasmModule, WasmExports } from './types.js';
+/**
+ * Shape of a pre-imported wasm-bindgen glue module.
+ *
+ * The `default` export is the wasm-bindgen init function. We type it
+ * loosely so any wasm-bindgen output module satisfies the interface.
+ */
+export interface WasmGlueModule {
+    default: (...args: any[]) => Promise<{
+        memory: WebAssembly.Memory;
+    }>;
+    define_protocol: WasmExports['define_protocol'];
+    build_schema: WasmExports['build_schema'];
+    check_existence: WasmExports['check_existence'];
+    compile_migration: WasmExports['compile_migration'];
+    lift_record: WasmExports['lift_record'];
+    get_record: WasmExports['get_record'];
+    put_record: WasmExports['put_record'];
+    compose_migrations: WasmExports['compose_migrations'];
+    diff_schemas: WasmExports['diff_schemas'];
+    free_handle: WasmExports['free_handle'];
+}
+/**
+ * Load the panproto WASM module.
+ *
+ * Accepts either:
+ * - A URL to the wasm-bindgen `.js` glue module (loaded via dynamic import)
+ * - A pre-imported wasm-bindgen glue module object (for bundler environments like Vite)
+ *
+ * @param input - URL string, URL object, or pre-imported glue module.
+ *                Defaults to the bundled glue module URL.
+ * @returns The initialized WASM module
+ * @throws {@link WasmError} if loading or instantiation fails
+ */
+export declare function loadWasm(input?: string | URL | WasmGlueModule): Promise<WasmModule>;
+/**
+ * A disposable wrapper around a WASM handle.
+ *
+ * Implements `Symbol.dispose` for use with `using` declarations.
+ * A `FinalizationRegistry` acts as a safety net for handles that
+ * are not explicitly disposed.
+ */
+export declare class WasmHandle implements Disposable {
+    #private;
+    constructor(handle: number, freeHandle: (h: number) => void);
+    /** The raw WASM handle id. Only for internal use within the SDK. */
+    get id(): number;
+    /** Whether this handle has been disposed. */
+    get disposed(): boolean;
+    /** Release the underlying WASM resource. */
+    [Symbol.dispose](): void;
+}
+/**
+ * Create a managed handle that will be freed when disposed.
+ *
+ * @param rawHandle - The u32 handle from WASM
+ * @param wasm - The WASM module for freeing
+ * @returns A disposable wrapper
+ */
+export declare function createHandle(rawHandle: number, wasm: WasmModule): WasmHandle;
+//# sourceMappingURL=wasm.d.ts.map

package/dist/wasm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wasm.d.ts","sourceRoot":"","sources":["../src/wasm.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAM1D;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAE7B,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,OAAO,CAAC;QAAE,MAAM,EAAE,WAAW,CAAC,MAAM,CAAA;KAAE,CAAC,CAAC;IACrE,eAAe,EAAE,WAAW,CAAC,iBAAiB,CAAC,CAAC;IAChD,YAAY,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAC1C,eAAe,EAAE,WAAW,CAAC,iBAAiB,CAAC,CAAC;IAChD,iBAAiB,EAAE,WAAW,CAAC,mBAAmB,CAAC,CAAC;IACpD,WAAW,EAAE,WAAW,CAAC,aAAa,CAAC,CAAC;IACxC,UAAU,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;IACtC,UAAU,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;IACtC,kBAAkB,EAAE,WAAW,CAAC,oBAAoB,CAAC,CAAC;IACtD,YAAY,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAC1C,WAAW,EAAE,WAAW,CAAC,aAAa,CAAC,CAAC;CACzC;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,GAAG,GAAG,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CA0CzF;AAsBD;;;;;;GAMG;AACH,qBAAa,UAAW,YAAW,UAAU;;gBAK/B,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAI;IAO3D,oEAAoE;IACpE,IAAI,EAAE,IAAI,MAAM,CAKf;IAED,6CAA6C;IAC7C,IAAI,QAAQ,IAAI,OAAO,CAEtB;IAED,4CAA4C;IAC5C,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI;CAYzB;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,UAAU,CAE5E"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@panproto/core",
-  "version": "0.1.0",
+  "version": "0.2.0",
   "description": "TypeScript SDK for panproto — protocol-aware schema migration via generalized algebraic theories",
   "type": "module",
   "main": "./dist/index.cjs",