@panproto/core 0.2.0 → 0.4.0

package/dist/io.d.ts

@@ -0,0 +1,65 @@
+import { WasmModule } from './types.js';
+import { WasmHandle } from './wasm.js';
+import { BuiltSchema } from './schema.js';
+import { Instance } from './instance.js';
+/** Protocol names organized by category. */
+export declare const PROTOCOL_CATEGORIES: Readonly<Record<string, readonly string[]>>;
+/**
+ * Registry of I/O protocol codecs for parsing and emitting instances.
+ *
+ * Wraps a WASM-side IoRegistry handle and provides methods for
+ * listing protocols, parsing raw bytes into instances, and emitting
+ * instances back to raw format bytes.
+ *
+ * Implements `Disposable` so it can be used with `using` to automatically
+ * clean up the WASM resource.
+ *
+ * @example
+ * ```typescript
+ * const panproto = await Panproto.init();
+ * using registry = panproto.io();
+ *
+ * console.log(registry.protocols);
+ * const instance = registry.parse('graphql', schema, inputBytes);
+ * const output = registry.emit('graphql', schema, instance);
+ * ```
+ */
+export declare class IoRegistry implements Disposable {
+    readonly _handle: WasmHandle;
+    readonly _wasm: WasmModule;
+    private _protocolsCache;
+    constructor(handle: WasmHandle, wasm: WasmModule);
+    /**
+     * List all registered protocol names.
+     *
+     * The result is cached after the first call.
+     */
+    get protocols(): readonly string[];
+    /** Protocol names organized by category. */
+    get categories(): Readonly<Record<string, readonly string[]>>;
+    /** Check if a protocol is registered. */
+    hasProtocol(name: string): boolean;
+    /**
+     * Parse raw format bytes into an Instance.
+     *
+     * @param protocolName - The protocol codec name (e.g., 'graphql', 'protobuf')
+     * @param schema - The schema the data conforms to
+     * @param input - Raw format bytes to parse
+     * @returns A new Instance wrapping the parsed data
+     * @throws {@link PanprotoError} if the protocol is not registered or parsing fails
+     */
+    parse(protocolName: string, schema: BuiltSchema, input: Uint8Array): Instance;
+    /**
+     * Emit an Instance to raw format bytes.
+     *
+     * @param protocolName - The protocol codec name (e.g., 'graphql', 'protobuf')
+     * @param schema - The schema the instance conforms to
+     * @param instance - The instance to emit
+     * @returns Raw format bytes
+     * @throws {@link PanprotoError} if the protocol is not registered or emission fails
+     */
+    emit(protocolName: string, schema: BuiltSchema, instance: Instance): Uint8Array;
+    /** Release the WASM-side IoRegistry resource. */
+    [Symbol.dispose](): void;
+}
+//# sourceMappingURL=io.d.ts.map

package/dist/io.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"io.d.ts","sourceRoot":"","sources":["../src/io.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAGzC,4CAA4C;AAC5C,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CA2B3E,CAAC;AAKF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,qBAAa,UAAW,YAAW,UAAU;IAC3C,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,OAAO,CAAC,eAAe,CAAyB;gBAEpC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU;IAKhD;;;;OAIG;IACH,IAAI,SAAS,IAAI,SAAS,MAAM,EAAE,CAMjC;IAED,4CAA4C;IAC5C,IAAI,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAE5D;IAED,yCAAyC;IACzC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAIlC;;;;;;;;OAQG;IACH,KAAK,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,GAAG,QAAQ;IAW7E;;;;;;;;OAQG;IACH,IAAI,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,GAAG,UAAU;IAU/E,iDAAiD;IACjD,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI;CAGzB"}

package/dist/lens.d.ts

