@open-mercato/core 0.7.1-develop.7193.1.910a5b0a1e → 0.7.1-develop.7194.1.ab4fc81f82

package/dist/modules/workflows/lib/flow-logic-warnings.js

@@ -0,0 +1,338 @@
+import { hasAllFeatures } from "@open-mercato/shared/security/features";
+import {
+  normalizeTaskEntityTypeSpelling,
+  resolveAliasedTaskEntityId
+} from "./task-entity-aliases.js";
+import { resolvesAgainstEntries } from "./expression-refs.js";
+import { validateErrorRoutes } from "./error-routing.js";
+import { validateOutcomeRoutes } from "./outcome-routing.js";
+import {
+  collectBranchingRouteWarnings,
+  collectDuplicateBranchingCaseWarnings
+} from "../data/branching-route-warnings.js";
+const UNCHECKED_CONDITION_ROOTS = ["triggerData", "workflow", "env", "now", "__error"];
+const ERROR_ROUTE_CODES = {
+  ERROR_ROUTE_UNKNOWN_SOURCE: "errorRouteUnknownSource",
+  ERROR_ROUTE_UNKNOWN_TARGET: "errorRouteUnknownTarget",
+  ERROR_ROUTE_DUPLICATE_TARGET: "errorRouteDuplicateTarget"
+};
+const OUTCOME_ROUTE_CODES = {
+  OUTCOME_ROUTE_UNKNOWN_KIND: "outcomeRouteUnknownKind",
+  OUTCOME_ROUTE_DUPLICATE_KIND: "outcomeRouteDuplicateKind"
+};
+function asArray(value) {
+  return Array.isArray(value) ? value : [];
+}
+function readString(source, key) {
+  if (!source || typeof source !== "object") return void 0;
+  const value = source[key];
+  return typeof value === "string" && value.length > 0 ? value : void 0;
+}
+function collectConditionFieldPaths(condition, acc = []) {
+  if (!condition || typeof condition !== "object") return acc;
+  const candidate = condition;
+  if (Array.isArray(candidate.rules)) {
+    for (const rule of candidate.rules) collectConditionFieldPaths(rule, acc);
+    return acc;
+  }
+  if (typeof candidate.field === "string" && candidate.field.length > 0) acc.push(candidate.field);
+  return acc;
+}
+function isCheckablePath(path) {
+  const [root] = path.split(".");
+  return !UNCHECKED_CONDITION_ROOTS.includes(root);
+}
+function warnUnresolvedPaths(paths, ledger, stepId, issuePath, warnings, seen) {
+  const view = ledger.steps[stepId];
+  if (!view) return;
+  for (const path of paths) {
+    if (!isCheckablePath(path)) continue;
+    if (resolvesAgainstEntries(path, view.entries)) continue;
+    const key = `${issuePath.join(".")}|${path}`;
+    if (seen.has(key)) continue;
+    seen.add(key);
+    warnings.push({ code: "conditionUnknownPath", path: issuePath, params: { path, stepId } });
+  }
+}
+function collectConditionPathWarnings(definition, ledger) {
+  const warnings = [];
+  const seen = /* @__PURE__ */ new Set();
+  asArray(definition.steps).forEach((step, stepIndex) => {
+    const stepId = readString(step, "stepId");
+    if (!stepId) return;
+    if (readString(step, "stepType") !== "WAIT_FOR_CONDITION") return;
+    const config = step.config;
+    const condition = config && typeof config === "object" ? config.condition : void 0;
+    warnUnresolvedPaths(
+      collectConditionFieldPaths(condition),
+      ledger,
+      stepId,
+      ["steps", stepIndex, "config", "condition"],
+      warnings,
+      seen
+    );
+  });
+  asArray(definition.transitions).forEach((transition, transitionIndex) => {
+    const toStepId = readString(transition, "toStepId");
+    if (!toStepId) return;
+    const condition = transition.condition;
+    warnUnresolvedPaths(
+      collectConditionFieldPaths(condition),
+      ledger,
+      toStepId,
+      ["transitions", transitionIndex, "condition"],
+      warnings,
+      seen
+    );
+  });
+  return warnings;
+}
+function collectUnmappedStepConfigWarnings(definition) {
+  const warnings = [];
+  asArray(definition.steps).forEach((step, stepIndex) => {
+    const stepId = readString(step, "stepId");
+    if (!stepId) return;
+    const metadata = step.metadata;
+    if (!metadata || typeof metadata !== "object") return;
+    const unmapped = metadata.unmappedConfig;
+    if (!unmapped || typeof unmapped !== "object") return;
+    const keys = Object.keys(unmapped);
+    if (keys.length === 0) return;
+    warnings.push({
+      code: "unmappedStepConfig",
+      path: ["steps", stepIndex],
+      params: { stepId, keys: keys.join(", ") }
+    });
+  });
+  return warnings;
+}
+function collectTaskDecisionWarnings(definition) {
+  const warnings = [];
+  const outgoingByStepId = /* @__PURE__ */ new Map();
+  for (const transition of asArray(definition.transitions)) {
+    const fromStepId = readString(transition, "fromStepId");
+    const transitionId = readString(transition, "transitionId");
+    if (!fromStepId || !transitionId) continue;
+    const existing = outgoingByStepId.get(fromStepId);
+    if (existing) existing.add(transitionId);
+    else outgoingByStepId.set(fromStepId, /* @__PURE__ */ new Set([transitionId]));
+  }
+  asArray(definition.steps).forEach((step, stepIndex) => {
+    const stepId = readString(step, "stepId");
+    if (!stepId) return;
+    const config = step.userTaskConfig;
+    if (!config || typeof config !== "object") return;
+    const decisions = asArray(config.decisions);
+    if (decisions.length === 0) return;
+    const outgoing = outgoingByStepId.get(stepId) ?? /* @__PURE__ */ new Set();
+    const seenIds = /* @__PURE__ */ new Set();
+    for (const decision of decisions) {
+      const decisionId = readString(decision, "id");
+      const transitionId = readString(decision, "transitionId");
+      if (decisionId) {
+        if (seenIds.has(decisionId)) {
+          warnings.push({
+            code: "taskDecisionDuplicateId",
+            path: ["steps", stepIndex],
+            params: { stepId, decisionId }
+          });
+        }
+        seenIds.add(decisionId);
+      }
+      if (transitionId && !outgoing.has(transitionId)) {
+        warnings.push({
+          code: "taskDecisionUnknownRoute",
+          path: ["steps", stepIndex],
+          params: { stepId, decisionId: decisionId ?? "", transitionId }
+        });
+      }
+    }
+  });
+  return warnings;
+}
+const ENTITY_ID_SHAPE = /^[a-z][a-z0-9_]*:[a-z][a-z0-9_]*$/;
+function readUserTaskConfig(step) {
+  const config = step.userTaskConfig;
+  if (!config || typeof config !== "object" || Array.isArray(config)) return null;
+  return config;
+}
+function isUserTaskStep(step) {
+  return readString(step, "stepType") === "USER_TASK";
+}
+function hasAssignee(config) {
+  const assignedTo = config.assignedTo;
+  if (typeof assignedTo === "string") return assignedTo.trim().length > 0;
+  if (Array.isArray(assignedTo)) {
+    return assignedTo.some((entry) => typeof entry === "string" && entry.trim().length > 0);
+  }
+  return false;
+}
+function assignedRoleNames(config) {
+  const roles = config.assignedToRoles;
+  if (!Array.isArray(roles)) return [];
+  return roles.filter((role) => typeof role === "string" && role.trim().length > 0);
+}
+function collectTaskOwnerWarnings(definition) {
+  const warnings = [];
+  asArray(definition.steps).forEach((step, stepIndex) => {
+    if (!isUserTaskStep(step)) return;
+    const stepId = readString(step, "stepId");
+    if (!stepId) return;
+    const config = readUserTaskConfig(step);
+    if (!config) return;
+    if (hasAssignee(config)) return;
+    if (assignedRoleNames(config).length > 0) return;
+    if (readString(config, "assignmentRule")) return;
+    warnings.push({
+      code: "taskWithoutOwner",
+      path: ["steps", stepIndex],
+      params: { stepId },
+      severity: "warning"
+    });
+  });
+  return warnings;
+}
+function collectPortalTaskBindingWarnings(definition) {
+  const warnings = [];
+  asArray(definition.steps).forEach((step, stepIndex) => {
+    if (!isUserTaskStep(step)) return;
+    const stepId = readString(step, "stepId");
+    if (!stepId) return;
+    const config = readUserTaskConfig(step);
+    if (!config) return;
+    if (config.assigneeKind !== "customer") return;
+    if (asArray(config.entityBindings).length > 0) return;
+    warnings.push({
+      code: "taskPortalWithoutBinding",
+      path: ["steps", stepIndex],
+      params: { stepId },
+      severity: "warning"
+    });
+  });
+  return warnings;
+}
+function collectTaskBindingWarnings(definition, options = {}) {
+  const warnings = [];
+  asArray(definition.steps).forEach((step, stepIndex) => {
+    if (!isUserTaskStep(step)) return;
+    const stepId = readString(step, "stepId");
+    if (!stepId) return;
+    const config = readUserTaskConfig(step);
+    if (!config) return;
+    const bindings = asArray(config.entityBindings);
+    if (bindings.length === 0) return;
+    const roles = assignedRoleNames(config);
+    for (const binding of bindings) {
+      const authored = readString(binding, "entityType");
+      if (!authored) continue;
+      const normalized = normalizeTaskEntityTypeSpelling(authored);
+      const entityId = resolveAliasedTaskEntityId(normalized) ?? normalized;
+      const known = options.knownEntityIds;
+      const resolves = known ? known.has(entityId) : ENTITY_ID_SHAPE.test(entityId);
+      if (!resolves) {
+        warnings.push({
+          code: "taskBindingUnknownEntityType",
+          path: ["steps", stepIndex],
+          params: { stepId, entityType: authored },
+          severity: "error"
+        });
+        continue;
+      }
+      const access = options.assigneeEntityAccess;
+      if (!access || roles.length === 0) continue;
+      const required = access.entityViewRequirements[entityId];
+      if (!required || required.length === 0) continue;
+      const blindRoles = roles.filter((role) => {
+        const granted = access.roleFeatures[role];
+        if (!granted) return false;
+        return !hasAllFeatures(granted, required);
+      });
+      if (blindRoles.length > 0) {
+        warnings.push({
+          code: "taskBindingAssigneeCannotView",
+          path: ["steps", stepIndex],
+          params: { stepId, entityType: authored, roles: blindRoles.join(", ") }
+        });
+      }
+    }
+  });
+  return warnings;
+}
+function collectErrorRouteWarnings(definition) {
+  const transitions = asArray(definition.transitions);
+  const indexByTransitionId = /* @__PURE__ */ new Map();
+  transitions.forEach((transition, index) => {
+    const transitionId = readString(transition, "transitionId");
+    if (transitionId) indexByTransitionId.set(transitionId, index);
+  });
+  return validateErrorRoutes(definition).map((issue) => {
+    const index = issue.transitionId ? indexByTransitionId.get(issue.transitionId) : void 0;
+    return {
+      code: ERROR_ROUTE_CODES[issue.code] ?? "errorRouteDuplicateTarget",
+      path: index === void 0 ? [] : ["transitions", index],
+      params: {
+        transitionId: issue.transitionId ?? "",
+        stepId: issue.stepId ?? ""
+      }
+    };
+  });
+}
+function collectOutcomeRouteWarnings(definition) {
+  const transitions = asArray(definition.transitions);
+  const indexByTransitionId = /* @__PURE__ */ new Map();
+  transitions.forEach((transition, index) => {
+    const transitionId = readString(transition, "transitionId");
+    if (transitionId) indexByTransitionId.set(transitionId, index);
+  });
+  return validateOutcomeRoutes(definition).map((issue) => {
+    const index = issue.transitionId ? indexByTransitionId.get(issue.transitionId) : void 0;
+    return {
+      code: OUTCOME_ROUTE_CODES[issue.code] ?? "outcomeRouteUnknownKind",
+      path: index === void 0 ? [] : ["transitions", index],
+      params: {
+        transitionId: issue.transitionId ?? "",
+        stepId: issue.stepId ?? "",
+        outcomeKind: readString(index === void 0 ? null : transitions[index], "outcomeKind") ?? ""
+      }
+    };
+  });
+}
+function collectFlowLogicWarnings(definition, options = {}) {
+  if (!definition) return [];
+  const warnings = [
+    ...collectErrorRouteWarnings(definition),
+    ...collectOutcomeRouteWarnings(definition),
+    ...collectUnmappedStepConfigWarnings(definition),
+    ...collectTaskDecisionWarnings(definition),
+    ...collectTaskOwnerWarnings(definition),
+    ...collectPortalTaskBindingWarnings(definition),
+    ...collectTaskBindingWarnings(definition, options),
+    ...collectBranchingRouteWarnings(definition).map((warning) => ({
+      code: "branchingWithoutOtherwise",
+      path: warning.path,
+      params: { stepId: warning.stepId, stepType: warning.stepType }
+    })),
+    ...collectDuplicateBranchingCaseWarnings(definition).map((warning) => ({
+      code: "duplicateBranchingCase",
+      path: warning.path,
+      params: { stepId: warning.stepId, stepType: warning.stepType, caseValue: warning.caseValue }
+    }))
+  ];
+  if (options.ledger) {
+    warnings.push(...collectConditionPathWarnings(definition, options.ledger));
+  }
+  return warnings;
+}
+export {
+  collectConditionFieldPaths,
+  collectConditionPathWarnings,
+  collectErrorRouteWarnings,
+  collectFlowLogicWarnings,
+  collectOutcomeRouteWarnings,
+  collectPortalTaskBindingWarnings,
+  collectTaskBindingWarnings,
+  collectTaskDecisionWarnings,
+  collectTaskOwnerWarnings,
+  collectUnmappedStepConfigWarnings
+};
+//# sourceMappingURL=flow-logic-warnings.js.map

