@obversa/runtime 0.1.0

package/dist/artifacts/conformance.d.ts

@@ -0,0 +1 @@
+export { runArtifactStoreConformance, assertArtifactStoreConformance, type ArtifactStoreConformanceOptions, type ArtifactStoreConformanceFactory, type ArtifactStoreConformanceFailure, type ArtifactStoreConformanceReport, } from '@obversa/api/testing';

package/dist/artifacts/file-store.d.ts

@@ -0,0 +1,8 @@
+import { type ArtifactStore } from './store.js';
+export interface LocalArtifactStoreOptions {
+    readonly root: string;
+    readonly maxArtifactBytes?: number;
+    readonly maxTotalArtifactBytesPerRun?: number;
+    readonly knownSecrets?: readonly string[];
+}
+export declare function createLocalArtifactStore(options: LocalArtifactStoreOptions): ArtifactStore;

package/dist/artifacts/store.d.ts

@@ -0,0 +1 @@
+export { validateArtifactScope, validateNewArtifact, validateArtifactReference, type ArtifactContentMode, type ArtifactScope, type NewArtifact, type ArtifactBatch, type ArtifactReference, type ArtifactStore, } from '@obversa/api';

package/dist/callback/approval.d.ts

@@ -0,0 +1,8 @@
+import { type ApprovalRecord, type ApprovalResolutionInput, type PrepareApprovalRecordInput, type NewApprovalEvent, type ActionDecision } from '@obversa/api';
+import { type RunStorageBinding } from '../runtime/run-definition.js';
+export { ApprovalSubjectError, approvalSubjectDigest, createApprovalCallbackGate, validateApprovalRecord, validateApprovalSubject, snapshotApprovalSubject, assertApprovalPermissionsAdmitted, type ApprovalSubmission, type ApprovalSubjectInput, type ApprovalResolutionInput, type ApprovalSubject, type ApprovalBinding, type ApprovalRecord, type ApprovalEventPayload, type NewApprovalEvent, type PrepareApprovalRecordInput } from '@obversa/api';
+export declare function prepareApprovalRecord(runId: string, input: PrepareApprovalRecordInput): Readonly<{
+    readonly record: ApprovalRecord;
+    readonly event: NewApprovalEvent;
+}>;
+export declare function resolveApproval(storage: RunStorageBinding, runId: string, current: ApprovalResolutionInput): Promise<ActionDecision>;

package/dist/callback/client.d.ts

@@ -0,0 +1,38 @@
+/**
+ * The callback client (roadmap D7): the router-facing side of the Callback
+ * Gate. Pending requests are observable without starting any effect; a
+ * router claims a request through atomic assignment — two racing routers,
+ * exactly one winner — submits a structured response validated against
+ * the request's response schema and its digest, and can release or be
+ * reassigned.
+ *
+ * The client is event-sourced: every mutation is recorded as an event, and
+ * the request states are a fold of the log — `replayCallbackClient`
+ * rebuilds a full client from any history, so no state is hidden outside
+ * the events. A newer request from the same gate supersedes the older
+ * unanswered ones with a recorded event, and a submit whose digest does
+ * not match the posted request is refused as stale.
+ *
+ * The direct-router helper takes a plain responder function and drives
+ * the whole loop. It imports no Surfacer, agent, or service code — it is
+ * the smallest possible router, and the proof that the contract is
+ * replaceable.
+ */
+import type { CallbackRequest } from './gate.js';
+import { type CallbackEvent, type CallbackClient, type SubmitResult, type Responder } from '@obversa/api';
+export { type CallbackEvent, validateCallbackEvent, type ClaimOk, type ClaimRefused, type ClaimResult, type SubmitOk, type SubmitRefused, type SubmitResult, type ReleaseOk, type ReleaseRefused, type ReleaseResult, type CallbackClient, type Responder, } from '@obversa/api';
+/** Rebuild a complete client from a callback history. A pure fold. */
+export declare function replayCallbackClient(events: readonly CallbackEvent[]): CallbackClient;
+/**
+ * An event-sourced callback client. Seeding from a history replays it
+ * through the same fold the live client applies, so the log is the only
+ * state there is.
+ */
+export declare function createCallbackClient(seed?: readonly CallbackEvent[]): CallbackClient;
+/**
+ * The smallest router: claim the pending request for one gate, ask the
+ * responder function, and submit its structured answer with the digest the
+ * request carries. Imports nothing beyond the contract — no Surfacer,
+ * agent, or service code.
+ */
+export declare function directRouter(client: CallbackClient, request: CallbackRequest, routerId: string, responder: Responder): Promise<SubmitResult>;

package/dist/callback/gate.d.ts

@@ -0,0 +1 @@
+export { callbackRequestDigest, createCallbackGate, validateCallbackRequest, validateCallbackResponse, type CallbackGateDefinition, type CallbackRequest, } from '@obversa/api';

package/dist/callback/stored-client.d.ts

@@ -0,0 +1,5 @@
+import type { StoredCallbackClient } from '@obversa/api';
+import { type RunStorageBinding } from '../runtime/run-definition.js';
+export type { NewCallbackHistoryEvent, StoredCallbackClient } from '@obversa/api';
+/** Open an awaited callback writer over the run's own event stream. */
+export declare function createStoredCallbackClient(storage: RunStorageBinding, runId: string): Promise<Readonly<StoredCallbackClient>>;

package/dist/chunk-3L6YNPN6.js

@@ -0,0 +1,3 @@
+export { resolveGraphPlan, validateGraphDescription, validateResolvedPlan } from '@obversa/api';
+//# sourceMappingURL=chunk-3L6YNPN6.js.map
+//# sourceMappingURL=chunk-3L6YNPN6.js.map

package/dist/chunk-3L6YNPN6.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"names":[],"mappings":"","file":"chunk-3L6YNPN6.js","sourcesContent":[]}

package/dist/chunk-5GLEABOU.js

@@ -0,0 +1,3 @@
+export { GraphValidationError, JsonValueError, canonicalJson, cloneFrozenJson, digestJson } from '@obversa/api';
+//# sourceMappingURL=chunk-5GLEABOU.js.map
+//# sourceMappingURL=chunk-5GLEABOU.js.map

package/dist/chunk-5GLEABOU.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"names":[],"mappings":"","file":"chunk-5GLEABOU.js","sourcesContent":[]}

package/dist/chunk-DEW5R23M.js