@@ -1,12 +1,7 @@
-/**
- * Lens and combinator API for bidirectional transformations.
- *
- * Every migration is a lens with `get` (forward projection) and
- * `put` (restore from complement). This module provides Cambria-style
- * combinators that compose into migrations.
- *
- * @module
- */
+import { WasmModule, LawCheckResult, LiftResult, GetResult } from './types.js';
+import { WasmHandle } from './wasm.js';
+import { BuiltSchema } from './schema.js';
+import { Protocol } from './protocol.js';
 /** Rename a field from one name to another. */
 export interface RenameFieldCombinator {
     readonly type: 'rename-field';
@@ -113,6 +108,76 @@ export declare function compose(first: Combinator, second: Combinator): ComposeC
  * @throws If the combinators array is empty
  */
 export declare function pipeline(combinators: readonly [Combinator, ...Combinator[]]): Combinator;
+/**
+ * A disposable handle to a WASM-side lens (migration) resource.
+ *
+ * Wraps a migration handle created via `lens_from_combinators` or
+ * `compose_lenses`. Provides `get`, `put`, and law-checking operations.
+ *
+ * Implements `Symbol.dispose` for use with `using` declarations.
+ */
+export declare class LensHandle implements Disposable {
+    #private;
+    constructor(handle: WasmHandle, wasm: WasmModule);
+    /** The underlying WASM handle. Internal use only. */
+    get _handle(): WasmHandle;
+    /**
+     * Forward projection: extract the view from a record.
+     *
+     * @param record - MessagePack-encoded input record
+     * @returns The projected view and opaque complement bytes
+     * @throws {@link WasmError} if the WASM call fails
+     */
+    get(record: Uint8Array): GetResult;
+    /**
+     * Backward put: restore a full record from a modified view and complement.
+     *
+     * @param view - MessagePack-encoded (possibly modified) projected view
+     * @param complement - The complement from a prior `get()` call
+     * @returns The restored full record
+     * @throws {@link WasmError} if the WASM call fails
+     */
+    put(view: Uint8Array, complement: Uint8Array): LiftResult;
+    /**
+     * Check both GetPut and PutGet lens laws for an instance.
+     *
+     * @param instance - MessagePack-encoded instance data
+     * @returns Whether both laws hold and any violation message
+     * @throws {@link WasmError} if the WASM call fails
+     */
+    checkLaws(instance: Uint8Array): LawCheckResult;
+    /**
+     * Check the GetPut lens law for an instance.
+     *
+     * @param instance - MessagePack-encoded instance data
+     * @returns Whether the law holds and any violation message
+     * @throws {@link WasmError} if the WASM call fails
+     */
+    checkGetPut(instance: Uint8Array): LawCheckResult;
+    /**
+     * Check the PutGet lens law for an instance.
+     *
+     * @param instance - MessagePack-encoded instance data
+     * @returns Whether the law holds and any violation message
+     * @throws {@link WasmError} if the WASM call fails
+     */
+    checkPutGet(instance: Uint8Array): LawCheckResult;
+    /** Release the underlying WASM resource. */
+    [Symbol.dispose](): void;
+}
+/**
+ * Build a lens from combinators.
+ *
+ * Serializes the combinators to MessagePack and calls the
+ * `lens_from_combinators` WASM entry point.
+ *
+ * @param schema - The schema to build the lens against
+ * @param protocol - The protocol defining the schema theory
+ * @param combinators - One or more combinators to compose into a lens
+ * @returns A LensHandle wrapping the WASM migration resource
+ * @throws {@link WasmError} if the WASM call fails
+ */
+export declare function fromCombinators(schema: BuiltSchema, protocol: Protocol, wasm: WasmModule, ...combinators: Combinator[]): LensHandle;
 /**
  * Serialize a combinator to a plain object for MessagePack encoding.
  *

package/dist/lens.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lens.d.ts","sourceRoot":"","sources":["../src/lens.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH,+CAA+C;AAC/C,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,4CAA4C;AAC5C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,sCAAsC;AACtC,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,gEAAgE;AAChE,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,iDAAiD;AACjD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,+CAA+C;AAC/C,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,iDAAiD;AACjD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,yCAAyC;AACzC,MAAM,MAAM,UAAU,GAClB,qBAAqB,GACrB,kBAAkB,GAClB,qBAAqB,GACrB,sBAAsB,GACtB,oBAAoB,GACpB,oBAAoB,GACpB,iBAAiB,CAAC;AAMtB;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,qBAAqB,CAEnF;AAED;;;;;;;GAOG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,GAAG,kBAAkB,CAEpG;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,qBAAqB,CAE/D;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,MAAM,GAAG,sBAAsB,CAEtE;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,oBAAoB,CAE5E;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,oBAAoB,CAEjF;AAED;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,GAAG,iBAAiB,CAEhF;AAED;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,GAAG,UAAU,CAGxF;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAiBhF"}
+{"version":3,"file":"lens.d.ts","sourceRoot":"","sources":["../src/lens.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEpF,OAAO,EAAE,UAAU,EAAgB,MAAM,WAAW,CAAC;AAErD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAM9C,+CAA+C;AAC/C,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,4CAA4C;AAC5C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,sCAAsC;AACtC,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,gEAAgE;AAChE,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,iDAAiD;AACjD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,+CAA+C;AAC/C,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,iDAAiD;AACjD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,yCAAyC;AACzC,MAAM,MAAM,UAAU,GAClB,qBAAqB,GACrB,kBAAkB,GAClB,qBAAqB,GACrB,sBAAsB,GACtB,oBAAoB,GACpB,oBAAoB,GACpB,iBAAiB,CAAC;AAMtB;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,qBAAqB,CAEnF;AAED;;;;;;;GAOG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,GAAG,kBAAkB,CAEpG;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,qBAAqB,CAE/D;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,MAAM,GAAG,sBAAsB,CAEtE;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,oBAAoB,CAE5E;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,oBAAoB,CAEjF;AAED;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,GAAG,iBAAiB,CAEhF;AAED;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,GAAG,UAAU,CAGxF;AAMD;;;;;;;GAOG;AACH,qBAAa,UAAW,YAAW,UAAU;;gBAI/B,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU;IAKhD,qDAAqD;IACrD,IAAI,OAAO,IAAI,UAAU,CAExB;IAED;;;;;;OAMG;IACH,GAAG,CAAC,MAAM,EAAE,UAAU,GAAG,SAAS;IAqBlC;;;;;;;OAOG;IACH,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,GAAG,UAAU;IAiBzD;;;;;;OAMG;IACH,SAAS,CAAC,QAAQ,EAAE,UAAU,GAAG,cAAc;IAe/C;;;;;;OAMG;IACH,WAAW,CAAC,QAAQ,EAAE,UAAU,GAAG,cAAc;IAejD;;;;;;OAMG;IACH,WAAW,CAAC,QAAQ,EAAE,UAAU,GAAG,cAAc;IAejD,4CAA4C;IAC5C,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI;CAGzB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,WAAW,EACnB,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,UAAU,EAChB,GAAG,WAAW,EAAE,UAAU,EAAE,GAC3B,UAAU,CAkBZ;AAMD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAiBhF"}

package/dist/migration.d.ts

@@ -53,6 +53,17 @@ export declare class MigrationBuilder {
      * @returns The migration spec with all accumulated mappings
      */
     toSpec(): MigrationSpec;
+    /**
+     * Invert a bijective migration.
+     *
+     * Serializes the current mapping to MessagePack and calls the
+     * `invert_migration` WASM entry point. Returns a new MigrationSpec
+     * representing the inverted migration.
+     *
+     * @returns The inverted migration specification
+     * @throws {@link MigrationError} if the migration is not bijective or inversion fails
+     */
+    invert(): MigrationSpec;
     /**
      * Compile the migration for fast per-record application.
      *

package/dist/migration.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"migration.d.ts","sourceRoot":"","sources":["../src/migration.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,UAAU,EACV,IAAI,EACJ,UAAU,EACV,SAAS,EACT,eAAe,EACf,aAAa,EACd,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,UAAU,EAAgB,MAAM,WAAW,CAAC;AAErD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C;;;;;;;;;;;;;;GAcG;AACH,qBAAa,gBAAgB;;gBASzB,GAAG,EAAE,WAAW,EAChB,GAAG,EAAE,WAAW,EAChB,IAAI,EAAE,UAAU,EAChB,SAAS,GAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAa,EAClD,OAAO,GAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAO,EACrC,SAAS,GAAE,SAAS,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,EAAO;IAUrD;;;;;;OAMG;IACH,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,gBAAgB;IAc3D;;;;;;OAMG;IACH,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,GAAG,gBAAgB;IAWvD;;;;;;;;;;OAUG;IACH,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,GAAG,gBAAgB;IAW/E;;;;OAIG;IACH,MAAM,IAAI,aAAa;IAQvB;;;;;;;;OAQG;IACH,OAAO,IAAI,iBAAiB;CAqC7B;AAED;;;;GAIG;AACH,qBAAa,iBAAkB,YAAW,UAAU;;gBAKtC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa;IAMrE,6DAA6D;IAC7D,IAAI,OAAO,IAAI,UAAU,CAExB;IAED,gEAAgE;IAChE,IAAI,IAAI,IAAI,aAAa,CAExB;IAED;;;;;;;;;OASG;IACH,IAAI,CAAC,MAAM,EAAE,OAAO,GAAG,UAAU;IAkBjC;;;;;;;;;OASG;IACH,GAAG,CAAC,MAAM,EAAE,OAAO,GAAG,SAAS;IAuB/B;;;;;;;OAOG;IACH,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,GAAG,UAAU;IAmBtD,yDAAyD;IACzD,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI;CAGzB;AAED;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAC5B,WAAW,EAAE,MAAM,EACnB,GAAG,EAAE,WAAW,EAChB,GAAG,EAAE,WAAW,EAChB,IAAI,EAAE,aAAa,EACnB,IAAI,EAAE,UAAU,GACf,eAAe,CA6BjB;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,iBAAiB,EACrB,EAAE,EAAE,iBAAiB,EACrB,IAAI,EAAE,UAAU,GACf,iBAAiB,CAgCnB"}
+{"version":3,"file":"migration.d.ts","sourceRoot":"","sources":["../src/migration.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,UAAU,EACV,IAAI,EACJ,UAAU,EACV,SAAS,EACT,eAAe,EACf,aAAa,EACd,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,UAAU,EAAgB,MAAM,WAAW,CAAC;AAErD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C;;;;;;;;;;;;;;GAcG;AACH,qBAAa,gBAAgB;;gBASzB,GAAG,EAAE,WAAW,EAChB,GAAG,EAAE,WAAW,EAChB,IAAI,EAAE,UAAU,EAChB,SAAS,GAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAa,EAClD,OAAO,GAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAO,EACrC,SAAS,GAAE,SAAS,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,EAAO;IAUrD;;;;;;OAMG;IACH,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,gBAAgB;IAc3D;;;;;;OAMG;IACH,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,GAAG,gBAAgB;IAWvD;;;;;;;;;;OAUG;IACH,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,GAAG,gBAAgB;IAW/E;;;;OAIG;IACH,MAAM,IAAI,aAAa;IAQvB;;;;;;;;;OASG;IACH,MAAM,IAAI,aAAa;IAoCvB;;;;;;;;OAQG;IACH,OAAO,IAAI,iBAAiB;CAqC7B;AAED;;;;GAIG;AACH,qBAAa,iBAAkB,YAAW,UAAU;;gBAKtC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa;IAMrE,6DAA6D;IAC7D,IAAI,OAAO,IAAI,UAAU,CAExB;IAED,gEAAgE;IAChE,IAAI,IAAI,IAAI,aAAa,CAExB;IAED;;;;;;;;;OASG;IACH,IAAI,CAAC,MAAM,EAAE,OAAO,GAAG,UAAU;IAkBjC;;;;;;;;;OASG;IACH,GAAG,CAAC,MAAM,EAAE,OAAO,GAAG,SAAS;IAuB/B;;;;;;;OAOG;IACH,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,GAAG,UAAU;IAmBtD,yDAAyD;IACzD,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI;CAGzB;AAED;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAC5B,WAAW,EAAE,MAAM,EACnB,GAAG,EAAE,WAAW,EAChB,GAAG,EAAE,WAAW,EAChB,IAAI,EAAE,aAAa,EACnB,IAAI,EAAE,UAAU,GACf,eAAe,CA6BjB;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,iBAAiB,EACrB,EAAE,EAAE,iBAAiB,EACrB,IAAI,EAAE,UAAU,GACf,iBAAiB,CAgCnB"}

package/dist/panproto.d.ts

@@ -1,8 +1,13 @@
 import { ProtocolSpec, DiffReport } from './types.js';
 import { WasmGlueModule } from './wasm.js';
+import { LensHandle } from './lens.js';
 import { Protocol } from './protocol.js';
 import { BuiltSchema } from './schema.js';
 import { MigrationBuilder, CompiledMigration } from './migration.js';
+import { FullDiffReport, ValidationResult } from './check.js';
+import { Instance } from './instance.js';
+import { IoRegistry } from './io.js';
+import { Repository } from './vcs.js';
 /**
  * The main entry point for the panproto SDK.
  *
@@ -95,6 +100,17 @@ export declare class Panproto implements Disposable {
      * @throws {@link import('./types.js').MigrationError} if composition fails
      */
     compose(m1: CompiledMigration, m2: CompiledMigration): CompiledMigration;
+    /**
+     * Compose two lenses into a single lens.
+     *
+     * The resulting lens is equivalent to applying `l1` then `l2`.
+     *
+     * @param l1 - First lens (applied first)
+     * @param l2 - Second lens (applied second)
+     * @returns A new LensHandle representing the composition
+     * @throws {@link import('./types.js').WasmError} if composition fails
+     */
+    composeLenses(l1: LensHandle, l2: LensHandle): LensHandle;
     /**
      * Diff two schemas and produce a compatibility report.
      *
@@ -103,6 +119,57 @@ export declare class Panproto implements Disposable {
      * @returns A diff report with changes and compatibility classification
      */
     diff(oldSchema: BuiltSchema, newSchema: BuiltSchema): DiffReport;
+    /** Diff two schemas using the full panproto-check engine (20+ change categories). */
+    diffFull(oldSchema: BuiltSchema, newSchema: BuiltSchema): FullDiffReport;
+    /** Normalize a schema by collapsing reference chains. Returns a new BuiltSchema. */
+    normalize(schema: BuiltSchema): BuiltSchema;
+    /** Validate a schema against its protocol's rules. */
+    validateSchema(schema: BuiltSchema, protocol: Protocol): ValidationResult;
+    /**
+     * Create an I/O protocol registry for parsing and emitting instances.
+     *
+     * The returned registry wraps all 77 built-in protocol codecs and
+     * implements `Disposable` for automatic cleanup.
+     *
+     * @returns A new IoRegistry
+     */
+    io(): IoRegistry;
+    /**
+     * Parse JSON bytes into an Instance.
+     *
+     * Convenience method that wraps `json_to_instance`.
+     *
+     * @param schema - The schema the JSON data conforms to
+     * @param json - JSON bytes or a JSON string
+     * @returns A new Instance
+     */
+    parseJson(schema: BuiltSchema, json: Uint8Array | string): Instance;
+    /**
+     * Convert an Instance to JSON bytes.
+     *
+     * Convenience method that wraps `instance_to_json`.
+     *
+     * @param schema - The schema the instance conforms to
+     * @param instance - The instance to convert
+     * @returns JSON bytes
+     */
+    toJson(schema: BuiltSchema, instance: Instance): Uint8Array;
+    /**
+     * List all built-in protocol names.
+     *
+     * Returns the names of all 76 built-in protocols supported by the
+     * WASM layer.
+     *
+     * @returns Array of protocol name strings
+     */
+    listProtocols(): string[];
+    /**
+     * Initialize an in-memory VCS repository.
+     *
+     * @param protocolName - The protocol name for this repository
+     * @returns A disposable VCS Repository
+     */
+    initRepo(protocolName: string): Repository;
     /**
      * Release all WASM resources held by this instance.
      *

package/dist/panproto.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"panproto.d.ts","sourceRoot":"","sources":["../src/panproto.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAc,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAEvE,OAAO,EAAY,KAAK,cAAc,EAAE,MAAM,WAAW,CAAC;AAC1D,OAAO,EACL,QAAQ,EAGT,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EAGlB,MAAM,gBAAgB,CAAC;AAGxB;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,qBAAa,QAAS,YAAW,UAAU;;IAIzC,OAAO;IAKP;;;;;;;;OAQG;WACU,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,GAAG,GAAG,cAAc,GAAG,OAAO,CAAC,QAAQ,CAAC;IAK3E;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ;IAiBhC;;;;;;OAMG;IACH,cAAc,CAAC,IAAI,EAAE,YAAY,GAAG,QAAQ;IAM5C;;;;;;OAMG;IACH,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,GAAG,gBAAgB;IAI/D;;;;;;;;;;;OAWG;IACH,cAAc,CACZ,GAAG,EAAE,WAAW,EAChB,GAAG,EAAE,WAAW,EAChB,OAAO,EAAE,gBAAgB,GACxB,OAAO,YAAY,EAAE,eAAe;IAUvC;;;;;;;;;OASG;IACH,OAAO,CAAC,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,iBAAiB,GAAG,iBAAiB;IAIxE;;;;;;OAMG;IACH,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,GAAG,UAAU;IAQhE;;;;;OAKG;IACH,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI;CAMzB"}
+{"version":3,"file":"panproto.d.ts","sourceRoot":"","sources":["../src/panproto.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAc,YAAY,EAAE,UAAU,EAAyC,MAAM,YAAY,CAAC;AAE9G,OAAO,EAAY,KAAK,cAAc,EAAgB,MAAM,WAAW,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EACL,QAAQ,EAKT,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EAGlB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAEtC;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,qBAAa,QAAS,YAAW,UAAU;;IAIzC,OAAO;IAKP;;;;;;;;OAQG;WACU,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,GAAG,GAAG,cAAc,GAAG,OAAO,CAAC,QAAQ,CAAC;IAK3E;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ;IAyBhC;;;;;;OAMG;IACH,cAAc,CAAC,IAAI,EAAE,YAAY,GAAG,QAAQ;IAM5C;;;;;;OAMG;IACH,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,GAAG,gBAAgB;IAI/D;;;;;;;;;;;OAWG;IACH,cAAc,CACZ,GAAG,EAAE,WAAW,EAChB,GAAG,EAAE,WAAW,EAChB,OAAO,EAAE,gBAAgB,GACxB,OAAO,YAAY,EAAE,eAAe;IAUvC;;;;;;;;;OASG;IACH,OAAO,CAAC,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,iBAAiB,GAAG,iBAAiB;IAIxE;;;;;;;;;OASG;IACH,aAAa,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,GAAG,UAAU;IAgBzD;;;;;;OAMG;IACH,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,GAAG,UAAU;IAQhE,qFAAqF;IACrF,QAAQ,CAAC,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,GAAG,cAAc;IASxE,oFAAoF;IACpF,SAAS,CAAC,MAAM,EAAE,WAAW,GAAG,WAAW;IAM3C,sDAAsD;IACtD,cAAc,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,GAAG,gBAAgB;IASzE;;;;;;;OAOG;IACH,EAAE,IAAI,UAAU;IAMhB;;;;;;;;OAQG;IACH,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,GAAG,MAAM,GAAG,QAAQ;IAOnE;;;;;;;;OAQG;IACH,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,GAAG,UAAU;IAO3D;;;;;;;OAOG;IACH,aAAa,IAAI,MAAM,EAAE;IAIzB;;;;;OAKG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,UAAU;IAI1C;;;;;OAKG;IACH,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI;CAMzB"}

package/dist/protocol.d.ts

@@ -1,4 +1,4 @@
-import { WasmModule, ProtocolSpec } from './types.js';
+import { WasmModule, ProtocolSpec, EdgeRule } from './types.js';
 import { WasmHandle } from './wasm.js';
 import { SchemaBuilder } from './schema.js';
 /**
@@ -14,6 +14,12 @@ export declare class Protocol implements Disposable {
     get name(): string;
     /** The full protocol specification. */
     get spec(): ProtocolSpec;
+    /** The edge rules for this protocol. */
+    get edgeRules(): readonly EdgeRule[];
+    /** The constraint sorts for this protocol. */
+    get constraintSorts(): readonly string[];
+    /** The object kinds for this protocol. */
+    get objectKinds(): readonly string[];
     /** The WASM handle. Internal use only. */
     get _handle(): WasmHandle;
     /**
@@ -62,4 +68,24 @@ export declare const GRAPHQL_SPEC: ProtocolSpec;
 export declare const JSON_SCHEMA_SPEC: ProtocolSpec;
 /** Registry of built-in protocol specs, keyed by name. */
 export declare const BUILTIN_PROTOCOLS: ReadonlyMap<string, ProtocolSpec>;
+/**
+ * Get the list of all built-in protocol names.
+ *
+ * Lazily fetches the full list from WASM on first call and caches it.
+ *
+ * @param wasm - The WASM module
+ * @returns Array of all 76 built-in protocol names
+ */
+export declare function getProtocolNames(wasm: WasmModule): readonly string[];
+/**
+ * Get a built-in protocol spec by name from WASM.
+ *
+ * This fetches the full protocol definition from the WASM layer,
+ * which includes all 76 protocols (not just the 5 hardcoded ones).
+ *
+ * @param name - The protocol name
+ * @param wasm - The WASM module
+ * @returns The protocol spec, or undefined if not found
+ */
+export declare function getBuiltinProtocol(name: string, wasm: WasmModule): ProtocolSpec | undefined;
 //# sourceMappingURL=protocol.d.ts.map

package/dist/protocol.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"protocol.d.ts","sourceRoot":"","sources":["../src/protocol.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAY,MAAM,YAAY,CAAC;AAErE,OAAO,EAAE,UAAU,EAAgB,MAAM,WAAW,CAAC;AAErD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C;;;;;GAKG;AACH,qBAAa,QAAS,YAAW,UAAU;;gBAK7B,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU;IAMpE,yBAAyB;IACzB,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,uCAAuC;IACvC,IAAI,IAAI,IAAI,YAAY,CAEvB;IAED,0CAA0C;IAC1C,IAAI,OAAO,IAAI,UAAU,CAExB;IAED;;;;OAIG;IACH,MAAM,IAAI,aAAa;IAIvB,+CAA+C;IAC/C,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI;CAGzB;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,GAAG,QAAQ,CAyB7E;AAMD;;;;;GAKG;AACH,eAAO,MAAM,YAAY,EAAE,YAqB1B,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,YAWtB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,aAAa,EAAE,YAW3B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,YAAY,EAAE,YAY1B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,EAAE,YAW9B,CAAC;AAEF,0DAA0D;AAC1D,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAM9D,CAAC"}
+{"version":3,"file":"protocol.d.ts","sourceRoot":"","sources":["../src/protocol.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAErE,OAAO,EAAE,UAAU,EAAgB,MAAM,WAAW,CAAC;AAErD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C;;;;;GAKG;AACH,qBAAa,QAAS,YAAW,UAAU;;gBAK7B,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU;IAMpE,yBAAyB;IACzB,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,uCAAuC;IACvC,IAAI,IAAI,IAAI,YAAY,CAEvB;IAED,wCAAwC;IACxC,IAAI,SAAS,IAAI,SAAS,QAAQ,EAAE,CAEnC;IAED,8CAA8C;IAC9C,IAAI,eAAe,IAAI,SAAS,MAAM,EAAE,CAEvC;IAED,0CAA0C;IAC1C,IAAI,WAAW,IAAI,SAAS,MAAM,EAAE,CAEnC;IAED,0CAA0C;IAC1C,IAAI,OAAO,IAAI,UAAU,CAExB;IAED;;;;OAIG;IACH,MAAM,IAAI,aAAa;IAIvB,+CAA+C;IAC/C,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI;CAGzB;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,GAAG,QAAQ,CAyB7E;AAMD;;;;;GAKG;AACH,eAAO,MAAM,YAAY,EAAE,YAqB1B,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,YAWtB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,aAAa,EAAE,YAW3B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,YAAY,EAAE,YAY1B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,EAAE,YAW9B,CAAC;AAEF,0DAA0D;AAC1D,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAM9D,CAAC;AAKH;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,MAAM,EAAE,CAKpE;AAED;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,YAAY,GAAG,SAAS,CA2B3F"}

package/dist/schema.d.ts

@@ -1,6 +1,8 @@
 import { WasmModule, Vertex, Edge, HyperEdge, Constraint, VertexOptions, EdgeOptions, SchemaData } from './types.js';
 import { WasmHandle } from './wasm.js';
 import { SchemaOp } from './msgpack.js';
+import { Protocol } from './protocol.js';
+import { ValidationResult } from './check.js';
 /**
  * Immutable fluent builder for constructing schemas.
  *
@@ -101,6 +103,12 @@ export declare class BuiltSchema implements Disposable {
     get vertices(): Readonly<Record<string, Vertex>>;
     /** All edges in the schema. */
     get edges(): readonly Edge[];
+    /** @internal Create from raw handle (used by normalize). */
+    static _fromHandle(handle: number, data: SchemaData, _protocol: string, wasm: WasmModule): BuiltSchema;
+    /** Normalize this schema by collapsing reference chains. Returns a new BuiltSchema. */
+    normalize(): BuiltSchema;
+    /** Validate this schema against a protocol's rules. */
+    validate(protocol: Protocol): ValidationResult;
     /** Release the WASM-side schema resource. */
     [Symbol.dispose](): void;
 }

package/dist/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,UAAU,EACV,MAAM,EACN,IAAI,EACJ,SAAS,EACT,UAAU,EACV,aAAa,EACb,WAAW,EACX,UAAU,EACX,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,UAAU,EAAgB,MAAM,WAAW,CAAC;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAG7C;;;;;;;;;;;;;;;GAeG;AACH,qBAAa,aAAa;;gBAYtB,YAAY,EAAE,MAAM,EACpB,cAAc,EAAE,UAAU,EAC1B,IAAI,EAAE,UAAU,EAChB,GAAG,GAAE,SAAS,QAAQ,EAAO,EAC7B,QAAQ,GAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAa,EACjD,KAAK,GAAE,SAAS,IAAI,EAAO,EAC3B,UAAU,GAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAa,EACtD,WAAW,GAAE,WAAW,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAa,EACnE,QAAQ,GAAE,WAAW,CAAC,MAAM,EAAE,SAAS,IAAI,EAAE,CAAa;IAa5D;;;;;;;;OAQG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,aAAa;IAqCxE;;;;;;;;;OASG;IACH,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,aAAa;IA0ClF;;;;;;;;;;OAUG;IACH,SAAS,CACP,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACjC,WAAW,EAAE,MAAM,GAClB,aAAa;IA2BhB;;;;;;;OAOG;IACH,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,aAAa;IA2BxE;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,IAAI,EAAE,GAAG,aAAa;IA6BjE;;;;;;;;OAQG;IACH,KAAK,IAAI,WAAW;CAwBrB;AAED;;;;GAIG;AACH,qBAAa,WAAY,YAAW,UAAU;;gBAKhC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU;IAMlE,0DAA0D;IAC1D,IAAI,OAAO,IAAI,UAAU,CAExB;IAED,oDAAoD;IACpD,IAAI,KAAK,IAAI,UAAU,CAEtB;IAED,4DAA4D;IAC5D,IAAI,IAAI,IAAI,UAAU,CAErB;IAED,gDAAgD;IAChD,IAAI,QAAQ,IAAI,MAAM,CAErB;IAED,kCAAkC;IAClC,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAE/C;IAED,+BAA+B;IAC/B,IAAI,KAAK,IAAI,SAAS,IAAI,EAAE,CAE3B;IAED,6CAA6C;IAC7C,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI;CAGzB"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,UAAU,EACV,MAAM,EACN,IAAI,EACJ,SAAS,EACT,UAAU,EACV,aAAa,EACb,WAAW,EACX,UAAU,EAEX,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,UAAU,EAAgB,MAAM,WAAW,CAAC;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAE9C;;;;;;;;;;;;;;;GAeG;AACH,qBAAa,aAAa;;gBAYtB,YAAY,EAAE,MAAM,EACpB,cAAc,EAAE,UAAU,EAC1B,IAAI,EAAE,UAAU,EAChB,GAAG,GAAE,SAAS,QAAQ,EAAO,EAC7B,QAAQ,GAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAa,EACjD,KAAK,GAAE,SAAS,IAAI,EAAO,EAC3B,UAAU,GAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAa,EACtD,WAAW,GAAE,WAAW,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAa,EACnE,QAAQ,GAAE,WAAW,CAAC,MAAM,EAAE,SAAS,IAAI,EAAE,CAAa;IAa5D;;;;;;;;OAQG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,aAAa;IAqCxE;;;;;;;;;OASG;IACH,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,aAAa;IA0ClF;;;;;;;;;;OAUG;IACH,SAAS,CACP,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACjC,WAAW,EAAE,MAAM,GAClB,aAAa;IA2BhB;;;;;;;OAOG;IACH,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,aAAa;IA2BxE;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,IAAI,EAAE,GAAG,aAAa;IA6BjE;;;;;;;;OAQG;IACH,KAAK,IAAI,WAAW;CA8BrB;AAED;;;;GAIG;AACH,qBAAa,WAAY,YAAW,UAAU;;gBAKhC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU;IAMlE,0DAA0D;IAC1D,IAAI,OAAO,IAAI,UAAU,CAExB;IAED,oDAAoD;IACpD,IAAI,KAAK,IAAI,UAAU,CAEtB;IAED,4DAA4D;IAC5D,IAAI,IAAI,IAAI,UAAU,CAErB;IAED,gDAAgD;IAChD,IAAI,QAAQ,IAAI,MAAM,CAErB;IAED,kCAAkC;IAClC,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAE/C;IAED,+BAA+B;IAC/B,IAAI,KAAK,IAAI,SAAS,IAAI,EAAE,CAE3B;IAED,4DAA4D;IAC5D,MAAM,CAAC,WAAW,CAChB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,UAAU,EAChB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,UAAU,GACf,WAAW;IAKd,uFAAuF;IACvF,SAAS,IAAI,WAAW;IAKxB,uDAAuD;IACvD,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,gBAAgB;IAS9C,6CAA6C;IAC7C,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI;CAGzB"}