package/dist/modules/workflows/lib/flow-logic-warnings.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../../src/modules/workflows/lib/flow-logic-warnings.ts"],
+  "sourcesContent": ["/**\n * Workflows Module - Flow-logic + ledger author-time checks (pure)\n *\n * Step 2.12 of the Phase 3a workstream: the Problems panel learns the Phase 3a\n * vocabulary \u2014 error routes (spec 5.9), branching routes (5.8), and condition\n * field paths checked against the context ledger (3.5).\n *\n * Every warning here is a WARNING and never blocks a save. That is a standing\n * module decision, not an accident: flow logic is transition sugar, a definition\n * missing an otherwise route (or naming a path a later edit will provide) stays\n * structurally valid, and the editor must never trap work in an unsaveable\n * state. Structural graph problems keep coming from `validateWorkflowGraph` and\n * stay errors.\n *\n * PURE: no React, no ORM, no DI, no xyflow. Callers supply the plain definition\n * JSON and (optionally) an already-computed ledger.\n */\n\nimport { hasAllFeatures } from '@open-mercato/shared/security/features'\nimport type { ContextLedger } from './context-ledger'\nimport {\n  normalizeTaskEntityTypeSpelling,\n  resolveAliasedTaskEntityId,\n} from './task-entity-aliases'\nimport { resolvesAgainstEntries } from './expression-refs'\nimport { validateErrorRoutes, type ErrorRoutingDefinitionLike } from './error-routing'\nimport { validateOutcomeRoutes } from './outcome-routing'\nimport {\n  collectBranchingRouteWarnings,\n  collectDuplicateBranchingCaseWarnings,\n} from '../data/branching-route-warnings'\n\nexport type FlowLogicWarningCode =\n  | 'errorRouteUnknownSource'\n  | 'errorRouteUnknownTarget'\n  | 'errorRouteDuplicateTarget'\n  | 'branchingWithoutOtherwise'\n  | 'duplicateBranchingCase'\n  | 'conditionUnknownPath'\n  | 'unmappedStepConfig'\n  | 'taskDecisionUnknownRoute'\n  | 'taskDecisionDuplicateId'\n  | 'taskWithoutOwner'\n  | 'taskPortalWithoutBinding'\n  | 'taskBindingUnknownEntityType'\n  | 'taskBindingAssigneeCannotView'\n  | 'outcomeRouteUnknownKind'\n  | 'outcomeRouteDuplicateKind'\n\nexport interface FlowLogicWarning {\n  code: FlowLogicWarningCode\n  /** Zod-style path so the Problems panel can map the warning to a node/edge. */\n  path: Array<string | number>\n  params: Record<string, string>\n  /**\n   * `'error'` for the ONE \u00A76.4 check that describes an authoring mistake with no\n   * runtime remedy, `undefined` (\u21D2 warning) for everything else.\n   *\n   * The standing module rule is that flow-logic findings never block a save,\n   * because flow logic is transition sugar and a path a later edit will provide\n   * must not trap work in an unsaveable state. The unknown-entity-type check is\n   * the one finding that earns an exception: a type the gate cannot normalize\n   * hides the task from its own assignee silently, and nothing at runtime can\n   * repair it \u2014 only re-authoring the binding can.\n   *\n   * An owner-less task is deliberately NOT an error, even though the run parks\n   * at it. Reassignment (`POST /api/workflows/tasks/[id]/reassign`) is the\n   * runtime remedy, the act routes already refuse clearly with a 403 that names\n   * it rather than failing silently, and definitions authored before this check\n   * existed must not become unsaveable to an author who opened one to fix\n   * something unrelated.\n   */\n  severity?: 'error' | 'warning'\n}\n\nexport type FlowLogicDefinition = ErrorRoutingDefinitionLike\n\n/**\n * Context roots a condition may name that the ledger deliberately does not\n * model: the trigger payload the evaluator merges in, engine-provided values,\n * and the engine-owned failure record an error route publishes.\n */\nconst UNCHECKED_CONDITION_ROOTS = ['triggerData', 'workflow', 'env', 'now', '__error']\n\nconst ERROR_ROUTE_CODES: Record<string, FlowLogicWarningCode> = {\n  ERROR_ROUTE_UNKNOWN_SOURCE: 'errorRouteUnknownSource',\n  ERROR_ROUTE_UNKNOWN_TARGET: 'errorRouteUnknownTarget',\n  ERROR_ROUTE_DUPLICATE_TARGET: 'errorRouteDuplicateTarget',\n}\n\nconst OUTCOME_ROUTE_CODES: Record<string, FlowLogicWarningCode> = {\n  OUTCOME_ROUTE_UNKNOWN_KIND: 'outcomeRouteUnknownKind',\n  OUTCOME_ROUTE_DUPLICATE_KIND: 'outcomeRouteDuplicateKind',\n}\n\nfunction asArray(value: unknown): unknown[] {\n  return Array.isArray(value) ? value : []\n}\n\nfunction readString(source: unknown, key: string): string | undefined {\n  if (!source || typeof source !== 'object') return undefined\n  const value = (source as Record<string, unknown>)[key]\n  return typeof value === 'string' && value.length > 0 ? value : undefined\n}\n\n/** Every `field` path a ConditionExpression names, groups walked recursively. */\nexport function collectConditionFieldPaths(condition: unknown, acc: string[] = []): string[] {\n  if (!condition || typeof condition !== 'object') return acc\n  const candidate = condition as { field?: unknown; rules?: unknown }\n  if (Array.isArray(candidate.rules)) {\n    for (const rule of candidate.rules) collectConditionFieldPaths(rule, acc)\n    return acc\n  }\n  if (typeof candidate.field === 'string' && candidate.field.length > 0) acc.push(candidate.field)\n  return acc\n}\n\nfunction isCheckablePath(path: string): boolean {\n  const [root] = path.split('.')\n  return !UNCHECKED_CONDITION_ROOTS.includes(root)\n}\n\nfunction warnUnresolvedPaths(\n  paths: string[],\n  ledger: ContextLedger,\n  stepId: string,\n  issuePath: Array<string | number>,\n  warnings: FlowLogicWarning[],\n  seen: Set<string>,\n): void {\n  const view = ledger.steps[stepId]\n  if (!view) return\n  for (const path of paths) {\n    if (!isCheckablePath(path)) continue\n    if (resolvesAgainstEntries(path, view.entries)) continue\n    const key = `${issuePath.join('.')}|${path}`\n    if (seen.has(key)) continue\n    seen.add(key)\n    warnings.push({ code: 'conditionUnknownPath', path: issuePath, params: { path, stepId } })\n  }\n}\n\n/**\n * Condition field paths that no producer upstream provides \u2014 the check that\n * catches a WAIT_FOR_CONDITION predicate or a route condition left dangling by\n * an upstream edit (a reattached edge, a converted step, a renamed output).\n *\n * A transition's condition is checked against its TARGET step's incoming view,\n * the same over-approximation `findUnresolvedRefs` uses for transition\n * activities: it can only suppress warnings, never fabricate them.\n */\nexport function collectConditionPathWarnings(\n  definition: FlowLogicDefinition,\n  ledger: ContextLedger,\n): FlowLogicWarning[] {\n  const warnings: FlowLogicWarning[] = []\n  const seen = new Set<string>()\n\n  asArray(definition.steps).forEach((step, stepIndex) => {\n    const stepId = readString(step, 'stepId')\n    if (!stepId) return\n    if (readString(step, 'stepType') !== 'WAIT_FOR_CONDITION') return\n    const config = (step as { config?: unknown }).config\n    const condition = config && typeof config === 'object' ? (config as { condition?: unknown }).condition : undefined\n    warnUnresolvedPaths(\n      collectConditionFieldPaths(condition),\n      ledger,\n      stepId,\n      ['steps', stepIndex, 'config', 'condition'],\n      warnings,\n      seen,\n    )\n  })\n\n  asArray(definition.transitions).forEach((transition, transitionIndex) => {\n    const toStepId = readString(transition, 'toStepId')\n    if (!toStepId) return\n    const condition = (transition as { condition?: unknown }).condition\n    warnUnresolvedPaths(\n      collectConditionFieldPaths(condition),\n      ledger,\n      toStepId,\n      ['transitions', transitionIndex, 'condition'],\n      warnings,\n      seen,\n    )\n  })\n\n  return warnings\n}\n\n/**\n * Config a step-type conversion could not map onto the new type (spec 4.5).\n * It is quarantined under `metadata.unmappedConfig` rather than dropped, so the\n * author is told it is parked and no longer executed.\n */\nexport function collectUnmappedStepConfigWarnings(definition: FlowLogicDefinition): FlowLogicWarning[] {\n  const warnings: FlowLogicWarning[] = []\n  asArray(definition.steps).forEach((step, stepIndex) => {\n    const stepId = readString(step, 'stepId')\n    if (!stepId) return\n    const metadata = (step as { metadata?: unknown }).metadata\n    if (!metadata || typeof metadata !== 'object') return\n    const unmapped = (metadata as Record<string, unknown>).unmappedConfig\n    if (!unmapped || typeof unmapped !== 'object') return\n    const keys = Object.keys(unmapped as Record<string, unknown>)\n    if (keys.length === 0) return\n    warnings.push({\n      code: 'unmappedStepConfig',\n      path: ['steps', stepIndex],\n      params: { stepId, keys: keys.join(', ') },\n    })\n  })\n  return warnings\n}\n\n/**\n * Decision buttons that no longer describe a choice the engine can make\n * (spec \u00A76.1, section 5).\n *\n * A decision is bound to a transition's DURABLE id, so route reordering,\n * relabelling and endpoint reattachment all leave it intact by construction.\n * What CAN break it is deleting the route, or rewiring it to leave a different\n * step \u2014 and both are ordinary editing gestures, so this is a WARNING like\n * every other flow-logic check: the definition stays saveable and the author\n * decides whether to re-point the button or drop it.\n *\n * The check is against the step's OUTGOING routes rather than every transition\n * in the definition, because completing a task advances from that step: a\n * decision pointing anywhere else could never be followed.\n */\nexport function collectTaskDecisionWarnings(definition: FlowLogicDefinition): FlowLogicWarning[] {\n  const warnings: FlowLogicWarning[] = []\n  const outgoingByStepId = new Map<string, Set<string>>()\n\n  for (const transition of asArray(definition.transitions)) {\n    const fromStepId = readString(transition, 'fromStepId')\n    const transitionId = readString(transition, 'transitionId')\n    if (!fromStepId || !transitionId) continue\n    const existing = outgoingByStepId.get(fromStepId)\n    if (existing) existing.add(transitionId)\n    else outgoingByStepId.set(fromStepId, new Set([transitionId]))\n  }\n\n  asArray(definition.steps).forEach((step, stepIndex) => {\n    const stepId = readString(step, 'stepId')\n    if (!stepId) return\n    const config = (step as { userTaskConfig?: unknown }).userTaskConfig\n    if (!config || typeof config !== 'object') return\n    const decisions = asArray((config as Record<string, unknown>).decisions)\n    if (decisions.length === 0) return\n\n    const outgoing = outgoingByStepId.get(stepId) ?? new Set<string>()\n    const seenIds = new Set<string>()\n\n    for (const decision of decisions) {\n      const decisionId = readString(decision, 'id')\n      const transitionId = readString(decision, 'transitionId')\n      if (decisionId) {\n        if (seenIds.has(decisionId)) {\n          warnings.push({\n            code: 'taskDecisionDuplicateId',\n            path: ['steps', stepIndex],\n            params: { stepId, decisionId },\n          })\n        }\n        seenIds.add(decisionId)\n      }\n      if (transitionId && !outgoing.has(transitionId)) {\n        warnings.push({\n          code: 'taskDecisionUnknownRoute',\n          path: ['steps', stepIndex],\n          params: { stepId, decisionId: decisionId ?? '', transitionId },\n        })\n      }\n    }\n  })\n\n  return warnings\n}\n\n/**\n * What a caller can tell the binding checks about the world outside the\n * definition. Every field is optional and a missing one SKIPS its check rather\n * than guessing \u2014 the browser has no ACL and no tenant role table, and a check\n * that invented an answer would flag valid definitions.\n */\nexport type TaskBindingCheckOptions = {\n  /**\n   * Generated entity ids that exist (`#generated/entities.ids.generated`,\n   * flattened). Without it the unknown-type check only catches values that are\n   * not even SHAPED like an entity id, because the alternative \u2014 treating every\n   * id the caller cannot enumerate as unknown \u2014 would make the Problems panel\n   * reject correct definitions wherever the registry is not loaded.\n   */\n  knownEntityIds?: ReadonlySet<string> | null\n  /**\n   * Role name \u2192 the features that role grants, and entity id \u2192 the features\n   * viewing it requires. Both are TENANT data, so both arrive from the caller;\n   * absent, the assignee-cannot-view check does not run.\n   */\n  assigneeEntityAccess?: TaskAssigneeEntityAccess | null\n}\n\nexport type TaskAssigneeEntityAccess = {\n  roleFeatures: Readonly<Record<string, readonly string[]>>\n  entityViewRequirements: Readonly<Record<string, readonly string[]>>\n}\n\n/** Shaped like a generated entity id: `module:entity`, both snake_case. */\nconst ENTITY_ID_SHAPE = /^[a-z][a-z0-9_]*:[a-z][a-z0-9_]*$/\n\nfunction readUserTaskConfig(step: unknown): Record<string, unknown> | null {\n  const config = (step as { userTaskConfig?: unknown }).userTaskConfig\n  if (!config || typeof config !== 'object' || Array.isArray(config)) return null\n  return config as Record<string, unknown>\n}\n\nfunction isUserTaskStep(step: unknown): boolean {\n  return readString(step, 'stepType') === 'USER_TASK'\n}\n\n/** Assignee spellings the engine accepts: a single id or a list of them. */\nfunction hasAssignee(config: Record<string, unknown>): boolean {\n  const assignedTo = config.assignedTo\n  if (typeof assignedTo === 'string') return assignedTo.trim().length > 0\n  if (Array.isArray(assignedTo)) {\n    return assignedTo.some((entry) => typeof entry === 'string' && entry.trim().length > 0)\n  }\n  return false\n}\n\nfunction assignedRoleNames(config: Record<string, unknown>): string[] {\n  const roles = config.assignedToRoles\n  if (!Array.isArray(roles)) return []\n  return roles.filter((role): role is string => typeof role === 'string' && role.trim().length > 0)\n}\n\n/**\n * A USER_TASK naming neither an assignee nor a role queue \u2014 a WARNING.\n *\n * Under \u00A76.4 a task is actionable by the principal it belongs to, and this one\n * belongs to nobody: not an assignee, not a claimant, not a queue member. The\n * act routes refuse it with `TASK_NOT_ACTIONABLE` and administration widens\n * seeing without ever widening acting, so the workflow parks at that step until\n * somebody takes the row. Catching it in the editor is the whole point \u2014 the\n * alternative is discovering it on a live instance.\n *\n * It stays a WARNING rather than blocking the save, for three reasons:\n * reassignment is a shipped runtime remedy, so a parked task is recoverable\n * without re-authoring; the act routes refuse it loudly and name that remedy\n * instead of failing silently; and a definition authored before this check\n * existed would otherwise become unsaveable to an author who opened it to fix\n * something entirely unrelated. Unresolvable binding types keep their error\n * severity \u2014 those have no runtime remedy at all.\n *\n * `assignmentRule` counts as an owner: it defers assignment to a business rule\n * the engine resolves at task creation, so the definition does name a source of\n * truth even though this file cannot evaluate it.\n */\nexport function collectTaskOwnerWarnings(definition: FlowLogicDefinition): FlowLogicWarning[] {\n  const warnings: FlowLogicWarning[] = []\n\n  asArray(definition.steps).forEach((step, stepIndex) => {\n    if (!isUserTaskStep(step)) return\n    const stepId = readString(step, 'stepId')\n    if (!stepId) return\n    const config = readUserTaskConfig(step)\n    // A USER_TASK with no config at all is an unfinished node, and the schema\n    // already speaks to that; this check is about a config that says who owns\n    // the work and gets the answer wrong.\n    if (!config) return\n    if (hasAssignee(config)) return\n    if (assignedRoleNames(config).length > 0) return\n    if (readString(config, 'assignmentRule')) return\n\n    warnings.push({\n      code: 'taskWithoutOwner',\n      path: ['steps', stepIndex],\n      params: { stepId },\n      severity: 'warning',\n    })\n  })\n\n  return warnings\n}\n\n/**\n * A task addressed to a portal customer that is about no record \u2014 a WARNING.\n *\n * A portal principal carries no org-membership grant, so the binding to their\n * own record IS the whole authorization story. `decideTaskVisibility` denies an\n * unbound portal row outright (`denied:portal-unbound`) and\n * `buildPortalTaskConditions` additionally excludes it in SQL, so the task is\n * invisible to every portal principal including a company admin \u2014 the run parks\n * at a step nobody in the portal can even see.\n *\n * It is a WARNING, matching this module's stance that work-in-progress stays\n * saveable and matching `taskWithoutOwner`, which describes the same shape of\n * problem: the bindings live in a different inspector section, an author part-way\n * through addressing a task must not be trapped, and a definition authored\n * before the audience picker existed must not become unsaveable to somebody who\n * opened it for something unrelated.\n */\nexport function collectPortalTaskBindingWarnings(definition: FlowLogicDefinition): FlowLogicWarning[] {\n  const warnings: FlowLogicWarning[] = []\n\n  asArray(definition.steps).forEach((step, stepIndex) => {\n    if (!isUserTaskStep(step)) return\n    const stepId = readString(step, 'stepId')\n    if (!stepId) return\n    const config = readUserTaskConfig(step)\n    if (!config) return\n    if (config.assigneeKind !== 'customer') return\n    if (asArray(config.entityBindings).length > 0) return\n\n    warnings.push({\n      code: 'taskPortalWithoutBinding',\n      path: ['steps', stepIndex],\n      params: { stepId },\n      severity: 'warning',\n    })\n  })\n\n  return warnings\n}\n\n/**\n * Binding problems on a USER_TASK's \"About what\" list.\n *\n * - An `entityType` that resolves to no known entity is an ERROR: the visibility\n *   gate refuses a binding it cannot normalize (`denied:unknown-entity-type`),\n *   so a typo hides the task from its own assignee \u2014 silently, which is exactly\n *   the class of bug that must not survive authoring.\n * - A type the ASSIGNEE cannot view is a WARNING: the entity clause is `every`,\n *   so one unviewable binding blinds a legitimately assigned worker. It stays a\n *   warning because role feature sets are tenant data that can change after\n *   authoring, and the author is often not the person who grants features.\n */\nexport function collectTaskBindingWarnings(\n  definition: FlowLogicDefinition,\n  options: TaskBindingCheckOptions = {},\n): FlowLogicWarning[] {\n  const warnings: FlowLogicWarning[] = []\n\n  asArray(definition.steps).forEach((step, stepIndex) => {\n    if (!isUserTaskStep(step)) return\n    const stepId = readString(step, 'stepId')\n    if (!stepId) return\n    const config = readUserTaskConfig(step)\n    if (!config) return\n\n    const bindings = asArray(config.entityBindings)\n    if (bindings.length === 0) return\n\n    const roles = assignedRoleNames(config)\n\n    for (const binding of bindings) {\n      const authored = readString(binding, 'entityType')\n      if (!authored) continue\n\n      const normalized = normalizeTaskEntityTypeSpelling(authored)\n      const entityId = resolveAliasedTaskEntityId(normalized) ?? normalized\n      const known = options.knownEntityIds\n      const resolves = known ? known.has(entityId) : ENTITY_ID_SHAPE.test(entityId)\n\n      if (!resolves) {\n        warnings.push({\n          code: 'taskBindingUnknownEntityType',\n          path: ['steps', stepIndex],\n          params: { stepId, entityType: authored },\n          severity: 'error',\n        })\n        continue\n      }\n\n      const access = options.assigneeEntityAccess\n      if (!access || roles.length === 0) continue\n\n      const required = access.entityViewRequirements[entityId]\n      if (!required || required.length === 0) continue\n\n      // Every queued role must be able to view it: a queue whose members see\n      // different things is a queue where the task is claimable by people who\n      // then cannot open it.\n      const blindRoles = roles.filter((role) => {\n        const granted = access.roleFeatures[role]\n        if (!granted) return false\n        return !hasAllFeatures(granted, required)\n      })\n\n      if (blindRoles.length > 0) {\n        warnings.push({\n          code: 'taskBindingAssigneeCannotView',\n          path: ['steps', stepIndex],\n          params: { stepId, entityType: authored, roles: blindRoles.join(', ') },\n        })\n      }\n    }\n  })\n\n  return warnings\n}\n\n/** Error-route problems (spec 5.9), mapped onto the transition that carries them. */\nexport function collectErrorRouteWarnings(definition: FlowLogicDefinition): FlowLogicWarning[] {\n  const transitions = asArray(definition.transitions)\n  const indexByTransitionId = new Map<string, number>()\n  transitions.forEach((transition, index) => {\n    const transitionId = readString(transition, 'transitionId')\n    if (transitionId) indexByTransitionId.set(transitionId, index)\n  })\n\n  return validateErrorRoutes(definition).map((issue) => {\n    const index = issue.transitionId ? indexByTransitionId.get(issue.transitionId) : undefined\n    return {\n      code: ERROR_ROUTE_CODES[issue.code] ?? 'errorRouteDuplicateTarget',\n      path: index === undefined ? [] : ['transitions', index],\n      params: {\n        transitionId: issue.transitionId ?? '',\n        stepId: issue.stepId ?? '',\n      },\n    }\n  })\n}\n\n/**\n * Outcome-route checks (spec 7.2). An outcome route claiming a kind the platform\n * does not define can never be selected, and two routes claiming the same kind\n * make the destination depend on a priority tie rather than on wiring \u2014 neither\n * is visible on the canvas, which is exactly what the Problems panel is for.\n */\nexport function collectOutcomeRouteWarnings(definition: FlowLogicDefinition): FlowLogicWarning[] {\n  const transitions = asArray(definition.transitions)\n  const indexByTransitionId = new Map<string, number>()\n  transitions.forEach((transition, index) => {\n    const transitionId = readString(transition, 'transitionId')\n    if (transitionId) indexByTransitionId.set(transitionId, index)\n  })\n\n  return validateOutcomeRoutes(definition).map((issue) => {\n    const index = issue.transitionId ? indexByTransitionId.get(issue.transitionId) : undefined\n    return {\n      code: OUTCOME_ROUTE_CODES[issue.code] ?? 'outcomeRouteUnknownKind',\n      path: index === undefined ? [] : ['transitions', index],\n      params: {\n        transitionId: issue.transitionId ?? '',\n        stepId: issue.stepId ?? '',\n        outcomeKind: readString(index === undefined ? null : transitions[index], 'outcomeKind') ?? '',\n      },\n    }\n  })\n}\n\n/**\n * The whole Phase 3a author-time warning set for a definition. `ledger` is\n * optional: without it the flow-logic checks still run and only the\n * ledger-dependent condition-path check is skipped.\n */\nexport function collectFlowLogicWarnings(\n  definition: FlowLogicDefinition | null | undefined,\n  options: { ledger?: ContextLedger } & TaskBindingCheckOptions = {},\n): FlowLogicWarning[] {\n  if (!definition) return []\n\n  const warnings: FlowLogicWarning[] = [\n    ...collectErrorRouteWarnings(definition),\n    ...collectOutcomeRouteWarnings(definition),\n    ...collectUnmappedStepConfigWarnings(definition),\n    ...collectTaskDecisionWarnings(definition),\n    ...collectTaskOwnerWarnings(definition),\n    ...collectPortalTaskBindingWarnings(definition),\n    ...collectTaskBindingWarnings(definition, options),\n    ...collectBranchingRouteWarnings(definition).map<FlowLogicWarning>((warning) => ({\n      code: 'branchingWithoutOtherwise',\n      path: warning.path,\n      params: { stepId: warning.stepId, stepType: warning.stepType },\n    })),\n    ...collectDuplicateBranchingCaseWarnings(definition).map<FlowLogicWarning>((warning) => ({\n      code: 'duplicateBranchingCase',\n      path: warning.path,\n      params: { stepId: warning.stepId, stepType: warning.stepType, caseValue: warning.caseValue },\n    })),\n  ]\n\n  if (options.ledger) {\n    warnings.push(...collectConditionPathWarnings(definition, options.ledger))\n  }\n\n  return warnings\n}\n"],
+  "mappings": "AAkBA,SAAS,sBAAsB;AAE/B;AAAA,EACE;AAAA,EACA;AAAA,OACK;AACP,SAAS,8BAA8B;AACvC,SAAS,2BAA4D;AACrE,SAAS,6BAA6B;AACtC;AAAA,EACE;AAAA,EACA;AAAA,OACK;AAoDP,MAAM,4BAA4B,CAAC,eAAe,YAAY,OAAO,OAAO,SAAS;AAErF,MAAM,oBAA0D;AAAA,EAC9D,4BAA4B;AAAA,EAC5B,4BAA4B;AAAA,EAC5B,8BAA8B;AAChC;AAEA,MAAM,sBAA4D;AAAA,EAChE,4BAA4B;AAAA,EAC5B,8BAA8B;AAChC;AAEA,SAAS,QAAQ,OAA2B;AAC1C,SAAO,MAAM,QAAQ,KAAK,IAAI,QAAQ,CAAC;AACzC;AAEA,SAAS,WAAW,QAAiB,KAAiC;AACpE,MAAI,CAAC,UAAU,OAAO,WAAW,SAAU,QAAO;AAClD,QAAM,QAAS,OAAmC,GAAG;AACrD,SAAO,OAAO,UAAU,YAAY,MAAM,SAAS,IAAI,QAAQ;AACjE;AAGO,SAAS,2BAA2B,WAAoB,MAAgB,CAAC,GAAa;AAC3F,MAAI,CAAC,aAAa,OAAO,cAAc,SAAU,QAAO;AACxD,QAAM,YAAY;AAClB,MAAI,MAAM,QAAQ,UAAU,KAAK,GAAG;AAClC,eAAW,QAAQ,UAAU,MAAO,4BAA2B,MAAM,GAAG;AACxE,WAAO;AAAA,EACT;AACA,MAAI,OAAO,UAAU,UAAU,YAAY,UAAU,MAAM,SAAS,EAAG,KAAI,KAAK,UAAU,KAAK;AAC/F,SAAO;AACT;AAEA,SAAS,gBAAgB,MAAuB;AAC9C,QAAM,CAAC,IAAI,IAAI,KAAK,MAAM,GAAG;AAC7B,SAAO,CAAC,0BAA0B,SAAS,IAAI;AACjD;AAEA,SAAS,oBACP,OACA,QACA,QACA,WACA,UACA,MACM;AACN,QAAM,OAAO,OAAO,MAAM,MAAM;AAChC,MAAI,CAAC,KAAM;AACX,aAAW,QAAQ,OAAO;AACxB,QAAI,CAAC,gBAAgB,IAAI,EAAG;AAC5B,QAAI,uBAAuB,MAAM,KAAK,OAAO,EAAG;AAChD,UAAM,MAAM,GAAG,UAAU,KAAK,GAAG,CAAC,IAAI,IAAI;AAC1C,QAAI,KAAK,IAAI,GAAG,EAAG;AACnB,SAAK,IAAI,GAAG;AACZ,aAAS,KAAK,EAAE,MAAM,wBAAwB,MAAM,WAAW,QAAQ,EAAE,MAAM,OAAO,EAAE,CAAC;AAAA,EAC3F;AACF;AAWO,SAAS,6BACd,YACA,QACoB;AACpB,QAAM,WAA+B,CAAC;AACtC,QAAM,OAAO,oBAAI,IAAY;AAE7B,UAAQ,WAAW,KAAK,EAAE,QAAQ,CAAC,MAAM,cAAc;AACrD,UAAM,SAAS,WAAW,MAAM,QAAQ;AACxC,QAAI,CAAC,OAAQ;AACb,QAAI,WAAW,MAAM,UAAU,MAAM,qBAAsB;AAC3D,UAAM,SAAU,KAA8B;AAC9C,UAAM,YAAY,UAAU,OAAO,WAAW,WAAY,OAAmC,YAAY;AACzG;AAAA,MACE,2BAA2B,SAAS;AAAA,MACpC;AAAA,MACA;AAAA,MACA,CAAC,SAAS,WAAW,UAAU,WAAW;AAAA,MAC1C;AAAA,MACA;AAAA,IACF;AAAA,EACF,CAAC;AAED,UAAQ,WAAW,WAAW,EAAE,QAAQ,CAAC,YAAY,oBAAoB;AACvE,UAAM,WAAW,WAAW,YAAY,UAAU;AAClD,QAAI,CAAC,SAAU;AACf,UAAM,YAAa,WAAuC;AAC1D;AAAA,MACE,2BAA2B,SAAS;AAAA,MACpC;AAAA,MACA;AAAA,MACA,CAAC,eAAe,iBAAiB,WAAW;AAAA,MAC5C;AAAA,MACA;AAAA,IACF;AAAA,EACF,CAAC;AAED,SAAO;AACT;AAOO,SAAS,kCAAkC,YAAqD;AACrG,QAAM,WAA+B,CAAC;AACtC,UAAQ,WAAW,KAAK,EAAE,QAAQ,CAAC,MAAM,cAAc;AACrD,UAAM,SAAS,WAAW,MAAM,QAAQ;AACxC,QAAI,CAAC,OAAQ;AACb,UAAM,WAAY,KAAgC;AAClD,QAAI,CAAC,YAAY,OAAO,aAAa,SAAU;AAC/C,UAAM,WAAY,SAAqC;AACvD,QAAI,CAAC,YAAY,OAAO,aAAa,SAAU;AAC/C,UAAM,OAAO,OAAO,KAAK,QAAmC;AAC5D,QAAI,KAAK,WAAW,EAAG;AACvB,aAAS,KAAK;AAAA,MACZ,MAAM;AAAA,MACN,MAAM,CAAC,SAAS,SAAS;AAAA,MACzB,QAAQ,EAAE,QAAQ,MAAM,KAAK,KAAK,IAAI,EAAE;AAAA,IAC1C,CAAC;AAAA,EACH,CAAC;AACD,SAAO;AACT;AAiBO,SAAS,4BAA4B,YAAqD;AAC/F,QAAM,WAA+B,CAAC;AACtC,QAAM,mBAAmB,oBAAI,IAAyB;AAEtD,aAAW,cAAc,QAAQ,WAAW,WAAW,GAAG;AACxD,UAAM,aAAa,WAAW,YAAY,YAAY;AACtD,UAAM,eAAe,WAAW,YAAY,cAAc;AAC1D,QAAI,CAAC,cAAc,CAAC,aAAc;AAClC,UAAM,WAAW,iBAAiB,IAAI,UAAU;AAChD,QAAI,SAAU,UAAS,IAAI,YAAY;AAAA,QAClC,kBAAiB,IAAI,YAAY,oBAAI,IAAI,CAAC,YAAY,CAAC,CAAC;AAAA,EAC/D;AAEA,UAAQ,WAAW,KAAK,EAAE,QAAQ,CAAC,MAAM,cAAc;AACrD,UAAM,SAAS,WAAW,MAAM,QAAQ;AACxC,QAAI,CAAC,OAAQ;AACb,UAAM,SAAU,KAAsC;AACtD,QAAI,CAAC,UAAU,OAAO,WAAW,SAAU;AAC3C,UAAM,YAAY,QAAS,OAAmC,SAAS;AACvE,QAAI,UAAU,WAAW,EAAG;AAE5B,UAAM,WAAW,iBAAiB,IAAI,MAAM,KAAK,oBAAI,IAAY;AACjE,UAAM,UAAU,oBAAI,IAAY;AAEhC,eAAW,YAAY,WAAW;AAChC,YAAM,aAAa,WAAW,UAAU,IAAI;AAC5C,YAAM,eAAe,WAAW,UAAU,cAAc;AACxD,UAAI,YAAY;AACd,YAAI,QAAQ,IAAI,UAAU,GAAG;AAC3B,mBAAS,KAAK;AAAA,YACZ,MAAM;AAAA,YACN,MAAM,CAAC,SAAS,SAAS;AAAA,YACzB,QAAQ,EAAE,QAAQ,WAAW;AAAA,UAC/B,CAAC;AAAA,QACH;AACA,gBAAQ,IAAI,UAAU;AAAA,MACxB;AACA,UAAI,gBAAgB,CAAC,SAAS,IAAI,YAAY,GAAG;AAC/C,iBAAS,KAAK;AAAA,UACZ,MAAM;AAAA,UACN,MAAM,CAAC,SAAS,SAAS;AAAA,UACzB,QAAQ,EAAE,QAAQ,YAAY,cAAc,IAAI,aAAa;AAAA,QAC/D,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF,CAAC;AAED,SAAO;AACT;AA+BA,MAAM,kBAAkB;AAExB,SAAS,mBAAmB,MAA+C;AACzE,QAAM,SAAU,KAAsC;AACtD,MAAI,CAAC,UAAU,OAAO,WAAW,YAAY,MAAM,QAAQ,MAAM,EAAG,QAAO;AAC3E,SAAO;AACT;AAEA,SAAS,eAAe,MAAwB;AAC9C,SAAO,WAAW,MAAM,UAAU,MAAM;AAC1C;AAGA,SAAS,YAAY,QAA0C;AAC7D,QAAM,aAAa,OAAO;AAC1B,MAAI,OAAO,eAAe,SAAU,QAAO,WAAW,KAAK,EAAE,SAAS;AACtE,MAAI,MAAM,QAAQ,UAAU,GAAG;AAC7B,WAAO,WAAW,KAAK,CAAC,UAAU,OAAO,UAAU,YAAY,MAAM,KAAK,EAAE,SAAS,CAAC;AAAA,EACxF;AACA,SAAO;AACT;AAEA,SAAS,kBAAkB,QAA2C;AACpE,QAAM,QAAQ,OAAO;AACrB,MAAI,CAAC,MAAM,QAAQ,KAAK,EAAG,QAAO,CAAC;AACnC,SAAO,MAAM,OAAO,CAAC,SAAyB,OAAO,SAAS,YAAY,KAAK,KAAK,EAAE,SAAS,CAAC;AAClG;AAwBO,SAAS,yBAAyB,YAAqD;AAC5F,QAAM,WAA+B,CAAC;AAEtC,UAAQ,WAAW,KAAK,EAAE,QAAQ,CAAC,MAAM,cAAc;AACrD,QAAI,CAAC,eAAe,IAAI,EAAG;AAC3B,UAAM,SAAS,WAAW,MAAM,QAAQ;AACxC,QAAI,CAAC,OAAQ;AACb,UAAM,SAAS,mBAAmB,IAAI;AAItC,QAAI,CAAC,OAAQ;AACb,QAAI,YAAY,MAAM,EAAG;AACzB,QAAI,kBAAkB,MAAM,EAAE,SAAS,EAAG;AAC1C,QAAI,WAAW,QAAQ,gBAAgB,EAAG;AAE1C,aAAS,KAAK;AAAA,MACZ,MAAM;AAAA,MACN,MAAM,CAAC,SAAS,SAAS;AAAA,MACzB,QAAQ,EAAE,OAAO;AAAA,MACjB,UAAU;AAAA,IACZ,CAAC;AAAA,EACH,CAAC;AAED,SAAO;AACT;AAmBO,SAAS,iCAAiC,YAAqD;AACpG,QAAM,WAA+B,CAAC;AAEtC,UAAQ,WAAW,KAAK,EAAE,QAAQ,CAAC,MAAM,cAAc;AACrD,QAAI,CAAC,eAAe,IAAI,EAAG;AAC3B,UAAM,SAAS,WAAW,MAAM,QAAQ;AACxC,QAAI,CAAC,OAAQ;AACb,UAAM,SAAS,mBAAmB,IAAI;AACtC,QAAI,CAAC,OAAQ;AACb,QAAI,OAAO,iBAAiB,WAAY;AACxC,QAAI,QAAQ,OAAO,cAAc,EAAE,SAAS,EAAG;AAE/C,aAAS,KAAK;AAAA,MACZ,MAAM;AAAA,MACN,MAAM,CAAC,SAAS,SAAS;AAAA,MACzB,QAAQ,EAAE,OAAO;AAAA,MACjB,UAAU;AAAA,IACZ,CAAC;AAAA,EACH,CAAC;AAED,SAAO;AACT;AAcO,SAAS,2BACd,YACA,UAAmC,CAAC,GAChB;AACpB,QAAM,WAA+B,CAAC;AAEtC,UAAQ,WAAW,KAAK,EAAE,QAAQ,CAAC,MAAM,cAAc;AACrD,QAAI,CAAC,eAAe,IAAI,EAAG;AAC3B,UAAM,SAAS,WAAW,MAAM,QAAQ;AACxC,QAAI,CAAC,OAAQ;AACb,UAAM,SAAS,mBAAmB,IAAI;AACtC,QAAI,CAAC,OAAQ;AAEb,UAAM,WAAW,QAAQ,OAAO,cAAc;AAC9C,QAAI,SAAS,WAAW,EAAG;AAE3B,UAAM,QAAQ,kBAAkB,MAAM;AAEtC,eAAW,WAAW,UAAU;AAC9B,YAAM,WAAW,WAAW,SAAS,YAAY;AACjD,UAAI,CAAC,SAAU;AAEf,YAAM,aAAa,gCAAgC,QAAQ;AAC3D,YAAM,WAAW,2BAA2B,UAAU,KAAK;AAC3D,YAAM,QAAQ,QAAQ;AACtB,YAAM,WAAW,QAAQ,MAAM,IAAI,QAAQ,IAAI,gBAAgB,KAAK,QAAQ;AAE5E,UAAI,CAAC,UAAU;AACb,iBAAS,KAAK;AAAA,UACZ,MAAM;AAAA,UACN,MAAM,CAAC,SAAS,SAAS;AAAA,UACzB,QAAQ,EAAE,QAAQ,YAAY,SAAS;AAAA,UACvC,UAAU;AAAA,QACZ,CAAC;AACD;AAAA,MACF;AAEA,YAAM,SAAS,QAAQ;AACvB,UAAI,CAAC,UAAU,MAAM,WAAW,EAAG;AAEnC,YAAM,WAAW,OAAO,uBAAuB,QAAQ;AACvD,UAAI,CAAC,YAAY,SAAS,WAAW,EAAG;AAKxC,YAAM,aAAa,MAAM,OAAO,CAAC,SAAS;AACxC,cAAM,UAAU,OAAO,aAAa,IAAI;AACxC,YAAI,CAAC,QAAS,QAAO;AACrB,eAAO,CAAC,eAAe,SAAS,QAAQ;AAAA,MAC1C,CAAC;AAED,UAAI,WAAW,SAAS,GAAG;AACzB,iBAAS,KAAK;AAAA,UACZ,MAAM;AAAA,UACN,MAAM,CAAC,SAAS,SAAS;AAAA,UACzB,QAAQ,EAAE,QAAQ,YAAY,UAAU,OAAO,WAAW,KAAK,IAAI,EAAE;AAAA,QACvE,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF,CAAC;AAED,SAAO;AACT;AAGO,SAAS,0BAA0B,YAAqD;AAC7F,QAAM,cAAc,QAAQ,WAAW,WAAW;AAClD,QAAM,sBAAsB,oBAAI,IAAoB;AACpD,cAAY,QAAQ,CAAC,YAAY,UAAU;AACzC,UAAM,eAAe,WAAW,YAAY,cAAc;AAC1D,QAAI,aAAc,qBAAoB,IAAI,cAAc,KAAK;AAAA,EAC/D,CAAC;AAED,SAAO,oBAAoB,UAAU,EAAE,IAAI,CAAC,UAAU;AACpD,UAAM,QAAQ,MAAM,eAAe,oBAAoB,IAAI,MAAM,YAAY,IAAI;AACjF,WAAO;AAAA,MACL,MAAM,kBAAkB,MAAM,IAAI,KAAK;AAAA,MACvC,MAAM,UAAU,SAAY,CAAC,IAAI,CAAC,eAAe,KAAK;AAAA,MACtD,QAAQ;AAAA,QACN,cAAc,MAAM,gBAAgB;AAAA,QACpC,QAAQ,MAAM,UAAU;AAAA,MAC1B;AAAA,IACF;AAAA,EACF,CAAC;AACH;AAQO,SAAS,4BAA4B,YAAqD;AAC/F,QAAM,cAAc,QAAQ,WAAW,WAAW;AAClD,QAAM,sBAAsB,oBAAI,IAAoB;AACpD,cAAY,QAAQ,CAAC,YAAY,UAAU;AACzC,UAAM,eAAe,WAAW,YAAY,cAAc;AAC1D,QAAI,aAAc,qBAAoB,IAAI,cAAc,KAAK;AAAA,EAC/D,CAAC;AAED,SAAO,sBAAsB,UAAU,EAAE,IAAI,CAAC,UAAU;AACtD,UAAM,QAAQ,MAAM,eAAe,oBAAoB,IAAI,MAAM,YAAY,IAAI;AACjF,WAAO;AAAA,MACL,MAAM,oBAAoB,MAAM,IAAI,KAAK;AAAA,MACzC,MAAM,UAAU,SAAY,CAAC,IAAI,CAAC,eAAe,KAAK;AAAA,MACtD,QAAQ;AAAA,QACN,cAAc,MAAM,gBAAgB;AAAA,QACpC,QAAQ,MAAM,UAAU;AAAA,QACxB,aAAa,WAAW,UAAU,SAAY,OAAO,YAAY,KAAK,GAAG,aAAa,KAAK;AAAA,MAC7F;AAAA,IACF;AAAA,EACF,CAAC;AACH;AAOO,SAAS,yBACd,YACA,UAAgE,CAAC,GAC7C;AACpB,MAAI,CAAC,WAAY,QAAO,CAAC;AAEzB,QAAM,WAA+B;AAAA,IACnC,GAAG,0BAA0B,UAAU;AAAA,IACvC,GAAG,4BAA4B,UAAU;AAAA,IACzC,GAAG,kCAAkC,UAAU;AAAA,IAC/C,GAAG,4BAA4B,UAAU;AAAA,IACzC,GAAG,yBAAyB,UAAU;AAAA,IACtC,GAAG,iCAAiC,UAAU;AAAA,IAC9C,GAAG,2BAA2B,YAAY,OAAO;AAAA,IACjD,GAAG,8BAA8B,UAAU,EAAE,IAAsB,CAAC,aAAa;AAAA,MAC/E,MAAM;AAAA,MACN,MAAM,QAAQ;AAAA,MACd,QAAQ,EAAE,QAAQ,QAAQ,QAAQ,UAAU,QAAQ,SAAS;AAAA,IAC/D,EAAE;AAAA,IACF,GAAG,sCAAsC,UAAU,EAAE,IAAsB,CAAC,aAAa;AAAA,MACvF,MAAM;AAAA,MACN,MAAM,QAAQ;AAAA,MACd,QAAQ,EAAE,QAAQ,QAAQ,QAAQ,UAAU,QAAQ,UAAU,WAAW,QAAQ,UAAU;AAAA,IAC7F,EAAE;AAAA,EACJ;AAEA,MAAI,QAAQ,QAAQ;AAClB,aAAS,KAAK,GAAG,6BAA6B,YAAY,QAAQ,MAAM,CAAC;AAAA,EAC3E;AAEA,SAAO;AACT;",
+  "names": []
+}