@lssm/lib.contracts 0.0.0-canary-20251120170226

package/dist/workflow/spec.d.ts

@@ -0,0 +1,100 @@
+import { OwnerShipMeta } from "../ownership.js";
+import { CapabilityRef } from "../capabilities.js";
+import { ExperimentRef } from "../experiments/spec.js";
+import { OpRef } from "../features.js";
+
+//#region src/workflow/spec.d.ts
+
+/**
+ * Reference to a form spec declared in {@link FormRegistry}.
+ */
+interface FormRef {
+  key: string;
+  version: number;
+}
+type StepType = 'human' | 'automation' | 'decision';
+type WorkflowStatus = 'running' | 'paused' | 'completed' | 'failed' | 'cancelled';
+type GuardConditionKind = 'policy' | 'expression';
+interface GuardCondition {
+  type: GuardConditionKind;
+  /** Policy name or expression string depending on the type. */
+  value: string;
+}
+interface RetryPolicy {
+  maxAttempts: number;
+  backoff: 'linear' | 'exponential';
+  delayMs: number;
+  /** Optional max delay cap for exponential backoff. */
+  maxDelayMs?: number;
+}
+interface StepAction {
+  /** Operation executed for automation steps. */
+  operation?: OpRef;
+  /** Form rendered for human input steps. */
+  form?: FormRef;
+}
+interface Step {
+  id: string;
+  type: StepType;
+  label: string;
+  description?: string;
+  action?: StepAction;
+  guard?: GuardCondition;
+  timeoutMs?: number;
+  retry?: RetryPolicy;
+  /** Integration slot identifiers required before this step can execute. */
+  requiredIntegrations?: string[];
+  /** Capabilities that must be enabled for this step to execute. */
+  requiredCapabilities?: CapabilityRef[];
+}
+interface Transition {
+  from: string;
+  to: string;
+  label?: string;
+  /** Expression evaluated against workflow data (e.g., `data.approved === true`). */
+  condition?: string;
+}
+interface SLA {
+  totalDurationMs?: number;
+  stepDurationMs?: Record<string, number>;
+}
+interface CompensationStep {
+  stepId: string;
+  operation: OpRef;
+  description?: string;
+}
+interface CompensationStrategy {
+  trigger?: 'on_failure' | 'manual';
+  steps: CompensationStep[];
+}
+interface WorkflowDefinition {
+  steps: Step[];
+  transitions: Transition[];
+  /** Optional explicit entry step. Defaults to the first step when omitted. */
+  entryStepId?: string;
+  sla?: SLA;
+  compensation?: CompensationStrategy;
+}
+interface WorkflowMeta extends OwnerShipMeta {
+  /** Fully-qualified workflow name (e.g., `sigil.onboarding.basic`). */
+  name: string;
+  /** Version of the workflow. Increment on breaking changes. */
+  version: number;
+}
+interface WorkflowSpec {
+  meta: WorkflowMeta;
+  definition: WorkflowDefinition;
+  policy?: {
+    flags?: string[];
+  };
+  experiments?: ExperimentRef[];
+}
+declare class WorkflowRegistry {
+  private readonly items;
+  register(spec: WorkflowSpec): this;
+  list(): WorkflowSpec[];
+  get(name: string, version?: number): WorkflowSpec | undefined;
+}
+//#endregion
+export { CompensationStep, CompensationStrategy, FormRef, GuardCondition, GuardConditionKind, RetryPolicy, SLA, Step, StepAction, StepType, Transition, WorkflowDefinition, WorkflowMeta, WorkflowRegistry, WorkflowSpec, WorkflowStatus };
+//# sourceMappingURL=spec.d.ts.map

