@open-mercato/core 0.7.1-develop.7193.1.910a5b0a1e → 0.7.1-develop.7195.1.b5efd1d51a

package/dist/modules/workflows/lib/context-ledger.js

@@ -0,0 +1,448 @@
+import { splitAssignmentPath } from "./set-variable.js";
+const TRIGGER_PAYLOAD_WILDCARD = "*";
+const FIELD_TYPE_MAP = {
+  text: "text",
+  number: "number",
+  boolean: "boolean",
+  select: "select",
+  date: "date"
+};
+const JSON_SCHEMA_TYPE_MAP = {
+  string: "text",
+  number: "number",
+  integer: "number",
+  boolean: "boolean",
+  object: "object"
+};
+function isPlainObject(value) {
+  return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function mapFieldType(rawType) {
+  if (typeof rawType !== "string") return "unknown";
+  return FIELD_TYPE_MAP[rawType] ?? "unknown";
+}
+function mapJsonSchemaType(rawType) {
+  if (typeof rawType !== "string") return "unknown";
+  return JSON_SCHEMA_TYPE_MAP[rawType] ?? "unknown";
+}
+function literalValueType(value) {
+  if (typeof value === "string") {
+    return value.includes("{{") ? "unknown" : "text";
+  }
+  if (typeof value === "number") return "number";
+  if (typeof value === "boolean") return "boolean";
+  if (isPlainObject(value)) return "object";
+  return "unknown";
+}
+function makeEntry(path, type, presence, source) {
+  return { path, type, presence, source };
+}
+const LEDGER_TYPE_VALUES = /* @__PURE__ */ new Set([
+  "text",
+  "number",
+  "boolean",
+  "select",
+  "date",
+  "object",
+  "unknown"
+]);
+function toLedgerType(raw) {
+  return typeof raw === "string" && LEDGER_TYPE_VALUES.has(raw) ? raw : "unknown";
+}
+function buildTriggerPayloadContracts(triggers, events) {
+  const contracts = {};
+  if (triggers.length === 0 || events.length === 0) return contracts;
+  const eventsById = new Map(events.map((event) => [event.id, event]));
+  for (const trigger of triggers) {
+    if (!trigger.triggerId) continue;
+    const pattern = typeof trigger.eventPattern === "string" ? trigger.eventPattern.trim() : "";
+    if (!pattern || pattern.includes("*")) continue;
+    const fields = eventsById.get(pattern)?.payloadSchema?.fields;
+    if (!fields || fields.length === 0) continue;
+    contracts[trigger.triggerId] = {
+      entries: fields.map((field) => ({ path: field.path, type: toLedgerType(field.type) }))
+    };
+  }
+  return contracts;
+}
+function initialContributions(definition, options) {
+  const entries = [];
+  const declaredFields = definition.contextSchema?.input?.fields;
+  const usingIoAlias = !declaredFields || declaredFields.length === 0;
+  const inputFields = usingIoAlias ? definition.io?.inputs ?? [] : declaredFields;
+  for (const field of inputFields) {
+    if (!field.name) continue;
+    entries.push(
+      makeEntry(field.name, mapFieldType(field.type), field.required ? "always" : "maybe", {
+        kind: "contextSchema",
+        label: usingIoAlias ? "io.inputs (read-through)" : "contextSchema.input"
+      })
+    );
+  }
+  for (const trigger of definition.triggers ?? []) {
+    entries.push(
+      makeEntry(TRIGGER_PAYLOAD_WILDCARD, "unknown", "maybe", {
+        kind: "trigger",
+        label: `trigger:${trigger.triggerId}:payload`
+      })
+    );
+    const payloadContract = options.triggerPayloadContracts?.[trigger.triggerId];
+    const contextMapping = trigger.config?.contextMapping;
+    if (Array.isArray(contextMapping)) {
+      for (const mapping of contextMapping) {
+        if (!isPlainObject(mapping) || typeof mapping.targetKey !== "string" || !mapping.targetKey) continue;
+        const sourcePath = typeof mapping.sourceExpression === "string" ? mapping.sourceExpression : null;
+        const mappedType = payloadContract && sourcePath ? payloadContract.entries.find((entry) => entry.path === sourcePath)?.type ?? "unknown" : "unknown";
+        entries.push(
+          makeEntry(mapping.targetKey, mappedType, "maybe", {
+            kind: "trigger",
+            label: `trigger:${trigger.triggerId}:contextMapping`
+          })
+        );
+      }
+    }
+    const metadataSource = {
+      kind: "trigger",
+      label: `trigger:${trigger.triggerId}:metadata`
+    };
+    const triggerMetadataEntries = [
+      ["__trigger.triggerId", "text"],
+      ["__trigger.triggerName", "text"],
+      ["__trigger.eventName", "text"],
+      ["__trigger.eventPayload", "object"],
+      ["__trigger.triggeredAt", "date"],
+      ["__trigger.source", "text"]
+    ];
+    for (const [path, type] of triggerMetadataEntries) {
+      entries.push(makeEntry(path, type, "maybe", metadataSource));
+    }
+  }
+  return entries;
+}
+function userTaskContributions(step) {
+  const entries = [];
+  const formSchema = step.userTaskConfig?.formSchema;
+  if (!isPlainObject(formSchema)) return entries;
+  const source = {
+    kind: "userTask",
+    stepId: step.stepId,
+    label: `userTask:${step.stepId}`
+  };
+  const fields = formSchema.fields;
+  if (Array.isArray(fields)) {
+    for (const field of fields) {
+      if (!isPlainObject(field) || typeof field.name !== "string" || !field.name) continue;
+      entries.push(
+        makeEntry(field.name, mapFieldType(field.type), field.required === true ? "always" : "maybe", source)
+      );
+    }
+    return entries;
+  }
+  const properties = formSchema.properties;
+  if (isPlainObject(properties)) {
+    const requiredNames = Array.isArray(formSchema.required) ? formSchema.required.filter((name) => typeof name === "string") : [];
+    for (const [name, property] of Object.entries(properties)) {
+      const propertyType = isPlainObject(property) ? property.type : void 0;
+      entries.push(
+        makeEntry(
+          name,
+          mapJsonSchemaType(propertyType),
+          requiredNames.includes(name) ? "always" : "maybe",
+          source
+        )
+      );
+    }
+  }
+  return entries;
+}
+function signalContributions(step) {
+  const configuredName = step.signalConfig?.signalName;
+  const signalName = typeof configuredName === "string" && configuredName ? configuredName : step.stepId;
+  const source = {
+    kind: "signal",
+    stepId: step.stepId,
+    label: `signal:${signalName}`
+  };
+  return [
+    makeEntry(TRIGGER_PAYLOAD_WILDCARD, "unknown", "maybe", source),
+    makeEntry(`signal_${signalName}_payload`, "object", "maybe", source),
+    makeEntry(`signal_${signalName}_receivedAt`, "date", "maybe", source)
+  ];
+}
+function joinContributions(step) {
+  const source = {
+    kind: "join",
+    stepId: step.stepId,
+    label: `join:${step.stepId}`
+  };
+  const entries = [makeEntry("branches", "object", "always", source)];
+  const outputMapping = step.config?.outputMapping;
+  if (isPlainObject(outputMapping)) {
+    for (const targetKey of Object.keys(outputMapping)) {
+      if (targetKey === "branches") continue;
+      entries.push(makeEntry(targetKey, "unknown", "maybe", source));
+    }
+  }
+  return entries;
+}
+function subWorkflowContributions(step) {
+  const outputMapping = step.config?.outputMapping;
+  if (!isPlainObject(outputMapping)) return [];
+  const source = {
+    kind: "subWorkflow",
+    stepId: step.stepId,
+    label: `subWorkflow:${step.stepId}`
+  };
+  const entries = [];
+  for (const targetKey of Object.keys(outputMapping)) {
+    if (!targetKey) continue;
+    entries.push(makeEntry(targetKey, "unknown", "maybe", source));
+  }
+  return entries;
+}
+function asyncResultContributions(activity, stepId, options) {
+  const resultKey = `${activity.activityId}_result`;
+  const source = {
+    kind: "asyncResult",
+    stepId,
+    activityId: activity.activityId,
+    label: `asyncActivity:${activity.activityId}`
+  };
+  const contract = options.resolveOutputContract?.(activity.activityType, activity.config);
+  if (contract && contract !== "unknown" && contract.entries.length > 0) {
+    return contract.entries.map(
+      (entry) => makeEntry(`${resultKey}.${entry.path}`, entry.type, "always", source)
+    );
+  }
+  return [makeEntry(resultKey, "unknown", "always", source)];
+}
+function setVariableContributions(activity, presence) {
+  const entries = [];
+  const assignments = activity.config?.assignments;
+  if (!Array.isArray(assignments)) return entries;
+  const source = {
+    kind: "setVariable",
+    activityId: activity.activityId,
+    label: `setVariable:${activity.activityId}`
+  };
+  for (const assignment of assignments) {
+    if (!isPlainObject(assignment) || typeof assignment.path !== "string") continue;
+    const segments = splitAssignmentPath(assignment.path);
+    if (segments === null || segments.length === 0) continue;
+    entries.push(makeEntry(segments.join("."), literalValueType(assignment.value), presence, source));
+  }
+  return entries;
+}
+function syncActivityContributions(activity, presence, options) {
+  const namespacedKey = activity.activityName || activity.activityType;
+  const source = {
+    kind: "activity",
+    activityId: activity.activityId,
+    label: `activity:${activity.activityId}`
+  };
+  const contract = options.resolveOutputContract?.(activity.activityType, activity.config);
+  if (contract && contract !== "unknown" && contract.entries.length > 0) {
+    return contract.entries.map(
+      (entry) => makeEntry(`${namespacedKey}.${entry.path}`, entry.type, presence, source)
+    );
+  }
+  return [makeEntry(namespacedKey, "unknown", presence, source)];
+}
+function transitionContributions(transition, options) {
+  const entries = [];
+  const syncPresence = transition.continueOnActivityFailure === true ? "maybe" : "always";
+  for (const activity of transition.activities ?? []) {
+    if (activity.async === true) {
+      entries.push(...asyncResultContributions(activity, void 0, options));
+    } else if (activity.activityType === "SET_VARIABLE") {
+      entries.push(...setVariableContributions(activity, syncPresence));
+    } else {
+      entries.push(...syncActivityContributions(activity, syncPresence, options));
+    }
+  }
+  return entries;
+}
+const INVOKE_AGENT_DEFAULT_SIGNAL_NAME = "agent_orchestrator.proposal.ready";
+function invokeAgentContributions(step, options) {
+  const entries = [];
+  for (const activity of step.activities ?? []) {
+    if (activity.activityType !== "INVOKE_AGENT") continue;
+    const source = {
+      kind: "invokeAgent",
+      stepId: step.stepId,
+      activityId: activity.activityId,
+      label: `invokeAgent:${activity.activityId}`
+    };
+    const outputMapping = activity.config?.outputMapping;
+    const hasMapping = isPlainObject(outputMapping) && Object.keys(outputMapping).length > 0;
+    if (hasMapping) {
+      const envelopeContract = options.resolveOutputContract?.(activity.activityType, activity.config);
+      const typedEnvelope = envelopeContract && envelopeContract !== "unknown" ? envelopeContract : null;
+      for (const [targetKey, sourcePath] of Object.entries(outputMapping)) {
+        if (!targetKey) continue;
+        const mappedType = typedEnvelope && typeof sourcePath === "string" ? typedEnvelope.entries.find((entry) => entry.path === sourcePath)?.type ?? "unknown" : "unknown";
+        entries.push(makeEntry(targetKey, mappedType, "maybe", source));
+      }
+    } else {
+      entries.push(makeEntry("agentId", "text", "maybe", source));
+      entries.push(makeEntry("agentProposalId", "text", "maybe", source));
+      entries.push(makeEntry(`${step.stepId}_agent`, "unknown", "maybe", source));
+    }
+    entries.push(makeEntry("disposition", "text", "maybe", source));
+    entries.push(makeEntry("proposalId", "text", "maybe", source));
+    entries.push(makeEntry("stepId", "text", "maybe", source));
+    entries.push(makeEntry("proposalPayload", "unknown", "maybe", source));
+    const configuredSignal = step.signalConfig?.signalName;
+    const signalName = typeof configuredSignal === "string" && configuredSignal ? configuredSignal : INVOKE_AGENT_DEFAULT_SIGNAL_NAME;
+    entries.push(makeEntry(`signal_${signalName}_payload`, "object", "maybe", source));
+    entries.push(makeEntry(`signal_${signalName}_receivedAt`, "date", "maybe", source));
+  }
+  return entries;
+}
+function stepContributions(step, options) {
+  switch (step.stepType) {
+    case "USER_TASK":
+      return userTaskContributions(step);
+    case "WAIT_FOR_SIGNAL":
+      return signalContributions(step);
+    case "PARALLEL_JOIN":
+      return joinContributions(step);
+    case "SUB_WORKFLOW":
+      return subWorkflowContributions(step);
+    case "AUTOMATED":
+      return [
+        ...(step.activities ?? []).filter((activity) => activity.async === true).flatMap((activity) => asyncResultContributions(activity, step.stepId, options)),
+        ...invokeAgentContributions(step, options)
+      ];
+    default:
+      return [];
+  }
+}
+function applyContributions(base, contributions) {
+  if (contributions.length === 0) return base;
+  const merged = new Map(base);
+  for (const entry of contributions) {
+    merged.set(entry.path, entry);
+  }
+  return merged;
+}
+function joinRoutes(routes) {
+  if (routes.length === 1) return routes[0];
+  const joined = /* @__PURE__ */ new Map();
+  const allPaths = /* @__PURE__ */ new Set();
+  for (const route of routes) {
+    for (const path of route.keys()) allPaths.add(path);
+  }
+  for (const path of allPaths) {
+    const present = routes.filter((route) => route.has(path));
+    const first = present[0].get(path);
+    const onEveryRoute = present.length === routes.length;
+    const alwaysOnEveryRoute = onEveryRoute && present.every((route) => route.get(path)?.presence === "always");
+    const typesAgree = present.every((route) => route.get(path)?.type === first.type);
+    joined.set(path, {
+      path,
+      type: typesAgree ? first.type : "unknown",
+      presence: alwaysOnEveryRoute ? "always" : "maybe",
+      source: first.source
+    });
+  }
+  return joined;
+}
+const UNREACHABLE_SENTINEL = "<unreachable>";
+function serializeLedgerMap(ledger) {
+  if (ledger === null) return UNREACHABLE_SENTINEL;
+  const parts = [];
+  for (const path of [...ledger.keys()].sort((left, right) => left.localeCompare(right))) {
+    const entry = ledger.get(path);
+    parts.push(`${path}|${entry.type}|${entry.presence}|${entry.source.kind}|${entry.source.stepId ?? ""}|${entry.source.activityId ?? ""}|${entry.source.label}`);
+  }
+  return parts.join(";");
+}
+function resolveStartStepIds(definition) {
+  const startTyped = definition.steps.filter((step) => step.stepType === "START");
+  if (startTyped.length > 0) return new Set(startTyped.map((step) => step.stepId));
+  const targetIds = new Set(definition.transitions.map((transition) => transition.toStepId));
+  return new Set(definition.steps.filter((step) => !targetIds.has(step.stepId)).map((step) => step.stepId));
+}
+function orderStepsFromStarts(definition, startIds) {
+  const stepById = new Map(definition.steps.map((step) => [step.stepId, step]));
+  const successors = /* @__PURE__ */ new Map();
+  for (const transition of definition.transitions) {
+    const list = successors.get(transition.fromStepId) ?? [];
+    list.push(transition.toStepId);
+    successors.set(transition.fromStepId, list);
+  }
+  const visited = /* @__PURE__ */ new Set();
+  const ordered = [];
+  const queue = definition.steps.filter((step) => startIds.has(step.stepId)).map((step) => step.stepId);
+  while (queue.length > 0) {
+    const stepId = queue.shift();
+    if (visited.has(stepId)) continue;
+    visited.add(stepId);
+    const step = stepById.get(stepId);
+    if (step) ordered.push(step);
+    for (const successor of successors.get(stepId) ?? []) {
+      if (!visited.has(successor)) queue.push(successor);
+    }
+  }
+  for (const step of definition.steps) {
+    if (!visited.has(step.stepId)) ordered.push(step);
+  }
+  return ordered;
+}
+function computeContextLedger(definition, options = {}) {
+  const startIds = resolveStartStepIds(definition);
+  const orderedSteps = orderStepsFromStarts(definition, startIds);
+  const stepById = new Map(definition.steps.map((step) => [step.stepId, step]));
+  const incomingTransitions = /* @__PURE__ */ new Map();
+  for (const transition of definition.transitions) {
+    if (!stepById.has(transition.fromStepId) || !stepById.has(transition.toStepId)) continue;
+    const list = incomingTransitions.get(transition.toStepId) ?? [];
+    list.push(transition);
+    incomingTransitions.set(transition.toStepId, list);
+  }
+  const initialRoute = applyContributions(/* @__PURE__ */ new Map(), initialContributions(definition, options));
+  const incoming = new Map(
+    definition.steps.map((step) => [step.stepId, null])
+  );
+  const outgoingOf = (stepId) => {
+    const stepIncoming = incoming.get(stepId);
+    if (stepIncoming === null || stepIncoming === void 0) return null;
+    const step = stepById.get(stepId);
+    if (!step) return stepIncoming;
+    return applyContributions(stepIncoming, stepContributions(step, options));
+  };
+  const maxPasses = definition.steps.length * 2 + 4;
+  for (let pass = 0; pass < maxPasses; pass += 1) {
+    let changed = false;
+    for (const step of orderedSteps) {
+      const routes = [];
+      if (startIds.has(step.stepId)) {
+        routes.push(initialRoute);
+      }
+      for (const transition of incomingTransitions.get(step.stepId) ?? []) {
+        const sourceOutgoing = outgoingOf(transition.fromStepId);
+        if (sourceOutgoing === null) continue;
+        routes.push(applyContributions(sourceOutgoing, transitionContributions(transition, options)));
+      }
+      const nextIncoming = routes.length === 0 ? null : joinRoutes(routes);
+      if (serializeLedgerMap(nextIncoming) !== serializeLedgerMap(incoming.get(step.stepId) ?? null)) {
+        incoming.set(step.stepId, nextIncoming);
+        changed = true;
+      }
+    }
+    if (!changed) break;
+  }
+  const steps = {};
+  for (const step of definition.steps) {
+    const ledger = incoming.get(step.stepId);
+    const entries = ledger ? [...ledger.values()].sort((left, right) => left.path.localeCompare(right.path)) : [];
+    steps[step.stepId] = { entries };
+  }
+  return { steps };
+}
+export {
+  buildTriggerPayloadContracts,
+  computeContextLedger
+};
+//# sourceMappingURL=context-ledger.js.map

package/dist/modules/workflows/lib/context-ledger.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../../src/modules/workflows/lib/context-ledger.ts"],
+  "sourcesContent": ["/**\n * Workflows Module - per-step context ledger (spec\n * 2026-07-26-workflows-ux-redesign.md section 3.1).\n *\n * Pure, dependency-free computation of \"what context is available at each\n * step\" for a workflow definition. No React, no ORM, no DI container, and no\n * activity-registry import \u2014 output-contract resolution is an injected seam\n * (`resolveOutputContract`) so this module stays loadable from the browser\n * bundle and from server routes alike.\n *\n * The ledger is a topological fixpoint, not path enumeration: each step's\n * INCOMING ledger is the join of every incoming route's ledger, where a route\n * is (predecessor's OUTGOING ledger + the connecting transition's own\n * contributions). At joins, an entry keeps `presence: 'always'` only when it\n * is always-present on EVERY incoming route; otherwise it degrades to\n * `'maybe'`. Cycles are tolerated: the merge is monotone (entry sets only\n * grow, presence only degrades toward `maybe`), so iteration reaches a stable\n * fixpoint, with a hard pass cap as a safety net.\n *\n * Producer inventory \u2014 every contribution below was verified against the\n * engine before being modeled; nothing is fabricated and opaque producers stay\n * explicit `unknown` entries:\n *\n * - Initial context (START steps): `contextSchema.input.fields` typed\n *   (`required` \u2192 always, else maybe). `contextSchema.input` is the CANONICAL\n *   input contract; when it is absent, `definition.io.inputs` (the sub-workflow\n *   port contract) is read through as a deprecated alias \u2014 port fields share\n *   the same name/type/required vocabulary, so they map 1:1 onto START entries.\n *   Full `@deprecated` dual-emit for `io.inputs` is follow-up work; this is the\n *   read-through half only. Plus, per definition trigger, the\n *   whole-payload flat spread (one `'*'` wildcard entry, always untyped),\n *   `contextMapping` target keys (named; typed from the trigger event's\n *   payload contract when the caller pre-resolves one into\n *   `options.triggerPayloadContracts`, `unknown` otherwise), and the `__trigger.*` metadata keys\n *   (event-trigger-service builds `initialContext` from\n *   `...payload, ...mappedContext, __trigger: {...}`). All trigger entries are\n *   `maybe` \u2014 a definition can always be started manually without the trigger.\n * - Transition activities run DURING the transition and their outputs are\n *   persisted (`applyTokenContextWrites`) BEFORE the target step executes\n *   (transition-handler), so they contribute to the TARGET step's incoming\n *   route: sync outputs land under `activityName || activityType`\n *   (activity-executor + transition-handler), SET_VARIABLE sync outputs land\n *   at their assignment dot paths (set-variable), and async outputs land under\n *   `${activityId}_result` at resume, still before the pending transition's\n *   target step runs (workflow-executor). `continueOnActivityFailure`\n *   degrades that transition's sync contributions to `maybe`.\n * - AUTOMATED steps' own sync activity outputs are NOT persisted into workflow\n *   context \u2014 handleAutomatedStep only stores them in\n *   `stepInstance.outputData` \u2014 so they contribute nothing here; the step's\n *   async activities DO contribute `${activityId}_result` (merged into\n *   `instance.context` by the async resume path).\n * - USER_TASK completion merges submitted formData FLAT into context\n *   (task-handler), typed via `userTaskConfig.formSchema` (fields array or\n *   JSON-Schema properties form).\n * - WAIT_FOR_SIGNAL merges the signal payload flat (untyped `'*'` wildcard)\n *   plus `signal_<name>_payload` / `signal_<name>_receivedAt`; the payload is\n *   optional so every signal entry is `maybe` (signal-handler).\n * - PARALLEL_JOIN sets `context.branches[branchKey]` unconditionally and lifts\n *   join `config.outputMapping` keys only when the source value resolves\n *   (parallel-handler fireJoin), so `branches` is always and mapped keys are\n *   maybe. Known 2a approximation: branch-namespace scoping is not modeled \u2014\n *   entries produced inside parallel branches flow through the generic join\n *   rule as `maybe` even though post-join they live under `branches.<key>`.\n * - SUB_WORKFLOW is PATH-DEPENDENT and contributes its `config.outputMapping`\n *   target keys, all `maybe`. Two resolution paths exist and only one of them\n *   merges. When the child terminates inside the parent's own call,\n *   handleSubWorkflowStep returns the mapped output as `stepInstance.outputData`\n *   only (`exitStep` writes it there and nowhere else). When the child instead\n *   parks on its first async/agent step, the parent parks on\n *   SUB_WORKFLOW_SIGNAL_NAME and the child's terminal\n *   `resume_subworkflow_parent` job maps the same output through the shared\n *   `mapSubWorkflowOutput` and hands it to `sendSignal`, which spreads the\n *   payload FLAT into `instance.context` (signal-handler). So a mapped key\n *   genuinely lands on the async path and never on the inline one, and which\n *   path runs is a property of the CHILD at runtime rather than of the parent\n *   definition \u2014 hence `maybe` on every entry (the mapping additionally drops\n *   any target whose source path resolves to `undefined`). Targets stay\n *   `unknown`-typed: their source paths address the CHILD's context and the\n *   child's `io.outputs` contract lives on the CHILD definition, which this\n *   pure function is never given.\n *   Two real contributions are deliberately NOT modeled. (1) With no mapping \u2014\n *   or when no mapped source resolves \u2014 `mapOutputData` falls back to the WHOLE\n *   child context; those keys cannot be named from the parent definition, and a\n *   `'*'` wildcard would silence every downstream unresolved-ref warning, so a\n *   step declaring no `outputMapping` advertises nothing. (2) `sendSignal` also\n *   records `signal_<name>_payload`/`_receivedAt`, but the sub-workflow signal\n *   name is `workflows.sub_workflow.completed`, so the flat key contains dots\n *   and `{{context.*}}` resolution (getNestedValue splits on `.`) can never\n *   reach it \u2014 advertising it would hand the picker a path that cannot resolve.\n * - INVOKE_AGENT (an AUTOMATED step carrying an `INVOKE_AGENT` activity) is\n *   the verified exception to the \"AUTOMATED sync outputs stay in outputData\"\n *   rule: its result IS merged top-level into `instance.context`. Three\n *   resolution paths (step-handler inline branch, activity-worker-handler\n *   parked resume, agent_orchestrator's human dispose \u2192 sendSignal) merge\n *   different key sets, so every entry is `maybe`: `outputMapping` target keys\n *   when a mapping is declared (mapAgentResultToContext, machine paths only;\n *   typed from the mapping's source path against the INVOKE_AGENT envelope the\n *   injected `resolveOutputContract` seam resolves from the selected agent's\n *   OUTCOME schema, `unknown` when the optional agent peer cannot type it);\n *   the legacy fixed keys `disposition`/`agentId`/`agentProposalId`/\n *   `proposalPayload`/`<stepId>_agent` when it is not; the human dispose path\n *   always merges `disposition`/`proposalId`/`stepId`/`proposalPayload`\n *   regardless of mapping; and any parked resume goes through sendSignal,\n *   adding `signal_<name>_payload`/`signal_<name>_receivedAt` for the step's\n *   `signalConfig.signalName` (default `agent_orchestrator.proposal.ready`).\n */\n\nimport { splitAssignmentPath } from './set-variable'\n\nexport type LedgerType =\n  | 'text'\n  | 'number'\n  | 'boolean'\n  | 'select'\n  | 'date'\n  | 'object'\n  | 'unknown'\n\nexport type LedgerPresence = 'always' | 'maybe'\n\nexport type LedgerSourceKind =\n  | 'contextSchema'\n  | 'trigger'\n  | 'activity'\n  | 'setVariable'\n  | 'userTask'\n  | 'signal'\n  | 'subWorkflow'\n  | 'join'\n  | 'asyncResult'\n  | 'invokeAgent'\n\nexport interface LedgerEntrySource {\n  kind: LedgerSourceKind\n  stepId?: string\n  activityId?: string\n  label: string\n}\n\nexport interface LedgerEntry {\n  path: string\n  type: LedgerType\n  presence: LedgerPresence\n  source: LedgerEntrySource\n  sample?: unknown\n}\n\nexport interface LedgerStepView {\n  entries: LedgerEntry[]\n}\n\nexport interface ContextLedger {\n  steps: Record<string, LedgerStepView>\n}\n\nexport interface LedgerContract {\n  entries: Array<{ path: string; type: LedgerType }>\n}\n\nexport type ResolveOutputContract = (\n  activityType: string,\n  config: unknown,\n) => LedgerContract | 'unknown'\n\nexport interface ComputeContextLedgerOptions {\n  resolveOutputContract?: ResolveOutputContract\n  /**\n   * Pre-resolved payload contracts for the definition's triggers, keyed by\n   * triggerId \u2014 plain data, so the lib stays pure (no event-registry access\n   * here). Build them at the call site with `buildTriggerPayloadContracts`\n   * from the declared events. When a trigger has a contract, its\n   * `contextMapping` target entries are typed from the mapping's source path;\n   * otherwise they stay `unknown`.\n   */\n  triggerPayloadContracts?: Record<string, LedgerContract>\n}\n\nexport interface LedgerActivityDefinition {\n  activityId: string\n  activityName?: string\n  activityType: string\n  config?: Record<string, unknown>\n  async?: boolean\n}\n\nexport interface LedgerStepDefinition {\n  stepId: string\n  stepType: string\n  config?: Record<string, unknown>\n  userTaskConfig?: Record<string, unknown>\n  signalConfig?: Record<string, unknown>\n  activities?: LedgerActivityDefinition[]\n}\n\nexport interface LedgerTransitionDefinition {\n  transitionId?: string\n  fromStepId: string\n  toStepId: string\n  activities?: LedgerActivityDefinition[]\n  continueOnActivityFailure?: boolean\n}\n\nexport interface LedgerTriggerDefinition {\n  triggerId: string\n  eventPattern?: string\n  config?: Record<string, unknown>\n}\n\nexport interface LedgerContextSchemaField {\n  name: string\n  type: string\n  required?: boolean\n}\n\nexport interface LedgerContextSchema {\n  input?: { fields: LedgerContextSchemaField[] }\n}\n\nexport interface LedgerIoContract {\n  inputs?: LedgerContextSchemaField[]\n}\n\nexport interface LedgerWorkflowDefinition {\n  steps: LedgerStepDefinition[]\n  transitions: LedgerTransitionDefinition[]\n  triggers?: LedgerTriggerDefinition[]\n  contextSchema?: LedgerContextSchema\n  io?: LedgerIoContract\n}\n\ntype LedgerMap = Map<string, LedgerEntry>\n\nconst TRIGGER_PAYLOAD_WILDCARD = '*'\n\nconst FIELD_TYPE_MAP: Record<string, LedgerType> = {\n  text: 'text',\n  number: 'number',\n  boolean: 'boolean',\n  select: 'select',\n  date: 'date',\n}\n\nconst JSON_SCHEMA_TYPE_MAP: Record<string, LedgerType> = {\n  string: 'text',\n  number: 'number',\n  integer: 'number',\n  boolean: 'boolean',\n  object: 'object',\n}\n\nfunction isPlainObject(value: unknown): value is Record<string, unknown> {\n  return typeof value === 'object' && value !== null && !Array.isArray(value)\n}\n\nfunction mapFieldType(rawType: unknown): LedgerType {\n  if (typeof rawType !== 'string') return 'unknown'\n  return FIELD_TYPE_MAP[rawType] ?? 'unknown'\n}\n\nfunction mapJsonSchemaType(rawType: unknown): LedgerType {\n  if (typeof rawType !== 'string') return 'unknown'\n  return JSON_SCHEMA_TYPE_MAP[rawType] ?? 'unknown'\n}\n\nfunction literalValueType(value: unknown): LedgerType {\n  if (typeof value === 'string') {\n    return value.includes('{{') ? 'unknown' : 'text'\n  }\n  if (typeof value === 'number') return 'number'\n  if (typeof value === 'boolean') return 'boolean'\n  if (isPlainObject(value)) return 'object'\n  return 'unknown'\n}\n\nfunction makeEntry(\n  path: string,\n  type: LedgerType,\n  presence: LedgerPresence,\n  source: LedgerEntrySource,\n): LedgerEntry {\n  return { path, type, presence, source }\n}\n\nconst LEDGER_TYPE_VALUES: ReadonlySet<string> = new Set<LedgerType>([\n  'text',\n  'number',\n  'boolean',\n  'select',\n  'date',\n  'object',\n  'unknown',\n])\n\nfunction toLedgerType(raw: unknown): LedgerType {\n  return typeof raw === 'string' && LEDGER_TYPE_VALUES.has(raw) ? (raw as LedgerType) : 'unknown'\n}\n\nexport interface TriggerPayloadEventInput {\n  id: string\n  payloadSchema?: {\n    fields: ReadonlyArray<{ path: string; type: string; optional?: boolean }>\n  }\n}\n\n/**\n * Pure pre-resolution of trigger payload contracts from declared events, for\n * `ComputeContextLedgerOptions.triggerPayloadContracts`. Only an EXACT event\n * pattern (no `*` wildcard) with a non-empty declared payloadSchema resolves;\n * wildcard patterns and schema-less events yield no contract so their mapping\n * targets stay `unknown`. Both call sites (the server context-schema route via\n * `getDeclaredEvents()` and the client editor via its fetched events list)\n * feed this the same plain-data shape.\n */\nexport function buildTriggerPayloadContracts(\n  triggers: ReadonlyArray<{ triggerId: string; eventPattern?: string | null }>,\n  events: ReadonlyArray<TriggerPayloadEventInput>,\n): Record<string, LedgerContract> {\n  const contracts: Record<string, LedgerContract> = {}\n  if (triggers.length === 0 || events.length === 0) return contracts\n  const eventsById = new Map(events.map(event => [event.id, event]))\n  for (const trigger of triggers) {\n    if (!trigger.triggerId) continue\n    const pattern = typeof trigger.eventPattern === 'string' ? trigger.eventPattern.trim() : ''\n    if (!pattern || pattern.includes('*')) continue\n    const fields = eventsById.get(pattern)?.payloadSchema?.fields\n    if (!fields || fields.length === 0) continue\n    contracts[trigger.triggerId] = {\n      entries: fields.map(field => ({ path: field.path, type: toLedgerType(field.type) })),\n    }\n  }\n  return contracts\n}\n\nfunction initialContributions(\n  definition: LedgerWorkflowDefinition,\n  options: ComputeContextLedgerOptions,\n): LedgerEntry[] {\n  const entries: LedgerEntry[] = []\n\n  // contextSchema.input is canonical; definition.io.inputs (the sub-workflow\n  // port contract) is a deprecated read-through alias consulted only when no\n  // contextSchema input is declared. Both share the name/type/required field\n  // vocabulary, so the mapping is identical.\n  const declaredFields = definition.contextSchema?.input?.fields\n  const usingIoAlias = !declaredFields || declaredFields.length === 0\n  const inputFields = usingIoAlias ? definition.io?.inputs ?? [] : declaredFields\n  for (const field of inputFields) {\n    if (!field.name) continue\n    entries.push(\n      makeEntry(field.name, mapFieldType(field.type), field.required ? 'always' : 'maybe', {\n        kind: 'contextSchema',\n        label: usingIoAlias ? 'io.inputs (read-through)' : 'contextSchema.input',\n      }),\n    )\n  }\n\n  for (const trigger of definition.triggers ?? []) {\n    entries.push(\n      makeEntry(TRIGGER_PAYLOAD_WILDCARD, 'unknown', 'maybe', {\n        kind: 'trigger',\n        label: `trigger:${trigger.triggerId}:payload`,\n      }),\n    )\n\n    const payloadContract = options.triggerPayloadContracts?.[trigger.triggerId]\n    const contextMapping = trigger.config?.contextMapping\n    if (Array.isArray(contextMapping)) {\n      for (const mapping of contextMapping) {\n        if (!isPlainObject(mapping) || typeof mapping.targetKey !== 'string' || !mapping.targetKey) continue\n        const sourcePath = typeof mapping.sourceExpression === 'string' ? mapping.sourceExpression : null\n        const mappedType =\n          payloadContract && sourcePath\n            ? payloadContract.entries.find(entry => entry.path === sourcePath)?.type ?? 'unknown'\n            : 'unknown'\n        entries.push(\n          makeEntry(mapping.targetKey, mappedType, 'maybe', {\n            kind: 'trigger',\n            label: `trigger:${trigger.triggerId}:contextMapping`,\n          }),\n        )\n      }\n    }\n\n    const metadataSource: LedgerEntrySource = {\n      kind: 'trigger',\n      label: `trigger:${trigger.triggerId}:metadata`,\n    }\n    const triggerMetadataEntries: Array<[string, LedgerType]> = [\n      ['__trigger.triggerId', 'text'],\n      ['__trigger.triggerName', 'text'],\n      ['__trigger.eventName', 'text'],\n      ['__trigger.eventPayload', 'object'],\n      ['__trigger.triggeredAt', 'date'],\n      ['__trigger.source', 'text'],\n    ]\n    for (const [path, type] of triggerMetadataEntries) {\n      entries.push(makeEntry(path, type, 'maybe', metadataSource))\n    }\n  }\n\n  return entries\n}\n\nfunction userTaskContributions(step: LedgerStepDefinition): LedgerEntry[] {\n  const entries: LedgerEntry[] = []\n  const formSchema = step.userTaskConfig?.formSchema\n  if (!isPlainObject(formSchema)) return entries\n\n  const source: LedgerEntrySource = {\n    kind: 'userTask',\n    stepId: step.stepId,\n    label: `userTask:${step.stepId}`,\n  }\n\n  const fields = formSchema.fields\n  if (Array.isArray(fields)) {\n    for (const field of fields) {\n      if (!isPlainObject(field) || typeof field.name !== 'string' || !field.name) continue\n      entries.push(\n        makeEntry(field.name, mapFieldType(field.type), field.required === true ? 'always' : 'maybe', source),\n      )\n    }\n    return entries\n  }\n\n  const properties = formSchema.properties\n  if (isPlainObject(properties)) {\n    const requiredNames = Array.isArray(formSchema.required)\n      ? formSchema.required.filter((name): name is string => typeof name === 'string')\n      : []\n    for (const [name, property] of Object.entries(properties)) {\n      const propertyType = isPlainObject(property) ? property.type : undefined\n      entries.push(\n        makeEntry(\n          name,\n          mapJsonSchemaType(propertyType),\n          requiredNames.includes(name) ? 'always' : 'maybe',\n          source,\n        ),\n      )\n    }\n  }\n\n  return entries\n}\n\nfunction signalContributions(step: LedgerStepDefinition): LedgerEntry[] {\n  const configuredName = step.signalConfig?.signalName\n  const signalName = typeof configuredName === 'string' && configuredName ? configuredName : step.stepId\n  const source: LedgerEntrySource = {\n    kind: 'signal',\n    stepId: step.stepId,\n    label: `signal:${signalName}`,\n  }\n  return [\n    makeEntry(TRIGGER_PAYLOAD_WILDCARD, 'unknown', 'maybe', source),\n    makeEntry(`signal_${signalName}_payload`, 'object', 'maybe', source),\n    makeEntry(`signal_${signalName}_receivedAt`, 'date', 'maybe', source),\n  ]\n}\n\nfunction joinContributions(step: LedgerStepDefinition): LedgerEntry[] {\n  const source: LedgerEntrySource = {\n    kind: 'join',\n    stepId: step.stepId,\n    label: `join:${step.stepId}`,\n  }\n  const entries: LedgerEntry[] = [makeEntry('branches', 'object', 'always', source)]\n\n  const outputMapping = step.config?.outputMapping\n  if (isPlainObject(outputMapping)) {\n    for (const targetKey of Object.keys(outputMapping)) {\n      if (targetKey === 'branches') continue\n      entries.push(makeEntry(targetKey, 'unknown', 'maybe', source))\n    }\n  }\n\n  return entries\n}\n\nfunction subWorkflowContributions(step: LedgerStepDefinition): LedgerEntry[] {\n  const outputMapping = step.config?.outputMapping\n  if (!isPlainObject(outputMapping)) return []\n\n  const source: LedgerEntrySource = {\n    kind: 'subWorkflow',\n    stepId: step.stepId,\n    label: `subWorkflow:${step.stepId}`,\n  }\n\n  const entries: LedgerEntry[] = []\n  for (const targetKey of Object.keys(outputMapping)) {\n    if (!targetKey) continue\n    entries.push(makeEntry(targetKey, 'unknown', 'maybe', source))\n  }\n  return entries\n}\n\nfunction asyncResultContributions(\n  activity: LedgerActivityDefinition,\n  stepId: string | undefined,\n  options: ComputeContextLedgerOptions,\n): LedgerEntry[] {\n  const resultKey = `${activity.activityId}_result`\n  const source: LedgerEntrySource = {\n    kind: 'asyncResult',\n    stepId,\n    activityId: activity.activityId,\n    label: `asyncActivity:${activity.activityId}`,\n  }\n  const contract = options.resolveOutputContract?.(activity.activityType, activity.config)\n  if (contract && contract !== 'unknown' && contract.entries.length > 0) {\n    return contract.entries.map((entry) =>\n      makeEntry(`${resultKey}.${entry.path}`, entry.type, 'always', source),\n    )\n  }\n  return [makeEntry(resultKey, 'unknown', 'always', source)]\n}\n\nfunction setVariableContributions(\n  activity: LedgerActivityDefinition,\n  presence: LedgerPresence,\n): LedgerEntry[] {\n  const entries: LedgerEntry[] = []\n  const assignments = activity.config?.assignments\n  if (!Array.isArray(assignments)) return entries\n\n  const source: LedgerEntrySource = {\n    kind: 'setVariable',\n    activityId: activity.activityId,\n    label: `setVariable:${activity.activityId}`,\n  }\n\n  for (const assignment of assignments) {\n    if (!isPlainObject(assignment) || typeof assignment.path !== 'string') continue\n    const segments = splitAssignmentPath(assignment.path)\n    if (segments === null || segments.length === 0) continue\n    entries.push(makeEntry(segments.join('.'), literalValueType(assignment.value), presence, source))\n  }\n\n  return entries\n}\n\nfunction syncActivityContributions(\n  activity: LedgerActivityDefinition,\n  presence: LedgerPresence,\n  options: ComputeContextLedgerOptions,\n): LedgerEntry[] {\n  const namespacedKey = activity.activityName || activity.activityType\n  const source: LedgerEntrySource = {\n    kind: 'activity',\n    activityId: activity.activityId,\n    label: `activity:${activity.activityId}`,\n  }\n  const contract = options.resolveOutputContract?.(activity.activityType, activity.config)\n  if (contract && contract !== 'unknown' && contract.entries.length > 0) {\n    return contract.entries.map((entry) =>\n      makeEntry(`${namespacedKey}.${entry.path}`, entry.type, presence, source),\n    )\n  }\n  return [makeEntry(namespacedKey, 'unknown', presence, source)]\n}\n\nfunction transitionContributions(\n  transition: LedgerTransitionDefinition,\n  options: ComputeContextLedgerOptions,\n): LedgerEntry[] {\n  const entries: LedgerEntry[] = []\n  const syncPresence: LedgerPresence = transition.continueOnActivityFailure === true ? 'maybe' : 'always'\n\n  for (const activity of transition.activities ?? []) {\n    if (activity.async === true) {\n      entries.push(...asyncResultContributions(activity, undefined, options))\n    } else if (activity.activityType === 'SET_VARIABLE') {\n      entries.push(...setVariableContributions(activity, syncPresence))\n    } else {\n      entries.push(...syncActivityContributions(activity, syncPresence, options))\n    }\n  }\n\n  return entries\n}\n\n// Mirrors INVOKE_AGENT_SIGNAL_NAME in lib/activity-executor.ts \u2014 duplicated\n// here because the ledger's purity boundary forbids importing engine modules.\nconst INVOKE_AGENT_DEFAULT_SIGNAL_NAME = 'agent_orchestrator.proposal.ready'\n\nfunction invokeAgentContributions(\n  step: LedgerStepDefinition,\n  options: ComputeContextLedgerOptions,\n): LedgerEntry[] {\n  const entries: LedgerEntry[] = []\n  for (const activity of step.activities ?? []) {\n    if (activity.activityType !== 'INVOKE_AGENT') continue\n    const source: LedgerEntrySource = {\n      kind: 'invokeAgent',\n      stepId: step.stepId,\n      activityId: activity.activityId,\n      label: `invokeAgent:${activity.activityId}`,\n    }\n\n    // Everything is `maybe`: which keys land depends on the resolution path\n    // (inline auto_approved/researcher, parked machine resume, or human\n    // dispose) and, for mapped keys, on the source path resolving.\n    const outputMapping = activity.config?.outputMapping\n    const hasMapping = isPlainObject(outputMapping) && Object.keys(outputMapping).length > 0\n    if (hasMapping) {\n      const envelopeContract = options.resolveOutputContract?.(activity.activityType, activity.config)\n      const typedEnvelope = envelopeContract && envelopeContract !== 'unknown' ? envelopeContract : null\n      for (const [targetKey, sourcePath] of Object.entries(outputMapping)) {\n        if (!targetKey) continue\n        const mappedType =\n          typedEnvelope && typeof sourcePath === 'string'\n            ? typedEnvelope.entries.find(entry => entry.path === sourcePath)?.type ?? 'unknown'\n            : 'unknown'\n        entries.push(makeEntry(targetKey, mappedType, 'maybe', source))\n      }\n    } else {\n      // Legacy fixed-key merge (step-handler inline branch and\n      // activity-worker-handler parked resume).\n      entries.push(makeEntry('agentId', 'text', 'maybe', source))\n      entries.push(makeEntry('agentProposalId', 'text', 'maybe', source))\n      entries.push(makeEntry(`${step.stepId}_agent`, 'unknown', 'maybe', source))\n    }\n\n    // agent_orchestrator's human dispose path (lib/disposition/resume.ts)\n    // merges these regardless of any declared outputMapping.\n    entries.push(makeEntry('disposition', 'text', 'maybe', source))\n    entries.push(makeEntry('proposalId', 'text', 'maybe', source))\n    entries.push(makeEntry('stepId', 'text', 'maybe', source))\n    entries.push(makeEntry('proposalPayload', 'unknown', 'maybe', source))\n\n    // Any parked resume arrives via sendSignal, which also records the signal\n    // envelope keys for the step's park signal.\n    const configuredSignal = step.signalConfig?.signalName\n    const signalName =\n      typeof configuredSignal === 'string' && configuredSignal\n        ? configuredSignal\n        : INVOKE_AGENT_DEFAULT_SIGNAL_NAME\n    entries.push(makeEntry(`signal_${signalName}_payload`, 'object', 'maybe', source))\n    entries.push(makeEntry(`signal_${signalName}_receivedAt`, 'date', 'maybe', source))\n  }\n  return entries\n}\n\nfunction stepContributions(\n  step: LedgerStepDefinition,\n  options: ComputeContextLedgerOptions,\n): LedgerEntry[] {\n  switch (step.stepType) {\n    case 'USER_TASK':\n      return userTaskContributions(step)\n    case 'WAIT_FOR_SIGNAL':\n      return signalContributions(step)\n    case 'PARALLEL_JOIN':\n      return joinContributions(step)\n    case 'SUB_WORKFLOW':\n      return subWorkflowContributions(step)\n    case 'AUTOMATED':\n      return [\n        ...(step.activities ?? [])\n          .filter((activity) => activity.async === true)\n          .flatMap((activity) => asyncResultContributions(activity, step.stepId, options)),\n        ...invokeAgentContributions(step, options),\n      ]\n    default:\n      return []\n  }\n}\n\nfunction applyContributions(base: LedgerMap, contributions: LedgerEntry[]): LedgerMap {\n  if (contributions.length === 0) return base\n  const merged: LedgerMap = new Map(base)\n  for (const entry of contributions) {\n    merged.set(entry.path, entry)\n  }\n  return merged\n}\n\nfunction joinRoutes(routes: LedgerMap[]): LedgerMap {\n  if (routes.length === 1) return routes[0]\n  const joined: LedgerMap = new Map()\n  const allPaths = new Set<string>()\n  for (const route of routes) {\n    for (const path of route.keys()) allPaths.add(path)\n  }\n  for (const path of allPaths) {\n    const present = routes.filter((route) => route.has(path))\n    const first = present[0].get(path) as LedgerEntry\n    const onEveryRoute = present.length === routes.length\n    const alwaysOnEveryRoute = onEveryRoute && present.every((route) => route.get(path)?.presence === 'always')\n    const typesAgree = present.every((route) => route.get(path)?.type === first.type)\n    joined.set(path, {\n      path,\n      type: typesAgree ? first.type : 'unknown',\n      presence: alwaysOnEveryRoute ? 'always' : 'maybe',\n      source: first.source,\n    })\n  }\n  return joined\n}\n\nconst UNREACHABLE_SENTINEL = '<unreachable>'\n\nfunction serializeLedgerMap(ledger: LedgerMap | null): string {\n  if (ledger === null) return UNREACHABLE_SENTINEL\n  const parts: string[] = []\n  for (const path of [...ledger.keys()].sort((left, right) => left.localeCompare(right))) {\n    const entry = ledger.get(path) as LedgerEntry\n    parts.push(`${path}|${entry.type}|${entry.presence}|${entry.source.kind}|${entry.source.stepId ?? ''}|${entry.source.activityId ?? ''}|${entry.source.label}`)\n  }\n  return parts.join(';')\n}\n\nfunction resolveStartStepIds(definition: LedgerWorkflowDefinition): Set<string> {\n  const startTyped = definition.steps.filter((step) => step.stepType === 'START')\n  if (startTyped.length > 0) return new Set(startTyped.map((step) => step.stepId))\n  const targetIds = new Set(definition.transitions.map((transition) => transition.toStepId))\n  return new Set(definition.steps.filter((step) => !targetIds.has(step.stepId)).map((step) => step.stepId))\n}\n\nfunction orderStepsFromStarts(\n  definition: LedgerWorkflowDefinition,\n  startIds: Set<string>,\n): LedgerStepDefinition[] {\n  const stepById = new Map(definition.steps.map((step) => [step.stepId, step]))\n  const successors = new Map<string, string[]>()\n  for (const transition of definition.transitions) {\n    const list = successors.get(transition.fromStepId) ?? []\n    list.push(transition.toStepId)\n    successors.set(transition.fromStepId, list)\n  }\n\n  const visited = new Set<string>()\n  const ordered: LedgerStepDefinition[] = []\n  const queue = definition.steps.filter((step) => startIds.has(step.stepId)).map((step) => step.stepId)\n  while (queue.length > 0) {\n    const stepId = queue.shift() as string\n    if (visited.has(stepId)) continue\n    visited.add(stepId)\n    const step = stepById.get(stepId)\n    if (step) ordered.push(step)\n    for (const successor of successors.get(stepId) ?? []) {\n      if (!visited.has(successor)) queue.push(successor)\n    }\n  }\n  for (const step of definition.steps) {\n    if (!visited.has(step.stepId)) ordered.push(step)\n  }\n  return ordered\n}\n\nexport function computeContextLedger(\n  definition: LedgerWorkflowDefinition,\n  options: ComputeContextLedgerOptions = {},\n): ContextLedger {\n  const startIds = resolveStartStepIds(definition)\n  const orderedSteps = orderStepsFromStarts(definition, startIds)\n  const stepById = new Map(definition.steps.map((step) => [step.stepId, step]))\n\n  const incomingTransitions = new Map<string, LedgerTransitionDefinition[]>()\n  for (const transition of definition.transitions) {\n    if (!stepById.has(transition.fromStepId) || !stepById.has(transition.toStepId)) continue\n    const list = incomingTransitions.get(transition.toStepId) ?? []\n    list.push(transition)\n    incomingTransitions.set(transition.toStepId, list)\n  }\n\n  const initialRoute: LedgerMap = applyContributions(new Map(), initialContributions(definition, options))\n  const incoming = new Map<string, LedgerMap | null>(\n    definition.steps.map((step) => [step.stepId, null]),\n  )\n\n  const outgoingOf = (stepId: string): LedgerMap | null => {\n    const stepIncoming = incoming.get(stepId)\n    if (stepIncoming === null || stepIncoming === undefined) return null\n    const step = stepById.get(stepId)\n    if (!step) return stepIncoming\n    return applyContributions(stepIncoming, stepContributions(step, options))\n  }\n\n  const maxPasses = definition.steps.length * 2 + 4\n  for (let pass = 0; pass < maxPasses; pass += 1) {\n    let changed = false\n    for (const step of orderedSteps) {\n      const routes: LedgerMap[] = []\n      if (startIds.has(step.stepId)) {\n        routes.push(initialRoute)\n      }\n      for (const transition of incomingTransitions.get(step.stepId) ?? []) {\n        const sourceOutgoing = outgoingOf(transition.fromStepId)\n        if (sourceOutgoing === null) continue\n        routes.push(applyContributions(sourceOutgoing, transitionContributions(transition, options)))\n      }\n      const nextIncoming = routes.length === 0 ? null : joinRoutes(routes)\n      if (serializeLedgerMap(nextIncoming) !== serializeLedgerMap(incoming.get(step.stepId) ?? null)) {\n        incoming.set(step.stepId, nextIncoming)\n        changed = true\n      }\n    }\n    if (!changed) break\n  }\n\n  const steps: Record<string, LedgerStepView> = {}\n  for (const step of definition.steps) {\n    const ledger = incoming.get(step.stepId)\n    const entries = ledger\n      ? [...ledger.values()].sort((left, right) => left.path.localeCompare(right.path))\n      : []\n    steps[step.stepId] = { entries }\n  }\n\n  return { steps }\n}\n"],
+  "mappings": "AA2GA,SAAS,2BAA2B;AA6HpC,MAAM,2BAA2B;AAEjC,MAAM,iBAA6C;AAAA,EACjD,MAAM;AAAA,EACN,QAAQ;AAAA,EACR,SAAS;AAAA,EACT,QAAQ;AAAA,EACR,MAAM;AACR;AAEA,MAAM,uBAAmD;AAAA,EACvD,QAAQ;AAAA,EACR,QAAQ;AAAA,EACR,SAAS;AAAA,EACT,SAAS;AAAA,EACT,QAAQ;AACV;AAEA,SAAS,cAAc,OAAkD;AACvE,SAAO,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,KAAK;AAC5E;AAEA,SAAS,aAAa,SAA8B;AAClD,MAAI,OAAO,YAAY,SAAU,QAAO;AACxC,SAAO,eAAe,OAAO,KAAK;AACpC;AAEA,SAAS,kBAAkB,SAA8B;AACvD,MAAI,OAAO,YAAY,SAAU,QAAO;AACxC,SAAO,qBAAqB,OAAO,KAAK;AAC1C;AAEA,SAAS,iBAAiB,OAA4B;AACpD,MAAI,OAAO,UAAU,UAAU;AAC7B,WAAO,MAAM,SAAS,IAAI,IAAI,YAAY;AAAA,EAC5C;AACA,MAAI,OAAO,UAAU,SAAU,QAAO;AACtC,MAAI,OAAO,UAAU,UAAW,QAAO;AACvC,MAAI,cAAc,KAAK,EAAG,QAAO;AACjC,SAAO;AACT;AAEA,SAAS,UACP,MACA,MACA,UACA,QACa;AACb,SAAO,EAAE,MAAM,MAAM,UAAU,OAAO;AACxC;AAEA,MAAM,qBAA0C,oBAAI,IAAgB;AAAA,EAClE;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF,CAAC;AAED,SAAS,aAAa,KAA0B;AAC9C,SAAO,OAAO,QAAQ,YAAY,mBAAmB,IAAI,GAAG,IAAK,MAAqB;AACxF;AAkBO,SAAS,6BACd,UACA,QACgC;AAChC,QAAM,YAA4C,CAAC;AACnD,MAAI,SAAS,WAAW,KAAK,OAAO,WAAW,EAAG,QAAO;AACzD,QAAM,aAAa,IAAI,IAAI,OAAO,IAAI,WAAS,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC;AACjE,aAAW,WAAW,UAAU;AAC9B,QAAI,CAAC,QAAQ,UAAW;AACxB,UAAM,UAAU,OAAO,QAAQ,iBAAiB,WAAW,QAAQ,aAAa,KAAK,IAAI;AACzF,QAAI,CAAC,WAAW,QAAQ,SAAS,GAAG,EAAG;AACvC,UAAM,SAAS,WAAW,IAAI,OAAO,GAAG,eAAe;AACvD,QAAI,CAAC,UAAU,OAAO,WAAW,EAAG;AACpC,cAAU,QAAQ,SAAS,IAAI;AAAA,MAC7B,SAAS,OAAO,IAAI,YAAU,EAAE,MAAM,MAAM,MAAM,MAAM,aAAa,MAAM,IAAI,EAAE,EAAE;AAAA,IACrF;AAAA,EACF;AACA,SAAO;AACT;AAEA,SAAS,qBACP,YACA,SACe;AACf,QAAM,UAAyB,CAAC;AAMhC,QAAM,iBAAiB,WAAW,eAAe,OAAO;AACxD,QAAM,eAAe,CAAC,kBAAkB,eAAe,WAAW;AAClE,QAAM,cAAc,eAAe,WAAW,IAAI,UAAU,CAAC,IAAI;AACjE,aAAW,SAAS,aAAa;AAC/B,QAAI,CAAC,MAAM,KAAM;AACjB,YAAQ;AAAA,MACN,UAAU,MAAM,MAAM,aAAa,MAAM,IAAI,GAAG,MAAM,WAAW,WAAW,SAAS;AAAA,QACnF,MAAM;AAAA,QACN,OAAO,eAAe,6BAA6B;AAAA,MACrD,CAAC;AAAA,IACH;AAAA,EACF;AAEA,aAAW,WAAW,WAAW,YAAY,CAAC,GAAG;AAC/C,YAAQ;AAAA,MACN,UAAU,0BAA0B,WAAW,SAAS;AAAA,QACtD,MAAM;AAAA,QACN,OAAO,WAAW,QAAQ,SAAS;AAAA,MACrC,CAAC;AAAA,IACH;AAEA,UAAM,kBAAkB,QAAQ,0BAA0B,QAAQ,SAAS;AAC3E,UAAM,iBAAiB,QAAQ,QAAQ;AACvC,QAAI,MAAM,QAAQ,cAAc,GAAG;AACjC,iBAAW,WAAW,gBAAgB;AACpC,YAAI,CAAC,cAAc,OAAO,KAAK,OAAO,QAAQ,cAAc,YAAY,CAAC,QAAQ,UAAW;AAC5F,cAAM,aAAa,OAAO,QAAQ,qBAAqB,WAAW,QAAQ,mBAAmB;AAC7F,cAAM,aACJ,mBAAmB,aACf,gBAAgB,QAAQ,KAAK,WAAS,MAAM,SAAS,UAAU,GAAG,QAAQ,YAC1E;AACN,gBAAQ;AAAA,UACN,UAAU,QAAQ,WAAW,YAAY,SAAS;AAAA,YAChD,MAAM;AAAA,YACN,OAAO,WAAW,QAAQ,SAAS;AAAA,UACrC,CAAC;AAAA,QACH;AAAA,MACF;AAAA,IACF;AAEA,UAAM,iBAAoC;AAAA,MACxC,MAAM;AAAA,MACN,OAAO,WAAW,QAAQ,SAAS;AAAA,IACrC;AACA,UAAM,yBAAsD;AAAA,MAC1D,CAAC,uBAAuB,MAAM;AAAA,MAC9B,CAAC,yBAAyB,MAAM;AAAA,MAChC,CAAC,uBAAuB,MAAM;AAAA,MAC9B,CAAC,0BAA0B,QAAQ;AAAA,MACnC,CAAC,yBAAyB,MAAM;AAAA,MAChC,CAAC,oBAAoB,MAAM;AAAA,IAC7B;AACA,eAAW,CAAC,MAAM,IAAI,KAAK,wBAAwB;AACjD,cAAQ,KAAK,UAAU,MAAM,MAAM,SAAS,cAAc,CAAC;AAAA,IAC7D;AAAA,EACF;AAEA,SAAO;AACT;AAEA,SAAS,sBAAsB,MAA2C;AACxE,QAAM,UAAyB,CAAC;AAChC,QAAM,aAAa,KAAK,gBAAgB;AACxC,MAAI,CAAC,cAAc,UAAU,EAAG,QAAO;AAEvC,QAAM,SAA4B;AAAA,IAChC,MAAM;AAAA,IACN,QAAQ,KAAK;AAAA,IACb,OAAO,YAAY,KAAK,MAAM;AAAA,EAChC;AAEA,QAAM,SAAS,WAAW;AAC1B,MAAI,MAAM,QAAQ,MAAM,GAAG;AACzB,eAAW,SAAS,QAAQ;AAC1B,UAAI,CAAC,cAAc,KAAK,KAAK,OAAO,MAAM,SAAS,YAAY,CAAC,MAAM,KAAM;AAC5E,cAAQ;AAAA,QACN,UAAU,MAAM,MAAM,aAAa,MAAM,IAAI,GAAG,MAAM,aAAa,OAAO,WAAW,SAAS,MAAM;AAAA,MACtG;AAAA,IACF;AACA,WAAO;AAAA,EACT;AAEA,QAAM,aAAa,WAAW;AAC9B,MAAI,cAAc,UAAU,GAAG;AAC7B,UAAM,gBAAgB,MAAM,QAAQ,WAAW,QAAQ,IACnD,WAAW,SAAS,OAAO,CAAC,SAAyB,OAAO,SAAS,QAAQ,IAC7E,CAAC;AACL,eAAW,CAAC,MAAM,QAAQ,KAAK,OAAO,QAAQ,UAAU,GAAG;AACzD,YAAM,eAAe,cAAc,QAAQ,IAAI,SAAS,OAAO;AAC/D,cAAQ;AAAA,QACN;AAAA,UACE;AAAA,UACA,kBAAkB,YAAY;AAAA,UAC9B,cAAc,SAAS,IAAI,IAAI,WAAW;AAAA,UAC1C;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AAEA,SAAS,oBAAoB,MAA2C;AACtE,QAAM,iBAAiB,KAAK,cAAc;AAC1C,QAAM,aAAa,OAAO,mBAAmB,YAAY,iBAAiB,iBAAiB,KAAK;AAChG,QAAM,SAA4B;AAAA,IAChC,MAAM;AAAA,IACN,QAAQ,KAAK;AAAA,IACb,OAAO,UAAU,UAAU;AAAA,EAC7B;AACA,SAAO;AAAA,IACL,UAAU,0BAA0B,WAAW,SAAS,MAAM;AAAA,IAC9D,UAAU,UAAU,UAAU,YAAY,UAAU,SAAS,MAAM;AAAA,IACnE,UAAU,UAAU,UAAU,eAAe,QAAQ,SAAS,MAAM;AAAA,EACtE;AACF;AAEA,SAAS,kBAAkB,MAA2C;AACpE,QAAM,SAA4B;AAAA,IAChC,MAAM;AAAA,IACN,QAAQ,KAAK;AAAA,IACb,OAAO,QAAQ,KAAK,MAAM;AAAA,EAC5B;AACA,QAAM,UAAyB,CAAC,UAAU,YAAY,UAAU,UAAU,MAAM,CAAC;AAEjF,QAAM,gBAAgB,KAAK,QAAQ;AACnC,MAAI,cAAc,aAAa,GAAG;AAChC,eAAW,aAAa,OAAO,KAAK,aAAa,GAAG;AAClD,UAAI,cAAc,WAAY;AAC9B,cAAQ,KAAK,UAAU,WAAW,WAAW,SAAS,MAAM,CAAC;AAAA,IAC/D;AAAA,EACF;AAEA,SAAO;AACT;AAEA,SAAS,yBAAyB,MAA2C;AAC3E,QAAM,gBAAgB,KAAK,QAAQ;AACnC,MAAI,CAAC,cAAc,aAAa,EAAG,QAAO,CAAC;AAE3C,QAAM,SAA4B;AAAA,IAChC,MAAM;AAAA,IACN,QAAQ,KAAK;AAAA,IACb,OAAO,eAAe,KAAK,MAAM;AAAA,EACnC;AAEA,QAAM,UAAyB,CAAC;AAChC,aAAW,aAAa,OAAO,KAAK,aAAa,GAAG;AAClD,QAAI,CAAC,UAAW;AAChB,YAAQ,KAAK,UAAU,WAAW,WAAW,SAAS,MAAM,CAAC;AAAA,EAC/D;AACA,SAAO;AACT;AAEA,SAAS,yBACP,UACA,QACA,SACe;AACf,QAAM,YAAY,GAAG,SAAS,UAAU;AACxC,QAAM,SAA4B;AAAA,IAChC,MAAM;AAAA,IACN;AAAA,IACA,YAAY,SAAS;AAAA,IACrB,OAAO,iBAAiB,SAAS,UAAU;AAAA,EAC7C;AACA,QAAM,WAAW,QAAQ,wBAAwB,SAAS,cAAc,SAAS,MAAM;AACvF,MAAI,YAAY,aAAa,aAAa,SAAS,QAAQ,SAAS,GAAG;AACrE,WAAO,SAAS,QAAQ;AAAA,MAAI,CAAC,UAC3B,UAAU,GAAG,SAAS,IAAI,MAAM,IAAI,IAAI,MAAM,MAAM,UAAU,MAAM;AAAA,IACtE;AAAA,EACF;AACA,SAAO,CAAC,UAAU,WAAW,WAAW,UAAU,MAAM,CAAC;AAC3D;AAEA,SAAS,yBACP,UACA,UACe;AACf,QAAM,UAAyB,CAAC;AAChC,QAAM,cAAc,SAAS,QAAQ;AACrC,MAAI,CAAC,MAAM,QAAQ,WAAW,EAAG,QAAO;AAExC,QAAM,SAA4B;AAAA,IAChC,MAAM;AAAA,IACN,YAAY,SAAS;AAAA,IACrB,OAAO,eAAe,SAAS,UAAU;AAAA,EAC3C;AAEA,aAAW,cAAc,aAAa;AACpC,QAAI,CAAC,cAAc,UAAU,KAAK,OAAO,WAAW,SAAS,SAAU;AACvE,UAAM,WAAW,oBAAoB,WAAW,IAAI;AACpD,QAAI,aAAa,QAAQ,SAAS,WAAW,EAAG;AAChD,YAAQ,KAAK,UAAU,SAAS,KAAK,GAAG,GAAG,iBAAiB,WAAW,KAAK,GAAG,UAAU,MAAM,CAAC;AAAA,EAClG;AAEA,SAAO;AACT;AAEA,SAAS,0BACP,UACA,UACA,SACe;AACf,QAAM,gBAAgB,SAAS,gBAAgB,SAAS;AACxD,QAAM,SAA4B;AAAA,IAChC,MAAM;AAAA,IACN,YAAY,SAAS;AAAA,IACrB,OAAO,YAAY,SAAS,UAAU;AAAA,EACxC;AACA,QAAM,WAAW,QAAQ,wBAAwB,SAAS,cAAc,SAAS,MAAM;AACvF,MAAI,YAAY,aAAa,aAAa,SAAS,QAAQ,SAAS,GAAG;AACrE,WAAO,SAAS,QAAQ;AAAA,MAAI,CAAC,UAC3B,UAAU,GAAG,aAAa,IAAI,MAAM,IAAI,IAAI,MAAM,MAAM,UAAU,MAAM;AAAA,IAC1E;AAAA,EACF;AACA,SAAO,CAAC,UAAU,eAAe,WAAW,UAAU,MAAM,CAAC;AAC/D;AAEA,SAAS,wBACP,YACA,SACe;AACf,QAAM,UAAyB,CAAC;AAChC,QAAM,eAA+B,WAAW,8BAA8B,OAAO,UAAU;AAE/F,aAAW,YAAY,WAAW,cAAc,CAAC,GAAG;AAClD,QAAI,SAAS,UAAU,MAAM;AAC3B,cAAQ,KAAK,GAAG,yBAAyB,UAAU,QAAW,OAAO,CAAC;AAAA,IACxE,WAAW,SAAS,iBAAiB,gBAAgB;AACnD,cAAQ,KAAK,GAAG,yBAAyB,UAAU,YAAY,CAAC;AAAA,IAClE,OAAO;AACL,cAAQ,KAAK,GAAG,0BAA0B,UAAU,cAAc,OAAO,CAAC;AAAA,IAC5E;AAAA,EACF;AAEA,SAAO;AACT;AAIA,MAAM,mCAAmC;AAEzC,SAAS,yBACP,MACA,SACe;AACf,QAAM,UAAyB,CAAC;AAChC,aAAW,YAAY,KAAK,cAAc,CAAC,GAAG;AAC5C,QAAI,SAAS,iBAAiB,eAAgB;AAC9C,UAAM,SAA4B;AAAA,MAChC,MAAM;AAAA,MACN,QAAQ,KAAK;AAAA,MACb,YAAY,SAAS;AAAA,MACrB,OAAO,eAAe,SAAS,UAAU;AAAA,IAC3C;AAKA,UAAM,gBAAgB,SAAS,QAAQ;AACvC,UAAM,aAAa,cAAc,aAAa,KAAK,OAAO,KAAK,aAAa,EAAE,SAAS;AACvF,QAAI,YAAY;AACd,YAAM,mBAAmB,QAAQ,wBAAwB,SAAS,cAAc,SAAS,MAAM;AAC/F,YAAM,gBAAgB,oBAAoB,qBAAqB,YAAY,mBAAmB;AAC9F,iBAAW,CAAC,WAAW,UAAU,KAAK,OAAO,QAAQ,aAAa,GAAG;AACnE,YAAI,CAAC,UAAW;AAChB,cAAM,aACJ,iBAAiB,OAAO,eAAe,WACnC,cAAc,QAAQ,KAAK,WAAS,MAAM,SAAS,UAAU,GAAG,QAAQ,YACxE;AACN,gBAAQ,KAAK,UAAU,WAAW,YAAY,SAAS,MAAM,CAAC;AAAA,MAChE;AAAA,IACF,OAAO;AAGL,cAAQ,KAAK,UAAU,WAAW,QAAQ,SAAS,MAAM,CAAC;AAC1D,cAAQ,KAAK,UAAU,mBAAmB,QAAQ,SAAS,MAAM,CAAC;AAClE,cAAQ,KAAK,UAAU,GAAG,KAAK,MAAM,UAAU,WAAW,SAAS,MAAM,CAAC;AAAA,IAC5E;AAIA,YAAQ,KAAK,UAAU,eAAe,QAAQ,SAAS,MAAM,CAAC;AAC9D,YAAQ,KAAK,UAAU,cAAc,QAAQ,SAAS,MAAM,CAAC;AAC7D,YAAQ,KAAK,UAAU,UAAU,QAAQ,SAAS,MAAM,CAAC;AACzD,YAAQ,KAAK,UAAU,mBAAmB,WAAW,SAAS,MAAM,CAAC;AAIrE,UAAM,mBAAmB,KAAK,cAAc;AAC5C,UAAM,aACJ,OAAO,qBAAqB,YAAY,mBACpC,mBACA;AACN,YAAQ,KAAK,UAAU,UAAU,UAAU,YAAY,UAAU,SAAS,MAAM,CAAC;AACjF,YAAQ,KAAK,UAAU,UAAU,UAAU,eAAe,QAAQ,SAAS,MAAM,CAAC;AAAA,EACpF;AACA,SAAO;AACT;AAEA,SAAS,kBACP,MACA,SACe;AACf,UAAQ,KAAK,UAAU;AAAA,IACrB,KAAK;AACH,aAAO,sBAAsB,IAAI;AAAA,IACnC,KAAK;AACH,aAAO,oBAAoB,IAAI;AAAA,IACjC,KAAK;AACH,aAAO,kBAAkB,IAAI;AAAA,IAC/B,KAAK;AACH,aAAO,yBAAyB,IAAI;AAAA,IACtC,KAAK;AACH,aAAO;AAAA,QACL,IAAI,KAAK,cAAc,CAAC,GACrB,OAAO,CAAC,aAAa,SAAS,UAAU,IAAI,EAC5C,QAAQ,CAAC,aAAa,yBAAyB,UAAU,KAAK,QAAQ,OAAO,CAAC;AAAA,QACjF,GAAG,yBAAyB,MAAM,OAAO;AAAA,MAC3C;AAAA,IACF;AACE,aAAO,CAAC;AAAA,EACZ;AACF;AAEA,SAAS,mBAAmB,MAAiB,eAAyC;AACpF,MAAI,cAAc,WAAW,EAAG,QAAO;AACvC,QAAM,SAAoB,IAAI,IAAI,IAAI;AACtC,aAAW,SAAS,eAAe;AACjC,WAAO,IAAI,MAAM,MAAM,KAAK;AAAA,EAC9B;AACA,SAAO;AACT;AAEA,SAAS,WAAW,QAAgC;AAClD,MAAI,OAAO,WAAW,EAAG,QAAO,OAAO,CAAC;AACxC,QAAM,SAAoB,oBAAI,IAAI;AAClC,QAAM,WAAW,oBAAI,IAAY;AACjC,aAAW,SAAS,QAAQ;AAC1B,eAAW,QAAQ,MAAM,KAAK,EAAG,UAAS,IAAI,IAAI;AAAA,EACpD;AACA,aAAW,QAAQ,UAAU;AAC3B,UAAM,UAAU,OAAO,OAAO,CAAC,UAAU,MAAM,IAAI,IAAI,CAAC;AACxD,UAAM,QAAQ,QAAQ,CAAC,EAAE,IAAI,IAAI;AACjC,UAAM,eAAe,QAAQ,WAAW,OAAO;AAC/C,UAAM,qBAAqB,gBAAgB,QAAQ,MAAM,CAAC,UAAU,MAAM,IAAI,IAAI,GAAG,aAAa,QAAQ;AAC1G,UAAM,aAAa,QAAQ,MAAM,CAAC,UAAU,MAAM,IAAI,IAAI,GAAG,SAAS,MAAM,IAAI;AAChF,WAAO,IAAI,MAAM;AAAA,MACf;AAAA,MACA,MAAM,aAAa,MAAM,OAAO;AAAA,MAChC,UAAU,qBAAqB,WAAW;AAAA,MAC1C,QAAQ,MAAM;AAAA,IAChB,CAAC;AAAA,EACH;AACA,SAAO;AACT;AAEA,MAAM,uBAAuB;AAE7B,SAAS,mBAAmB,QAAkC;AAC5D,MAAI,WAAW,KAAM,QAAO;AAC5B,QAAM,QAAkB,CAAC;AACzB,aAAW,QAAQ,CAAC,GAAG,OAAO,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,UAAU,KAAK,cAAc,KAAK,CAAC,GAAG;AACtF,UAAM,QAAQ,OAAO,IAAI,IAAI;AAC7B,UAAM,KAAK,GAAG,IAAI,IAAI,MAAM,IAAI,IAAI,MAAM,QAAQ,IAAI,MAAM,OAAO,IAAI,IAAI,MAAM,OAAO,UAAU,EAAE,IAAI,MAAM,OAAO,cAAc,EAAE,IAAI,MAAM,OAAO,KAAK,EAAE;AAAA,EAC/J;AACA,SAAO,MAAM,KAAK,GAAG;AACvB;AAEA,SAAS,oBAAoB,YAAmD;AAC9E,QAAM,aAAa,WAAW,MAAM,OAAO,CAAC,SAAS,KAAK,aAAa,OAAO;AAC9E,MAAI,WAAW,SAAS,EAAG,QAAO,IAAI,IAAI,WAAW,IAAI,CAAC,SAAS,KAAK,MAAM,CAAC;AAC/E,QAAM,YAAY,IAAI,IAAI,WAAW,YAAY,IAAI,CAAC,eAAe,WAAW,QAAQ,CAAC;AACzF,SAAO,IAAI,IAAI,WAAW,MAAM,OAAO,CAAC,SAAS,CAAC,UAAU,IAAI,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,SAAS,KAAK,MAAM,CAAC;AAC1G;AAEA,SAAS,qBACP,YACA,UACwB;AACxB,QAAM,WAAW,IAAI,IAAI,WAAW,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC;AAC5E,QAAM,aAAa,oBAAI,IAAsB;AAC7C,aAAW,cAAc,WAAW,aAAa;AAC/C,UAAM,OAAO,WAAW,IAAI,WAAW,UAAU,KAAK,CAAC;AACvD,SAAK,KAAK,WAAW,QAAQ;AAC7B,eAAW,IAAI,WAAW,YAAY,IAAI;AAAA,EAC5C;AAEA,QAAM,UAAU,oBAAI,IAAY;AAChC,QAAM,UAAkC,CAAC;AACzC,QAAM,QAAQ,WAAW,MAAM,OAAO,CAAC,SAAS,SAAS,IAAI,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,SAAS,KAAK,MAAM;AACpG,SAAO,MAAM,SAAS,GAAG;AACvB,UAAM,SAAS,MAAM,MAAM;AAC3B,QAAI,QAAQ,IAAI,MAAM,EAAG;AACzB,YAAQ,IAAI,MAAM;AAClB,UAAM,OAAO,SAAS,IAAI,MAAM;AAChC,QAAI,KAAM,SAAQ,KAAK,IAAI;AAC3B,eAAW,aAAa,WAAW,IAAI,MAAM,KAAK,CAAC,GAAG;AACpD,UAAI,CAAC,QAAQ,IAAI,SAAS,EAAG,OAAM,KAAK,SAAS;AAAA,IACnD;AAAA,EACF;AACA,aAAW,QAAQ,WAAW,OAAO;AACnC,QAAI,CAAC,QAAQ,IAAI,KAAK,MAAM,EAAG,SAAQ,KAAK,IAAI;AAAA,EAClD;AACA,SAAO;AACT;AAEO,SAAS,qBACd,YACA,UAAuC,CAAC,GACzB;AACf,QAAM,WAAW,oBAAoB,UAAU;AAC/C,QAAM,eAAe,qBAAqB,YAAY,QAAQ;AAC9D,QAAM,WAAW,IAAI,IAAI,WAAW,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC;AAE5E,QAAM,sBAAsB,oBAAI,IAA0C;AAC1E,aAAW,cAAc,WAAW,aAAa;AAC/C,QAAI,CAAC,SAAS,IAAI,WAAW,UAAU,KAAK,CAAC,SAAS,IAAI,WAAW,QAAQ,EAAG;AAChF,UAAM,OAAO,oBAAoB,IAAI,WAAW,QAAQ,KAAK,CAAC;AAC9D,SAAK,KAAK,UAAU;AACpB,wBAAoB,IAAI,WAAW,UAAU,IAAI;AAAA,EACnD;AAEA,QAAM,eAA0B,mBAAmB,oBAAI,IAAI,GAAG,qBAAqB,YAAY,OAAO,CAAC;AACvG,QAAM,WAAW,IAAI;AAAA,IACnB,WAAW,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,QAAQ,IAAI,CAAC;AAAA,EACpD;AAEA,QAAM,aAAa,CAAC,WAAqC;AACvD,UAAM,eAAe,SAAS,IAAI,MAAM;AACxC,QAAI,iBAAiB,QAAQ,iBAAiB,OAAW,QAAO;AAChE,UAAM,OAAO,SAAS,IAAI,MAAM;AAChC,QAAI,CAAC,KAAM,QAAO;AAClB,WAAO,mBAAmB,cAAc,kBAAkB,MAAM,OAAO,CAAC;AAAA,EAC1E;AAEA,QAAM,YAAY,WAAW,MAAM,SAAS,IAAI;AAChD,WAAS,OAAO,GAAG,OAAO,WAAW,QAAQ,GAAG;AAC9C,QAAI,UAAU;AACd,eAAW,QAAQ,cAAc;AAC/B,YAAM,SAAsB,CAAC;AAC7B,UAAI,SAAS,IAAI,KAAK,MAAM,GAAG;AAC7B,eAAO,KAAK,YAAY;AAAA,MAC1B;AACA,iBAAW,cAAc,oBAAoB,IAAI,KAAK,MAAM,KAAK,CAAC,GAAG;AACnE,cAAM,iBAAiB,WAAW,WAAW,UAAU;AACvD,YAAI,mBAAmB,KAAM;AAC7B,eAAO,KAAK,mBAAmB,gBAAgB,wBAAwB,YAAY,OAAO,CAAC,CAAC;AAAA,MAC9F;AACA,YAAM,eAAe,OAAO,WAAW,IAAI,OAAO,WAAW,MAAM;AACnE,UAAI,mBAAmB,YAAY,MAAM,mBAAmB,SAAS,IAAI,KAAK,MAAM,KAAK,IAAI,GAAG;AAC9F,iBAAS,IAAI,KAAK,QAAQ,YAAY;AACtC,kBAAU;AAAA,MACZ;AAAA,IACF;AACA,QAAI,CAAC,QAAS;AAAA,EAChB;AAEA,QAAM,QAAwC,CAAC;AAC/C,aAAW,QAAQ,WAAW,OAAO;AACnC,UAAM,SAAS,SAAS,IAAI,KAAK,MAAM;AACvC,UAAM,UAAU,SACZ,CAAC,GAAG,OAAO,OAAO,CAAC,EAAE,KAAK,CAAC,MAAM,UAAU,KAAK,KAAK,cAAc,MAAM,IAAI,CAAC,IAC9E,CAAC;AACL,UAAM,KAAK,MAAM,IAAI,EAAE,QAAQ;AAAA,EACjC;AAEA,SAAO,EAAE,MAAM;AACjB;",
+  "names": []
+}

