@panproto/core 0.3.0 → 0.4.0

package/dist/check.d.ts

@@ -0,0 +1,64 @@
+import { Protocol } from './protocol.js';
+import { FullSchemaDiff, CompatReportData, BreakingChange, NonBreakingChange, SchemaValidationIssue, WasmModule } from './types.js';
+/**
+ * A full schema diff with 20+ change categories.
+ *
+ * Created via `Panproto.diffFull()`. Use `.classify()` to determine
+ * compatibility.
+ */
+export declare class FullDiffReport {
+    /** The raw diff data. */
+    readonly data: FullSchemaDiff;
+    /** @internal */
+    readonly _reportBytes: Uint8Array;
+    /** @internal */
+    readonly _wasm: WasmModule;
+    /** @internal */
+    constructor(data: FullSchemaDiff, reportBytes: Uint8Array, wasm: WasmModule);
+    /** Whether there are any changes at all. */
+    get hasChanges(): boolean;
+    /** Classify the diff against a protocol, producing a compatibility report. */
+    classify(protocol: Protocol): CompatReport;
+}
+/**
+ * A compatibility report classifying schema changes as breaking or non-breaking.
+ *
+ * Created via `FullDiffReport.classify()`.
+ */
+export declare class CompatReport {
+    /** The raw report data. */
+    readonly data: CompatReportData;
+    /** @internal */
+    readonly _rawBytes: Uint8Array;
+    /** @internal */
+    readonly _wasm: WasmModule;
+    /** @internal */
+    constructor(data: CompatReportData, rawBytes: Uint8Array, wasm: WasmModule);
+    /** List of breaking changes. */
+    get breakingChanges(): readonly BreakingChange[];
+    /** List of non-breaking changes. */
+    get nonBreakingChanges(): readonly NonBreakingChange[];
+    /** Whether the changes are fully compatible (no breaking changes). */
+    get isCompatible(): boolean;
+    /** Whether there are any breaking changes. */
+    get isBreaking(): boolean;
+    /** Whether the changes are backward-compatible (additions only, no removals). */
+    get isBackwardCompatible(): boolean;
+    /** Render as human-readable text. */
+    toText(): string;
+    /** Render as a JSON string. */
+    toJson(): string;
+}
+/**
+ * Result of schema validation against a protocol.
+ */
+export declare class ValidationResult {
+    /** The list of validation issues found. */
+    readonly issues: readonly SchemaValidationIssue[];
+    constructor(issues: readonly SchemaValidationIssue[]);
+    /** Whether the schema is valid (no issues found). */
+    get isValid(): boolean;
+    /** The number of validation issues. */
+    get errorCount(): number;
+}
+//# sourceMappingURL=check.d.ts.map

package/dist/check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EACV,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,qBAAqB,EACrB,UAAU,EACX,MAAM,YAAY,CAAC;AAGpB;;;;;GAKG;AACH,qBAAa,cAAc;IACzB,yBAAyB;IACzB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAE9B,gBAAgB;IAChB,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC;IAElC,gBAAgB;IAChB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAE3B,gBAAgB;gBACJ,IAAI,EAAE,cAAc,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU;IAM3E,4CAA4C;IAC5C,IAAI,UAAU,IAAI,OAAO,CA8BxB;IAED,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,YAAY;CAQ3C;AAED;;;;GAIG;AACH,qBAAa,YAAY;IACvB,2BAA2B;IAC3B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAEhC,gBAAgB;IAChB,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;IAE/B,gBAAgB;IAChB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAE3B,gBAAgB;gBACJ,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU;IAM1E,gCAAgC;IAChC,IAAI,eAAe,IAAI,SAAS,cAAc,EAAE,CAE/C;IAED,oCAAoC;IACpC,IAAI,kBAAkB,IAAI,SAAS,iBAAiB,EAAE,CAErD;IAED,sEAAsE;IACtE,IAAI,YAAY,IAAI,OAAO,CAE1B;IAED,8CAA8C;IAC9C,IAAI,UAAU,IAAI,OAAO,CAExB;IAED,iFAAiF;IACjF,IAAI,oBAAoB,IAAI,OAAO,CAElC;IAED,qCAAqC;IACrC,MAAM,IAAI,MAAM;IAIhB,+BAA+B;IAC/B,MAAM,IAAI,MAAM;CAGjB;AAED;;GAEG;AACH,qBAAa,gBAAgB;IAC3B,2CAA2C;IAC3C,QAAQ,CAAC,MAAM,EAAE,SAAS,qBAAqB,EAAE,CAAC;gBAEtC,MAAM,EAAE,SAAS,qBAAqB,EAAE;IAIpD,qDAAqD;IACrD,IAAI,OAAO,IAAI,OAAO,CAErB;IAED,uCAAuC;IACvC,IAAI,UAAU,IAAI,MAAM,CAEvB;CACF"}

package/dist/gat.d.ts