package/dist/workflow/spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec.d.ts","names":[],"sources":["../../src/workflow/spec.ts"],"sourcesContent":[],"mappings":";;;;;;;;;AAQA;AAKY,UALK,OAAA,CAKG;EAER,GAAA,EAAA,MAAA;EAOA,OAAA,EAAA,MAAA;AAEZ;AAMiB,KAjBL,QAAA,GAiBgB,OAAA,GAAA,YAAA,GAAA,UAAA;AAQX,KAvBL,cAAA,GAuBe,SAIlB,GAAA,QAAO,GAAA,WAAA,GAAA,QAAA,GAAA,WAAA;AAGC,KAvBL,kBAAA,GAuBS,QAAA,GAAA,YAAA;AAEb,UAvBS,cAAA,CAuBT;EAGG,IAAA,EAzBH,kBAyBG;EACD;EAEA,KAAA,EAAA,MAAA;;AAI4B,UA3BrB,WAAA,CA2BqB;EAGrB,WAAA,EAAU,MAAA;EAQV,OAAG,EAAA,QAAA,GAED,aAAM;EAGR,OAAA,EAAA,MAAA;EAMA;EAKA,UAAA,CAAA,EAAA,MAAA;;AAEF,UAhDE,UAAA,CAgDF;EAGP;EACS,SAAA,CAAA,EAlDH,KAkDG;EAAoB;EAGpB,IAAA,CAAA,EAnDR,OAmDQ;AAOjB;AACQ,UAxDS,IAAA,CAwDT;EACM,EAAA,EAAA,MAAA;EAEE,IAAA,EAzDR,QAyDQ;EAAa,KAAA,EAAA,MAAA;EAOhB,WAAA,CAAA,EAAA,MAAgB;EAGZ,MAAA,CAAA,EAhEN,UAgEM;EAOP,KAAA,CAAA,EAtEA,cAsEA;EAI6B,SAAA,CAAA,EAAA,MAAA;EAAY,KAAA,CAAA,EAxEzC,WAwEyC;;;;yBApE1B;;UAGR,UAAA;;;;;;;UAQA,GAAA;;mBAEE;;UAGF,gBAAA;;aAEJ;;;UAII,oBAAA;;SAER;;UAGQ,kBAAA;SACR;eACM;;;QAGP;iBACS;;UAGA,YAAA,SAAqB;;;;;;UAOrB,YAAA;QACT;cACM;;;;gBAEE;;cAOH,gBAAA;;iBAGI;UAOP;uCAI6B"}

package/dist/workflow/spec.js

@@ -0,0 +1,2 @@
+function e(e){return`${e.name}.v${e.version}`}var t=class{items=new Map;register(t){let n=e(t.meta);if(this.items.has(n))throw Error(`Duplicate workflow ${n}`);return this.items.set(n,t),this}list(){return[...this.items.values()]}get(e,t){if(t!=null)return this.items.get(`${e}.v${t}`);let n,r=-1/0;for(let t of this.items.values())t.meta.name===e&&t.meta.version>r&&(r=t.meta.version,n=t);return n}};export{t as WorkflowRegistry};
+//# sourceMappingURL=spec.js.map

package/dist/workflow/spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec.js","names":["candidate: WorkflowSpec | undefined"],"sources":["../../src/workflow/spec.ts"],"sourcesContent":["import type { CapabilityRef } from '../capabilities';\nimport type { OwnerShipMeta } from '../ownership';\nimport type { OpRef } from '../features';\nimport type { ExperimentRef } from '../experiments/spec';\n\n/**\n * Reference to a form spec declared in {@link FormRegistry}.\n */\nexport interface FormRef {\n  key: string;\n  version: number;\n}\n\nexport type StepType = 'human' | 'automation' | 'decision';\n\nexport type WorkflowStatus =\n  | 'running'\n  | 'paused'\n  | 'completed'\n  | 'failed'\n  | 'cancelled';\n\nexport type GuardConditionKind = 'policy' | 'expression';\n\nexport interface GuardCondition {\n  type: GuardConditionKind;\n  /** Policy name or expression string depending on the type. */\n  value: string;\n}\n\nexport interface RetryPolicy {\n  maxAttempts: number;\n  backoff: 'linear' | 'exponential';\n  delayMs: number;\n  /** Optional max delay cap for exponential backoff. */\n  maxDelayMs?: number;\n}\n\nexport interface StepAction {\n  /** Operation executed for automation steps. */\n  operation?: OpRef;\n  /** Form rendered for human input steps. */\n  form?: FormRef;\n}\n\nexport interface Step {\n  id: string;\n  type: StepType;\n  label: string;\n  description?: string;\n  action?: StepAction;\n  guard?: GuardCondition;\n  timeoutMs?: number;\n  retry?: RetryPolicy;\n  /** Integration slot identifiers required before this step can execute. */\n  requiredIntegrations?: string[];\n  /** Capabilities that must be enabled for this step to execute. */\n  requiredCapabilities?: CapabilityRef[];\n}\n\nexport interface Transition {\n  from: string;\n  to: string;\n  label?: string;\n  /** Expression evaluated against workflow data (e.g., `data.approved === true`). */\n  condition?: string;\n}\n\nexport interface SLA {\n  totalDurationMs?: number;\n  stepDurationMs?: Record<string, number>;\n}\n\nexport interface CompensationStep {\n  stepId: string;\n  operation: OpRef;\n  description?: string;\n}\n\nexport interface CompensationStrategy {\n  trigger?: 'on_failure' | 'manual';\n  steps: CompensationStep[];\n}\n\nexport interface WorkflowDefinition {\n  steps: Step[];\n  transitions: Transition[];\n  /** Optional explicit entry step. Defaults to the first step when omitted. */\n  entryStepId?: string;\n  sla?: SLA;\n  compensation?: CompensationStrategy;\n}\n\nexport interface WorkflowMeta extends OwnerShipMeta {\n  /** Fully-qualified workflow name (e.g., `sigil.onboarding.basic`). */\n  name: string;\n  /** Version of the workflow. Increment on breaking changes. */\n  version: number;\n}\n\nexport interface WorkflowSpec {\n  meta: WorkflowMeta;\n  definition: WorkflowDefinition;\n  policy?: { flags?: string[] };\n  experiments?: ExperimentRef[];\n}\n\nfunction workflowKey(meta: WorkflowMeta) {\n  return `${meta.name}.v${meta.version}`;\n}\n\nexport class WorkflowRegistry {\n  private readonly items = new Map<string, WorkflowSpec>();\n\n  register(spec: WorkflowSpec): this {\n    const key = workflowKey(spec.meta);\n    if (this.items.has(key)) throw new Error(`Duplicate workflow ${key}`);\n    this.items.set(key, spec);\n    return this;\n  }\n\n  list(): WorkflowSpec[] {\n    return [...this.items.values()];\n  }\n\n  get(name: string, version?: number): WorkflowSpec | undefined {\n    if (version != null) return this.items.get(`${name}.v${version}`);\n    let candidate: WorkflowSpec | undefined;\n    let max = -Infinity;\n    for (const spec of this.items.values()) {\n      if (spec.meta.name !== name) continue;\n      if (spec.meta.version > max) {\n        max = spec.meta.version;\n        candidate = spec;\n      }\n    }\n    return candidate;\n  }\n}\n\n"],"mappings":"AA2GA,SAAS,EAAY,EAAoB,CACvC,MAAO,GAAG,EAAK,KAAK,IAAI,EAAK,UAG/B,IAAa,EAAb,KAA8B,CAC5B,MAAyB,IAAI,IAE7B,SAAS,EAA0B,CACjC,IAAM,EAAM,EAAY,EAAK,KAAK,CAClC,GAAI,KAAK,MAAM,IAAI,EAAI,CAAE,MAAU,MAAM,sBAAsB,IAAM,CAErE,OADA,KAAK,MAAM,IAAI,EAAK,EAAK,CAClB,KAGT,MAAuB,CACrB,MAAO,CAAC,GAAG,KAAK,MAAM,QAAQ,CAAC,CAGjC,IAAI,EAAc,EAA4C,CAC5D,GAAI,GAAW,KAAM,OAAO,KAAK,MAAM,IAAI,GAAG,EAAK,IAAI,IAAU,CACjE,IAAIA,EACA,EAAM,KACV,IAAK,IAAM,KAAQ,KAAK,MAAM,QAAQ,CAChC,EAAK,KAAK,OAAS,GACnB,EAAK,KAAK,QAAU,IACtB,EAAM,EAAK,KAAK,QAChB,EAAY,GAGhB,OAAO"}