package/dist/modules/workflows/lib/crud-form-dialogs-flag.js

@@ -0,0 +1,8 @@
+import { parseBooleanWithDefault } from "@open-mercato/shared/lib/boolean";
+function resolveCrudFormDialogsEnabled(rawFlag) {
+  return parseBooleanWithDefault(rawFlag, true);
+}
+export {
+  resolveCrudFormDialogsEnabled
+};
+//# sourceMappingURL=crud-form-dialogs-flag.js.map

package/dist/modules/workflows/lib/crud-form-dialogs-flag.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../../src/modules/workflows/lib/crud-form-dialogs-flag.ts"],
+  "sourcesContent": ["import { parseBooleanWithDefault } from '@open-mercato/shared/lib/boolean'\n\nexport function resolveCrudFormDialogsEnabled(rawFlag: string | undefined): boolean {\n  return parseBooleanWithDefault(rawFlag, true)\n}\n"],
+  "mappings": "AAAA,SAAS,+BAA+B;AAEjC,SAAS,8BAA8B,SAAsC;AAClF,SAAO,wBAAwB,SAAS,IAAI;AAC9C;",
+  "names": []
+}

package/dist/modules/workflows/lib/data-edge-mapping.js

@@ -0,0 +1,63 @@
+const IN_PORT_PREFIX = "in:";
+const OUT_PORT_PREFIX = "out:";
+const DATA_MAPPING_EDGE_TYPE = "workflowDataMapping";
+function deriveParentPath(connection) {
+  const sourceHandle = connection.sourceHandle || "";
+  if (sourceHandle.startsWith(OUT_PORT_PREFIX)) {
+    return sourceHandle.slice(OUT_PORT_PREFIX.length);
+  }
+  return connection.source || "";
+}
+function classifyConnection(connection) {
+  const targetHandle = connection.targetHandle || "";
+  const sourceHandle = connection.sourceHandle || "";
+  if (targetHandle.startsWith(IN_PORT_PREFIX)) {
+    return {
+      kind: "data-mapping",
+      targetNodeId: connection.target || "",
+      childPortKey: targetHandle.slice(IN_PORT_PREFIX.length),
+      parentPath: deriveParentPath(connection)
+    };
+  }
+  if (sourceHandle.startsWith(OUT_PORT_PREFIX)) {
+    return { kind: "data-ignored" };
+  }
+  return { kind: "control" };
+}
+function dataMappingEdgeId(targetNodeId, childPortKey) {
+  return `data:${targetNodeId}:${childPortKey}`;
+}
+function buildDataMappingEdge(connection, childPortKey) {
+  return {
+    id: dataMappingEdgeId(connection.target || "", childPortKey),
+    source: connection.source || "",
+    target: connection.target || "",
+    sourceHandle: connection.sourceHandle || void 0,
+    targetHandle: connection.targetHandle || void 0,
+    type: DATA_MAPPING_EDGE_TYPE
+  };
+}
+function applyInputMappingToNodes(nodes, targetNodeId, childPortKey, parentPath) {
+  return nodes.map((node) => {
+    if (node.id !== targetNodeId) return node;
+    const data = node.data || {};
+    const config = data.config || {};
+    const inputMapping = { ...config.inputMapping || {}, [childPortKey]: parentPath };
+    return { ...node, data: { ...data, config: { ...config, inputMapping } } };
+  });
+}
+function isDataMappingEdge(edge) {
+  return edge.type === DATA_MAPPING_EDGE_TYPE;
+}
+export {
+  DATA_MAPPING_EDGE_TYPE,
+  IN_PORT_PREFIX,
+  OUT_PORT_PREFIX,
+  applyInputMappingToNodes,
+  buildDataMappingEdge,
+  classifyConnection,
+  dataMappingEdgeId,
+  deriveParentPath,
+  isDataMappingEdge
+};
+//# sourceMappingURL=data-edge-mapping.js.map

