@open-mercato/core 0.4.2-canary-968c919ed2 → 0.4.2-canary-f821f89ef6

package/dist/modules/workflows/lib/seeds.js

@@ -6,11 +6,15 @@ import checkoutDemoDefinition from "../examples/checkout-demo-definition.json";
 import guardRulesExample from "../examples/guard-rules-example.json";
 import salesPipelineDefinition from "../examples/sales-pipeline-definition.json";
 import simpleApprovalDefinition from "../examples/simple-approval-definition.json";
+import orderApprovalDefinition from "../examples/order-approval-definition.json";
+import orderApprovalGuardRules from "../examples/order-approval-guard-rules.json";
 const embeddedSeeds = {
   "checkout-demo-definition.json": checkoutDemoDefinition,
   "guard-rules-example.json": guardRulesExample,
   "sales-pipeline-definition.json": salesPipelineDefinition,
-  "simple-approval-definition.json": simpleApprovalDefinition
+  "simple-approval-definition.json": simpleApprovalDefinition,
+  "order-approval-definition.json": orderApprovalDefinition,
+  "order-approval-guard-rules.json": orderApprovalGuardRules
 };
 function readExampleJson(fileName) {
   const embedded = embeddedSeeds[fileName];
@@ -41,12 +45,23 @@ async function seedWorkflowDefinition(em, scope, fileName) {
     organizationId: scope.organizationId
   });
   if (existing) {
+    const seedStepCount = seed.definition.steps.length;
+    const existingStepCount = existing.definition.steps.length;
+    const seedTransitionCount = seed.definition.transitions.length;
+    const existingTransitionCount = existing.definition.transitions.length;
+    const seedHasTransitionPreConditions = seed.definition.transitions.some(
+      (t) => t.preConditions && t.preConditions.length > 0
+    );
+    const existingHasTransitionPreConditions = existing.definition.transitions.some(
+      (t) => t.preConditions && t.preConditions.length > 0
+    );
     const seedStartStep = seed.definition.steps.find((s) => s.stepType === "START");
     const existingStartStep = existing.definition.steps.find((s) => s.stepType === "START");
-    const seedHasPreConditions = seedStartStep?.preConditions && seedStartStep.preConditions.length > 0;
-    const existingHasPreConditions = existingStartStep?.preConditions && existingStartStep.preConditions.length > 0;
-    if (seedHasPreConditions && !existingHasPreConditions) {
-      console.log(`[seed] Updating workflow ${workflowId} with preConditions`);
+    const seedHasStartPreConditions = seedStartStep?.preConditions && seedStartStep.preConditions.length > 0;
+    const existingHasStartPreConditions = existingStartStep?.preConditions && existingStartStep.preConditions.length > 0;
+    const needsUpdate = seedStepCount !== existingStepCount || seedTransitionCount !== existingTransitionCount || seedHasStartPreConditions && !existingHasStartPreConditions || seedHasTransitionPreConditions && !existingHasTransitionPreConditions;
+    if (needsUpdate) {
+      console.log(`[seed] Updating workflow ${workflowId} (steps: ${existingStepCount}\u2192${seedStepCount}, transitions: ${existingTransitionCount}\u2192${seedTransitionCount})`);
       existing.definition = seed.definition;
       await em.flush();
       return true;
@@ -109,6 +124,8 @@ async function seedExampleWorkflows(em, scope) {
   await seedGuardRules(em, scope, "guard-rules-example.json");
   await seedWorkflowDefinition(em, scope, "sales-pipeline-definition.json");
   await seedWorkflowDefinition(em, scope, "simple-approval-definition.json");
+  await seedGuardRules(em, scope, "order-approval-guard-rules.json");
+  await seedWorkflowDefinition(em, scope, "order-approval-definition.json");
 }
 export {
   seedExampleWorkflows

package/dist/modules/workflows/lib/seeds.js.map

@@ -1,7 +1,7 @@
 {
   "version": 3,
   "sources": ["../../../../src/modules/workflows/lib/seeds.ts"],
-  "sourcesContent": ["import type { EntityManager } from '@mikro-orm/postgresql'\nimport * as fs from 'fs'\nimport * as path from 'path'\nimport { WorkflowDefinition, type WorkflowDefinitionData } from '../data/entities'\nimport { BusinessRule, type RuleType } from '@open-mercato/core/modules/business_rules/data/entities'\nimport checkoutDemoDefinition from '../examples/checkout-demo-definition.json'\nimport guardRulesExample from '../examples/guard-rules-example.json'\nimport salesPipelineDefinition from '../examples/sales-pipeline-definition.json'\nimport simpleApprovalDefinition from '../examples/simple-approval-definition.json'\n\nexport type WorkflowSeedScope = { tenantId: string; organizationId: string }\n\ntype WorkflowSeedDefinition = {\n  workflowId: string\n  workflowName: string\n  description?: string | null\n  version?: number\n  definition: WorkflowDefinitionData\n  metadata?: Record<string, unknown> | null\n  enabled?: boolean\n  effectiveFrom?: string | null\n  effectiveTo?: string | null\n  createdBy?: string | null\n  updatedBy?: string | null\n}\n\ntype GuardRuleSeed = {\n  ruleId: string\n  ruleName: string\n  ruleType: RuleType\n  entityType: string\n  conditionExpression: unknown\n  eventType?: string | null\n  ruleCategory?: string | null\n  description?: string | null\n  successActions?: unknown\n  failureActions?: unknown\n  enabled?: boolean\n  priority?: number\n  version?: number\n  effectiveFrom?: string | null\n  effectiveTo?: string | null\n  createdBy?: string | null\n  updatedBy?: string | null\n  tagsJson?: string[]\n  labelsJson?: Record<string, string>\n}\n\nconst embeddedSeeds: Record<string, unknown> = {\n  'checkout-demo-definition.json': checkoutDemoDefinition,\n  'guard-rules-example.json': guardRulesExample,\n  'sales-pipeline-definition.json': salesPipelineDefinition,\n  'simple-approval-definition.json': simpleApprovalDefinition,\n}\n\nfunction readExampleJson<T>(fileName: string): T {\n  const embedded = embeddedSeeds[fileName]\n  if (embedded) {\n    return embedded as T\n  }\n  const candidates = [\n    path.join(__dirname, '..', 'examples', fileName),\n    path.join(process.cwd(), 'packages', 'core', 'src', 'modules', 'workflows', 'examples', fileName),\n    path.join(process.cwd(), 'src', 'modules', 'workflows', 'examples', fileName),\n  ]\n  const filePath = candidates.find((candidate) => fs.existsSync(candidate))\n  if (!filePath) {\n    throw new Error(`Missing workflow seed file: ${fileName}`)\n  }\n  return JSON.parse(fs.readFileSync(filePath, 'utf8')) as T\n}\n\nfunction requireString(value: unknown, label: string): string {\n  if (typeof value === 'string' && value.trim().length > 0) return value\n  throw new Error(`Invalid ${label} in workflow seed data.`)\n}\n\nasync function seedWorkflowDefinition(\n  em: EntityManager,\n  scope: WorkflowSeedScope,\n  fileName: string,\n): Promise<boolean> {\n  const seed = readExampleJson<WorkflowSeedDefinition>(fileName)\n  const workflowId = requireString(seed.workflowId, 'workflowId')\n\n  const existing = await em.findOne(WorkflowDefinition, {\n    workflowId,\n    tenantId: scope.tenantId,\n    organizationId: scope.organizationId,\n  })\n\n  if (existing) {\n    // Check if the definition needs to be updated (e.g., missing preConditions on START step)\n    const seedStartStep = seed.definition.steps.find((s: any) => s.stepType === 'START')\n    const existingStartStep = existing.definition.steps.find((s: any) => s.stepType === 'START')\n\n    const seedHasPreConditions = seedStartStep?.preConditions && seedStartStep.preConditions.length > 0\n    const existingHasPreConditions = existingStartStep?.preConditions && existingStartStep.preConditions.length > 0\n\n    // Update if seed has preConditions but existing doesn't\n    if (seedHasPreConditions && !existingHasPreConditions) {\n      console.log(`[seed] Updating workflow ${workflowId} with preConditions`)\n      existing.definition = seed.definition\n      await em.flush()\n      return true\n    }\n\n    return false\n  }\n\n  const workflow = em.create(WorkflowDefinition, {\n    ...seed,\n    workflowId,\n    tenantId: scope.tenantId,\n    organizationId: scope.organizationId,\n  })\n  em.persist(workflow)\n  await em.flush()\n  return true\n}\n\nasync function seedGuardRules(\n  em: EntityManager,\n  scope: WorkflowSeedScope,\n  fileName: string,\n): Promise<{ seeded: number; skipped: number; updated: number }> {\n  const seeds = readExampleJson<GuardRuleSeed[]>(fileName)\n  if (!Array.isArray(seeds)) {\n    throw new Error('Invalid guard rules seed data.')\n  }\n\n  let seeded = 0\n  let skipped = 0\n  let updated = 0\n  for (const rule of seeds) {\n    const ruleId = requireString(rule.ruleId, 'ruleId')\n    const existing = await em.findOne(BusinessRule, {\n      ruleId,\n      tenantId: scope.tenantId,\n      organizationId: scope.organizationId,\n    })\n    if (existing) {\n      // Check if entityType or eventType needs updating\n      const needsUpdate = existing.entityType !== rule.entityType || existing.eventType !== rule.eventType\n      if (needsUpdate) {\n        console.log(`[seed] Updating business rule ${ruleId}: entityType=${rule.entityType}, eventType=${rule.eventType}`)\n        existing.entityType = rule.entityType\n        existing.eventType = rule.eventType ?? null\n        updated += 1\n      } else {\n        skipped += 1\n      }\n      continue\n    }\n    const entry = em.create(BusinessRule, {\n      ...rule,\n      ruleId,\n      tenantId: scope.tenantId,\n      organizationId: scope.organizationId,\n    })\n    em.persist(entry)\n    seeded += 1\n  }\n  if (seeded > 0 || updated > 0) {\n    await em.flush()\n  }\n  return { seeded, skipped, updated }\n}\n\nexport async function seedExampleWorkflows(em: EntityManager, scope: WorkflowSeedScope): Promise<void> {\n  await seedWorkflowDefinition(em, scope, 'checkout-demo-definition.json')\n  await seedGuardRules(em, scope, 'guard-rules-example.json')\n  await seedWorkflowDefinition(em, scope, 'sales-pipeline-definition.json')\n  await seedWorkflowDefinition(em, scope, 'simple-approval-definition.json')\n}\n"],
-  "mappings": "AACA,YAAY,QAAQ;AACpB,YAAY,UAAU;AACtB,SAAS,0BAAuD;AAChE,SAAS,oBAAmC;AAC5C,OAAO,4BAA4B;AACnC,OAAO,uBAAuB;AAC9B,OAAO,6BAA6B;AACpC,OAAO,8BAA8B;AAwCrC,MAAM,gBAAyC;AAAA,EAC7C,iCAAiC;AAAA,EACjC,4BAA4B;AAAA,EAC5B,kCAAkC;AAAA,EAClC,mCAAmC;AACrC;AAEA,SAAS,gBAAmB,UAAqB;AAC/C,QAAM,WAAW,cAAc,QAAQ;AACvC,MAAI,UAAU;AACZ,WAAO;AAAA,EACT;AACA,QAAM,aAAa;AAAA,IACjB,KAAK,KAAK,WAAW,MAAM,YAAY,QAAQ;AAAA,IAC/C,KAAK,KAAK,QAAQ,IAAI,GAAG,YAAY,QAAQ,OAAO,WAAW,aAAa,YAAY,QAAQ;AAAA,IAChG,KAAK,KAAK,QAAQ,IAAI,GAAG,OAAO,WAAW,aAAa,YAAY,QAAQ;AAAA,EAC9E;AACA,QAAM,WAAW,WAAW,KAAK,CAAC,cAAc,GAAG,WAAW,SAAS,CAAC;AACxE,MAAI,CAAC,UAAU;AACb,UAAM,IAAI,MAAM,+BAA+B,QAAQ,EAAE;AAAA,EAC3D;AACA,SAAO,KAAK,MAAM,GAAG,aAAa,UAAU,MAAM,CAAC;AACrD;AAEA,SAAS,cAAc,OAAgB,OAAuB;AAC5D,MAAI,OAAO,UAAU,YAAY,MAAM,KAAK,EAAE,SAAS,EAAG,QAAO;AACjE,QAAM,IAAI,MAAM,WAAW,KAAK,yBAAyB;AAC3D;AAEA,eAAe,uBACb,IACA,OACA,UACkB;AAClB,QAAM,OAAO,gBAAwC,QAAQ;AAC7D,QAAM,aAAa,cAAc,KAAK,YAAY,YAAY;AAE9D,QAAM,WAAW,MAAM,GAAG,QAAQ,oBAAoB;AAAA,IACpD;AAAA,IACA,UAAU,MAAM;AAAA,IAChB,gBAAgB,MAAM;AAAA,EACxB,CAAC;AAED,MAAI,UAAU;AAEZ,UAAM,gBAAgB,KAAK,WAAW,MAAM,KAAK,CAAC,MAAW,EAAE,aAAa,OAAO;AACnF,UAAM,oBAAoB,SAAS,WAAW,MAAM,KAAK,CAAC,MAAW,EAAE,aAAa,OAAO;AAE3F,UAAM,uBAAuB,eAAe,iBAAiB,cAAc,cAAc,SAAS;AAClG,UAAM,2BAA2B,mBAAmB,iBAAiB,kBAAkB,cAAc,SAAS;AAG9G,QAAI,wBAAwB,CAAC,0BAA0B;AACrD,cAAQ,IAAI,4BAA4B,UAAU,qBAAqB;AACvE,eAAS,aAAa,KAAK;AAC3B,YAAM,GAAG,MAAM;AACf,aAAO;AAAA,IACT;AAEA,WAAO;AAAA,EACT;AAEA,QAAM,WAAW,GAAG,OAAO,oBAAoB;AAAA,IAC7C,GAAG;AAAA,IACH;AAAA,IACA,UAAU,MAAM;AAAA,IAChB,gBAAgB,MAAM;AAAA,EACxB,CAAC;AACD,KAAG,QAAQ,QAAQ;AACnB,QAAM,GAAG,MAAM;AACf,SAAO;AACT;AAEA,eAAe,eACb,IACA,OACA,UAC+D;AAC/D,QAAM,QAAQ,gBAAiC,QAAQ;AACvD,MAAI,CAAC,MAAM,QAAQ,KAAK,GAAG;AACzB,UAAM,IAAI,MAAM,gCAAgC;AAAA,EAClD;AAEA,MAAI,SAAS;AACb,MAAI,UAAU;AACd,MAAI,UAAU;AACd,aAAW,QAAQ,OAAO;AACxB,UAAM,SAAS,cAAc,KAAK,QAAQ,QAAQ;AAClD,UAAM,WAAW,MAAM,GAAG,QAAQ,cAAc;AAAA,MAC9C;AAAA,MACA,UAAU,MAAM;AAAA,MAChB,gBAAgB,MAAM;AAAA,IACxB,CAAC;AACD,QAAI,UAAU;AAEZ,YAAM,cAAc,SAAS,eAAe,KAAK,cAAc,SAAS,cAAc,KAAK;AAC3F,UAAI,aAAa;AACf,gBAAQ,IAAI,iCAAiC,MAAM,gBAAgB,KAAK,UAAU,eAAe,KAAK,SAAS,EAAE;AACjH,iBAAS,aAAa,KAAK;AAC3B,iBAAS,YAAY,KAAK,aAAa;AACvC,mBAAW;AAAA,MACb,OAAO;AACL,mBAAW;AAAA,MACb;AACA;AAAA,IACF;AACA,UAAM,QAAQ,GAAG,OAAO,cAAc;AAAA,MACpC,GAAG;AAAA,MACH;AAAA,MACA,UAAU,MAAM;AAAA,MAChB,gBAAgB,MAAM;AAAA,IACxB,CAAC;AACD,OAAG,QAAQ,KAAK;AAChB,cAAU;AAAA,EACZ;AACA,MAAI,SAAS,KAAK,UAAU,GAAG;AAC7B,UAAM,GAAG,MAAM;AAAA,EACjB;AACA,SAAO,EAAE,QAAQ,SAAS,QAAQ;AACpC;AAEA,eAAsB,qBAAqB,IAAmB,OAAyC;AACrG,QAAM,uBAAuB,IAAI,OAAO,+BAA+B;AACvE,QAAM,eAAe,IAAI,OAAO,0BAA0B;AAC1D,QAAM,uBAAuB,IAAI,OAAO,gCAAgC;AACxE,QAAM,uBAAuB,IAAI,OAAO,iCAAiC;AAC3E;",
+  "sourcesContent": ["import type { EntityManager } from '@mikro-orm/postgresql'\nimport * as fs from 'fs'\nimport * as path from 'path'\nimport { WorkflowDefinition, type WorkflowDefinitionData } from '../data/entities'\nimport { BusinessRule, type RuleType } from '@open-mercato/core/modules/business_rules/data/entities'\nimport checkoutDemoDefinition from '../examples/checkout-demo-definition.json'\nimport guardRulesExample from '../examples/guard-rules-example.json'\nimport salesPipelineDefinition from '../examples/sales-pipeline-definition.json'\nimport simpleApprovalDefinition from '../examples/simple-approval-definition.json'\nimport orderApprovalDefinition from '../examples/order-approval-definition.json'\nimport orderApprovalGuardRules from '../examples/order-approval-guard-rules.json'\n\nexport type WorkflowSeedScope = { tenantId: string; organizationId: string }\n\ntype WorkflowSeedDefinition = {\n  workflowId: string\n  workflowName: string\n  description?: string | null\n  version?: number\n  definition: WorkflowDefinitionData\n  metadata?: Record<string, unknown> | null\n  enabled?: boolean\n  effectiveFrom?: string | null\n  effectiveTo?: string | null\n  createdBy?: string | null\n  updatedBy?: string | null\n}\n\ntype GuardRuleSeed = {\n  ruleId: string\n  ruleName: string\n  ruleType: RuleType\n  entityType: string\n  conditionExpression: unknown\n  eventType?: string | null\n  ruleCategory?: string | null\n  description?: string | null\n  successActions?: unknown\n  failureActions?: unknown\n  enabled?: boolean\n  priority?: number\n  version?: number\n  effectiveFrom?: string | null\n  effectiveTo?: string | null\n  createdBy?: string | null\n  updatedBy?: string | null\n  tagsJson?: string[]\n  labelsJson?: Record<string, string>\n}\n\nconst embeddedSeeds: Record<string, unknown> = {\n  'checkout-demo-definition.json': checkoutDemoDefinition,\n  'guard-rules-example.json': guardRulesExample,\n  'sales-pipeline-definition.json': salesPipelineDefinition,\n  'simple-approval-definition.json': simpleApprovalDefinition,\n  'order-approval-definition.json': orderApprovalDefinition,\n  'order-approval-guard-rules.json': orderApprovalGuardRules,\n}\n\nfunction readExampleJson<T>(fileName: string): T {\n  const embedded = embeddedSeeds[fileName]\n  if (embedded) {\n    return embedded as T\n  }\n  const candidates = [\n    path.join(__dirname, '..', 'examples', fileName),\n    path.join(process.cwd(), 'packages', 'core', 'src', 'modules', 'workflows', 'examples', fileName),\n    path.join(process.cwd(), 'src', 'modules', 'workflows', 'examples', fileName),\n  ]\n  const filePath = candidates.find((candidate) => fs.existsSync(candidate))\n  if (!filePath) {\n    throw new Error(`Missing workflow seed file: ${fileName}`)\n  }\n  return JSON.parse(fs.readFileSync(filePath, 'utf8')) as T\n}\n\nfunction requireString(value: unknown, label: string): string {\n  if (typeof value === 'string' && value.trim().length > 0) return value\n  throw new Error(`Invalid ${label} in workflow seed data.`)\n}\n\nasync function seedWorkflowDefinition(\n  em: EntityManager,\n  scope: WorkflowSeedScope,\n  fileName: string,\n): Promise<boolean> {\n  const seed = readExampleJson<WorkflowSeedDefinition>(fileName)\n  const workflowId = requireString(seed.workflowId, 'workflowId')\n\n  const existing = await em.findOne(WorkflowDefinition, {\n    workflowId,\n    tenantId: scope.tenantId,\n    organizationId: scope.organizationId,\n  })\n\n  if (existing) {\n    // Check if the definition needs to be updated by comparing steps and transitions\n    const seedStepCount = seed.definition.steps.length\n    const existingStepCount = existing.definition.steps.length\n    const seedTransitionCount = seed.definition.transitions.length\n    const existingTransitionCount = existing.definition.transitions.length\n\n    // Check for preConditions on transitions\n    const seedHasTransitionPreConditions = seed.definition.transitions.some(\n      (t: any) => t.preConditions && t.preConditions.length > 0\n    )\n    const existingHasTransitionPreConditions = existing.definition.transitions.some(\n      (t: any) => t.preConditions && t.preConditions.length > 0\n    )\n\n    // Check for preConditions on START step\n    const seedStartStep = seed.definition.steps.find((s: any) => s.stepType === 'START')\n    const existingStartStep = existing.definition.steps.find((s: any) => s.stepType === 'START')\n    const seedHasStartPreConditions = seedStartStep?.preConditions && seedStartStep.preConditions.length > 0\n    const existingHasStartPreConditions = existingStartStep?.preConditions && existingStartStep.preConditions.length > 0\n\n    // Update if structure has changed\n    const needsUpdate =\n      seedStepCount !== existingStepCount ||\n      seedTransitionCount !== existingTransitionCount ||\n      (seedHasStartPreConditions && !existingHasStartPreConditions) ||\n      (seedHasTransitionPreConditions && !existingHasTransitionPreConditions)\n\n    if (needsUpdate) {\n      console.log(`[seed] Updating workflow ${workflowId} (steps: ${existingStepCount}\u2192${seedStepCount}, transitions: ${existingTransitionCount}\u2192${seedTransitionCount})`)\n      existing.definition = seed.definition\n      await em.flush()\n      return true\n    }\n\n    return false\n  }\n\n  const workflow = em.create(WorkflowDefinition, {\n    ...seed,\n    workflowId,\n    tenantId: scope.tenantId,\n    organizationId: scope.organizationId,\n  })\n  em.persist(workflow)\n  await em.flush()\n  return true\n}\n\nasync function seedGuardRules(\n  em: EntityManager,\n  scope: WorkflowSeedScope,\n  fileName: string,\n): Promise<{ seeded: number; skipped: number; updated: number }> {\n  const seeds = readExampleJson<GuardRuleSeed[]>(fileName)\n  if (!Array.isArray(seeds)) {\n    throw new Error('Invalid guard rules seed data.')\n  }\n\n  let seeded = 0\n  let skipped = 0\n  let updated = 0\n  for (const rule of seeds) {\n    const ruleId = requireString(rule.ruleId, 'ruleId')\n    const existing = await em.findOne(BusinessRule, {\n      ruleId,\n      tenantId: scope.tenantId,\n      organizationId: scope.organizationId,\n    })\n    if (existing) {\n      // Check if entityType or eventType needs updating\n      const needsUpdate = existing.entityType !== rule.entityType || existing.eventType !== rule.eventType\n      if (needsUpdate) {\n        console.log(`[seed] Updating business rule ${ruleId}: entityType=${rule.entityType}, eventType=${rule.eventType}`)\n        existing.entityType = rule.entityType\n        existing.eventType = rule.eventType ?? null\n        updated += 1\n      } else {\n        skipped += 1\n      }\n      continue\n    }\n    const entry = em.create(BusinessRule, {\n      ...rule,\n      ruleId,\n      tenantId: scope.tenantId,\n      organizationId: scope.organizationId,\n    })\n    em.persist(entry)\n    seeded += 1\n  }\n  if (seeded > 0 || updated > 0) {\n    await em.flush()\n  }\n  return { seeded, skipped, updated }\n}\n\nexport async function seedExampleWorkflows(em: EntityManager, scope: WorkflowSeedScope): Promise<void> {\n  await seedWorkflowDefinition(em, scope, 'checkout-demo-definition.json')\n  await seedGuardRules(em, scope, 'guard-rules-example.json')\n  await seedWorkflowDefinition(em, scope, 'sales-pipeline-definition.json')\n  await seedWorkflowDefinition(em, scope, 'simple-approval-definition.json')\n  // Seed order approval guard rules before the workflow definition\n  await seedGuardRules(em, scope, 'order-approval-guard-rules.json')\n  await seedWorkflowDefinition(em, scope, 'order-approval-definition.json')\n}\n"],
+  "mappings": "AACA,YAAY,QAAQ;AACpB,YAAY,UAAU;AACtB,SAAS,0BAAuD;AAChE,SAAS,oBAAmC;AAC5C,OAAO,4BAA4B;AACnC,OAAO,uBAAuB;AAC9B,OAAO,6BAA6B;AACpC,OAAO,8BAA8B;AACrC,OAAO,6BAA6B;AACpC,OAAO,6BAA6B;AAwCpC,MAAM,gBAAyC;AAAA,EAC7C,iCAAiC;AAAA,EACjC,4BAA4B;AAAA,EAC5B,kCAAkC;AAAA,EAClC,mCAAmC;AAAA,EACnC,kCAAkC;AAAA,EAClC,mCAAmC;AACrC;AAEA,SAAS,gBAAmB,UAAqB;AAC/C,QAAM,WAAW,cAAc,QAAQ;AACvC,MAAI,UAAU;AACZ,WAAO;AAAA,EACT;AACA,QAAM,aAAa;AAAA,IACjB,KAAK,KAAK,WAAW,MAAM,YAAY,QAAQ;AAAA,IAC/C,KAAK,KAAK,QAAQ,IAAI,GAAG,YAAY,QAAQ,OAAO,WAAW,aAAa,YAAY,QAAQ;AAAA,IAChG,KAAK,KAAK,QAAQ,IAAI,GAAG,OAAO,WAAW,aAAa,YAAY,QAAQ;AAAA,EAC9E;AACA,QAAM,WAAW,WAAW,KAAK,CAAC,cAAc,GAAG,WAAW,SAAS,CAAC;AACxE,MAAI,CAAC,UAAU;AACb,UAAM,IAAI,MAAM,+BAA+B,QAAQ,EAAE;AAAA,EAC3D;AACA,SAAO,KAAK,MAAM,GAAG,aAAa,UAAU,MAAM,CAAC;AACrD;AAEA,SAAS,cAAc,OAAgB,OAAuB;AAC5D,MAAI,OAAO,UAAU,YAAY,MAAM,KAAK,EAAE,SAAS,EAAG,QAAO;AACjE,QAAM,IAAI,MAAM,WAAW,KAAK,yBAAyB;AAC3D;AAEA,eAAe,uBACb,IACA,OACA,UACkB;AAClB,QAAM,OAAO,gBAAwC,QAAQ;AAC7D,QAAM,aAAa,cAAc,KAAK,YAAY,YAAY;AAE9D,QAAM,WAAW,MAAM,GAAG,QAAQ,oBAAoB;AAAA,IACpD;AAAA,IACA,UAAU,MAAM;AAAA,IAChB,gBAAgB,MAAM;AAAA,EACxB,CAAC;AAED,MAAI,UAAU;AAEZ,UAAM,gBAAgB,KAAK,WAAW,MAAM;AAC5C,UAAM,oBAAoB,SAAS,WAAW,MAAM;AACpD,UAAM,sBAAsB,KAAK,WAAW,YAAY;AACxD,UAAM,0BAA0B,SAAS,WAAW,YAAY;AAGhE,UAAM,iCAAiC,KAAK,WAAW,YAAY;AAAA,MACjE,CAAC,MAAW,EAAE,iBAAiB,EAAE,cAAc,SAAS;AAAA,IAC1D;AACA,UAAM,qCAAqC,SAAS,WAAW,YAAY;AAAA,MACzE,CAAC,MAAW,EAAE,iBAAiB,EAAE,cAAc,SAAS;AAAA,IAC1D;AAGA,UAAM,gBAAgB,KAAK,WAAW,MAAM,KAAK,CAAC,MAAW,EAAE,aAAa,OAAO;AACnF,UAAM,oBAAoB,SAAS,WAAW,MAAM,KAAK,CAAC,MAAW,EAAE,aAAa,OAAO;AAC3F,UAAM,4BAA4B,eAAe,iBAAiB,cAAc,cAAc,SAAS;AACvG,UAAM,gCAAgC,mBAAmB,iBAAiB,kBAAkB,cAAc,SAAS;AAGnH,UAAM,cACJ,kBAAkB,qBAClB,wBAAwB,2BACvB,6BAA6B,CAAC,iCAC9B,kCAAkC,CAAC;AAEtC,QAAI,aAAa;AACf,cAAQ,IAAI,4BAA4B,UAAU,YAAY,iBAAiB,SAAI,aAAa,kBAAkB,uBAAuB,SAAI,mBAAmB,GAAG;AACnK,eAAS,aAAa,KAAK;AAC3B,YAAM,GAAG,MAAM;AACf,aAAO;AAAA,IACT;AAEA,WAAO;AAAA,EACT;AAEA,QAAM,WAAW,GAAG,OAAO,oBAAoB;AAAA,IAC7C,GAAG;AAAA,IACH;AAAA,IACA,UAAU,MAAM;AAAA,IAChB,gBAAgB,MAAM;AAAA,EACxB,CAAC;AACD,KAAG,QAAQ,QAAQ;AACnB,QAAM,GAAG,MAAM;AACf,SAAO;AACT;AAEA,eAAe,eACb,IACA,OACA,UAC+D;AAC/D,QAAM,QAAQ,gBAAiC,QAAQ;AACvD,MAAI,CAAC,MAAM,QAAQ,KAAK,GAAG;AACzB,UAAM,IAAI,MAAM,gCAAgC;AAAA,EAClD;AAEA,MAAI,SAAS;AACb,MAAI,UAAU;AACd,MAAI,UAAU;AACd,aAAW,QAAQ,OAAO;AACxB,UAAM,SAAS,cAAc,KAAK,QAAQ,QAAQ;AAClD,UAAM,WAAW,MAAM,GAAG,QAAQ,cAAc;AAAA,MAC9C;AAAA,MACA,UAAU,MAAM;AAAA,MAChB,gBAAgB,MAAM;AAAA,IACxB,CAAC;AACD,QAAI,UAAU;AAEZ,YAAM,cAAc,SAAS,eAAe,KAAK,cAAc,SAAS,cAAc,KAAK;AAC3F,UAAI,aAAa;AACf,gBAAQ,IAAI,iCAAiC,MAAM,gBAAgB,KAAK,UAAU,eAAe,KAAK,SAAS,EAAE;AACjH,iBAAS,aAAa,KAAK;AAC3B,iBAAS,YAAY,KAAK,aAAa;AACvC,mBAAW;AAAA,MACb,OAAO;AACL,mBAAW;AAAA,MACb;AACA;AAAA,IACF;AACA,UAAM,QAAQ,GAAG,OAAO,cAAc;AAAA,MACpC,GAAG;AAAA,MACH;AAAA,MACA,UAAU,MAAM;AAAA,MAChB,gBAAgB,MAAM;AAAA,IACxB,CAAC;AACD,OAAG,QAAQ,KAAK;AAChB,cAAU;AAAA,EACZ;AACA,MAAI,SAAS,KAAK,UAAU,GAAG;AAC7B,UAAM,GAAG,MAAM;AAAA,EACjB;AACA,SAAO,EAAE,QAAQ,SAAS,QAAQ;AACpC;AAEA,eAAsB,qBAAqB,IAAmB,OAAyC;AACrG,QAAM,uBAAuB,IAAI,OAAO,+BAA+B;AACvE,QAAM,eAAe,IAAI,OAAO,0BAA0B;AAC1D,QAAM,uBAAuB,IAAI,OAAO,gCAAgC;AACxE,QAAM,uBAAuB,IAAI,OAAO,iCAAiC;AAEzE,QAAM,eAAe,IAAI,OAAO,iCAAiC;AACjE,QAAM,uBAAuB,IAAI,OAAO,gCAAgC;AAC1E;",
   "names": []
 }

package/dist/modules/workflows/lib/start-validator.js

@@ -58,50 +58,60 @@ async function validateWorkflowStart(em, options) {
   const errors = [];
   const validatedRules = [];
   for (const condition of preConditions) {
-    const ruleContext = {
-      entityType: `workflow:${workflowId}:start`,
-      entityId: "pre_start_validation",
-      eventType: "validate_start",
+    const result = await ruleEngine.executeRuleByRuleId(em, {
+      ruleId: condition.ruleId,
+      // String identifier like "workflow_checkout_inventory_available"
       data: {
         workflowId,
         workflowContext: context
       },
       tenantId,
       organizationId,
+      entityType: `workflow:${workflowId}:start`,
+      entityId: "pre_start_validation",
+      eventType: "validate_start",
       dryRun: true
       // Don't log execution during validation
-    };
-    const rules = await ruleEngine.findApplicableRules(em, {
-      entityType: ruleContext.entityType,
-      eventType: ruleContext.eventType,
-      tenantId,
-      organizationId,
-      ruleType: "GUARD"
     });
-    const rule = rules.find((r) => r.ruleId === condition.ruleId);
-    if (!rule) {
+    validatedRules.push({
+      ruleId: condition.ruleId,
+      passed: result.conditionResult,
+      executionTime: result.executionTime
+    });
+    if (result.error === "Rule not found") {
       if (condition.required) {
         errors.push({
           ruleId: condition.ruleId,
-          message: getLocalizedMessage(condition, null, locale, `Business rule '${condition.ruleId}' not found`),
+          message: getLocalizedMessage(condition, null, locale, `Business rule not found: ${condition.ruleId}`),
           code: "RULE_NOT_FOUND"
         });
-        validatedRules.push({ ruleId: condition.ruleId, passed: false });
       }
       continue;
     }
-    const result = await ruleEngine.executeSingleRule(em, rule, ruleContext);
-    validatedRules.push({
-      ruleId: condition.ruleId,
-      passed: result.conditionResult,
-      executionTime: result.executionTime
-    });
+    if (result.error === "Rule is disabled") {
+      if (condition.required) {
+        errors.push({
+          ruleId: condition.ruleId,
+          message: getLocalizedMessage(condition, null, locale, `Business rule is disabled: ${result.ruleName}`),
+          code: "RULE_DISABLED"
+        });
+      }
+      continue;
+    }
+    if (result.error && condition.required) {
+      errors.push({
+        ruleId: condition.ruleId,
+        message: getLocalizedMessage(condition, null, locale, `Rule error: ${result.error}`),
+        code: "RULE_ERROR"
+      });
+      continue;
+    }
     if (!result.conditionResult && condition.required) {
       const message = getLocalizedMessage(
         condition,
-        rule,
+        null,
         locale,
-        `Pre-condition '${rule.ruleName || condition.ruleId}' failed`
+        `Pre-condition '${result.ruleName || condition.ruleId}' failed`
       );
       errors.push({
         ruleId: condition.ruleId,

package/dist/modules/workflows/lib/start-validator.js.map

@@ -1,7 +1,7 @@
 {
   "version": 3,
   "sources": ["../../../../src/modules/workflows/lib/start-validator.ts"],
-  "sourcesContent": ["/**\n * Workflows Module - Start Validator Service\n *\n * Validates pre-conditions on START step before workflow instance creation.\n * This enables guard rules that determine whether a workflow can be started\n * based on the initial context provided.\n */\n\nimport { EntityManager } from '@mikro-orm/core'\nimport { WorkflowDefinition } from '../data/entities'\nimport * as ruleEngine from '../../business_rules/lib/rule-engine'\nimport type { StartPreCondition } from '../data/validators'\n\n// ============================================================================\n// Types and Interfaces\n// ============================================================================\n\nexport interface ValidateStartOptions {\n  workflowId: string\n  version?: number\n  context: Record<string, any>\n  locale?: string\n  tenantId: string\n  organizationId: string\n}\n\nexport interface ValidationError {\n  ruleId: string\n  message: string\n  code: string\n}\n\nexport interface ValidatedRule {\n  ruleId: string\n  passed: boolean\n  executionTime?: number\n}\n\nexport interface ValidateStartResult {\n  canStart: boolean\n  errors: ValidationError[]\n  validatedRules: ValidatedRule[]\n}\n\n// ============================================================================\n// Main Validation Function\n// ============================================================================\n\n/**\n * Validate if a workflow can be started with the given context\n *\n * @param em - Entity manager for database operations\n * @param options - Validation options including workflowId, context, and scope\n * @returns Validation result with canStart flag, errors, and validated rules\n */\nexport async function validateWorkflowStart(\n  em: EntityManager,\n  options: ValidateStartOptions\n): Promise<ValidateStartResult> {\n  const { workflowId, version, context, locale = 'en', tenantId, organizationId } = options\n\n  // Find workflow definition\n  const definition = await findWorkflowDefinition(em, {\n    workflowId,\n    version,\n    tenantId,\n    organizationId,\n  })\n\n  if (!definition) {\n    return {\n      canStart: false,\n      errors: [{\n        ruleId: '_DEFINITION_NOT_FOUND',\n        message: `Workflow definition not found: ${workflowId}`,\n        code: 'DEFINITION_NOT_FOUND',\n      }],\n      validatedRules: [],\n    }\n  }\n\n  if (!definition.enabled) {\n    return {\n      canStart: false,\n      errors: [{\n        ruleId: '_DEFINITION_DISABLED',\n        message: `Workflow is disabled: ${workflowId}`,\n        code: 'DEFINITION_DISABLED',\n      }],\n      validatedRules: [],\n    }\n  }\n\n  // Find START step and get pre-conditions\n  const startStep = definition.definition.steps.find(\n    (s: any) => s.stepType === 'START'\n  )\n\n  if (!startStep) {\n    return {\n      canStart: false,\n      errors: [{\n        ruleId: '_NO_START_STEP',\n        message: 'Workflow has no START step',\n        code: 'INVALID_DEFINITION',\n      }],\n      validatedRules: [],\n    }\n  }\n\n  const preConditions: StartPreCondition[] = startStep.preConditions || []\n\n  console.log('[start-validator] START step:', JSON.stringify(startStep, null, 2))\n  console.log('[start-validator] preConditions:', preConditions.length, JSON.stringify(preConditions))\n\n  // If no pre-conditions, workflow can start\n  if (preConditions.length === 0) {\n    console.log('[start-validator] No pre-conditions defined, allowing start')\n    return {\n      canStart: true,\n      errors: [],\n      validatedRules: [],\n    }\n  }\n\n  // Evaluate each pre-condition using rule engine\n  const errors: ValidationError[] = []\n  const validatedRules: ValidatedRule[] = []\n\n  for (const condition of preConditions) {\n    const ruleContext: ruleEngine.RuleEngineContext = {\n      entityType: `workflow:${workflowId}:start`,\n      entityId: 'pre_start_validation',\n      eventType: 'validate_start',\n      data: {\n        workflowId,\n        workflowContext: context,\n      },\n      tenantId,\n      organizationId,\n      dryRun: true, // Don't log execution during validation\n    }\n\n    // Find applicable rules for this context\n    const rules = await ruleEngine.findApplicableRules(em, {\n      entityType: ruleContext.entityType,\n      eventType: ruleContext.eventType,\n      tenantId,\n      organizationId,\n      ruleType: 'GUARD',\n    })\n\n    const rule = rules.find(r => r.ruleId === condition.ruleId)\n\n    if (!rule) {\n      // Rule not found - if required, this is an error\n      if (condition.required) {\n        errors.push({\n          ruleId: condition.ruleId,\n          message: getLocalizedMessage(condition, null, locale, `Business rule '${condition.ruleId}' not found`),\n          code: 'RULE_NOT_FOUND',\n        })\n        validatedRules.push({ ruleId: condition.ruleId, passed: false })\n      }\n      continue\n    }\n\n    // Execute the single rule\n    const result = await ruleEngine.executeSingleRule(em, rule, ruleContext)\n\n    validatedRules.push({\n      ruleId: condition.ruleId,\n      passed: result.conditionResult,\n      executionTime: result.executionTime,\n    })\n\n    if (!result.conditionResult && condition.required) {\n      // Get localized message from condition, rule failure actions, or default\n      const message = getLocalizedMessage(\n        condition,\n        rule,\n        locale,\n        `Pre-condition '${rule.ruleName || condition.ruleId}' failed`\n      )\n      errors.push({\n        ruleId: condition.ruleId,\n        message,\n        code: 'PRE_CONDITION_FAILED',\n      })\n    }\n  }\n\n  return {\n    canStart: errors.length === 0,\n    errors,\n    validatedRules,\n  }\n}\n\n// ============================================================================\n// Helper Functions\n// ============================================================================\n\n/**\n * Get localized message with fallback chain\n *\n * Priority:\n * 1. condition.validationMessage[locale]\n * 2. condition.validationMessage['en']\n * 3. rule.failureActions[BLOCK_TRANSITION].config.message\n * 4. rule.description\n * 5. defaultMessage\n */\nfunction getLocalizedMessage(\n  condition: StartPreCondition,\n  rule: any | null,\n  locale: string,\n  defaultMessage: string\n): string {\n  // Priority 1: Localized message in condition definition (requested locale)\n  if (condition.validationMessage?.[locale]) {\n    return condition.validationMessage[locale]\n  }\n\n  // Priority 2: English fallback in condition\n  if (condition.validationMessage?.['en']) {\n    return condition.validationMessage['en']\n  }\n\n  if (rule) {\n    // Priority 3: Message from rule's failureActions\n    if (rule.failureActions && Array.isArray(rule.failureActions)) {\n      const blockAction = rule.failureActions.find(\n        (a: any) => a.type === 'BLOCK_TRANSITION'\n      )\n      if (blockAction?.config?.message) {\n        return blockAction.config.message\n      }\n    }\n\n    // Priority 4: Rule description\n    if (rule.description) {\n      return rule.description\n    }\n  }\n\n  // Priority 5: Default message\n  return defaultMessage\n}\n\n/**\n * Find workflow definition by ID and optional version\n */\nasync function findWorkflowDefinition(\n  em: EntityManager,\n  options: {\n    workflowId: string\n    version?: number\n    tenantId: string\n    organizationId: string\n  }\n): Promise<WorkflowDefinition | null> {\n  const { workflowId, version, tenantId, organizationId } = options\n\n  const where: any = {\n    workflowId,\n    tenantId,\n    organizationId,\n    deletedAt: null,\n  }\n\n  if (version !== undefined) {\n    where.version = version\n  }\n\n  // If no version specified, get latest enabled version\n  if (version === undefined) {\n    where.enabled = true\n    return em.findOne(WorkflowDefinition, where, {\n      orderBy: { version: 'DESC' },\n    })\n  }\n\n  return em.findOne(WorkflowDefinition, where)\n}\n"],
-  "mappings": "AASA,SAAS,0BAA0B;AACnC,YAAY,gBAAgB;AA6C5B,eAAsB,sBACpB,IACA,SAC8B;AAC9B,QAAM,EAAE,YAAY,SAAS,SAAS,SAAS,MAAM,UAAU,eAAe,IAAI;AAGlF,QAAM,aAAa,MAAM,uBAAuB,IAAI;AAAA,IAClD;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,CAAC;AAED,MAAI,CAAC,YAAY;AACf,WAAO;AAAA,MACL,UAAU;AAAA,MACV,QAAQ,CAAC;AAAA,QACP,QAAQ;AAAA,QACR,SAAS,kCAAkC,UAAU;AAAA,QACrD,MAAM;AAAA,MACR,CAAC;AAAA,MACD,gBAAgB,CAAC;AAAA,IACnB;AAAA,EACF;AAEA,MAAI,CAAC,WAAW,SAAS;AACvB,WAAO;AAAA,MACL,UAAU;AAAA,MACV,QAAQ,CAAC;AAAA,QACP,QAAQ;AAAA,QACR,SAAS,yBAAyB,UAAU;AAAA,QAC5C,MAAM;AAAA,MACR,CAAC;AAAA,MACD,gBAAgB,CAAC;AAAA,IACnB;AAAA,EACF;AAGA,QAAM,YAAY,WAAW,WAAW,MAAM;AAAA,IAC5C,CAAC,MAAW,EAAE,aAAa;AAAA,EAC7B;AAEA,MAAI,CAAC,WAAW;AACd,WAAO;AAAA,MACL,UAAU;AAAA,MACV,QAAQ,CAAC;AAAA,QACP,QAAQ;AAAA,QACR,SAAS;AAAA,QACT,MAAM;AAAA,MACR,CAAC;AAAA,MACD,gBAAgB,CAAC;AAAA,IACnB;AAAA,EACF;AAEA,QAAM,gBAAqC,UAAU,iBAAiB,CAAC;AAEvE,UAAQ,IAAI,iCAAiC,KAAK,UAAU,WAAW,MAAM,CAAC,CAAC;AAC/E,UAAQ,IAAI,oCAAoC,cAAc,QAAQ,KAAK,UAAU,aAAa,CAAC;AAGnG,MAAI,cAAc,WAAW,GAAG;AAC9B,YAAQ,IAAI,6DAA6D;AACzE,WAAO;AAAA,MACL,UAAU;AAAA,MACV,QAAQ,CAAC;AAAA,MACT,gBAAgB,CAAC;AAAA,IACnB;AAAA,EACF;AAGA,QAAM,SAA4B,CAAC;AACnC,QAAM,iBAAkC,CAAC;AAEzC,aAAW,aAAa,eAAe;AACrC,UAAM,cAA4C;AAAA,MAChD,YAAY,YAAY,UAAU;AAAA,MAClC,UAAU;AAAA,MACV,WAAW;AAAA,MACX,MAAM;AAAA,QACJ;AAAA,QACA,iBAAiB;AAAA,MACnB;AAAA,MACA;AAAA,MACA;AAAA,MACA,QAAQ;AAAA;AAAA,IACV;AAGA,UAAM,QAAQ,MAAM,WAAW,oBAAoB,IAAI;AAAA,MACrD,YAAY,YAAY;AAAA,MACxB,WAAW,YAAY;AAAA,MACvB;AAAA,MACA;AAAA,MACA,UAAU;AAAA,IACZ,CAAC;AAED,UAAM,OAAO,MAAM,KAAK,OAAK,EAAE,WAAW,UAAU,MAAM;AAE1D,QAAI,CAAC,MAAM;AAET,UAAI,UAAU,UAAU;AACtB,eAAO,KAAK;AAAA,UACV,QAAQ,UAAU;AAAA,UAClB,SAAS,oBAAoB,WAAW,MAAM,QAAQ,kBAAkB,UAAU,MAAM,aAAa;AAAA,UACrG,MAAM;AAAA,QACR,CAAC;AACD,uBAAe,KAAK,EAAE,QAAQ,UAAU,QAAQ,QAAQ,MAAM,CAAC;AAAA,MACjE;AACA;AAAA,IACF;AAGA,UAAM,SAAS,MAAM,WAAW,kBAAkB,IAAI,MAAM,WAAW;AAEvE,mBAAe,KAAK;AAAA,MAClB,QAAQ,UAAU;AAAA,MAClB,QAAQ,OAAO;AAAA,MACf,eAAe,OAAO;AAAA,IACxB,CAAC;AAED,QAAI,CAAC,OAAO,mBAAmB,UAAU,UAAU;AAEjD,YAAM,UAAU;AAAA,QACd;AAAA,QACA;AAAA,QACA;AAAA,QACA,kBAAkB,KAAK,YAAY,UAAU,MAAM;AAAA,MACrD;AACA,aAAO,KAAK;AAAA,QACV,QAAQ,UAAU;AAAA,QAClB;AAAA,QACA,MAAM;AAAA,MACR,CAAC;AAAA,IACH;AAAA,EACF;AAEA,SAAO;AAAA,IACL,UAAU,OAAO,WAAW;AAAA,IAC5B;AAAA,IACA;AAAA,EACF;AACF;AAgBA,SAAS,oBACP,WACA,MACA,QACA,gBACQ;AAER,MAAI,UAAU,oBAAoB,MAAM,GAAG;AACzC,WAAO,UAAU,kBAAkB,MAAM;AAAA,EAC3C;AAGA,MAAI,UAAU,oBAAoB,IAAI,GAAG;AACvC,WAAO,UAAU,kBAAkB,IAAI;AAAA,EACzC;AAEA,MAAI,MAAM;AAER,QAAI,KAAK,kBAAkB,MAAM,QAAQ,KAAK,cAAc,GAAG;AAC7D,YAAM,cAAc,KAAK,eAAe;AAAA,QACtC,CAAC,MAAW,EAAE,SAAS;AAAA,MACzB;AACA,UAAI,aAAa,QAAQ,SAAS;AAChC,eAAO,YAAY,OAAO;AAAA,MAC5B;AAAA,IACF;AAGA,QAAI,KAAK,aAAa;AACpB,aAAO,KAAK;AAAA,IACd;AAAA,EACF;AAGA,SAAO;AACT;AAKA,eAAe,uBACb,IACA,SAMoC;AACpC,QAAM,EAAE,YAAY,SAAS,UAAU,eAAe,IAAI;AAE1D,QAAM,QAAa;AAAA,IACjB;AAAA,IACA;AAAA,IACA;AAAA,IACA,WAAW;AAAA,EACb;AAEA,MAAI,YAAY,QAAW;AACzB,UAAM,UAAU;AAAA,EAClB;AAGA,MAAI,YAAY,QAAW;AACzB,UAAM,UAAU;AAChB,WAAO,GAAG,QAAQ,oBAAoB,OAAO;AAAA,MAC3C,SAAS,EAAE,SAAS,OAAO;AAAA,IAC7B,CAAC;AAAA,EACH;AAEA,SAAO,GAAG,QAAQ,oBAAoB,KAAK;AAC7C;",
+  "sourcesContent": ["/**\n * Workflows Module - Start Validator Service\n *\n * Validates pre-conditions on START step before workflow instance creation.\n * This enables guard rules that determine whether a workflow can be started\n * based on the initial context provided.\n */\n\nimport { EntityManager } from '@mikro-orm/core'\nimport { WorkflowDefinition } from '../data/entities'\nimport * as ruleEngine from '../../business_rules/lib/rule-engine'\nimport type { StartPreCondition } from '../data/validators'\n\n// ============================================================================\n// Types and Interfaces\n// ============================================================================\n\nexport interface ValidateStartOptions {\n  workflowId: string\n  version?: number\n  context: Record<string, any>\n  locale?: string\n  tenantId: string\n  organizationId: string\n}\n\nexport interface ValidationError {\n  ruleId: string\n  message: string\n  code: string\n}\n\nexport interface ValidatedRule {\n  ruleId: string\n  passed: boolean\n  executionTime?: number\n}\n\nexport interface ValidateStartResult {\n  canStart: boolean\n  errors: ValidationError[]\n  validatedRules: ValidatedRule[]\n}\n\n// ============================================================================\n// Main Validation Function\n// ============================================================================\n\n/**\n * Validate if a workflow can be started with the given context\n *\n * @param em - Entity manager for database operations\n * @param options - Validation options including workflowId, context, and scope\n * @returns Validation result with canStart flag, errors, and validated rules\n */\nexport async function validateWorkflowStart(\n  em: EntityManager,\n  options: ValidateStartOptions\n): Promise<ValidateStartResult> {\n  const { workflowId, version, context, locale = 'en', tenantId, organizationId } = options\n\n  // Find workflow definition\n  const definition = await findWorkflowDefinition(em, {\n    workflowId,\n    version,\n    tenantId,\n    organizationId,\n  })\n\n  if (!definition) {\n    return {\n      canStart: false,\n      errors: [{\n        ruleId: '_DEFINITION_NOT_FOUND',\n        message: `Workflow definition not found: ${workflowId}`,\n        code: 'DEFINITION_NOT_FOUND',\n      }],\n      validatedRules: [],\n    }\n  }\n\n  if (!definition.enabled) {\n    return {\n      canStart: false,\n      errors: [{\n        ruleId: '_DEFINITION_DISABLED',\n        message: `Workflow is disabled: ${workflowId}`,\n        code: 'DEFINITION_DISABLED',\n      }],\n      validatedRules: [],\n    }\n  }\n\n  // Find START step and get pre-conditions\n  const startStep = definition.definition.steps.find(\n    (s: any) => s.stepType === 'START'\n  )\n\n  if (!startStep) {\n    return {\n      canStart: false,\n      errors: [{\n        ruleId: '_NO_START_STEP',\n        message: 'Workflow has no START step',\n        code: 'INVALID_DEFINITION',\n      }],\n      validatedRules: [],\n    }\n  }\n\n  const preConditions: StartPreCondition[] = startStep.preConditions || []\n\n  console.log('[start-validator] START step:', JSON.stringify(startStep, null, 2))\n  console.log('[start-validator] preConditions:', preConditions.length, JSON.stringify(preConditions))\n\n  // If no pre-conditions, workflow can start\n  if (preConditions.length === 0) {\n    console.log('[start-validator] No pre-conditions defined, allowing start')\n    return {\n      canStart: true,\n      errors: [],\n      validatedRules: [],\n    }\n  }\n\n  // Evaluate each pre-condition using rule engine\n  const errors: ValidationError[] = []\n  const validatedRules: ValidatedRule[] = []\n\n  for (const condition of preConditions) {\n    // Execute rule directly by string rule_id\n    const result = await ruleEngine.executeRuleByRuleId(em, {\n      ruleId: condition.ruleId,  // String identifier like \"workflow_checkout_inventory_available\"\n      data: {\n        workflowId,\n        workflowContext: context,\n      },\n      tenantId,\n      organizationId,\n      entityType: `workflow:${workflowId}:start`,\n      entityId: 'pre_start_validation',\n      eventType: 'validate_start',\n      dryRun: true, // Don't log execution during validation\n    })\n\n    validatedRules.push({\n      ruleId: condition.ruleId,\n      passed: result.conditionResult,\n      executionTime: result.executionTime,\n    })\n\n    // Handle rule not found\n    if (result.error === 'Rule not found') {\n      if (condition.required) {\n        errors.push({\n          ruleId: condition.ruleId,\n          message: getLocalizedMessage(condition, null, locale, `Business rule not found: ${condition.ruleId}`),\n          code: 'RULE_NOT_FOUND',\n        })\n      }\n      continue\n    }\n\n    // Handle disabled rule\n    if (result.error === 'Rule is disabled') {\n      if (condition.required) {\n        errors.push({\n          ruleId: condition.ruleId,\n          message: getLocalizedMessage(condition, null, locale, `Business rule is disabled: ${result.ruleName}`),\n          code: 'RULE_DISABLED',\n        })\n      }\n      continue\n    }\n\n    // Handle other errors (not yet effective, expired, etc.)\n    if (result.error && condition.required) {\n      errors.push({\n        ruleId: condition.ruleId,\n        message: getLocalizedMessage(condition, null, locale, `Rule error: ${result.error}`),\n        code: 'RULE_ERROR',\n      })\n      continue\n    }\n\n    // Handle condition failure\n    if (!result.conditionResult && condition.required) {\n      // Get localized message from condition or use default with rule name\n      const message = getLocalizedMessage(\n        condition,\n        null,\n        locale,\n        `Pre-condition '${result.ruleName || condition.ruleId}' failed`\n      )\n      errors.push({\n        ruleId: condition.ruleId,\n        message,\n        code: 'PRE_CONDITION_FAILED',\n      })\n    }\n  }\n\n  return {\n    canStart: errors.length === 0,\n    errors,\n    validatedRules,\n  }\n}\n\n// ============================================================================\n// Helper Functions\n// ============================================================================\n\n/**\n * Get localized message with fallback chain\n *\n * Priority:\n * 1. condition.validationMessage[locale]\n * 2. condition.validationMessage['en']\n * 3. rule.failureActions[BLOCK_TRANSITION].config.message\n * 4. rule.description\n * 5. defaultMessage\n */\nfunction getLocalizedMessage(\n  condition: StartPreCondition,\n  rule: any | null,\n  locale: string,\n  defaultMessage: string\n): string {\n  // Priority 1: Localized message in condition definition (requested locale)\n  if (condition.validationMessage?.[locale]) {\n    return condition.validationMessage[locale]\n  }\n\n  // Priority 2: English fallback in condition\n  if (condition.validationMessage?.['en']) {\n    return condition.validationMessage['en']\n  }\n\n  if (rule) {\n    // Priority 3: Message from rule's failureActions\n    if (rule.failureActions && Array.isArray(rule.failureActions)) {\n      const blockAction = rule.failureActions.find(\n        (a: any) => a.type === 'BLOCK_TRANSITION'\n      )\n      if (blockAction?.config?.message) {\n        return blockAction.config.message\n      }\n    }\n\n    // Priority 4: Rule description\n    if (rule.description) {\n      return rule.description\n    }\n  }\n\n  // Priority 5: Default message\n  return defaultMessage\n}\n\n/**\n * Find workflow definition by ID and optional version\n */\nasync function findWorkflowDefinition(\n  em: EntityManager,\n  options: {\n    workflowId: string\n    version?: number\n    tenantId: string\n    organizationId: string\n  }\n): Promise<WorkflowDefinition | null> {\n  const { workflowId, version, tenantId, organizationId } = options\n\n  const where: any = {\n    workflowId,\n    tenantId,\n    organizationId,\n    deletedAt: null,\n  }\n\n  if (version !== undefined) {\n    where.version = version\n  }\n\n  // If no version specified, get latest enabled version\n  if (version === undefined) {\n    where.enabled = true\n    return em.findOne(WorkflowDefinition, where, {\n      orderBy: { version: 'DESC' },\n    })\n  }\n\n  return em.findOne(WorkflowDefinition, where)\n}\n"],
+  "mappings": "AASA,SAAS,0BAA0B;AACnC,YAAY,gBAAgB;AA6C5B,eAAsB,sBACpB,IACA,SAC8B;AAC9B,QAAM,EAAE,YAAY,SAAS,SAAS,SAAS,MAAM,UAAU,eAAe,IAAI;AAGlF,QAAM,aAAa,MAAM,uBAAuB,IAAI;AAAA,IAClD;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,CAAC;AAED,MAAI,CAAC,YAAY;AACf,WAAO;AAAA,MACL,UAAU;AAAA,MACV,QAAQ,CAAC;AAAA,QACP,QAAQ;AAAA,QACR,SAAS,kCAAkC,UAAU;AAAA,QACrD,MAAM;AAAA,MACR,CAAC;AAAA,MACD,gBAAgB,CAAC;AAAA,IACnB;AAAA,EACF;AAEA,MAAI,CAAC,WAAW,SAAS;AACvB,WAAO;AAAA,MACL,UAAU;AAAA,MACV,QAAQ,CAAC;AAAA,QACP,QAAQ;AAAA,QACR,SAAS,yBAAyB,UAAU;AAAA,QAC5C,MAAM;AAAA,MACR,CAAC;AAAA,MACD,gBAAgB,CAAC;AAAA,IACnB;AAAA,EACF;AAGA,QAAM,YAAY,WAAW,WAAW,MAAM;AAAA,IAC5C,CAAC,MAAW,EAAE,aAAa;AAAA,EAC7B;AAEA,MAAI,CAAC,WAAW;AACd,WAAO;AAAA,MACL,UAAU;AAAA,MACV,QAAQ,CAAC;AAAA,QACP,QAAQ;AAAA,QACR,SAAS;AAAA,QACT,MAAM;AAAA,MACR,CAAC;AAAA,MACD,gBAAgB,CAAC;AAAA,IACnB;AAAA,EACF;AAEA,QAAM,gBAAqC,UAAU,iBAAiB,CAAC;AAEvE,UAAQ,IAAI,iCAAiC,KAAK,UAAU,WAAW,MAAM,CAAC,CAAC;AAC/E,UAAQ,IAAI,oCAAoC,cAAc,QAAQ,KAAK,UAAU,aAAa,CAAC;AAGnG,MAAI,cAAc,WAAW,GAAG;AAC9B,YAAQ,IAAI,6DAA6D;AACzE,WAAO;AAAA,MACL,UAAU;AAAA,MACV,QAAQ,CAAC;AAAA,MACT,gBAAgB,CAAC;AAAA,IACnB;AAAA,EACF;AAGA,QAAM,SAA4B,CAAC;AACnC,QAAM,iBAAkC,CAAC;AAEzC,aAAW,aAAa,eAAe;AAErC,UAAM,SAAS,MAAM,WAAW,oBAAoB,IAAI;AAAA,MACtD,QAAQ,UAAU;AAAA;AAAA,MAClB,MAAM;AAAA,QACJ;AAAA,QACA,iBAAiB;AAAA,MACnB;AAAA,MACA;AAAA,MACA;AAAA,MACA,YAAY,YAAY,UAAU;AAAA,MAClC,UAAU;AAAA,MACV,WAAW;AAAA,MACX,QAAQ;AAAA;AAAA,IACV,CAAC;AAED,mBAAe,KAAK;AAAA,MAClB,QAAQ,UAAU;AAAA,MAClB,QAAQ,OAAO;AAAA,MACf,eAAe,OAAO;AAAA,IACxB,CAAC;AAGD,QAAI,OAAO,UAAU,kBAAkB;AACrC,UAAI,UAAU,UAAU;AACtB,eAAO,KAAK;AAAA,UACV,QAAQ,UAAU;AAAA,UAClB,SAAS,oBAAoB,WAAW,MAAM,QAAQ,4BAA4B,UAAU,MAAM,EAAE;AAAA,UACpG,MAAM;AAAA,QACR,CAAC;AAAA,MACH;AACA;AAAA,IACF;AAGA,QAAI,OAAO,UAAU,oBAAoB;AACvC,UAAI,UAAU,UAAU;AACtB,eAAO,KAAK;AAAA,UACV,QAAQ,UAAU;AAAA,UAClB,SAAS,oBAAoB,WAAW,MAAM,QAAQ,8BAA8B,OAAO,QAAQ,EAAE;AAAA,UACrG,MAAM;AAAA,QACR,CAAC;AAAA,MACH;AACA;AAAA,IACF;AAGA,QAAI,OAAO,SAAS,UAAU,UAAU;AACtC,aAAO,KAAK;AAAA,QACV,QAAQ,UAAU;AAAA,QAClB,SAAS,oBAAoB,WAAW,MAAM,QAAQ,eAAe,OAAO,KAAK,EAAE;AAAA,QACnF,MAAM;AAAA,MACR,CAAC;AACD;AAAA,IACF;AAGA,QAAI,CAAC,OAAO,mBAAmB,UAAU,UAAU;AAEjD,YAAM,UAAU;AAAA,QACd;AAAA,QACA;AAAA,QACA;AAAA,QACA,kBAAkB,OAAO,YAAY,UAAU,MAAM;AAAA,MACvD;AACA,aAAO,KAAK;AAAA,QACV,QAAQ,UAAU;AAAA,QAClB;AAAA,QACA,MAAM;AAAA,MACR,CAAC;AAAA,IACH;AAAA,EACF;AAEA,SAAO;AAAA,IACL,UAAU,OAAO,WAAW;AAAA,IAC5B;AAAA,IACA;AAAA,EACF;AACF;AAgBA,SAAS,oBACP,WACA,MACA,QACA,gBACQ;AAER,MAAI,UAAU,oBAAoB,MAAM,GAAG;AACzC,WAAO,UAAU,kBAAkB,MAAM;AAAA,EAC3C;AAGA,MAAI,UAAU,oBAAoB,IAAI,GAAG;AACvC,WAAO,UAAU,kBAAkB,IAAI;AAAA,EACzC;AAEA,MAAI,MAAM;AAER,QAAI,KAAK,kBAAkB,MAAM,QAAQ,KAAK,cAAc,GAAG;AAC7D,YAAM,cAAc,KAAK,eAAe;AAAA,QACtC,CAAC,MAAW,EAAE,SAAS;AAAA,MACzB;AACA,UAAI,aAAa,QAAQ,SAAS;AAChC,eAAO,YAAY,OAAO;AAAA,MAC5B;AAAA,IACF;AAGA,QAAI,KAAK,aAAa;AACpB,aAAO,KAAK;AAAA,IACd;AAAA,EACF;AAGA,SAAO;AACT;AAKA,eAAe,uBACb,IACA,SAMoC;AACpC,QAAM,EAAE,YAAY,SAAS,UAAU,eAAe,IAAI;AAE1D,QAAM,QAAa;AAAA,IACjB;AAAA,IACA;AAAA,IACA;AAAA,IACA,WAAW;AAAA,EACb;AAEA,MAAI,YAAY,QAAW;AACzB,UAAM,UAAU;AAAA,EAClB;AAGA,MAAI,YAAY,QAAW;AACzB,UAAM,UAAU;AAChB,WAAO,GAAG,QAAQ,oBAAoB,OAAO;AAAA,MAC3C,SAAS,EAAE,SAAS,OAAO;AAAA,IAC7B,CAAC;AAAA,EACH;AAEA,SAAO,GAAG,QAAQ,oBAAoB,KAAK;AAC7C;",
   "names": []
 }

package/dist/modules/workflows/lib/transition-handler.js

@@ -99,19 +99,43 @@ async function findValidTransitions(em, instance, fromStepId, context) {
     if (!definition) {
       return [];
     }
-    const transitions = (definition.definition.transitions || []).filter(
-      (t) => t.fromStepId === fromStepId
-    );
+    const transitions = (definition.definition.transitions || []).filter((t) => t.fromStepId === fromStepId).sort((a, b) => (b.priority || 0) - (a.priority || 0));
     const results = [];
     for (const transition of transitions) {
-      const result = await evaluateTransition(
+      const conditionResult = await evaluateTransition(
         em,
         instance,
         fromStepId,
         transition.toStepId,
         context
       );
-      results.push(result);
+      if (!conditionResult.isValid) {
+        results.push(conditionResult);
+        continue;
+      }
+      const preConditions = transition.preConditions || [];
+      if (preConditions.length > 0) {
+        const preConditionsResult = await evaluatePreConditions(
+          em,
+          instance,
+          transition,
+          context
+        );
+        if (!preConditionsResult.allowed) {
+          const failedRules = preConditionsResult.executedRules.filter((r) => !r.conditionResult).map((r) => r.rule.ruleId || r.rule.ruleName);
+          results.push({
+            isValid: false,
+            transition,
+            reason: `Pre-conditions failed: ${failedRules.join(", ")}`,
+            failedConditions: failedRules
+          });
+          continue;
+        }
+      }
+      results.push({
+        ...conditionResult,
+        transition
+      });
     }
     return results;
   } catch (error) {
@@ -121,12 +145,6 @@ async function findValidTransitions(em, instance, fromStepId, context) {
 }
 async function executeTransition(em, container, instance, fromStepId, toStepId, context) {
   try {
-    let eventBus = null;
-    try {
-      eventBus = container.resolve("eventBus");
-    } catch {
-      eventBus = null;
-    }
     const evaluation = await evaluateTransition(
       em,
       instance,
@@ -145,8 +163,7 @@ async function executeTransition(em, container, instance, fromStepId, toStepId,
       em,
       instance,
       transition,
-      context,
-      eventBus
+      context
     );
     if (!preConditionsResult.allowed) {
       const failedRules = preConditionsResult.executedRules.filter((r) => !r.conditionResult).map((r) => ({
@@ -310,8 +327,7 @@ async function executeTransition(em, container, instance, fromStepId, toStepId,
       em,
       instance,
       transition,
-      context,
-      eventBus
+      context
     );
     if (!postConditionsResult.allowed) {
       const failedRules = postConditionsResult.errors?.join(", ") || "Unknown post-condition failure";
@@ -411,7 +427,7 @@ async function evaluateTransitionConditions(em, instance, transition, context) {
     };
   }
 }
-async function evaluatePreConditions(em, instance, transition, context, eventBus) {
+async function evaluatePreConditions(em, instance, transition, context) {
   try {
     const definition = await em.findOne(WorkflowDefinition, {
       id: instance.definitionId
@@ -423,28 +439,74 @@ async function evaluatePreConditions(em, instance, transition, context, eventBus
         totalExecutionTime: 0
       };
     }
-    const ruleContext = {
-      entityType: `workflow:${definition.workflowId}:transition`,
-      entityId: transition.transitionId || `${transition.fromStepId}->${transition.toStepId}`,
-      eventType: "pre_transition",
-      data: {
-        workflowInstanceId: instance.id,
-        workflowId: definition.workflowId,
-        fromStepId: transition.fromStepId,
-        toStepId: transition.toStepId,
-        workflowContext: {
-          ...instance.context,
-          ...context.workflowContext
+    const preConditions = transition.preConditions || [];
+    if (preConditions.length === 0) {
+      return {
+        allowed: true,
+        executedRules: [],
+        totalExecutionTime: 0
+      };
+    }
+    const startTime = Date.now();
+    const executedRules = [];
+    const errors = [];
+    let allowed = true;
+    for (const condition of preConditions) {
+      const result = await ruleEngine.executeRuleByRuleId(em, {
+        ruleId: condition.ruleId,
+        // String identifier
+        data: {
+          workflowInstanceId: instance.id,
+          workflowId: definition.workflowId,
+          fromStepId: transition.fromStepId,
+          toStepId: transition.toStepId,
+          workflowContext: {
+            ...instance.context,
+            ...context.workflowContext
+          },
+          triggerData: context.triggerData
         },
-        triggerData: context.triggerData
-      },
-      user: context.userId ? { id: context.userId } : void 0,
-      tenantId: instance.tenantId,
-      organizationId: instance.organizationId,
-      executedBy: context.userId
+        user: context.userId ? { id: context.userId } : void 0,
+        tenantId: instance.tenantId,
+        organizationId: instance.organizationId,
+        executedBy: context.userId,
+        entityType: `workflow:${definition.workflowId}:transition`,
+        entityId: transition.transitionId || `${transition.fromStepId}->${transition.toStepId}`,
+        eventType: "pre_transition"
+      });
+      const ruleResult = {
+        rule: {
+          ruleId: result.ruleId,
+          ruleName: result.ruleName,
+          ruleType: "GUARD"
+        },
+        conditionResult: result.conditionResult,
+        actionsExecuted: result.actionsExecuted,
+        executionTime: result.executionTime,
+        error: result.error,
+        logId: result.logId
+      };
+      executedRules.push(ruleResult);
+      if (result.error) {
+        const isRequired2 = condition.required !== false;
+        if (isRequired2) {
+          allowed = false;
+          errors.push(`Rule '${result.ruleId}': ${result.error}`);
+        }
+        continue;
+      }
+      const isRequired = condition.required !== false;
+      if (isRequired && !result.conditionResult) {
+        allowed = false;
+        errors.push(`Pre-condition '${result.ruleName || result.ruleId}' failed`);
+      }
+    }
+    return {
+      allowed,
+      executedRules,
+      totalExecutionTime: Date.now() - startTime,
+      errors: errors.length > 0 ? errors : void 0
     };
-    const result = await ruleEngine.executeRules(em, ruleContext, { eventBus });
-    return result;
   } catch (error) {
     console.error("Error evaluating pre-conditions:", error);
     return {
@@ -455,7 +517,7 @@ async function evaluatePreConditions(em, instance, transition, context, eventBus
     };
   }
 }
-async function evaluatePostConditions(em, instance, transition, context, eventBus) {
+async function evaluatePostConditions(em, instance, transition, context) {
   try {
     const definition = await em.findOne(WorkflowDefinition, {
       id: instance.definitionId
@@ -467,28 +529,70 @@ async function evaluatePostConditions(em, instance, transition, context, eventBu
         totalExecutionTime: 0
       };
     }
-    const ruleContext = {
-      entityType: `workflow:${definition.workflowId}:transition`,
-      entityId: transition.transitionId || `${transition.fromStepId}->${transition.toStepId}`,
-      eventType: "post_transition",
-      data: {
-        workflowInstanceId: instance.id,
-        workflowId: definition.workflowId,
-        fromStepId: transition.fromStepId,
-        toStepId: transition.toStepId,
-        workflowContext: {
-          ...instance.context,
-          ...context.workflowContext
+    const postConditions = transition.postConditions || [];
+    if (postConditions.length === 0) {
+      return {
+        allowed: true,
+        executedRules: [],
+        totalExecutionTime: 0
+      };
+    }
+    const startTime = Date.now();
+    const executedRules = [];
+    const errors = [];
+    let allowed = true;
+    for (const condition of postConditions) {
+      const result = await ruleEngine.executeRuleByRuleId(em, {
+        ruleId: condition.ruleId,
+        // String identifier
+        data: {
+          workflowInstanceId: instance.id,
+          workflowId: definition.workflowId,
+          fromStepId: transition.fromStepId,
+          toStepId: transition.toStepId,
+          workflowContext: {
+            ...instance.context,
+            ...context.workflowContext
+          },
+          triggerData: context.triggerData
         },
-        triggerData: context.triggerData
-      },
-      user: context.userId ? { id: context.userId } : void 0,
-      tenantId: instance.tenantId,
-      organizationId: instance.organizationId,
-      executedBy: context.userId
+        user: context.userId ? { id: context.userId } : void 0,
+        tenantId: instance.tenantId,
+        organizationId: instance.organizationId,
+        executedBy: context.userId,
+        entityType: `workflow:${definition.workflowId}:transition`,
+        entityId: transition.transitionId || `${transition.fromStepId}->${transition.toStepId}`,
+        eventType: "post_transition"
+      });
+      const ruleResult = {
+        rule: {
+          ruleId: result.ruleId,
+          ruleName: result.ruleName,
+          ruleType: "GUARD"
+        },
+        conditionResult: result.conditionResult,
+        actionsExecuted: result.actionsExecuted,
+        executionTime: result.executionTime,
+        error: result.error,
+        logId: result.logId
+      };
+      executedRules.push(ruleResult);
+      if (result.error) {
+        errors.push(`Rule '${result.ruleId}': ${result.error}`);
+        allowed = false;
+        continue;
+      }
+      if (!result.conditionResult) {
+        allowed = false;
+        errors.push(`Post-condition '${result.ruleName || result.ruleId}' failed`);
+      }
+    }
+    return {
+      allowed,
+      executedRules,
+      totalExecutionTime: Date.now() - startTime,
+      errors: errors.length > 0 ? errors : void 0
     };
-    const result = await ruleEngine.executeRules(em, ruleContext, { eventBus });
-    return result;
   } catch (error) {
     console.error("Error evaluating post-conditions:", error);
     return {