package/dist/workflow/state.d.ts

@@ -0,0 +1,36 @@
+import { WorkflowStatus } from "./spec.js";
+
+//#region src/workflow/state.d.ts
+interface StepExecution {
+  stepId: string;
+  startedAt: Date;
+  completedAt?: Date;
+  status: 'pending' | 'running' | 'completed' | 'failed';
+  input?: unknown;
+  output?: unknown;
+  error?: string;
+}
+interface WorkflowState {
+  workflowId: string;
+  workflowName: string;
+  workflowVersion: number;
+  currentStep: string;
+  data: Record<string, unknown>;
+  retryCounts?: Record<string, number>;
+  history: StepExecution[];
+  status: WorkflowStatus;
+  createdAt: Date;
+  updatedAt: Date;
+}
+interface WorkflowStateFilters {
+  status?: WorkflowStatus;
+}
+interface StateStore {
+  create(state: WorkflowState): Promise<void>;
+  get(workflowId: string): Promise<WorkflowState | undefined>;
+  update(workflowId: string, updater: (current: WorkflowState) => WorkflowState): Promise<WorkflowState>;
+  list(filters?: WorkflowStateFilters): Promise<WorkflowState[]>;
+}
+//#endregion
+export { StateStore, StepExecution, WorkflowState, WorkflowStateFilters };
+//# sourceMappingURL=state.d.ts.map

package/dist/workflow/state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","names":[],"sources":["../../src/workflow/state.ts"],"sourcesContent":[],"mappings":";;;UAEiB,aAAA;;EAAA,SAAA,EAEJ,IAFI;EAUA,WAAA,CAAA,EAPD,IAOc;EAKtB,MAAA,EAAA,SAAA,GAAA,SAAA,GAAA,WAAA,GAAA,QAAA;EACQ,KAAA,CAAA,EAAA,OAAA;EACL,MAAA,CAAA,EAAA,OAAA;EACD,KAAA,CAAA,EAAA,MAAA;;AAEG,UAVI,aAAA,CAUJ;EAAI,UAAA,EAAA,MAAA;EAGA,YAAA,EAAA,MAAA;EAIA,eAAU,EAAA,MAAA;EACX,WAAA,EAAA,MAAA;EAAgB,IAAA,EAbxB,MAawB,CAAA,MAAA,EAAA,OAAA,CAAA;EACG,WAAA,CAAA,EAbnB,MAamB,CAAA,MAAA,EAAA,MAAA,CAAA;EAAR,OAAA,EAZhB,aAYgB,EAAA;EAGJ,MAAA,EAdb,cAca;EAAkB,SAAA,EAb5B,IAa4B;EAC5B,SAAA,EAbA,IAaA;;AACI,UAXA,oBAAA,CAWA;EAA+B,MAAA,CAAA,EAVrC,cAUqC;;AAAD,UAP9B,UAAA,CAO8B;gBAN/B,gBAAgB;2BACL,QAAQ;gDAGZ,kBAAkB,gBACpC,QAAQ;iBACI,uBAAuB,QAAQ"}