package/dist/modules/workflows/lib/data-edge-mapping.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../../src/modules/workflows/lib/data-edge-mapping.ts"],
+  "sourcesContent": ["/**\n * Workflows Module - Data-edge field mapping\n *\n * Pure helpers that let a SUB_WORKFLOW field mapping be authored by dragging a\n * connection to a child IN port, as an alternative to the key/value form. A\n * data-port connection is persisted as the SAME `config.inputMapping` shape the\n * form writes (`{ childPortKey: parentDotPath }`) and rendered as a distinct\n * \"data\" edge rather than a control-flow transition.\n *\n * Port handle ids (from the SubWorkflowNode): `in:<key>` (child input target),\n * `out:<key>` (child output source). Control-flow handles keep ids\n * `target` / `source`.\n */\n\nimport type { Connection, Edge, Node } from '@xyflow/react'\n\nexport const IN_PORT_PREFIX = 'in:'\nexport const OUT_PORT_PREFIX = 'out:'\n\n/** Edge type used for drag-authored field mappings (not a transition). */\nexport const DATA_MAPPING_EDGE_TYPE = 'workflowDataMapping'\n\nexport type ConnectionClassification =\n  | { kind: 'control' }\n  | { kind: 'data-mapping'; targetNodeId: string; childPortKey: string; parentPath: string }\n  | { kind: 'data-ignored' }\n\n/**\n * Derive the parent-context dot-path a data connection maps from.\n *\n * MVP (per spec D3 \u2014 no per-node typed output ports yet): when the source is a\n * child OUT port (`out:<name>`) use that port name; otherwise fall back to the\n * source node id. Either way the value is a plain dot-path the user can refine\n * in the key/value form.\n */\nexport function deriveParentPath(connection: Connection): string {\n  const sourceHandle = connection.sourceHandle || ''\n  if (sourceHandle.startsWith(OUT_PORT_PREFIX)) {\n    return sourceHandle.slice(OUT_PORT_PREFIX.length)\n  }\n  return connection.source || ''\n}\n\n/**\n * Classify a new connection:\n * - `data-mapping` \u2014 the target is a child IN port (`in:<key>`); becomes an\n *   `inputMapping` entry + a data edge, never a transition.\n * - `data-ignored` \u2014 dragged from an OUT port but not onto an IN port; there is\n *   no child port to bind, so it is dropped (no bogus transition is created).\n * - `control` \u2014 a plain control connection; keeps today's transition behaviour.\n */\nexport function classifyConnection(connection: Connection): ConnectionClassification {\n  const targetHandle = connection.targetHandle || ''\n  const sourceHandle = connection.sourceHandle || ''\n\n  if (targetHandle.startsWith(IN_PORT_PREFIX)) {\n    return {\n      kind: 'data-mapping',\n      targetNodeId: connection.target || '',\n      childPortKey: targetHandle.slice(IN_PORT_PREFIX.length),\n      parentPath: deriveParentPath(connection),\n    }\n  }\n\n  if (sourceHandle.startsWith(OUT_PORT_PREFIX)) {\n    return { kind: 'data-ignored' }\n  }\n\n  return { kind: 'control' }\n}\n\n/** Stable id for a data edge \u2014 one per (target node, child port). */\nexport function dataMappingEdgeId(targetNodeId: string, childPortKey: string): string {\n  return `data:${targetNodeId}:${childPortKey}`\n}\n\n/** Build the React Flow edge for a data mapping connection. */\nexport function buildDataMappingEdge(connection: Connection, childPortKey: string): Edge {\n  return {\n    id: dataMappingEdgeId(connection.target || '', childPortKey),\n    source: connection.source || '',\n    target: connection.target || '',\n    sourceHandle: connection.sourceHandle || undefined,\n    targetHandle: connection.targetHandle || undefined,\n    type: DATA_MAPPING_EDGE_TYPE,\n  }\n}\n\n/**\n * Apply a data mapping to the target node's `config.inputMapping`, returning a\n * new nodes array. The result matches the key/value form's shape exactly\n * (`config.inputMapping[childPortKey] = parentPath`).\n */\nexport function applyInputMappingToNodes(\n  nodes: Node[],\n  targetNodeId: string,\n  childPortKey: string,\n  parentPath: string,\n): Node[] {\n  return nodes.map((node) => {\n    if (node.id !== targetNodeId) return node\n    const data = (node.data || {}) as Record<string, any>\n    const config = (data.config || {}) as Record<string, any>\n    const inputMapping = { ...(config.inputMapping || {}), [childPortKey]: parentPath }\n    return { ...node, data: { ...data, config: { ...config, inputMapping } } }\n  })\n}\n\n/** True when an edge is a drag-authored data mapping (not a transition). */\nexport function isDataMappingEdge(edge: Pick<Edge, 'type'>): boolean {\n  return edge.type === DATA_MAPPING_EDGE_TYPE\n}\n"],
+  "mappings": "AAgBO,MAAM,iBAAiB;AACvB,MAAM,kBAAkB;AAGxB,MAAM,yBAAyB;AAe/B,SAAS,iBAAiB,YAAgC;AAC/D,QAAM,eAAe,WAAW,gBAAgB;AAChD,MAAI,aAAa,WAAW,eAAe,GAAG;AAC5C,WAAO,aAAa,MAAM,gBAAgB,MAAM;AAAA,EAClD;AACA,SAAO,WAAW,UAAU;AAC9B;AAUO,SAAS,mBAAmB,YAAkD;AACnF,QAAM,eAAe,WAAW,gBAAgB;AAChD,QAAM,eAAe,WAAW,gBAAgB;AAEhD,MAAI,aAAa,WAAW,cAAc,GAAG;AAC3C,WAAO;AAAA,MACL,MAAM;AAAA,MACN,cAAc,WAAW,UAAU;AAAA,MACnC,cAAc,aAAa,MAAM,eAAe,MAAM;AAAA,MACtD,YAAY,iBAAiB,UAAU;AAAA,IACzC;AAAA,EACF;AAEA,MAAI,aAAa,WAAW,eAAe,GAAG;AAC5C,WAAO,EAAE,MAAM,eAAe;AAAA,EAChC;AAEA,SAAO,EAAE,MAAM,UAAU;AAC3B;AAGO,SAAS,kBAAkB,cAAsB,cAA8B;AACpF,SAAO,QAAQ,YAAY,IAAI,YAAY;AAC7C;AAGO,SAAS,qBAAqB,YAAwB,cAA4B;AACvF,SAAO;AAAA,IACL,IAAI,kBAAkB,WAAW,UAAU,IAAI,YAAY;AAAA,IAC3D,QAAQ,WAAW,UAAU;AAAA,IAC7B,QAAQ,WAAW,UAAU;AAAA,IAC7B,cAAc,WAAW,gBAAgB;AAAA,IACzC,cAAc,WAAW,gBAAgB;AAAA,IACzC,MAAM;AAAA,EACR;AACF;AAOO,SAAS,yBACd,OACA,cACA,cACA,YACQ;AACR,SAAO,MAAM,IAAI,CAAC,SAAS;AACzB,QAAI,KAAK,OAAO,aAAc,QAAO;AACrC,UAAM,OAAQ,KAAK,QAAQ,CAAC;AAC5B,UAAM,SAAU,KAAK,UAAU,CAAC;AAChC,UAAM,eAAe,EAAE,GAAI,OAAO,gBAAgB,CAAC,GAAI,CAAC,YAAY,GAAG,WAAW;AAClF,WAAO,EAAE,GAAG,MAAM,MAAM,EAAE,GAAG,MAAM,QAAQ,EAAE,GAAG,QAAQ,aAAa,EAAE,EAAE;AAAA,EAC3E,CAAC;AACH;AAGO,SAAS,kBAAkB,MAAmC;AACnE,SAAO,KAAK,SAAS;AACvB;",
+  "names": []
+}