@panproto/core 0.12.0 → 0.14.0

package/dist/index.d.ts

@@ -32,6 +32,12 @@ export { FullDiffReport, CompatReport, ValidationResult } from './check.js';
 export type { FullSchemaDiff, CompatReportData, BreakingChange, NonBreakingChange, ConstraintChange, ConstraintDiff, KindChange, SchemaValidationIssue, } from './types.js';
 export { SchemaEnrichment } from './enrichment.js';
 export { ExprBuilder } from './expr.js';
+export { parseExpr, evalExpr, formatExpr } from './expr-parser.js';
+export { executeQuery } from './query.js';
+export type { InstanceQuery, QueryMatch } from './query.js';
+export { fiberAt, fiberDecomposition, type Fiber, type FiberDecomposition } from './fiber.js';
+export { polyHom } from './hom.js';
+export { preferredPath, distance, type GraphEdge, type PreferredPath } from './graph.js';
 export { MigrationAnalysis } from './coverage.js';
 export type { ValueKind, SortKind, DirectedEquation, ConflictStrategy, ConflictPolicy, Pattern, Expr, Literal, BuiltinOp, CoverageReport, PartialFailure, PartialReason, OpticKind, EnrichmentSummary, } from './types.js';
 export type { LawCheckResult, ProtocolSpec, EdgeRule, Vertex, Edge, HyperEdge, Constraint, Variant, RecursionPoint, UsageMode, Span, VertexOptions, EdgeOptions, SchemaData, MigrationSpec, LiftResult, GetResult, DiffReport, SchemaChange, Compatibility, ExistenceReport, ExistenceError, WasmModule, WasmExports, InstanceShape, InstanceValidationResult, } from './types.js';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAGzC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EACL,YAAY,EACZ,QAAQ,EACR,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,eAAe,CAAC;AAGvB,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAGzD,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAGrE,OAAO,EACL,UAAU,EACV,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,WAAW,CAAC;AAGnB,YAAY,EACV,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAClB,aAAa,EACb,cAAc,EACd,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAGzC,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AAG1D,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC5E,YAAY,EACV,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,UAAU,EACV,qBAAqB,GACtB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAGnD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAGxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAGlD,YAAY,EACV,SAAS,EACT,QAAQ,EACR,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,EACd,OAAO,EACP,IAAI,EACJ,OAAO,EACP,SAAS,EACT,cAAc,EACd,cAAc,EACd,aAAa,EACb,SAAS,EACT,iBAAiB,GAClB,MAAM,YAAY,CAAC;AAGpB,YAAY,EACV,cAAc,EACd,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,IAAI,EACJ,SAAS,EACT,UAAU,EACV,OAAO,EACP,cAAc,EACd,SAAS,EACT,IAAI,EACJ,aAAa,EACb,WAAW,EACX,UAAU,EACV,aAAa,EACb,UAAU,EACV,SAAS,EACT,UAAU,EACV,YAAY,EACZ,aAAa,EACb,eAAe,EACf,cAAc,EACd,UAAU,EACV,WAAW,EACX,aAAa,EACb,wBAAwB,GACzB,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,OAAO,EACP,aAAa,EACb,YAAY,EACZ,iBAAiB,GAClB,MAAM,UAAU,CAAC;AAClB,YAAY,EACV,UAAU,EACV,cAAc,EACd,IAAI,EACJ,SAAS,EACT,YAAY,EACZ,QAAQ,EACR,IAAI,EACJ,mBAAmB,GACpB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAGtC,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAClE,YAAY,EACV,WAAW,EACX,SAAS,EACT,WAAW,EACX,cAAc,GACf,MAAM,YAAY,CAAC;AAGpB,YAAY,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAGhD,OAAO,EACL,aAAa,EACb,SAAS,EACT,qBAAqB,EACrB,cAAc,EACd,mBAAmB,GACpB,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAGzC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EACL,YAAY,EACZ,QAAQ,EACR,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,eAAe,CAAC;AAGvB,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAGzD,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAGrE,OAAO,EACL,UAAU,EACV,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,WAAW,CAAC;AAGnB,YAAY,EACV,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAClB,aAAa,EACb,cAAc,EACd,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAGzC,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AAG1D,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC5E,YAAY,EACV,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,UAAU,EACV,qBAAqB,GACtB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAGnD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAGxC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAGnE,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAG5D,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,KAAK,EAAE,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAG9F,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAGnC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,SAAS,EAAE,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AAGzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAGlD,YAAY,EACV,SAAS,EACT,QAAQ,EACR,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,EACd,OAAO,EACP,IAAI,EACJ,OAAO,EACP,SAAS,EACT,cAAc,EACd,cAAc,EACd,aAAa,EACb,SAAS,EACT,iBAAiB,GAClB,MAAM,YAAY,CAAC;AAGpB,YAAY,EACV,cAAc,EACd,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,IAAI,EACJ,SAAS,EACT,UAAU,EACV,OAAO,EACP,cAAc,EACd,SAAS,EACT,IAAI,EACJ,aAAa,EACb,WAAW,EACX,UAAU,EACV,aAAa,EACb,UAAU,EACV,SAAS,EACT,UAAU,EACV,YAAY,EACZ,aAAa,EACb,eAAe,EACf,cAAc,EACd,UAAU,EACV,WAAW,EACX,aAAa,EACb,wBAAwB,GACzB,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,OAAO,EACP,aAAa,EACb,YAAY,EACZ,iBAAiB,GAClB,MAAM,UAAU,CAAC;AAClB,YAAY,EACV,UAAU,EACV,cAAc,EACd,IAAI,EACJ,SAAS,EACT,YAAY,EACZ,QAAQ,EACR,IAAI,EACJ,mBAAmB,GACpB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAGtC,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAClE,YAAY,EACV,WAAW,EACX,SAAS,EACT,WAAW,EACX,cAAc,GACf,MAAM,YAAY,CAAC;AAGpB,YAAY,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAGhD,OAAO,EACL,aAAa,EACb,SAAS,EACT,qBAAqB,EACrB,cAAc,EACd,mBAAmB,GACpB,MAAM,YAAY,CAAC"}