package/dist/workflow/validation.d.ts

@@ -0,0 +1,29 @@
+import { WorkflowSpec } from "./spec.js";
+import { SpecRegistry } from "../registry.js";
+import { FormRegistry } from "../forms.js";
+
+//#region src/workflow/validation.d.ts
+type WorkflowValidationLevel = 'error' | 'warning';
+interface WorkflowValidationIssue {
+  level: WorkflowValidationLevel;
+  message: string;
+  context?: Record<string, unknown>;
+}
+interface ValidateWorkflowSpecOptions {
+  operations?: SpecRegistry;
+  forms?: FormRegistry;
+}
+declare class WorkflowValidationError extends Error {
+  readonly issues: WorkflowValidationIssue[];
+  constructor(message: string, issues: WorkflowValidationIssue[]);
+}
+/**
+ * Validate workflow structure, references, and reachability.
+ * Returns the collected issues. Consumers may call {@link assertWorkflowSpecValid}
+ * to throw on validation errors.
+ */
+declare function validateWorkflowSpec(spec: WorkflowSpec, options?: ValidateWorkflowSpecOptions): WorkflowValidationIssue[];
+declare function assertWorkflowSpecValid(spec: WorkflowSpec, options?: ValidateWorkflowSpecOptions): void;
+//#endregion
+export { ValidateWorkflowSpecOptions, WorkflowValidationError, WorkflowValidationIssue, WorkflowValidationLevel, assertWorkflowSpecValid, validateWorkflowSpec };
+//# sourceMappingURL=validation.d.ts.map

package/dist/workflow/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","names":[],"sources":["../../src/workflow/validation.ts"],"sourcesContent":[],"mappings":";;;;;KASY,uBAAA;UAEK,uBAAA;EAFL,KAAA,EAGH,uBAH0B;EAElB,OAAA,EAAA,MAAA;EAMA,OAAA,CAAA,EAHL,MAGK,CAAA,MAAA,EAAA,OAA2B,CAAA;AAK5C;AAG4B,UARX,2BAAA,CAQW;EAAA,UAAA,CAAA,EAPb,YAOa;EAHiB,KAAA,CAAA,EAHnC,YAGmC;;AAe7B,cAfH,uBAAA,SAAgC,KAAA,CAeT;EAC5B,SAAA,MAAA,EAboB,uBAapB,EAAA;EACG,WAAA,CAAA,OAAA,EAAA,MAAA,EAAA,MAAA,EAdiB,uBAcjB,EAAA;;;AAsCX;;;;iBAxCgB,oBAAA,OACR,wBACG,8BACR;iBAqCa,uBAAA,OACR,wBACG"}

package/dist/workflow/validation.js