@@ -0,0 +1,338 @@
+import { validateGraphDescription } from './chunk-3L6YNPN6.js';
+import { GraphValidationError, cloneFrozenJson, JsonValueError } from './chunk-5GLEABOU.js';
+import { compileGraphDefinition, GraphValidationError as GraphValidationError$1 } from '@obversa/api';
+import { isDeepStrictEqual } from 'util';
+
+function unknownNode(id) {
+  return new GraphValidationError$1(`Graph node "${id}" does not exist.`, [
+    { code: "UNKNOWN_NODE", path: "/nodeId", message: `Node "${id}" is not declared.` }
+  ]);
+}
+function uniqueNodeIds(edges, select) {
+  const ids = [];
+  const seen = /* @__PURE__ */ new Set();
+  for (const edge of edges) {
+    const id = select(edge);
+    if (seen.has(id)) continue;
+    seen.add(id);
+    ids.push(id);
+  }
+  return Object.freeze(ids);
+}
+function createGraphKernel(definition) {
+  const snapshot = compileGraphDefinition(definition);
+  const value = snapshot.value;
+  const nodes = value.nodes;
+  const edges = value.edges;
+  const nodeById = new Map(
+    nodes.map((node) => [node.id, node])
+  );
+  const edgeById = new Map(
+    edges.map((edge) => [edge.id, edge])
+  );
+  const inbound = /* @__PURE__ */ new Map();
+  const outbound = /* @__PURE__ */ new Map();
+  for (const node of nodes) {
+    inbound.set(node.id, []);
+    outbound.set(node.id, []);
+  }
+  for (const edge of edges) {
+    inbound.get(edge.target).push(edge);
+    outbound.get(edge.source).push(edge);
+  }
+  const inboundFrozen = /* @__PURE__ */ new Map();
+  const outboundFrozen = /* @__PURE__ */ new Map();
+  const predecessors = /* @__PURE__ */ new Map();
+  const successors = /* @__PURE__ */ new Map();
+  for (const node of nodes) {
+    const nodeInbound = Object.freeze(inbound.get(node.id));
+    const nodeOutbound = Object.freeze(outbound.get(node.id));
+    inboundFrozen.set(node.id, nodeInbound);
+    outboundFrozen.set(node.id, nodeOutbound);
+    predecessors.set(
+      node.id,
+      uniqueNodeIds(nodeInbound, (edge) => edge.source)
+    );
+    successors.set(
+      node.id,
+      uniqueNodeIds(nodeOutbound, (edge) => edge.target)
+    );
+  }
+  const requireNode = (id) => {
+    if (!nodeById.has(id)) throw unknownNode(id);
+  };
+  return Object.freeze({
+    definition: snapshot,
+    node: (id) => nodeById.get(id),
+    edge: (id) => edgeById.get(id),
+    predecessors: (id) => {
+      requireNode(id);
+      return predecessors.get(id);
+    },
+    successors: (id) => {
+      requireNode(id);
+      return successors.get(id);
+    },
+    inboundEdges: (id) => {
+      requireNode(id);
+      return inboundFrozen.get(id);
+    },
+    outboundEdges: (id) => {
+      requireNode(id);
+      return outboundFrozen.get(id);
+    }
+  });
+}
+function issue(path, message) {
+  return { code: "INVALID_GRAPH_COMMAND", path, message };
+}
+function invalid(path, message) {
+  return new GraphValidationError(`Invalid graph command: ${message}`, [
+    issue(path, message)
+  ]);
+}
+function text(value, path, label) {
+  if (typeof value !== "string" || value.trim().length === 0 || /[\u0000-\u001f\u007f]/.test(value)) {
+    throw invalid(path, `${label} must be a non-empty string without control characters.`);
+  }
+  return value;
+}
+function exactKeys(value, expected, path) {
+  const actual = Object.keys(value).sort();
+  const wanted = [...expected].sort();
+  if (JSON.stringify(actual) !== JSON.stringify(wanted)) {
+    throw invalid(path, `Expected fields ${wanted.join(", ")}; received ${actual.join(", ")}.`);
+  }
+}
+function validateGraphCommands(commands, kernel) {
+  if (!Array.isArray(commands)) {
+    throw invalid("", "A graph decision must be an array.");
+  }
+  let frozen;
+  try {
+    frozen = cloneFrozenJson(
+      commands
+    );
+  } catch (error) {
+    if (!(error instanceof JsonValueError)) throw error;
+    throw invalid(error.path, error.message);
+  }
+  for (let index = 0; index < frozen.length; index += 1) {
+    const path = `/${index}`;
+    const command = frozen[index];
+    if (!command || typeof command !== "object" || Array.isArray(command)) {
+      throw invalid(path, "Each command must be an object.");
+    }
+  }
+  const terminal = frozen.filter((command) => command.kind !== "dispatch");
+  if (terminal.length > 0 && frozen.length !== 1) {
+    throw invalid("", "A terminal command must be the only command in a decision.");
+  }
+  const dispatchPositions = /* @__PURE__ */ new Set();
+  for (let index = 0; index < frozen.length; index += 1) {
+    const command = frozen[index];
+    const path = `/${index}`;
+    switch (command.kind) {
+      case "dispatch": {
+        exactKeys(command, [
+          "kind",
+          "nodeId",
+          "input",
+          "position"
+        ], path);
+        const nodeId = text(command.nodeId, `${path}/nodeId`, "nodeId");
+        const position = text(command.position, `${path}/position`, "position");
+        if (!kernel.node(nodeId)) {
+          throw invalid(`${path}/nodeId`, `Dispatch refers to unknown node "${nodeId}".`);
+        }
+        if (dispatchPositions.has(position)) {
+          throw invalid(
+            `${path}/position`,
+            `Decision contains duplicate dispatch position "${position}".`
+          );
+        }
+        dispatchPositions.add(position);
+        break;
+      }
+      case "pause":
+        exactKeys(command, ["kind", "reason"], path);
+        text(command.reason, `${path}/reason`, "reason");
+        break;
+      case "complete":
+        exactKeys(command, ["kind", "output"], path);
+        break;
+      case "fail":
+        exactKeys(command, [
+          "kind",
+          "code",
+          "message"
+        ], path);
+        text(command.code, `${path}/code`, "code");
+        text(command.message, `${path}/message`, "message");
+        break;
+      default:
+        throw invalid(
+          `${path}/kind`,
+          `Unknown command kind "${String(command.kind)}".`
+        );
+    }
+  }
+  return frozen;
+}
+function issue2(path, message) {
+  return { code: "INVALID_GRAPH_TYPE", path, message };
+}
+function fail(path, message) {
+  throw new GraphValidationError("Invalid graph type.", [issue2(path, message)]);
+}
+function name(value, path, label) {
+  if (typeof value !== "string" || value.trim().length === 0 || /[\u0000-\u001f\u007f]/.test(value)) {
+    fail(path, `${label} must be a non-empty string without control characters.`);
+  }
+  return value;
+}
+function version(value, path) {
+  if (!Number.isSafeInteger(value) || value < 1) {
+    fail(path, "Graph type version must be a positive safe integer.");
+  }
+  return value;
+}
+function json(value, path) {
+  try {
+    return cloneFrozenJson(value);
+  } catch (error) {
+    if (!(error instanceof JsonValueError)) throw error;
+    fail(`${path}${error.path}`, error.message);
+  }
+}
+function validateEvent(value) {
+  const event = json(value, "/event");
+  if (event === null || typeof event !== "object" || Array.isArray(event)) {
+    fail("/event", "Event must be an object.");
+  }
+  const fields = Object.keys(event).sort();
+  const expected = ["payload", "type", "version"];
+  if (!isSameStringList(fields, expected)) {
+    fail(
+      "/event",
+      `Event must contain exactly type, version, and payload; received ${fields.join(", ") || "no fields"}.`
+    );
+  }
+  const safeEvent = event;
+  name(safeEvent.type, "/event/type", "Event type");
+  if (!Number.isSafeInteger(safeEvent.version) || safeEvent.version < 1) {
+    fail("/event/version", "Event version must be a positive safe integer.");
+  }
+  return safeEvent;
+}
+function isSameStringList(left, right) {
+  return left.length === right.length && left.every((value, index) => value === right[index]);
+}
+function descriptionMismatch(path, message) {
+  throw new GraphValidationError(`Invalid graph plan: ${message}`, [{
+    code: "DESCRIPTION_MISMATCH",
+    path,
+    message
+  }]);
+}
+function assertCompiledDescription(description, expected) {
+  const { definition } = expected.kernel;
+  if (description.graph.id !== definition.value.id || description.graph.definitionVersion !== definition.value.definitionVersion || description.graph.definitionDigest !== definition.digest || description.graph.kind !== expected.kind || description.graph.typeVersion !== expected.typeVersion || !isDeepStrictEqual(description.requirements, expected.requirements)) {
+    descriptionMismatch("/graph", "Description metadata does not match the compiled graph.");
+  }
+  if (!isDeepStrictEqual(
+    description.nodes.map((node) => node.id),
+    definition.value.nodes.map((node) => node.id)
+  )) {
+    descriptionMismatch("/nodes", "Description node order does not match the definition.");
+  }
+  if (!isDeepStrictEqual(description.edges, definition.value.edges.map((edge) => ({
+    id: edge.id,
+    source: edge.source,
+    target: edge.target
+  })))) {
+    descriptionMismatch("/edges", "Description edges do not match the definition.");
+  }
+}
+function compileGraph(graphType, definition) {
+  const kind = name(graphType.kind, "/kind", "Graph kind");
+  const typeVersion = version(graphType.version, "/version");
+  const kernel = createGraphKernel(definition);
+  const implementation = graphType.compile(kernel.definition.value, kernel);
+  if (!implementation || typeof implementation !== "object") {
+    fail("/compile", "compile() must return a compiled graph object.");
+  }
+  const requirements = json(implementation.requirements, "/compile/requirements");
+  if (requirements.memory !== "required" && requirements.memory !== "unused") {
+    fail("/compile/requirements/memory", "Memory must be required or unused.");
+  }
+  for (const method of ["initialState", "reduce", "decide", "describe"]) {
+    if (typeof implementation[method] !== "function") {
+      fail(`/compile/${method}`, `${method} must be a function.`);
+    }
+  }
+  if (implementation.validateNodeResult !== void 0 && typeof implementation.validateNodeResult !== "function") {
+    fail("/compile/validateNodeResult", "validateNodeResult must be a function.");
+  }
+  const initialState = json(implementation.initialState(), "/initialState");
+  const descriptionInput = json(
+    implementation.describe(),
+    "/description"
+  );
+  const description = validateGraphDescription({
+    ...descriptionInput,
+    schemaVersion: 1,
+    graph: {
+      id: kernel.definition.value.id,
+      definitionVersion: kernel.definition.value.definitionVersion,
+      kind,
+      typeVersion,
+      definitionDigest: kernel.definition.digest
+    },
+    edges: kernel.definition.value.edges.map((edge) => ({
+      id: edge.id,
+      source: edge.source,
+      target: edge.target
+    })),
+    requirements
+  });
+  assertCompiledDescription(description, {
+    kernel,
+    kind,
+    typeVersion,
+    requirements
+  });
+  return Object.freeze({
+    definition: kernel.definition,
+    requirements,
+    initialState: () => initialState,
+    ...implementation.validateNodeResult === void 0 ? {} : {
+      validateNodeResult(nodeId, result) {
+        if (kernel.node(nodeId) === void 0) {
+          fail("/nodeId", `Unknown node "${nodeId}".`);
+        }
+        const returned = implementation.validateNodeResult(nodeId, json(result, "/result"));
+        if (returned === null) return null;
+        const safeIssue = json(returned, "/validateNodeResult");
+        if (safeIssue === null || typeof safeIssue !== "object" || Array.isArray(safeIssue) || !isSameStringList(Object.keys(safeIssue).sort(), ["code", "message", "path"]) || typeof safeIssue.code !== "string" || typeof safeIssue.path !== "string" || typeof safeIssue.message !== "string") {
+          fail("/validateNodeResult", "validateNodeResult must return null or an issue with code, path, and message strings.");
+        }
+        return safeIssue;
+      }
+    },
+    reduce(state, event) {
+      const safeState = json(state, "/state");
+      const safeEvent = validateEvent(event);
+      return json(implementation.reduce(safeState, safeEvent), "/reducedState");
+    },
+    decide(state) {
+      const safeState = json(state, "/state");
+      return validateGraphCommands(implementation.decide(safeState), kernel);
+    },
+    describe: () => description
+  });
+}
+
+export { compileGraph, createGraphKernel };
+//# sourceMappingURL=chunk-DEW5R23M.js.map
+//# sourceMappingURL=chunk-DEW5R23M.js.map