package/dist/index.js

@@ -119,7 +119,16 @@ async function loadWasm(input) {
       check_dataset_staleness: glue.check_dataset_staleness,
       store_protocol_definition: glue.store_protocol_definition,
       get_protocol_definition: glue.get_protocol_definition,
-      get_migration_complement: glue.get_migration_complement
+      get_migration_complement: glue.get_migration_complement,
+      parse_expr: glue.parse_expr,
+      eval_func_expr: glue.eval_func_expr,
+      execute_query: glue.execute_query,
+      // Phase 12: Fiber, hom, and graph
+      fiber_at: glue.fiber_at,
+      fiber_decomposition_wasm: glue.fiber_decomposition_wasm,
+      poly_hom: glue.poly_hom,
+      preferred_conversion_path: glue.preferred_conversion_path,
+      conversion_distance: glue.conversion_distance
     };
     const memory = initOutput.memory;
     if (!memory) {
@@ -2835,6 +2844,178 @@ class ExprBuilder {
     return ExprBuilder.builtin("Concat", a, b);
   }
 }
+function parseExpr(source, wasm) {
+  try {
+    const resultBytes = wasm.exports.parse_expr(source);
+    return unpackFromWasm(resultBytes);
+  } catch (error) {
+    throw new WasmError(
+      `Failed to parse expression: ${error instanceof Error ? error.message : String(error)}`,
+      { cause: error }
+    );
+  }
+}
+function evalExpr(expr, env, wasm) {
+  try {
+    const exprBytes = packToWasm(expr);
+    const envBytes = packToWasm(env ?? {});
+    const resultBytes = wasm.exports.eval_func_expr(exprBytes, envBytes);
+    return unpackFromWasm(resultBytes);
+  } catch (error) {
+    throw new WasmError(
+      `Failed to evaluate expression: ${error instanceof Error ? error.message : String(error)}`,
+      { cause: error }
+    );
+  }
+}
+function formatExpr(source, wasm) {
+  const expr = parseExpr(source, wasm);
+  return exprToString(expr);
+}
+function exprToString(expr) {
+  switch (expr.type) {
+    case "var":
+      return expr.name;
+    case "lit":
+      return literalToString(expr.value);
+    case "lam":
+      return `\\${expr.param} -> ${exprToString(expr.body)}`;
+    case "app":
+      return `(${exprToString(expr.func)} ${exprToString(expr.arg)})`;
+    case "let":
+      return `let ${expr.name} = ${exprToString(expr.value)} in ${exprToString(expr.body)}`;
+    case "field":
+      return `${exprToString(expr.expr)}.${expr.name}`;
+    case "record": {
+      const fields = expr.fields.map(([k, v]) => `${k} = ${exprToString(v)}`).join(", ");
+      return `{ ${fields} }`;
+    }
+    case "list": {
+      const items = expr.items.map(exprToString).join(", ");
+      return `[${items}]`;
+    }
+    case "index":
+      return `${exprToString(expr.expr)}[${exprToString(expr.index)}]`;
+    case "match": {
+      const arms = expr.arms.map(([pat, body]) => `${patternToString(pat)} -> ${exprToString(body)}`).join("; ");
+      return `match ${exprToString(expr.scrutinee)} { ${arms} }`;
+    }
+    case "builtin": {
+      const args = expr.args.map(exprToString).join(", ");
+      return `${expr.op}(${args})`;
+    }
+  }
+}
+function literalToString(lit) {
+  switch (lit.type) {
+    case "bool":
+      return String(lit.value);
+    case "int":
+      return String(lit.value);
+    case "float":
+      return String(lit.value);
+    case "str":
+      return JSON.stringify(lit.value);
+    case "bytes":
+      return `<bytes:${lit.value.length}>`;
+    case "null":
+      return "null";
+    case "record": {
+      const fields = lit.fields.map(([k, v]) => `${k} = ${literalToString(v)}`).join(", ");
+      return `{ ${fields} }`;
+    }
+    case "list": {
+      const items = lit.items.map(literalToString).join(", ");
+      return `[${items}]`;
+    }
+  }
+}
+function patternToString(pat) {
+  switch (pat.type) {
+    case "wildcard":
+      return "_";
+    case "var":
+      return pat.name;
+    case "lit":
+      return literalToString(pat.value);
+    case "record": {
+      const fields = pat.fields.map(([k, v]) => `${k} = ${patternToString(v)}`).join(", ");
+      return `{ ${fields} }`;
+    }
+    case "list": {
+      const items = pat.items.map(patternToString).join(", ");
+      return `[${items}]`;
+    }
+  }
+}
+function executeQuery(query, instance, wasm) {
+  try {
+    const queryBytes = packToWasm(query);
+    const resultBytes = wasm.exports.execute_query(queryBytes, instance._bytes);
+    return unpackFromWasm(resultBytes);
+  } catch (error) {
+    throw new WasmError(
+      `Failed to execute query: ${error instanceof Error ? error.message : String(error)}`,
+      { cause: error }
+    );
+  }
+}
+function fiberAt(instance, migration, targetAnchor, wasm) {
+  try {
+    const resultBytes = wasm.exports.fiber_at(instance, migration, targetAnchor);
+    return unpackFromWasm(resultBytes);
+  } catch (error) {
+    throw new WasmError(
+      `Failed to compute fiber at "${targetAnchor}": ${error instanceof Error ? error.message : String(error)}`,
+      { cause: error }
+    );
+  }
+}
+function fiberDecomposition(instance, migration, wasm) {
+  try {
+    const resultBytes = wasm.exports.fiber_decomposition_wasm(instance, migration);
+    return unpackFromWasm(resultBytes);
+  } catch (error) {
+    throw new WasmError(
+      `Failed to compute fiber decomposition: ${error instanceof Error ? error.message : String(error)}`,
+      { cause: error }
+    );
+  }
+}
+function polyHom(sourceSchema, targetSchema, wasm) {
+  try {
+    return wasm.exports.poly_hom(sourceSchema, targetSchema);
+  } catch (error) {
+    throw new WasmError(
+      `Failed to construct internal hom: ${error instanceof Error ? error.message : String(error)}`,
+      { cause: error }
+    );
+  }
+}
+function preferredPath(edges, sourceSchema, targetSchema, wasm) {
+  try {
+    const graphBytes = packToWasm(edges);
+    const resultBytes = wasm.exports.preferred_conversion_path(
+      graphBytes,
+      sourceSchema,
+      targetSchema
+    );
+    return unpackFromWasm(resultBytes);
+  } catch {
+    return null;
+  }
+}
+function distance(edges, sourceSchema, targetSchema, wasm) {
+  try {
+    const graphBytes = packToWasm(edges);
+    return wasm.exports.conversion_distance(graphBytes, sourceSchema, targetSchema);
+  } catch (error) {
+    throw new WasmError(
+      `Failed to compute conversion distance: ${error instanceof Error ? error.message : String(error)}`,
+      { cause: error }
+    );
+  }
+}
 function classifyOpticKind(chain, schema, _wasm) {
   const spec = chain.requirements(schema);
   const hasDefaults = spec.forwardDefaults.length > 0;
@@ -3120,9 +3301,18 @@ export {
   checkMorphism,
   colimit,
   createTheory,
+  distance,
+  evalExpr,
+  executeQuery,
   factorizeMorphism,
+  fiberAt,
+  fiberDecomposition,
+  formatExpr,
   getBuiltinProtocol,
   getProtocolNames,
-  migrateModel
+  migrateModel,
+  parseExpr,
+  polyHom,
+  preferredPath
 };
 //# sourceMappingURL=index.js.map