@@ -0,0 +1,2 @@
+var e=class extends Error{constructor(e,t){super(e),this.issues=t,this.name=`WorkflowValidationError`}};function t(e,t={}){let n=[],{definition:a}=e;if(!a.steps.length)return n.push({level:`error`,message:`Workflow must declare at least one step.`}),n;let l=r(a,n),u=a.entryStepId??a.steps[0]?.id??null;u?l.has(u)||n.push({level:`error`,message:`Entry step "${u}" is not defined in steps.`}):n.push({level:`error`,message:`Workflow requires an entry step (definition.entryStepId).`});let d=i(a,l,n);return o(a.steps,t,n),s(u,l,d,n),c(d,n),n}function n(n,r={}){let i=t(n,r);if(i.filter(e=>e.level===`error`).length)throw new e(`Workflow ${n.meta.name}.v${n.meta.version} is invalid`,i)}function r(e,t){let n=new Map;for(let r of e.steps){if(n.has(r.id)){t.push({level:`error`,message:`Duplicate step id "${r.id}" detected.`});continue}n.set(r.id,r),r.type===`automation`&&!r.action?.operation&&t.push({level:`warning`,message:`Automation step "${r.id}" does not declare an operation.`}),r.type===`human`&&!r.action?.form&&t.push({level:`warning`,message:`Human step "${r.id}" does not declare a form.`}),r.guard&&!r.guard.value.trim()&&t.push({level:`error`,message:`Guard for step "${r.id}" must have a non-empty value.`})}return n}function i(e,t,n){let r=new Map,i=new Map;for(let e of t.keys())r.set(e,new Set),i.set(e,0);for(let o of e.transitions){let e=t.get(o.from),s=t.get(o.to);if(!e){n.push({level:`error`,message:`Transition refers to unknown "from" step "${o.from}".`});continue}if(!s){n.push({level:`error`,message:`Transition refers to unknown "to" step "${o.to}".`});continue}r.get(o.from)?.add(o.to),i.set(o.to,(i.get(o.to)??0)+1),a(o,n)}let o=[...i.entries()].filter(([,e])=>e===0).map(([e])=>e);return o.length>1&&n.push({level:`warning`,message:`Workflow has multiple potential entry steps: ${o.join(`, `)}`}),r}function a(e,t){e.condition&&!e.condition.trim()&&t.push({level:`error`,message:`Transition ${e.from} -> ${e.to} declares an empty condition.`})}function o(e,t,n){for(let r of e){let e=r.action;e&&(e.operation&&t.operations&&(t.operations.getSpec(e.operation.name,e.operation.version)||n.push({level:`error`,message:`Step "${r.id}" references unknown operation ${e.operation.name}.v${e.operation.version}.`})),e.form&&t.forms&&(t.forms.get(e.form.key,e.form.version)||n.push({level:`error`,message:`Step "${r.id}" references unknown form ${e.form.key}.v${e.form.version}.`})))}}function s(e,t,n,r){if(!e||!t.has(e))return;let i=new Set,a=[e];for(i.add(e);a.length;){let e=a.shift(),t=n.get(e);if(t)for(let e of t)i.has(e)||(i.add(e),a.push(e))}for(let n of t.keys())i.has(n)||r.push({level:`error`,message:`Step "${n}" is unreachable from entry step "${e}".`})}function c(e,t){let n=new Set,r=new Set,i=!1,a=o=>{if(r.has(o)){i||=(t.push({level:`error`,message:`Workflow contains a cycle involving step "${o}".`}),!0);return}if(n.has(o))return;r.add(o);let s=e.get(o);if(s)for(let e of s)a(e);r.delete(o),n.add(o)};for(let t of e.keys())a(t)}export{e as WorkflowValidationError,n as assertWorkflowSpecValid,t as validateWorkflowSpec};
+//# sourceMappingURL=validation.js.map