@@ -0,0 +1,99 @@
+import { WasmModule, TheorySpec, TheoryMorphism, MorphismCheckResult } from './types.js';
+import { WasmHandle } from './wasm.js';
+/**
+ * A disposable handle to a WASM-side Theory resource.
+ *
+ * Implements `Disposable` for use with `using` declarations.
+ */
+export declare class TheoryHandle implements Disposable {
+    #private;
+    /** @internal Retained for future sort/op inspection methods. */
+    readonly _wasm: WasmModule;
+    constructor(handle: WasmHandle, wasm: WasmModule);
+    /** The WASM handle. Internal use only. */
+    get _handle(): WasmHandle;
+    /** Release the WASM-side theory resource. */
+    [Symbol.dispose](): void;
+}
+/**
+ * Fluent builder for constructing a Theory specification.
+ *
+ * @example
+ * ```typescript
+ * const monoid = new TheoryBuilder('Monoid')
+ *   .sort('Carrier')
+ *   .op('mul', [['a', 'Carrier'], ['b', 'Carrier']], 'Carrier')
+ *   .op('unit', [], 'Carrier')
+ *   .build(wasm);
+ * ```
+ */
+export declare class TheoryBuilder {
+    #private;
+    constructor(name: string);
+    /** Declare that this theory extends a parent theory. */
+    extends(parentName: string): this;
+    /** Add a simple sort (no parameters). */
+    sort(name: string): this;
+    /** Add a dependent sort with parameters. */
+    dependentSort(name: string, params: {
+        name: string;
+        sort: string;
+    }[]): this;
+    /** Add an operation. */
+    op(name: string, inputs: [string, string][], output: string): this;
+    /** Add an equation (axiom). */
+    eq(name: string, lhs: import('./types.js').Term, rhs: import('./types.js').Term): this;
+    /** Get the theory specification. */
+    toSpec(): TheorySpec;
+    /**
+     * Build the theory and register it in WASM.
+     *
+     * @param wasm - The WASM module
+     * @returns A disposable TheoryHandle
+     * @throws {@link PanprotoError} if the WASM call fails
+     */
+    build(wasm: WasmModule): TheoryHandle;
+}
+/**
+ * Create a theory from a specification.
+ *
+ * @param spec - The theory specification
+ * @param wasm - The WASM module
+ * @returns A disposable TheoryHandle
+ * @throws {@link PanprotoError} if serialization or WASM fails
+ */
+export declare function createTheory(spec: TheorySpec, wasm: WasmModule): TheoryHandle;
+/**
+ * Compute the colimit (pushout) of two theories over a shared base.
+ *
+ * @param t1 - First theory handle
+ * @param t2 - Second theory handle
+ * @param shared - Shared base theory handle
+ * @param wasm - The WASM module
+ * @returns A new TheoryHandle for the colimit theory
+ * @throws {@link WasmError} if computation fails
+ */
+export declare function colimit(t1: TheoryHandle, t2: TheoryHandle, shared: TheoryHandle, wasm: WasmModule): TheoryHandle;
+/**
+ * Check whether a theory morphism is valid.
+ *
+ * @param morphism - The morphism to check
+ * @param domain - Handle to the domain theory
+ * @param codomain - Handle to the codomain theory
+ * @param wasm - The WASM module
+ * @returns A result indicating validity and any error
+ */
+export declare function checkMorphism(morphism: TheoryMorphism, domain: TheoryHandle, codomain: TheoryHandle, wasm: WasmModule): MorphismCheckResult;
+/**
+ * Migrate a model's sort interpretations through a morphism.
+ *
+ * Since operation interpretations (functions) cannot cross the WASM
+ * boundary, only sort interpretations are migrated.
+ *
+ * @param sortInterp - Sort interpretations as name-to-values map
+ * @param morphism - The theory morphism to migrate along
+ * @param wasm - The WASM module
+ * @returns Reindexed sort interpretations
+ */
+export declare function migrateModel(sortInterp: Record<string, unknown[]>, morphism: TheoryMorphism, wasm: WasmModule): Record<string, unknown[]>;
+//# sourceMappingURL=gat.d.ts.map

package/dist/gat.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gat.d.ts","sourceRoot":"","sources":["../src/gat.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,UAAU,EACV,UAAU,EACV,cAAc,EACd,mBAAmB,EAIpB,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,UAAU,EAAgB,MAAM,WAAW,CAAC;AAGrD;;;;GAIG;AACH,qBAAa,YAAa,YAAW,UAAU;;IAE7C,gEAAgE;IAChE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;gBAEf,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU;IAKhD,0CAA0C;IAC1C,IAAI,OAAO,IAAI,UAAU,CAExB;IAED,6CAA6C;IAC7C,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI;CAGzB;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,aAAa;;gBAOZ,IAAI,EAAE,MAAM;IAQxB,wDAAwD;IACxD,OAAO,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI;IAKjC,yCAAyC;IACzC,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAKxB,4CAA4C;IAC5C,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,GAAG,IAAI;IAK3E,wBAAwB;IACxB,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAKlE,+BAA+B;IAC/B,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,YAAY,EAAE,IAAI,GAAG,IAAI;IAKtF,oCAAoC;IACpC,MAAM,IAAI,UAAU;IAUpB;;;;;;OAMG;IACH,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,YAAY;CAGtC;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,GAAG,YAAY,CAY7E;AAED;;;;;;;;;GASG;AACH,wBAAgB,OAAO,CACrB,EAAE,EAAE,YAAY,EAChB,EAAE,EAAE,YAAY,EAChB,MAAM,EAAE,YAAY,EACpB,IAAI,EAAE,UAAU,GACf,YAAY,CAed;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,cAAc,EACxB,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,YAAY,EACtB,IAAI,EAAE,UAAU,GACf,mBAAmB,CAQrB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAC1B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,EACrC,QAAQ,EAAE,cAAc,EACxB,IAAI,EAAE,UAAU,GACf,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAK3B"}