package/dist/chunk-DEW5R23M.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/graph/kernel.ts","../src/graph/commands.ts","../src/graph/type.ts"],"names":["GraphValidationError","issue"],"mappings":";;;;;AAaA,SAAS,YAAY,EAAA,EAAkC;AACrD,EAAA,OAAO,IAAIA,sBAAAA,CAAqB,CAAA,YAAA,EAAe,EAAE,CAAA,iBAAA,CAAA,EAAqB;AAAA,IACpE,EAAE,MAAM,cAAA,EAAgB,IAAA,EAAM,WAAW,OAAA,EAAS,CAAA,MAAA,EAAS,EAAE,CAAA,kBAAA,CAAA;AAAqB,GACnF,CAAA;AACH;AAEA,SAAS,aAAA,CACP,OACA,MAAA,EACmB;AACnB,EAAA,MAAM,MAAgB,EAAC;AACvB,EAAA,MAAM,IAAA,uBAAW,GAAA,EAAY;AAC7B,EAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,IAAA,MAAM,EAAA,GAAK,OAAO,IAAI,CAAA;AACtB,IAAA,IAAI,IAAA,CAAK,GAAA,CAAI,EAAE,CAAA,EAAG;AAClB,IAAA,IAAA,CAAK,IAAI,EAAE,CAAA;AACX,IAAA,GAAA,CAAI,KAAK,EAAE,CAAA;AAAA,EACb;AACA,EAAA,OAAO,MAAA,CAAO,OAAO,GAAG,CAAA;AAC1B;AAEO,SAAS,kBACd,UAAA,EACyB;AACzB,EAAA,MAAM,QAAA,GAAW,uBAAuB,UAAU,CAAA;AAClD,EAAA,MAAM,QAAQ,QAAA,CAAS,KAAA;AACvB,EAAA,MAAM,QAAQ,KAAA,CAAM,KAAA;AACpB,EAAA,MAAM,QAAQ,KAAA,CAAM,KAAA;AAEpB,EAAA,MAAM,WAAW,IAAI,GAAA;AAAA,IACnB,KAAA,CAAM,IAAI,CAAC,IAAA,KAAS,CAAC,IAAA,CAAK,EAAA,EAAI,IAAI,CAAC;AAAA,GACrC;AACA,EAAA,MAAM,WAAW,IAAI,GAAA;AAAA,IACnB,KAAA,CAAM,IAAI,CAAC,IAAA,KAAS,CAAC,IAAA,CAAK,EAAA,EAAI,IAAI,CAAC;AAAA,GACrC;AACA,EAAA,MAAM,OAAA,uBAAc,GAAA,EAA0C;AAC9D,EAAA,MAAM,QAAA,uBAAe,GAAA,EAA0C;AAC/D,EAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,IAAA,OAAA,CAAQ,GAAA,CAAI,IAAA,CAAK,EAAA,EAAI,EAAE,CAAA;AACvB,IAAA,QAAA,CAAS,GAAA,CAAI,IAAA,CAAK,EAAA,EAAI,EAAE,CAAA;AAAA,EAC1B;AACA,EAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,IAAA,OAAA,CAAQ,GAAA,CAAI,IAAA,CAAK,MAAM,CAAA,CAAG,KAAK,IAAI,CAAA;AACnC,IAAA,QAAA,CAAS,GAAA,CAAI,IAAA,CAAK,MAAM,CAAA,CAAG,KAAK,IAAI,CAAA;AAAA,EACtC;AAEA,EAAA,MAAM,aAAA,uBAAoB,GAAA,EAAmD;AAC7E,EAAA,MAAM,cAAA,uBAAqB,GAAA,EAAmD;AAC9E,EAAA,MAAM,YAAA,uBAAmB,GAAA,EAA+B;AACxD,EAAA,MAAM,UAAA,uBAAiB,GAAA,EAA+B;AACtD,EAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,IAAA,MAAM,cAAc,MAAA,CAAO,MAAA,CAAO,QAAQ,GAAA,CAAI,IAAA,CAAK,EAAE,CAAE,CAAA;AACvD,IAAA,MAAM,eAAe,MAAA,CAAO,MAAA,CAAO,SAAS,GAAA,CAAI,IAAA,CAAK,EAAE,CAAE,CAAA;AACzD,IAAA,aAAA,CAAc,GAAA,CAAI,IAAA,CAAK,EAAA,EAAI,WAAW,CAAA;AACtC,IAAA,cAAA,CAAe,GAAA,CAAI,IAAA,CAAK,EAAA,EAAI,YAAY,CAAA;AACxC,IAAA,YAAA,CAAa,GAAA;AAAA,MACX,IAAA,CAAK,EAAA;AAAA,MACL,aAAA,CAAc,WAAA,EAAa,CAAC,IAAA,KAAS,KAAK,MAAM;AAAA,KAClD;AACA,IAAA,UAAA,CAAW,GAAA;AAAA,MACT,IAAA,CAAK,EAAA;AAAA,MACL,aAAA,CAAc,YAAA,EAAc,CAAC,IAAA,KAAS,KAAK,MAAM;AAAA,KACnD;AAAA,EACF;AAEA,EAAA,MAAM,WAAA,GAAc,CAAC,EAAA,KAAqB;AACxC,IAAA,IAAI,CAAC,QAAA,CAAS,GAAA,CAAI,EAAE,CAAA,EAAG,MAAM,YAAY,EAAE,CAAA;AAAA,EAC7C,CAAA;AAEA,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,UAAA,EAAY,QAAA;AAAA,IACZ,IAAA,EAAM,CAAC,EAAA,KAAe,QAAA,CAAS,IAAI,EAAE,CAAA;AAAA,IACrC,IAAA,EAAM,CAAC,EAAA,KAAe,QAAA,CAAS,IAAI,EAAE,CAAA;AAAA,IACrC,YAAA,EAAc,CAAC,EAAA,KAAe;AAC5B,MAAA,WAAA,CAAY,EAAE,CAAA;AACd,MAAA,OAAO,YAAA,CAAa,IAAI,EAAE,CAAA;AAAA,IAC5B,CAAA;AAAA,IACA,UAAA,EAAY,CAAC,EAAA,KAAe;AAC1B,MAAA,WAAA,CAAY,EAAE,CAAA;AACd,MAAA,OAAO,UAAA,CAAW,IAAI,EAAE,CAAA;AAAA,IAC1B,CAAA;AAAA,IACA,YAAA,EAAc,CAAC,EAAA,KAAe;AAC5B,MAAA,WAAA,CAAY,EAAE,CAAA;AACd,MAAA,OAAO,aAAA,CAAc,IAAI,EAAE,CAAA;AAAA,IAC7B,CAAA;AAAA,IACA,aAAA,EAAe,CAAC,EAAA,KAAe;AAC7B,MAAA,WAAA,CAAY,EAAE,CAAA;AACd,MAAA,OAAO,cAAA,CAAe,IAAI,EAAE,CAAA;AAAA,IAC9B;AAAA,GACD,CAAA;AACH;AC3FA,SAAS,KAAA,CAAM,MAAc,OAAA,EAAuC;AAClE,EAAA,OAAO,EAAE,IAAA,EAAM,uBAAA,EAAyB,IAAA,EAAM,OAAA,EAAQ;AACxD;AAEA,SAAS,OAAA,CAAQ,MAAc,OAAA,EAAuC;AACpE,EAAA,OAAO,IAAI,oBAAA,CAAqB,CAAA,uBAAA,EAA0B,OAAO,CAAA,CAAA,EAAI;AAAA,IACnE,KAAA,CAAM,MAAM,OAAO;AAAA,GACpB,CAAA;AACH;AAEA,SAAS,IAAA,CAAK,KAAA,EAAgB,IAAA,EAAc,KAAA,EAAuB;AACjE,EAAA,IACE,OAAO,KAAA,KAAU,QAAA,IACd,KAAA,CAAM,IAAA,EAAK,CAAE,MAAA,KAAW,CAAA,IACxB,uBAAA,CAAwB,IAAA,CAAK,KAAK,CAAA,EACrC;AACA,IAAA,MAAM,OAAA,CAAQ,IAAA,EAAM,CAAA,EAAG,KAAK,CAAA,uDAAA,CAAyD,CAAA;AAAA,EACvF;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,SAAA,CACP,KAAA,EACA,QAAA,EACA,IAAA,EACM;AACN,EAAA,MAAM,MAAA,GAAS,MAAA,CAAO,IAAA,CAAK,KAAK,EAAE,IAAA,EAAK;AACvC,EAAA,MAAM,MAAA,GAAS,CAAC,GAAG,QAAQ,EAAE,IAAA,EAAK;AAClC,EAAA,IAAI,KAAK,SAAA,CAAU,MAAM,MAAM,IAAA,CAAK,SAAA,CAAU,MAAM,CAAA,EAAG;AACrD,IAAA,MAAM,OAAA,CAAQ,IAAA,EAAM,CAAA,gBAAA,EAAmB,MAAA,CAAO,IAAA,CAAK,IAAI,CAAC,CAAA,WAAA,EAAc,MAAA,CAAO,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAG,CAAA;AAAA,EAC5F;AACF;AAGO,SAAS,qBAAA,CACd,UACA,MAAA,EACyB;AACzB,EAAA,IAAI,CAAC,KAAA,CAAM,OAAA,CAAQ,QAAQ,CAAA,EAAG;AAC5B,IAAA,MAAM,OAAA,CAAQ,IAAI,oCAAoC,CAAA;AAAA,EACxD;AACA,EAAA,IAAI,MAAA;AACJ,EAAA,IAAI;AACF,IAAA,MAAA,GAAS,eAAA;AAAA,MACP;AAAA,KACF;AAAA,EACF,SAAS,KAAA,EAAO;AACd,IAAA,IAAI,EAAE,KAAA,YAAiB,cAAA,CAAA,EAAiB,MAAM,KAAA;AAC9C,IAAA,MAAM,OAAA,CAAQ,KAAA,CAAM,IAAA,EAAM,KAAA,CAAM,OAAO,CAAA;AAAA,EACzC;AACA,EAAA,KAAA,IAAS,QAAQ,CAAA,EAAG,KAAA,GAAQ,MAAA,CAAO,MAAA,EAAQ,SAAS,CAAA,EAAG;AACrD,IAAA,MAAM,IAAA,GAAO,IAAI,KAAK,CAAA,CAAA;AACtB,IAAA,MAAM,OAAA,GAAU,OAAO,KAAK,CAAA;AAC5B,IAAA,IAAI,CAAC,WAAW,OAAO,OAAA,KAAY,YAAY,KAAA,CAAM,OAAA,CAAQ,OAAO,CAAA,EAAG;AACrE,MAAA,MAAM,OAAA,CAAQ,MAAM,iCAAiC,CAAA;AAAA,IACvD;AAAA,EACF;AAEA,EAAA,MAAM,WAAW,MAAA,CAAO,MAAA,CAAO,CAAC,OAAA,KAAY,OAAA,CAAQ,SAAS,UAAU,CAAA;AACvE,EAAA,IAAI,QAAA,CAAS,MAAA,GAAS,CAAA,IAAK,MAAA,CAAO,WAAW,CAAA,EAAG;AAC9C,IAAA,MAAM,OAAA,CAAQ,IAAI,4DAA4D,CAAA;AAAA,EAChF;AAEA,EAAA,MAAM,iBAAA,uBAAwB,GAAA,EAAY;AAC1C,EAAA,KAAA,IAAS,QAAQ,CAAA,EAAG,KAAA,GAAQ,MAAA,CAAO,MAAA,EAAQ,SAAS,CAAA,EAAG;AACrD,IAAA,MAAM,OAAA,GAAU,OAAO,KAAK,CAAA;AAC5B,IAAA,MAAM,IAAA,GAAO,IAAI,KAAK,CAAA,CAAA;AAEtB,IAAA,QAAQ,QAAQ,IAAA;AAAM,MACpB,KAAK,UAAA,EAAY;AACf,QAAA,SAAA,CAAU,OAAA,EAA+C;AAAA,UACvD,MAAA;AAAA,UAAQ,QAAA;AAAA,UAAU,OAAA;AAAA,UAAS;AAAA,WAC1B,IAAI,CAAA;AACP,QAAA,MAAM,SAAS,IAAA,CAAK,OAAA,CAAQ,QAAQ,CAAA,EAAG,IAAI,WAAW,QAAQ,CAAA;AAC9D,QAAA,MAAM,WAAW,IAAA,CAAK,OAAA,CAAQ,UAAU,CAAA,EAAG,IAAI,aAAa,UAAU,CAAA;AACtE,QAAA,IAAI,CAAC,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,EAAG;AACxB,UAAA,MAAM,QAAQ,CAAA,EAAG,IAAI,CAAA,OAAA,CAAA,EAAW,CAAA,iCAAA,EAAoC,MAAM,CAAA,EAAA,CAAI,CAAA;AAAA,QAChF;AACA,QAAA,IAAI,iBAAA,CAAkB,GAAA,CAAI,QAAQ,CAAA,EAAG;AACnC,UAAA,MAAM,OAAA;AAAA,YACJ,GAAG,IAAI,CAAA,SAAA,CAAA;AAAA,YACP,kDAAkD,QAAQ,CAAA,EAAA;AAAA,WAC5D;AAAA,QACF;AACA,QAAA,iBAAA,CAAkB,IAAI,QAAQ,CAAA;AAC9B,QAAA;AAAA,MACF;AAAA,MACA,KAAK,OAAA;AACH,QAAA,SAAA,CAAU,OAAA,EAA+C,CAAC,MAAA,EAAQ,QAAQ,GAAG,IAAI,CAAA;AACjF,QAAA,IAAA,CAAK,OAAA,CAAQ,MAAA,EAAQ,CAAA,EAAG,IAAI,WAAW,QAAQ,CAAA;AAC/C,QAAA;AAAA,MACF,KAAK,UAAA;AACH,QAAA,SAAA,CAAU,OAAA,EAA+C,CAAC,MAAA,EAAQ,QAAQ,GAAG,IAAI,CAAA;AACjF,QAAA;AAAA,MACF,KAAK,MAAA;AACH,QAAA,SAAA,CAAU,OAAA,EAA+C;AAAA,UACvD,MAAA;AAAA,UAAQ,MAAA;AAAA,UAAQ;AAAA,WACf,IAAI,CAAA;AACP,QAAA,IAAA,CAAK,OAAA,CAAQ,IAAA,EAAM,CAAA,EAAG,IAAI,SAAS,MAAM,CAAA;AACzC,QAAA,IAAA,CAAK,OAAA,CAAQ,OAAA,EAAS,CAAA,EAAG,IAAI,YAAY,SAAS,CAAA;AAClD,QAAA;AAAA,MACF;AACE,QAAA,MAAM,OAAA;AAAA,UACJ,GAAG,IAAI,CAAA,KAAA,CAAA;AAAA,UACP,CAAA,sBAAA,EAAyB,MAAA,CAAQ,OAAA,CAA+B,IAAI,CAAC,CAAA,EAAA;AAAA,SACvE;AAAA;AACJ,EACF;AAEA,EAAA,OAAO,MAAA;AACT;AC/FA,SAASC,MAAAA,CAAM,MAAc,OAAA,EAAuC;AAClE,EAAA,OAAO,EAAE,IAAA,EAAM,oBAAA,EAAsB,IAAA,EAAM,OAAA,EAAQ;AACrD;AAEA,SAAS,IAAA,CAAK,MAAc,OAAA,EAAwB;AAClD,EAAA,MAAM,IAAI,qBAAqB,qBAAA,EAAuB,CAACA,OAAM,IAAA,EAAM,OAAO,CAAC,CAAC,CAAA;AAC9E;AAEA,SAAS,IAAA,CAAK,KAAA,EAAgB,IAAA,EAAc,KAAA,EAAuB;AACjE,EAAA,IACE,OAAO,KAAA,KAAU,QAAA,IACd,KAAA,CAAM,IAAA,EAAK,CAAE,MAAA,KAAW,CAAA,IACxB,uBAAA,CAAwB,IAAA,CAAK,KAAK,CAAA,EACrC;AACA,IAAA,IAAA,CAAK,IAAA,EAAM,CAAA,EAAG,KAAK,CAAA,uDAAA,CAAyD,CAAA;AAAA,EAC9E;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,OAAA,CAAQ,OAAgB,IAAA,EAAsB;AACrD,EAAA,IAAI,CAAC,MAAA,CAAO,aAAA,CAAc,KAAK,CAAA,IAAM,QAAmB,CAAA,EAAG;AACzD,IAAA,IAAA,CAAK,MAAM,qDAAqD,CAAA;AAAA,EAClE;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,IAAA,CAAY,OAAc,IAAA,EAAqB;AACtD,EAAA,IAAI;AACF,IAAA,OAAO,gBAAgB,KAA6B,CAAA;AAAA,EACtD,SAAS,KAAA,EAAO;AACd,IAAA,IAAI,EAAE,KAAA,YAAiB,cAAA,CAAA,EAAiB,MAAM,KAAA;AAC9C,IAAA,IAAA,CAAK,GAAG,IAAI,CAAA,EAAG,MAAM,IAAI,CAAA,CAAA,EAAI,MAAM,OAAO,CAAA;AAAA,EAC5C;AACF;AAEA,SAAS,cAAwC,KAAA,EAAqB;AACpE,EAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,KAAA,EAAO,QAAQ,CAAA;AAClC,EAAA,IAAI,KAAA,KAAU,QAAQ,OAAO,KAAA,KAAU,YAAY,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACvE,IAAA,IAAA,CAAK,UAAU,0BAA0B,CAAA;AAAA,EAC3C;AACA,EAAA,MAAM,MAAA,GAAS,MAAA,CAAO,IAAA,CAAK,KAAK,EAAE,IAAA,EAAK;AACvC,EAAA,MAAM,QAAA,GAAW,CAAC,SAAA,EAAW,MAAA,EAAQ,SAAS,CAAA;AAC9C,EAAA,IAAI,CAAC,gBAAA,CAAiB,MAAA,EAAQ,QAAQ,CAAA,EAAG;AACvC,IAAA,IAAA;AAAA,MACE,QAAA;AAAA,MACA,CAAA,gEAAA,EAAmE,MAAA,CAAO,IAAA,CAAK,IAAI,KAAK,WAAW,CAAA,CAAA;AAAA,KACrG;AAAA,EACF;AACA,EAAA,MAAM,SAAA,GAAY,KAAA;AAClB,EAAA,IAAA,CAAK,SAAA,CAAU,IAAA,EAAM,aAAA,EAAe,YAAY,CAAA;AAChD,EAAA,IAAI,CAAC,OAAO,aAAA,CAAc,SAAA,CAAU,OAAO,CAAA,IAAK,SAAA,CAAU,UAAU,CAAA,EAAG;AACrE,IAAA,IAAA,CAAK,kBAAkB,gDAAgD,CAAA;AAAA,EACzE;AACA,EAAA,OAAO,SAAA;AACT;AAEA,SAAS,gBAAA,CAAiB,MAAyB,KAAA,EAAmC;AACpF,EAAA,OAAO,IAAA,CAAK,MAAA,KAAW,KAAA,CAAM,MAAA,IAAU,IAAA,CAAK,KAAA,CAAM,CAAC,KAAA,EAAO,KAAA,KAAU,KAAA,KAAU,KAAA,CAAM,KAAK,CAAC,CAAA;AAC5F;AAEA,SAAS,mBAAA,CAAoB,MAAc,OAAA,EAAwB;AACjE,EAAA,MAAM,IAAI,oBAAA,CAAqB,CAAA,oBAAA,EAAuB,OAAO,IAAI,CAAC;AAAA,IAChE,IAAA,EAAM,sBAAA;AAAA,IACN,IAAA;AAAA,IACA;AAAA,GACD,CAAC,CAAA;AACJ;AAEA,SAAS,yBAAA,CACP,aACA,QAAA,EAMM;AACN,EAAA,MAAM,EAAE,UAAA,EAAW,GAAI,QAAA,CAAS,MAAA;AAChC,EAAA,IACE,WAAA,CAAY,KAAA,CAAM,EAAA,KAAO,UAAA,CAAW,MAAM,EAAA,IACvC,WAAA,CAAY,KAAA,CAAM,iBAAA,KAAsB,UAAA,CAAW,KAAA,CAAM,iBAAA,IACzD,WAAA,CAAY,MAAM,gBAAA,KAAqB,UAAA,CAAW,MAAA,IAClD,WAAA,CAAY,KAAA,CAAM,IAAA,KAAS,QAAA,CAAS,IAAA,IACpC,YAAY,KAAA,CAAM,WAAA,KAAgB,QAAA,CAAS,WAAA,IAC3C,CAAC,iBAAA,CAAkB,WAAA,CAAY,YAAA,EAAc,QAAA,CAAS,YAAY,CAAA,EACrE;AACA,IAAA,mBAAA,CAAoB,UAAU,yDAAyD,CAAA;AAAA,EACzF;AACA,EAAA,IAAI,CAAC,iBAAA;AAAA,IACH,YAAY,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS,KAAK,EAAE,CAAA;AAAA,IACvC,WAAW,KAAA,CAAM,KAAA,CAAM,IAAI,CAAC,IAAA,KAAS,KAAK,EAAE;AAAA,GAC9C,EAAG;AACD,IAAA,mBAAA,CAAoB,UAAU,uDAAuD,CAAA;AAAA,EACvF;AACA,EAAA,IAAI,CAAC,kBAAkB,WAAA,CAAY,KAAA,EAAO,WAAW,KAAA,CAAM,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,MAAU;AAAA,IAC9E,IAAI,IAAA,CAAK,EAAA;AAAA,IACT,QAAQ,IAAA,CAAK,MAAA;AAAA,IACb,QAAQ,IAAA,CAAK;AAAA,GACf,CAAE,CAAC,CAAA,EAAG;AACJ,IAAA,mBAAA,CAAoB,UAAU,gDAAgD,CAAA;AAAA,EAChF;AACF;AAGO,SAAS,YAAA,CAMd,WACA,UAAA,EAC2D;AAC3D,EAAA,MAAM,IAAA,GAAO,IAAA,CAAK,SAAA,CAAU,IAAA,EAAM,SAAS,YAAY,CAAA;AACvD,EAAA,MAAM,WAAA,GAAc,OAAA,CAAQ,SAAA,CAAU,OAAA,EAAS,UAAU,CAAA;AACzD,EAAA,MAAM,MAAA,GAAS,kBAAkB,UAAU,CAAA;AAC3C,EAAA,MAAM,iBAAiB,SAAA,CAAU,OAAA,CAAQ,MAAA,CAAO,UAAA,CAAW,OAAO,MAAM,CAAA;AACxE,EAAA,IAAI,CAAC,cAAA,IAAkB,OAAO,cAAA,KAAmB,QAAA,EAAU;AACzD,IAAA,IAAA,CAAK,YAAY,gDAAgD,CAAA;AAAA,EACnE;AACA,EAAA,MAAM,YAAA,GAAe,IAAA,CAAK,cAAA,CAAe,YAAA,EAAc,uBAAuB,CAAA;AAC9E,EAAA,IAAI,YAAA,CAAa,MAAA,KAAW,UAAA,IAAc,YAAA,CAAa,WAAW,QAAA,EAAU;AAC1E,IAAA,IAAA,CAAK,gCAAgC,oCAAoC,CAAA;AAAA,EAC3E;AACA,EAAA,KAAA,MAAW,UAAU,CAAC,cAAA,EAAgB,QAAA,EAAU,QAAA,EAAU,UAAU,CAAA,EAAY;AAC9E,IAAA,IAAI,OAAO,cAAA,CAAe,MAAM,CAAA,KAAM,UAAA,EAAY;AAChD,MAAA,IAAA,CAAK,CAAA,SAAA,EAAY,MAAM,CAAA,CAAA,EAAI,CAAA,EAAG,MAAM,CAAA,oBAAA,CAAsB,CAAA;AAAA,IAC5D;AAAA,EACF;AACA,EAAA,IAAI,eAAe,kBAAA,KAAuB,MAAA,IACrC,OAAO,cAAA,CAAe,uBAAuB,UAAA,EAAY;AAC5D,IAAA,IAAA,CAAK,+BAA+B,wCAAwC,CAAA;AAAA,EAC9E;AAEA,EAAA,MAAM,YAAA,GAAe,IAAA,CAAK,cAAA,CAAe,YAAA,IAAgB,eAAe,CAAA;AACxE,EAAA,MAAM,gBAAA,GAAmB,IAAA;AAAA,IACvB,eAAe,QAAA,EAAS;AAAA,IACxB;AAAA,GACF;AACA,EAAA,MAAM,cAAc,wBAAA,CAAyB;AAAA,IAC3C,GAAG,gBAAA;AAAA,IACH,aAAA,EAAe,CAAA;AAAA,IACf,KAAA,EAAO;AAAA,MACL,EAAA,EAAI,MAAA,CAAO,UAAA,CAAW,KAAA,CAAM,EAAA;AAAA,MAC5B,iBAAA,EAAmB,MAAA,CAAO,UAAA,CAAW,KAAA,CAAM,iBAAA;AAAA,MAC3C,IAAA;AAAA,MACA,WAAA;AAAA,MACA,gBAAA,EAAkB,OAAO,UAAA,CAAW;AAAA,KACtC;AAAA,IACA,OAAO,MAAA,CAAO,UAAA,CAAW,MAAM,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,MAAU;AAAA,MAClD,IAAI,IAAA,CAAK,EAAA;AAAA,MACT,QAAQ,IAAA,CAAK,MAAA;AAAA,MACb,QAAQ,IAAA,CAAK;AAAA,KACf,CAAE,CAAA;AAAA,IACF;AAAA,GACD,CAAA;AACD,EAAA,yBAAA,CAA0B,WAAA,EAAa;AAAA,IACrC,MAAA;AAAA,IACA,IAAA;AAAA,IACA,WAAA;AAAA,IACA;AAAA,GACD,CAAA;AAED,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,YAAY,MAAA,CAAO,UAAA;AAAA,IACnB,YAAA;AAAA,IACA,cAAc,MAAM,YAAA;AAAA,IACpB,GAAI,cAAA,CAAe,kBAAA,KAAuB,MAAA,GAAY,EAAC,GAAI;AAAA,MACzD,kBAAA,CAAmB,QAAgB,MAAA,EAAgD;AACjF,QAAA,IAAI,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,KAAM,MAAA,EAAW;AACrC,UAAA,IAAA,CAAK,SAAA,EAAW,CAAA,cAAA,EAAiB,MAAM,CAAA,EAAA,CAAI,CAAA;AAAA,QAC7C;AACA,QAAA,MAAM,WAAW,cAAA,CAAe,kBAAA,CAAoB,QAAQ,IAAA,CAAK,MAAA,EAAQ,SAAS,CAAC,CAAA;AACnF,QAAA,IAAI,QAAA,KAAa,MAAM,OAAO,IAAA;AAC9B,QAAA,MAAM,SAAA,GAAY,IAAA,CAAK,QAAA,EAAU,qBAAqB,CAAA;AACtD,QAAA,IAAI,SAAA,KAAc,IAAA,IAAQ,OAAO,SAAA,KAAc,YAAY,KAAA,CAAM,OAAA,CAAQ,SAAS,CAAA,IAC7E,CAAC,gBAAA,CAAiB,MAAA,CAAO,IAAA,CAAK,SAAS,EAAE,IAAA,EAAK,EAAG,CAAC,MAAA,EAAQ,SAAA,EAAW,MAAM,CAAC,CAAA,IAC5E,OAAO,SAAA,CAAU,IAAA,KAAS,QAAA,IAAY,OAAO,UAAU,IAAA,KAAS,QAAA,IAChE,OAAO,SAAA,CAAU,YAAY,QAAA,EAAU;AAC1C,UAAA,IAAA,CAAK,uBAAuB,uFAAuF,CAAA;AAAA,QACrH;AACA,QAAA,OAAO,SAAA;AAAA,MACT;AAAA,KACF;AAAA,IACA,MAAA,CAAO,OAAc,KAAA,EAAqB;AACxC,MAAA,MAAM,SAAA,GAAY,IAAA,CAAK,KAAA,EAAO,QAAQ,CAAA;AACtC,MAAA,MAAM,SAAA,GAAY,cAAc,KAAK,CAAA;AACrC,MAAA,OAAO,KAAK,cAAA,CAAe,MAAA,CAAO,SAAA,EAAW,SAAS,GAAG,eAAe,CAAA;AAAA,IAC1E,CAAA;AAAA,IACA,OAAO,KAAA,EAAuC;AAC5C,MAAA,MAAM,SAAA,GAAY,IAAA,CAAK,KAAA,EAAO,QAAQ,CAAA;AACtC,MAAA,OAAO,qBAAA,CAAsB,cAAA,CAAe,MAAA,CAAO,SAAS,GAAG,MAAM,CAAA;AAAA,IACvE,CAAA;AAAA,IACA,UAAU,MAAM;AAAA,GACjB,CAAA;AACH","file":"chunk-DEW5R23M.js","sourcesContent":["import { GraphValidationError, compileGraphDefinition } from '@obversa/api';\n\nexport { GraphValidationError } from './value.js';\nexport type { GraphValidationIssue } from './value.js';\n\nimport type { EdgeId, NodeId, GraphEdge, GraphDefinition, GraphKernel } from '@obversa/api';\nexport type { GraphId, NodeId, EdgeId, GraphNode, GraphEdge, GraphDefinition, CompiledGraphDefinition, GraphKernel } from '@obversa/api';\n\ntype DefinitionNode<Definition extends GraphDefinition> =\n  Definition['nodes'][number];\ntype DefinitionEdge<Definition extends GraphDefinition> =\n  Definition['edges'][number];\n\nfunction unknownNode(id: NodeId): GraphValidationError {\n  return new GraphValidationError(`Graph node \"${id}\" does not exist.`, [\n    { code: 'UNKNOWN_NODE', path: '/nodeId', message: `Node \"${id}\" is not declared.` },\n  ]);\n}\n\nfunction uniqueNodeIds(\n  edges: readonly GraphEdge[],\n  select: (edge: GraphEdge) => NodeId,\n): readonly NodeId[] {\n  const ids: NodeId[] = [];\n  const seen = new Set<NodeId>();\n  for (const edge of edges) {\n    const id = select(edge);\n    if (seen.has(id)) continue;\n    seen.add(id);\n    ids.push(id);\n  }\n  return Object.freeze(ids);\n}\n\nexport function createGraphKernel<Definition extends GraphDefinition>(\n  definition: Definition,\n): GraphKernel<Definition> {\n  const snapshot = compileGraphDefinition(definition);\n  const value = snapshot.value;\n  const nodes = value.nodes as readonly DefinitionNode<Definition>[];\n  const edges = value.edges as readonly DefinitionEdge<Definition>[];\n\n  const nodeById = new Map<NodeId, DefinitionNode<Definition>>(\n    nodes.map((node) => [node.id, node]),\n  );\n  const edgeById = new Map<EdgeId, DefinitionEdge<Definition>>(\n    edges.map((edge) => [edge.id, edge]),\n  );\n  const inbound = new Map<NodeId, DefinitionEdge<Definition>[]>();\n  const outbound = new Map<NodeId, DefinitionEdge<Definition>[]>();\n  for (const node of nodes) {\n    inbound.set(node.id, []);\n    outbound.set(node.id, []);\n  }\n  for (const edge of edges) {\n    inbound.get(edge.target)!.push(edge);\n    outbound.get(edge.source)!.push(edge);\n  }\n\n  const inboundFrozen = new Map<NodeId, readonly DefinitionEdge<Definition>[]>();\n  const outboundFrozen = new Map<NodeId, readonly DefinitionEdge<Definition>[]>();\n  const predecessors = new Map<NodeId, readonly NodeId[]>();\n  const successors = new Map<NodeId, readonly NodeId[]>();\n  for (const node of nodes) {\n    const nodeInbound = Object.freeze(inbound.get(node.id)!);\n    const nodeOutbound = Object.freeze(outbound.get(node.id)!);\n    inboundFrozen.set(node.id, nodeInbound);\n    outboundFrozen.set(node.id, nodeOutbound);\n    predecessors.set(\n      node.id,\n      uniqueNodeIds(nodeInbound, (edge) => edge.source),\n    );\n    successors.set(\n      node.id,\n      uniqueNodeIds(nodeOutbound, (edge) => edge.target),\n    );\n  }\n\n  const requireNode = (id: NodeId): void => {\n    if (!nodeById.has(id)) throw unknownNode(id);\n  };\n\n  return Object.freeze({\n    definition: snapshot,\n    node: (id: NodeId) => nodeById.get(id),\n    edge: (id: EdgeId) => edgeById.get(id),\n    predecessors: (id: NodeId) => {\n      requireNode(id);\n      return predecessors.get(id)!;\n    },\n    successors: (id: NodeId) => {\n      requireNode(id);\n      return successors.get(id)!;\n    },\n    inboundEdges: (id: NodeId) => {\n      requireNode(id);\n      return inboundFrozen.get(id)!;\n    },\n    outboundEdges: (id: NodeId) => {\n      requireNode(id);\n      return outboundFrozen.get(id)!;\n    },\n  });\n}\n","import type { GraphKernel } from './kernel.js';\nimport {\n  cloneFrozenJson,\n  GraphValidationError,\n  JsonValueError,\n  type GraphValidationIssue,\n  type JsonValue,\n} from './value.js';\n\nimport type { GraphCommand } from '@obversa/api';\nexport { type DispatchGraphCommand, type PauseGraphCommand, type CompleteGraphCommand, type FailGraphCommand, type GraphCommand } from '@obversa/api';\n\nfunction issue(path: string, message: string): GraphValidationIssue {\n  return { code: 'INVALID_GRAPH_COMMAND', path, message };\n}\n\nfunction invalid(path: string, message: string): GraphValidationError {\n  return new GraphValidationError(`Invalid graph command: ${message}`, [\n    issue(path, message),\n  ]);\n}\n\nfunction text(value: unknown, path: string, label: string): string {\n  if (\n    typeof value !== 'string'\n    || value.trim().length === 0\n    || /[\\u0000-\\u001f\\u007f]/.test(value)\n  ) {\n    throw invalid(path, `${label} must be a non-empty string without control characters.`);\n  }\n  return value;\n}\n\nfunction exactKeys(\n  value: Record<string, unknown>,\n  expected: readonly string[],\n  path: string,\n): void {\n  const actual = Object.keys(value).sort();\n  const wanted = [...expected].sort();\n  if (JSON.stringify(actual) !== JSON.stringify(wanted)) {\n    throw invalid(path, `Expected fields ${wanted.join(', ')}; received ${actual.join(', ')}.`);\n  }\n}\n\n/** Validate one pure graph decision before the runtime can act on it. */\nexport function validateGraphCommands(\n  commands: readonly GraphCommand[],\n  kernel: GraphKernel,\n): readonly GraphCommand[] {\n  if (!Array.isArray(commands)) {\n    throw invalid('', 'A graph decision must be an array.');\n  }\n  let frozen: readonly GraphCommand[];\n  try {\n    frozen = cloneFrozenJson(\n      commands as readonly JsonValue[],\n    ) as unknown as readonly GraphCommand[];\n  } catch (error) {\n    if (!(error instanceof JsonValueError)) throw error;\n    throw invalid(error.path, error.message);\n  }\n  for (let index = 0; index < frozen.length; index += 1) {\n    const path = `/${index}`;\n    const command = frozen[index];\n    if (!command || typeof command !== 'object' || Array.isArray(command)) {\n      throw invalid(path, 'Each command must be an object.');\n    }\n  }\n\n  const terminal = frozen.filter((command) => command.kind !== 'dispatch');\n  if (terminal.length > 0 && frozen.length !== 1) {\n    throw invalid('', 'A terminal command must be the only command in a decision.');\n  }\n\n  const dispatchPositions = new Set<string>();\n  for (let index = 0; index < frozen.length; index += 1) {\n    const command = frozen[index] as GraphCommand;\n    const path = `/${index}`;\n\n    switch (command.kind) {\n      case 'dispatch': {\n        exactKeys(command as unknown as Record<string, unknown>, [\n          'kind', 'nodeId', 'input', 'position',\n        ], path);\n        const nodeId = text(command.nodeId, `${path}/nodeId`, 'nodeId');\n        const position = text(command.position, `${path}/position`, 'position');\n        if (!kernel.node(nodeId)) {\n          throw invalid(`${path}/nodeId`, `Dispatch refers to unknown node \"${nodeId}\".`);\n        }\n        if (dispatchPositions.has(position)) {\n          throw invalid(\n            `${path}/position`,\n            `Decision contains duplicate dispatch position \"${position}\".`,\n          );\n        }\n        dispatchPositions.add(position);\n        break;\n      }\n      case 'pause':\n        exactKeys(command as unknown as Record<string, unknown>, ['kind', 'reason'], path);\n        text(command.reason, `${path}/reason`, 'reason');\n        break;\n      case 'complete':\n        exactKeys(command as unknown as Record<string, unknown>, ['kind', 'output'], path);\n        break;\n      case 'fail':\n        exactKeys(command as unknown as Record<string, unknown>, [\n          'kind', 'code', 'message',\n        ], path);\n        text(command.code, `${path}/code`, 'code');\n        text(command.message, `${path}/message`, 'message');\n        break;\n      default:\n        throw invalid(\n          `${path}/kind`,\n          `Unknown command kind \"${String((command as { kind?: unknown }).kind)}\".`,\n        );\n    }\n  }\n\n  return frozen;\n}\n","import { isDeepStrictEqual } from 'node:util';\n\n\nimport { validateGraphCommands, type GraphCommand } from './commands.js';\nimport {\n  createGraphKernel,\n  type GraphDefinition,\n  type GraphKernel,\n  type NodeId,\n} from './kernel.js';\nimport {\n  validateGraphDescription,\n  type GraphDescription,\n  type GraphDescriptionInput,\n  type GraphRequirements,\n} from './plan.js';\nimport {\n  cloneFrozenJson,\n  GraphValidationError,\n  JsonValueError,\n  type GraphValidationIssue,\n  type JsonValue,\n} from './value.js';\n\nimport type { GraphEvent, CompiledGraphType, GraphType } from '@obversa/api';\nexport { type GraphEvent, type GraphEngineIdentity, type EngineAttemptRecordedPayload, type GraphBindings, type GraphTypeCompilation, type CompiledGraphType, type GraphType } from '@obversa/api';\n\nfunction issue(path: string, message: string): GraphValidationIssue {\n  return { code: 'INVALID_GRAPH_TYPE', path, message };\n}\n\nfunction fail(path: string, message: string): never {\n  throw new GraphValidationError('Invalid graph type.', [issue(path, message)]);\n}\n\nfunction name(value: unknown, path: string, label: string): string {\n  if (\n    typeof value !== 'string'\n    || value.trim().length === 0\n    || /[\\u0000-\\u001f\\u007f]/.test(value)\n  ) {\n    fail(path, `${label} must be a non-empty string without control characters.`);\n  }\n  return value;\n}\n\nfunction version(value: unknown, path: string): number {\n  if (!Number.isSafeInteger(value) || (value as number) < 1) {\n    fail(path, 'Graph type version must be a positive safe integer.');\n  }\n  return value as number;\n}\n\nfunction json<Value>(value: Value, path: string): Value {\n  try {\n    return cloneFrozenJson(value as unknown as JsonValue) as unknown as Value;\n  } catch (error) {\n    if (!(error instanceof JsonValueError)) throw error;\n    fail(`${path}${error.path}`, error.message);\n  }\n}\n\nfunction validateEvent<Event extends GraphEvent>(value: Event): Event {\n  const event = json(value, '/event') as unknown;\n  if (event === null || typeof event !== 'object' || Array.isArray(event)) {\n    fail('/event', 'Event must be an object.');\n  }\n  const fields = Object.keys(event).sort();\n  const expected = ['payload', 'type', 'version'];\n  if (!isSameStringList(fields, expected)) {\n    fail(\n      '/event',\n      `Event must contain exactly type, version, and payload; received ${fields.join(', ') || 'no fields'}.`,\n    );\n  }\n  const safeEvent = event as Event;\n  name(safeEvent.type, '/event/type', 'Event type');\n  if (!Number.isSafeInteger(safeEvent.version) || safeEvent.version < 1) {\n    fail('/event/version', 'Event version must be a positive safe integer.');\n  }\n  return safeEvent;\n}\n\nfunction isSameStringList(left: readonly string[], right: readonly string[]): boolean {\n  return left.length === right.length && left.every((value, index) => value === right[index]);\n}\n\nfunction descriptionMismatch(path: string, message: string): never {\n  throw new GraphValidationError(`Invalid graph plan: ${message}`, [{\n    code: 'DESCRIPTION_MISMATCH',\n    path,\n    message,\n  }]);\n}\n\nfunction assertCompiledDescription(\n  description: GraphDescription,\n  expected: {\n    readonly kernel: GraphKernel;\n    readonly kind: string;\n    readonly typeVersion: number;\n    readonly requirements: GraphRequirements;\n  },\n): void {\n  const { definition } = expected.kernel;\n  if (\n    description.graph.id !== definition.value.id\n    || description.graph.definitionVersion !== definition.value.definitionVersion\n    || description.graph.definitionDigest !== definition.digest\n    || description.graph.kind !== expected.kind\n    || description.graph.typeVersion !== expected.typeVersion\n    || !isDeepStrictEqual(description.requirements, expected.requirements)\n  ) {\n    descriptionMismatch('/graph', 'Description metadata does not match the compiled graph.');\n  }\n  if (!isDeepStrictEqual(\n    description.nodes.map((node) => node.id),\n    definition.value.nodes.map((node) => node.id),\n  )) {\n    descriptionMismatch('/nodes', 'Description node order does not match the definition.');\n  }\n  if (!isDeepStrictEqual(description.edges, definition.value.edges.map((edge) => ({\n    id: edge.id,\n    source: edge.source,\n    target: edge.target,\n  })))) {\n    descriptionMismatch('/edges', 'Description edges do not match the definition.');\n  }\n}\n\n/** Validate a definition, then compile its trusted graph-type implementation. */\nexport function compileGraph<\n  Definition extends GraphDefinition,\n  State extends JsonValue,\n  Event extends GraphEvent,\n  Requirements extends GraphRequirements,\n>(\n  graphType: GraphType<Definition, State, Event, Requirements>,\n  definition: Definition,\n): CompiledGraphType<Definition, State, Event, Requirements> {\n  const kind = name(graphType.kind, '/kind', 'Graph kind');\n  const typeVersion = version(graphType.version, '/version');\n  const kernel = createGraphKernel(definition);\n  const implementation = graphType.compile(kernel.definition.value, kernel);\n  if (!implementation || typeof implementation !== 'object') {\n    fail('/compile', 'compile() must return a compiled graph object.');\n  }\n  const requirements = json(implementation.requirements, '/compile/requirements');\n  if (requirements.memory !== 'required' && requirements.memory !== 'unused') {\n    fail('/compile/requirements/memory', 'Memory must be required or unused.');\n  }\n  for (const method of ['initialState', 'reduce', 'decide', 'describe'] as const) {\n    if (typeof implementation[method] !== 'function') {\n      fail(`/compile/${method}`, `${method} must be a function.`);\n    }\n  }\n  if (implementation.validateNodeResult !== undefined\n    && typeof implementation.validateNodeResult !== 'function') {\n    fail('/compile/validateNodeResult', 'validateNodeResult must be a function.');\n  }\n\n  const initialState = json(implementation.initialState(), '/initialState');\n  const descriptionInput = json(\n    implementation.describe(),\n    '/description',\n  ) as GraphDescriptionInput;\n  const description = validateGraphDescription({\n    ...descriptionInput,\n    schemaVersion: 1,\n    graph: {\n      id: kernel.definition.value.id,\n      definitionVersion: kernel.definition.value.definitionVersion,\n      kind,\n      typeVersion,\n      definitionDigest: kernel.definition.digest,\n    },\n    edges: kernel.definition.value.edges.map((edge) => ({\n      id: edge.id,\n      source: edge.source,\n      target: edge.target,\n    })),\n    requirements,\n  });\n  assertCompiledDescription(description, {\n    kernel,\n    kind,\n    typeVersion,\n    requirements,\n  });\n\n  return Object.freeze({\n    definition: kernel.definition,\n    requirements,\n    initialState: () => initialState,\n    ...(implementation.validateNodeResult === undefined ? {} : {\n      validateNodeResult(nodeId: NodeId, result: JsonValue): GraphValidationIssue | null {\n        if (kernel.node(nodeId) === undefined) {\n          fail('/nodeId', `Unknown node \"${nodeId}\".`);\n        }\n        const returned = implementation.validateNodeResult!(nodeId, json(result, '/result'));\n        if (returned === null) return null;\n        const safeIssue = json(returned, '/validateNodeResult');\n        if (safeIssue === null || typeof safeIssue !== 'object' || Array.isArray(safeIssue)\n          || !isSameStringList(Object.keys(safeIssue).sort(), ['code', 'message', 'path'])\n          || typeof safeIssue.code !== 'string' || typeof safeIssue.path !== 'string'\n          || typeof safeIssue.message !== 'string') {\n          fail('/validateNodeResult', 'validateNodeResult must return null or an issue with code, path, and message strings.');\n        }\n        return safeIssue;\n      },\n    }),\n    reduce(state: State, event: Event): State {\n      const safeState = json(state, '/state');\n      const safeEvent = validateEvent(event);\n      return json(implementation.reduce(safeState, safeEvent), '/reducedState');\n    },\n    decide(state: State): readonly GraphCommand[] {\n      const safeState = json(state, '/state');\n      return validateGraphCommands(implementation.decide(safeState), kernel);\n    },\n    describe: () => description,\n  });\n}\n"]}