package/dist/workflow/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","names":["issues: WorkflowValidationIssue[]"],"sources":["../../src/workflow/validation.ts"],"sourcesContent":["import type { FormRegistry } from '../forms';\nimport type { SpecRegistry } from '../registry';\nimport type {\n  Step,\n  Transition,\n  WorkflowDefinition,\n  WorkflowSpec,\n} from './spec';\n\nexport type WorkflowValidationLevel = 'error' | 'warning';\n\nexport interface WorkflowValidationIssue {\n  level: WorkflowValidationLevel;\n  message: string;\n  context?: Record<string, unknown>;\n}\n\nexport interface ValidateWorkflowSpecOptions {\n  operations?: SpecRegistry;\n  forms?: FormRegistry;\n}\n\nexport class WorkflowValidationError extends Error {\n  constructor(\n    message: string,\n    public readonly issues: WorkflowValidationIssue[]\n  ) {\n    super(message);\n    this.name = 'WorkflowValidationError';\n  }\n}\n\n/**\n * Validate workflow structure, references, and reachability.\n * Returns the collected issues. Consumers may call {@link assertWorkflowSpecValid}\n * to throw on validation errors.\n */\nexport function validateWorkflowSpec(\n  spec: WorkflowSpec,\n  options: ValidateWorkflowSpecOptions = {}\n): WorkflowValidationIssue[] {\n  const issues: WorkflowValidationIssue[] = [];\n  const { definition } = spec;\n\n  if (!definition.steps.length) {\n    issues.push({\n      level: 'error',\n      message: 'Workflow must declare at least one step.',\n    });\n    return issues;\n  }\n\n  const stepsById = indexSteps(definition, issues);\n  const entryStepId =\n    definition.entryStepId ?? definition.steps[0]?.id ?? null;\n\n  if (!entryStepId) {\n    issues.push({\n      level: 'error',\n      message: 'Workflow requires an entry step (definition.entryStepId).',\n    });\n  } else if (!stepsById.has(entryStepId)) {\n    issues.push({\n      level: 'error',\n      message: `Entry step \"${entryStepId}\" is not defined in steps.`,\n    });\n  }\n\n  const adjacency = buildAdjacency(definition, stepsById, issues);\n\n  validateStepActions(definition.steps, options, issues);\n  validateReachability(entryStepId, stepsById, adjacency, issues);\n  detectCycles(adjacency, issues);\n\n  return issues;\n}\n\nexport function assertWorkflowSpecValid(\n  spec: WorkflowSpec,\n  options: ValidateWorkflowSpecOptions = {}\n): void {\n  const issues = validateWorkflowSpec(spec, options);\n  const errors = issues.filter((issue) => issue.level === 'error');\n  if (errors.length) {\n    throw new WorkflowValidationError(\n      `Workflow ${spec.meta.name}.v${spec.meta.version} is invalid`,\n      issues\n    );\n  }\n}\n\nfunction indexSteps(\n  definition: WorkflowDefinition,\n  issues: WorkflowValidationIssue[]\n) {\n  const stepsById = new Map<string, Step>();\n  for (const step of definition.steps) {\n    if (stepsById.has(step.id)) {\n      issues.push({\n        level: 'error',\n        message: `Duplicate step id \"${step.id}\" detected.`,\n      });\n      continue;\n    }\n    stepsById.set(step.id, step);\n    if (step.type === 'automation' && !step.action?.operation) {\n      issues.push({\n        level: 'warning',\n        message: `Automation step \"${step.id}\" does not declare an operation.`,\n      });\n    }\n    if (step.type === 'human' && !step.action?.form) {\n      issues.push({\n        level: 'warning',\n        message: `Human step \"${step.id}\" does not declare a form.`,\n      });\n    }\n    if (step.guard && !step.guard.value.trim()) {\n      issues.push({\n        level: 'error',\n        message: `Guard for step \"${step.id}\" must have a non-empty value.`,\n      });\n    }\n  }\n  return stepsById;\n}\n\nfunction buildAdjacency(\n  definition: WorkflowDefinition,\n  stepsById: Map<string, Step>,\n  issues: WorkflowValidationIssue[]\n) {\n  const adjacency = new Map<string, Set<string>>();\n  const incoming = new Map<string, number>();\n\n  for (const stepId of stepsById.keys()) {\n    adjacency.set(stepId, new Set());\n    incoming.set(stepId, 0);\n  }\n\n  for (const transition of definition.transitions) {\n    const from = stepsById.get(transition.from);\n    const to = stepsById.get(transition.to);\n\n    if (!from) {\n      issues.push({\n        level: 'error',\n        message: `Transition refers to unknown \"from\" step \"${transition.from}\".`,\n      });\n      continue;\n    }\n    if (!to) {\n      issues.push({\n        level: 'error',\n        message: `Transition refers to unknown \"to\" step \"${transition.to}\".`,\n      });\n      continue;\n    }\n\n    adjacency.get(transition.from)?.add(transition.to);\n    incoming.set(\n      transition.to,\n      (incoming.get(transition.to) ?? 0) + 1\n    );\n\n    validateTransition(transition, issues);\n  }\n\n  const roots = [...incoming.entries()]\n    .filter(([, count]) => count === 0)\n    .map(([id]) => id);\n  if (roots.length > 1) {\n    issues.push({\n      level: 'warning',\n      message: `Workflow has multiple potential entry steps: ${roots.join(', ')}`,\n    });\n  }\n\n  return adjacency;\n}\n\nfunction validateTransition(\n  transition: Transition,\n  issues: WorkflowValidationIssue[]\n) {\n  if (transition.condition && !transition.condition.trim()) {\n    issues.push({\n      level: 'error',\n      message: `Transition ${transition.from} -> ${transition.to} declares an empty condition.`,\n    });\n  }\n}\n\nfunction validateStepActions(\n  steps: Step[],\n  options: ValidateWorkflowSpecOptions,\n  issues: WorkflowValidationIssue[]\n) {\n  for (const step of steps) {\n    const action = step.action;\n    if (!action) continue;\n    if (action.operation && options.operations) {\n      const op = options.operations.getSpec(\n        action.operation.name,\n        action.operation.version\n      );\n      if (!op) {\n        issues.push({\n          level: 'error',\n          message: `Step \"${step.id}\" references unknown operation ${action.operation.name}.v${action.operation.version}.`,\n        });\n      }\n    }\n    if (action.form && options.forms) {\n      const form = options.forms.get(action.form.key, action.form.version);\n      if (!form) {\n        issues.push({\n          level: 'error',\n          message: `Step \"${step.id}\" references unknown form ${action.form.key}.v${action.form.version}.`,\n        });\n      }\n    }\n  }\n}\n\nfunction validateReachability(\n  entryStepId: string | null,\n  stepsById: Map<string, Step>,\n  adjacency: Map<string, Set<string>>,\n  issues: WorkflowValidationIssue[]\n) {\n  if (!entryStepId || !stepsById.has(entryStepId)) return;\n  const visited = new Set<string>();\n  const queue = [entryStepId];\n  visited.add(entryStepId);\n\n  while (queue.length) {\n    const current = queue.shift()!;\n    const neighbours = adjacency.get(current);\n    if (!neighbours) continue;\n    for (const next of neighbours) {\n      if (visited.has(next)) continue;\n      visited.add(next);\n      queue.push(next);\n    }\n  }\n\n  for (const stepId of stepsById.keys()) {\n    if (!visited.has(stepId)) {\n      issues.push({\n        level: 'error',\n        message: `Step \"${stepId}\" is unreachable from entry step \"${entryStepId}\".`,\n      });\n    }\n  }\n}\n\nfunction detectCycles(\n  adjacency: Map<string, Set<string>>,\n  issues: WorkflowValidationIssue[]\n) {\n  const visited = new Set<string>();\n  const stack = new Set<string>();\n  let cycleReported = false;\n\n  const dfs = (node: string) => {\n    if (stack.has(node)) {\n      if (!cycleReported) {\n        issues.push({\n          level: 'error',\n          message: `Workflow contains a cycle involving step \"${node}\".`,\n        });\n        cycleReported = true;\n      }\n      return;\n    }\n    if (visited.has(node)) return;\n\n    stack.add(node);\n    const neighbours = adjacency.get(node);\n    if (neighbours) {\n      for (const next of neighbours) dfs(next);\n    }\n    stack.delete(node);\n    visited.add(node);\n  };\n\n  for (const node of adjacency.keys()) dfs(node);\n}\n\n"],"mappings":"AAsBA,IAAa,EAAb,cAA6C,KAAM,CACjD,YACE,EACA,EACA,CACA,MAAM,EAAQ,CAFE,KAAA,OAAA,EAGhB,KAAK,KAAO,4BAShB,SAAgB,EACd,EACA,EAAuC,EAAE,CACd,CAC3B,IAAMA,EAAoC,EAAE,CACtC,CAAE,cAAe,EAEvB,GAAI,CAAC,EAAW,MAAM,OAKpB,OAJA,EAAO,KAAK,CACV,MAAO,QACP,QAAS,2CACV,CAAC,CACK,EAGT,IAAM,EAAY,EAAW,EAAY,EAAO,CAC1C,EACJ,EAAW,aAAe,EAAW,MAAM,IAAI,IAAM,KAElD,EAKO,EAAU,IAAI,EAAY,EACpC,EAAO,KAAK,CACV,MAAO,QACP,QAAS,eAAe,EAAY,4BACrC,CAAC,CARF,EAAO,KAAK,CACV,MAAO,QACP,QAAS,4DACV,CAAC,CAQJ,IAAM,EAAY,EAAe,EAAY,EAAW,EAAO,CAM/D,OAJA,EAAoB,EAAW,MAAO,EAAS,EAAO,CACtD,EAAqB,EAAa,EAAW,EAAW,EAAO,CAC/D,EAAa,EAAW,EAAO,CAExB,EAGT,SAAgB,EACd,EACA,EAAuC,EAAE,CACnC,CACN,IAAM,EAAS,EAAqB,EAAM,EAAQ,CAElD,GADe,EAAO,OAAQ,GAAU,EAAM,QAAU,QAAQ,CACrD,OACT,MAAM,IAAI,EACR,YAAY,EAAK,KAAK,KAAK,IAAI,EAAK,KAAK,QAAQ,aACjD,EACD,CAIL,SAAS,EACP,EACA,EACA,CACA,IAAM,EAAY,IAAI,IACtB,IAAK,IAAM,KAAQ,EAAW,MAAO,CACnC,GAAI,EAAU,IAAI,EAAK,GAAG,CAAE,CAC1B,EAAO,KAAK,CACV,MAAO,QACP,QAAS,sBAAsB,EAAK,GAAG,aACxC,CAAC,CACF,SAEF,EAAU,IAAI,EAAK,GAAI,EAAK,CACxB,EAAK,OAAS,cAAgB,CAAC,EAAK,QAAQ,WAC9C,EAAO,KAAK,CACV,MAAO,UACP,QAAS,oBAAoB,EAAK,GAAG,kCACtC,CAAC,CAEA,EAAK,OAAS,SAAW,CAAC,EAAK,QAAQ,MACzC,EAAO,KAAK,CACV,MAAO,UACP,QAAS,eAAe,EAAK,GAAG,4BACjC,CAAC,CAEA,EAAK,OAAS,CAAC,EAAK,MAAM,MAAM,MAAM,EACxC,EAAO,KAAK,CACV,MAAO,QACP,QAAS,mBAAmB,EAAK,GAAG,gCACrC,CAAC,CAGN,OAAO,EAGT,SAAS,EACP,EACA,EACA,EACA,CACA,IAAM,EAAY,IAAI,IAChB,EAAW,IAAI,IAErB,IAAK,IAAM,KAAU,EAAU,MAAM,CACnC,EAAU,IAAI,EAAQ,IAAI,IAAM,CAChC,EAAS,IAAI,EAAQ,EAAE,CAGzB,IAAK,IAAM,KAAc,EAAW,YAAa,CAC/C,IAAM,EAAO,EAAU,IAAI,EAAW,KAAK,CACrC,EAAK,EAAU,IAAI,EAAW,GAAG,CAEvC,GAAI,CAAC,EAAM,CACT,EAAO,KAAK,CACV,MAAO,QACP,QAAS,6CAA6C,EAAW,KAAK,IACvE,CAAC,CACF,SAEF,GAAI,CAAC,EAAI,CACP,EAAO,KAAK,CACV,MAAO,QACP,QAAS,2CAA2C,EAAW,GAAG,IACnE,CAAC,CACF,SAGF,EAAU,IAAI,EAAW,KAAK,EAAE,IAAI,EAAW,GAAG,CAClD,EAAS,IACP,EAAW,IACV,EAAS,IAAI,EAAW,GAAG,EAAI,GAAK,EACtC,CAED,EAAmB,EAAY,EAAO,CAGxC,IAAM,EAAQ,CAAC,GAAG,EAAS,SAAS,CAAC,CAClC,QAAQ,EAAG,KAAW,IAAU,EAAE,CAClC,KAAK,CAAC,KAAQ,EAAG,CAQpB,OAPI,EAAM,OAAS,GACjB,EAAO,KAAK,CACV,MAAO,UACP,QAAS,gDAAgD,EAAM,KAAK,KAAK,GAC1E,CAAC,CAGG,EAGT,SAAS,EACP,EACA,EACA,CACI,EAAW,WAAa,CAAC,EAAW,UAAU,MAAM,EACtD,EAAO,KAAK,CACV,MAAO,QACP,QAAS,cAAc,EAAW,KAAK,MAAM,EAAW,GAAG,+BAC5D,CAAC,CAIN,SAAS,EACP,EACA,EACA,EACA,CACA,IAAK,IAAM,KAAQ,EAAO,CACxB,IAAM,EAAS,EAAK,OACf,IACD,EAAO,WAAa,EAAQ,aACnB,EAAQ,WAAW,QAC5B,EAAO,UAAU,KACjB,EAAO,UAAU,QAClB,EAEC,EAAO,KAAK,CACV,MAAO,QACP,QAAS,SAAS,EAAK,GAAG,iCAAiC,EAAO,UAAU,KAAK,IAAI,EAAO,UAAU,QAAQ,GAC/G,CAAC,EAGF,EAAO,MAAQ,EAAQ,QACZ,EAAQ,MAAM,IAAI,EAAO,KAAK,IAAK,EAAO,KAAK,QAAQ,EAElE,EAAO,KAAK,CACV,MAAO,QACP,QAAS,SAAS,EAAK,GAAG,4BAA4B,EAAO,KAAK,IAAI,IAAI,EAAO,KAAK,QAAQ,GAC/F,CAAC,IAMV,SAAS,EACP,EACA,EACA,EACA,EACA,CACA,GAAI,CAAC,GAAe,CAAC,EAAU,IAAI,EAAY,CAAE,OACjD,IAAM,EAAU,IAAI,IACd,EAAQ,CAAC,EAAY,CAG3B,IAFA,EAAQ,IAAI,EAAY,CAEjB,EAAM,QAAQ,CACnB,IAAM,EAAU,EAAM,OAAO,CACvB,EAAa,EAAU,IAAI,EAAQ,CACpC,KACL,IAAK,IAAM,KAAQ,EACb,EAAQ,IAAI,EAAK,GACrB,EAAQ,IAAI,EAAK,CACjB,EAAM,KAAK,EAAK,EAIpB,IAAK,IAAM,KAAU,EAAU,MAAM,CAC9B,EAAQ,IAAI,EAAO,EACtB,EAAO,KAAK,CACV,MAAO,QACP,QAAS,SAAS,EAAO,oCAAoC,EAAY,IAC1E,CAAC,CAKR,SAAS,EACP,EACA,EACA,CACA,IAAM,EAAU,IAAI,IACd,EAAQ,IAAI,IACd,EAAgB,GAEd,EAAO,GAAiB,CAC5B,GAAI,EAAM,IAAI,EAAK,CAAE,CACnB,AAKE,KAJA,EAAO,KAAK,CACV,MAAO,QACP,QAAS,6CAA6C,EAAK,IAC5D,CAAC,CACc,IAElB,OAEF,GAAI,EAAQ,IAAI,EAAK,CAAE,OAEvB,EAAM,IAAI,EAAK,CACf,IAAM,EAAa,EAAU,IAAI,EAAK,CACtC,GAAI,EACF,IAAK,IAAM,KAAQ,EAAY,EAAI,EAAK,CAE1C,EAAM,OAAO,EAAK,CAClB,EAAQ,IAAI,EAAK,EAGnB,IAAK,IAAM,KAAQ,EAAU,MAAM,CAAE,EAAI,EAAK"}