@cynodia/axiom-agent-api 0.14.0-alpha.1 → 0.14.0-alpha.3

package/dist/workflow.js

@@ -1,19 +1,30 @@
-import { workflowActionIds, workflowEventIds, workflowHasCycle, workflowReachableSteps, workflowStepSuccessors, } from '@cynodia/axiom-core';
+import { isWorkflowStep, workflowActionIds, workflowEventIds, workflowHasCycle, workflowReachableSteps, workflowStepSuccessors, workflowStructuralProblems, } from '@cynodia/axiom-core';
 export function analyzeWorkflow(graph, workflowId) {
     const workflow = graph
         .getNodesByKind('workflow')
-        .find((node) => String(node.id) === String(workflowId));
+        .find((node) => String(node?.id) === String(workflowId));
     if (!workflow) {
         throw new Error(`analyzeWorkflow: no workflow node "${workflowId}"`);
     }
+    // spec14pt4 F1 — `analyzeWorkflow` is static analysis and must be **total** over a
+    // malformed `WorkflowDef` (a `null` step, `steps` that is not an array, an unknown step
+    // kind). Prove structural validity through the shared total validator *before* any
+    // traversal reads `step.id` / `step.type`; a structured `Error` (AgentAPI's existing
+    // convention, mirroring the "no workflow node" throw above) — never a native `TypeError`.
+    const structuralProblems = workflowStructuralProblems(workflow);
+    if (structuralProblems.length > 0) {
+        throw new Error(`analyzeWorkflow: workflow "${String(workflow.id ?? workflowId)}" is not structurally valid: ` +
+            structuralProblems.map((p) => `[${p.code}] ${p.message}`).join('; '));
+    }
+    const stepList = (Array.isArray(workflow.steps) ? workflow.steps : []).filter(isWorkflowStep);
     const reachable = workflowReachableSteps(workflow);
-    const steps = workflow.steps
+    const steps = stepList
         .filter((step) => reachable.has(String(step.id)))
         .map((step) => describeStep(step));
     const completed = steps.filter((s) => s.type === 'complete').map((s) => s.id);
     const failed = steps.filter((s) => s.type === 'fail').map((s) => s.id);
     const waitReasons = new Set(['ownership']);
-    for (const step of workflow.steps) {
+    for (const step of stepList) {
         if (!reachable.has(String(step.id)))
             continue;
         if (step.type === 'wait-event')
@@ -25,8 +36,14 @@ export function analyzeWorkflow(graph, workflowId) {
     }
     return {
         workflowId: String(workflow.id),
-        inputs: (workflow.inputs ?? []).map((input) => ({ id: String(input.id), required: input.required !== false })),
-        bindings: (workflow.bindings ?? []).map((b) => ({ id: String(b.id), producedBy: String(b.producedBy) })),
+        inputs: (Array.isArray(workflow.inputs) ? workflow.inputs : []).map((input) => ({
+            id: String(input.id),
+            required: input.required !== false,
+        })),
+        bindings: (Array.isArray(workflow.bindings) ? workflow.bindings : []).map((b) => ({
+            id: String(b.id),
+            producedBy: String(b.producedBy),
+        })),
         entry: String(workflow.entry),
         steps,
         actionDependencies: [...new Set(workflowActionIds(workflow).map(String))].sort(),

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cynodia/axiom-agent-api",
-  "version": "0.14.0-alpha.1",
+  "version": "0.14.0-alpha.3",
   "description": "Semantic queries and transactional graph transformations for AI agents.",
   "license": "MIT",
   "author": "AskTech AS",
@@ -31,7 +31,7 @@
     }
   },
   "dependencies": {
-    "@cynodia/axiom-core": "0.14.0-alpha.1"
+    "@cynodia/axiom-core": "0.14.0-alpha.3"
   },
   "scripts": {
     "build": "tsc -b tsconfig.json tsconfig.test.json",