package/dist/types.d.ts

@@ -72,6 +72,25 @@ export interface Constraint {
     readonly sort: string;
     readonly value: string;
 }
+/** A variant in a schema graph (union member). */
+export interface Variant {
+    readonly id: string;
+    readonly parent_vertex: string;
+    readonly tag?: string | undefined;
+}
+/** A recursion point (mu-binding site). */
+export interface RecursionPoint {
+    readonly mu_id: string;
+    readonly target_vertex: string;
+}
+/** Usage mode for a vertex (structural, linear, or affine). */
+export type UsageMode = 'structural' | 'linear' | 'affine';
+/** A span between two vertices. */
+export interface Span {
+    readonly id: string;
+    readonly left: string;
+    readonly right: string;
+}
 /** Options for edge creation. */
 export interface EdgeOptions {
     readonly name?: string;
@@ -84,6 +103,12 @@ export interface SchemaData {
     readonly hyperEdges: Readonly<Record<string, HyperEdge>>;
     readonly constraints: Readonly<Record<string, readonly Constraint[]>>;
     readonly required: Readonly<Record<string, readonly Edge[]>>;
+    readonly variants: Readonly<Record<string, readonly Variant[]>>;
+    readonly orderings: Readonly<Record<string, number>>;
+    readonly recursionPoints: Readonly<Record<string, RecursionPoint>>;
+    readonly usageModes: Readonly<Record<string, UsageMode>>;
+    readonly spans: Readonly<Record<string, Span>>;
+    readonly nominal: Readonly<Record<string, boolean>>;
 }
 /** A vertex mapping entry for migration building. */
 export interface VertexMapping {
@@ -129,7 +154,159 @@ export interface ExistenceReport {
     readonly valid: boolean;
     readonly errors: readonly ExistenceError[];
 }
-/** The raw WASM module interface (10 entry points). */
+/** A kind change on a vertex. */
+export interface KindChange {
+    readonly vertexId: string;
+    readonly oldKind: string;
+    readonly newKind: string;
+}
+/** A constraint change on a vertex. */
+export interface ConstraintChange {
+    readonly sort: string;
+    readonly oldValue: string;
+    readonly newValue: string;
+}
+/** Constraint diff for a single vertex. */
+export interface ConstraintDiff {
+    readonly added: readonly Constraint[];
+    readonly removed: readonly Constraint[];
+    readonly changed: readonly ConstraintChange[];
+}
+/** Full schema diff with 20+ change categories. */
+export interface FullSchemaDiff {
+    readonly added_vertices: readonly string[];
+    readonly removed_vertices: readonly string[];
+    readonly kind_changes: readonly KindChange[];
+    readonly added_edges: readonly Edge[];
+    readonly removed_edges: readonly Edge[];
+    readonly modified_constraints: Readonly<Record<string, ConstraintDiff>>;
+    readonly added_hyper_edges: readonly string[];
+    readonly removed_hyper_edges: readonly string[];
+    readonly modified_hyper_edges: readonly Record<string, unknown>[];
+    readonly added_required: Readonly<Record<string, readonly Edge[]>>;
+    readonly removed_required: Readonly<Record<string, readonly Edge[]>>;
+    readonly added_nsids: Readonly<Record<string, string>>;
+    readonly removed_nsids: readonly string[];
+    readonly changed_nsids: readonly [string, string, string][];
+    readonly added_variants: readonly Variant[];
+    readonly removed_variants: readonly Variant[];
+    readonly modified_variants: readonly Record<string, unknown>[];
+    readonly order_changes: readonly [Edge, number | null, number | null][];
+    readonly added_recursion_points: readonly RecursionPoint[];
+    readonly removed_recursion_points: readonly RecursionPoint[];
+    readonly modified_recursion_points: readonly Record<string, unknown>[];
+    readonly usage_mode_changes: readonly [Edge, UsageMode, UsageMode][];
+    readonly added_spans: readonly string[];
+    readonly removed_spans: readonly string[];
+    readonly modified_spans: readonly Record<string, unknown>[];
+    readonly nominal_changes: readonly [string, boolean, boolean][];
+}
+/** A breaking change detected by the compatibility checker. */
+export interface BreakingChange {
+    readonly type: string;
+    readonly details: Record<string, unknown>;
+}
+/** A non-breaking change detected by the compatibility checker. */
+export interface NonBreakingChange {
+    readonly type: string;
+    readonly details: Record<string, unknown>;
+}
+/** Compatibility report from classifying a schema diff. */
+export interface CompatReportData {
+    readonly breaking: readonly BreakingChange[];
+    readonly non_breaking: readonly NonBreakingChange[];
+    readonly compatible: boolean;
+}
+/** A schema validation error. */
+export interface SchemaValidationIssue {
+    readonly type: string;
+    readonly [key: string]: unknown;
+}
+/** A parameter of a dependent sort. */
+export interface SortParam {
+    readonly name: string;
+    readonly sort: string;
+}
+/** A sort declaration in a GAT. */
+export interface Sort {
+    readonly name: string;
+    readonly params: readonly SortParam[];
+}
+/** A GAT operation (term constructor). */
+export interface GatOperation {
+    readonly name: string;
+    readonly inputs: readonly [string, string][];
+    readonly output: string;
+}
+/** A term in a GAT expression. */
+export type Term = {
+    readonly Var: string;
+} | {
+    readonly App: {
+        readonly op: string;
+        readonly args: readonly Term[];
+    };
+};
+/** An equation (axiom) in a GAT. */
+export interface Equation {
+    readonly name: string;
+    readonly lhs: Term;
+    readonly rhs: Term;
+}
+/** A theory specification. */
+export interface TheorySpec {
+    readonly name: string;
+    readonly extends: readonly string[];
+    readonly sorts: readonly Sort[];
+    readonly ops: readonly GatOperation[];
+    readonly eqs: readonly Equation[];
+}
+/** A theory morphism (structure-preserving map between theories). */
+export interface TheoryMorphism {
+    readonly name: string;
+    readonly domain: string;
+    readonly codomain: string;
+    readonly sort_map: Readonly<Record<string, string>>;
+    readonly op_map: Readonly<Record<string, string>>;
+}
+/** Result of checking a morphism. */
+export interface MorphismCheckResult {
+    readonly valid: boolean;
+    readonly error: string | null;
+}
+/** Branded handle for a theory resource. */
+export interface TheoryHandle extends Handle {
+    readonly __kind: 'theory';
+}
+/** Branded handle for a VCS repository resource. */
+export interface VcsRepoHandle extends Handle {
+    readonly __kind: 'vcs-repo';
+}
+/** A VCS commit log entry. */
+export interface VcsLogEntry {
+    readonly message: string;
+    readonly author: string;
+    readonly timestamp: number;
+    readonly protocol: string;
+}
+/** VCS repository status. */
+export interface VcsStatus {
+    readonly branch: string | null;
+    readonly head_commit: string | null;
+}
+/** VCS operation result. */
+export interface VcsOpResult {
+    readonly success: boolean;
+    readonly message: string;
+}
+/** VCS blame result. */
+export interface VcsBlameResult {
+    readonly commit_id: string;
+    readonly author: string;
+    readonly timestamp: number;
+    readonly message: string;
+}
+/** The raw WASM module interface. */
 export interface WasmExports {
     define_protocol(spec: Uint8Array): number;
     build_schema(proto: number, ops: Uint8Array): number;
@@ -141,12 +318,62 @@ export interface WasmExports {
     compose_migrations(m1: number, m2: number): number;
     diff_schemas(s1: number, s2: number): Uint8Array;
     free_handle(handle: number): void;
+    diff_schemas_full(s1: number, s2: number): Uint8Array;
+    classify_diff(proto: number, diff_bytes: Uint8Array): Uint8Array;
+    report_text(report_bytes: Uint8Array): string;
+    report_json(report_bytes: Uint8Array): string;
+    normalize_schema(schema: number): number;
+    validate_schema(schema: number, proto: number): Uint8Array;
+    register_io_protocols(): number;
+    list_io_protocols(registry: number): Uint8Array;
+    parse_instance(registry: number, proto_name: Uint8Array, schema: number, input: Uint8Array): Uint8Array;
+    emit_instance(registry: number, proto_name: Uint8Array, schema: number, instance: Uint8Array): Uint8Array;
+    validate_instance(schema: number, instance: Uint8Array): Uint8Array;
+    instance_to_json(schema: number, instance: Uint8Array): Uint8Array;
+    json_to_instance(schema: number, json: Uint8Array): Uint8Array;
+    instance_element_count(instance: Uint8Array): number;
+    lens_from_combinators(schema: number, proto: number, combinators: Uint8Array): number;
+    check_lens_laws(migration: number, instance: Uint8Array): Uint8Array;
+    check_get_put(migration: number, instance: Uint8Array): Uint8Array;
+    check_put_get(migration: number, instance: Uint8Array): Uint8Array;
+    invert_migration(mapping: Uint8Array, src: number, tgt: number): Uint8Array;
+    compose_lenses(l1: number, l2: number): number;
+    list_builtin_protocols(): Uint8Array;
+    get_builtin_protocol(name: Uint8Array): Uint8Array;
+    create_theory(spec: Uint8Array): number;
+    colimit_theories(t1: number, t2: number, shared: number): number;
+    check_morphism(morphism: Uint8Array, domain: number, codomain: number): Uint8Array;
+    migrate_model(model: Uint8Array, morphism: Uint8Array): Uint8Array;
+    vcs_init(protocol_name: Uint8Array): number;
+    vcs_add(repo: number, schema: number): Uint8Array;
+    vcs_commit(repo: number, message: Uint8Array, author: Uint8Array): Uint8Array;
+    vcs_log(repo: number, count: number): Uint8Array;
+    vcs_status(repo: number): Uint8Array;
+    vcs_diff(repo: number): Uint8Array;
+    vcs_branch(repo: number, name: Uint8Array): Uint8Array;
+    vcs_checkout(repo: number, target: Uint8Array): Uint8Array;
+    vcs_merge(repo: number, branch: Uint8Array): Uint8Array;
+    vcs_stash(repo: number): Uint8Array;
+    vcs_stash_pop(repo: number): Uint8Array;
+    vcs_blame(repo: number, vertex: Uint8Array): Uint8Array;
+}
+/** Result of checking a lens law (GetPut or PutGet). */
+export interface LawCheckResult {
+    readonly holds: boolean;
+    readonly violation: string | null;
 }
 /** WASM module wrapper including exports and memory. */
 export interface WasmModule {
     readonly exports: WasmExports;
     readonly memory: WebAssembly.Memory;
 }
+/** Instance shape discriminator. */
+export type InstanceShape = 'wtype' | 'functor' | 'graph';
+/** Validation result for an instance. */
+export interface InstanceValidationResult {
+    readonly isValid: boolean;
+    readonly errors: readonly string[];
+}
 /** Base error class for all panproto errors. */
 export declare class PanprotoError extends Error {
     readonly name: string;