@telorun/analyzer 0.8.0 → 0.8.1

package/dist/analyzer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../src/analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAsB,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAIzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAGL,KAAK,WAAW,EACjB,MAAM,sBAAsB,CAAC;AAa9B,OAAO,EAAsB,KAAK,kBAAkB,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AA8W/F,MAAM,WAAW,qBAAqB;IACpC,WAAW,CAAC,EAAE,WAAW,CAAC;CAC3B;AAED,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAc;gBAEzB,OAAO,GAAE,qBAA0B;IAI/C,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,GAC1B,kBAAkB,EAAE;IAmUvB,aAAa,CACX,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,GAC1B,kBAAkB,EAAE;IAMvB,SAAS,CAAC,SAAS,EAAE,gBAAgB,EAAE,EAAE,QAAQ,EAAE,gBAAgB,GAAG,gBAAgB,EAAE;IAKxF,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,gBAAgB,GACzB;QAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE;CAiB5F"}
+{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../src/analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAsB,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAIzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAGL,KAAK,WAAW,EACjB,MAAM,sBAAsB,CAAC;AAa9B,OAAO,EAAsB,KAAK,kBAAkB,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAgX/F,MAAM,WAAW,qBAAqB;IACpC,WAAW,CAAC,EAAE,WAAW,CAAC;CAC3B;AAED,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAc;gBAEzB,OAAO,GAAE,qBAA0B;IAI/C,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,GAC1B,kBAAkB,EAAE;IAmUvB,aAAa,CACX,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,GAC1B,kBAAkB,EAAE;IAMvB,SAAS,CAAC,SAAS,EAAE,gBAAgB,EAAE,EAAE,QAAQ,EAAE,gBAAgB,GAAG,gBAAgB,EAAE;IAKxF,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,gBAAgB,GACzB;QAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE;CAiB5F"}

package/dist/analyzer.js

@@ -178,28 +178,30 @@ function buildStepContextSchema(manifest, defSchema, allManifests, defs, aliases
                     continue;
                 const s = step;
                 const name = s.name;
-                if (typeof name === "string") {
-                    const invoke = s[invokeField];
+                const invoke = s[invokeField];
+                // Only invoke steps register a `steps.<name>.result` entry — control-flow
+                // wrappers (try/if/while/switch/throw) don't produce a result and must
+                // not shadow real entries with a permissive `additionalProperties: true`,
+                // or unknown step references slip through chain validation.
+                if (typeof name === "string" && invoke && typeof invoke === "object") {
                     let outputSchema;
-                    if (invoke && typeof invoke === "object") {
-                        const invokedKind = invoke.kind;
-                        const invokedName = invoke.name;
-                        if (invokedName) {
-                            const invokedManifest = allManifests.find((m) => m.metadata?.name === invokedName &&
-                                (!invokedKind || m.kind === invokedKind));
-                            if (invokedManifest) {
-                                outputSchema = resolveTypeFieldToSchema(invokedManifest[outputTypeField], allManifests);
-                            }
-                        }
-                        else {
-                            outputSchema = resolveTypeFieldToSchema(invoke[outputTypeField], allManifests);
-                        }
-                        // Fallback: pull outputType from the kind's Telo.Definition. The
-                        // resource manifest typically doesn't carry outputType; the def does.
-                        if (!outputSchema && invokedKind) {
-                            outputSchema = lookupDefinitionTypeField(invokedKind, outputTypeField, defs, aliases, allManifests);
+                    const invokedKind = invoke.kind;
+                    const invokedName = invoke.name;
+                    if (invokedName) {
+                        const invokedManifest = allManifests.find((m) => m.metadata?.name === invokedName &&
+                            (!invokedKind || m.kind === invokedKind));
+                        if (invokedManifest) {
+                            outputSchema = resolveTypeFieldToSchema(invokedManifest[outputTypeField], allManifests);
                         }
                     }
+                    else {
+                        outputSchema = resolveTypeFieldToSchema(invoke[outputTypeField], allManifests);
+                    }
+                    // Fallback: pull outputType from the kind's Telo.Definition. The
+                    // resource manifest typically doesn't carry outputType; the def does.
+                    if (!outputSchema && invokedKind) {
+                        outputSchema = lookupDefinitionTypeField(invokedKind, outputTypeField, defs, aliases, allManifests);
+                    }
                     stepProperties[name] = {
                         type: "object",
                         properties: {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@telorun/analyzer",
-  "version": "0.8.0",
+  "version": "0.8.1",
   "description": "Telo Analyzer - Static manifest validator for Telo manifests.",
   "keywords": [
     "telo",
@@ -42,7 +42,7 @@
     "jsonpath-plus": "^10.3.0",
     "yaml": "^2.8.3",
     "@telorun/sdk": "0.7.0",
-    "@telorun/templating": "0.2.0"
+    "@telorun/templating": "0.2.1"
   },
   "devDependencies": {
     "@types/node": "^20.0.0",

package/src/analyzer.ts

@@ -232,35 +232,37 @@ function buildStepContextSchema(
         if (!step || typeof step !== "object") continue;
         const s = step as Record<string, any>;
         const name = s.name;
-        if (typeof name === "string") {
-          const invoke = s[invokeField] as Record<string, any> | undefined;
+        const invoke = s[invokeField] as Record<string, any> | undefined;
+        // Only invoke steps register a `steps.<name>.result` entry — control-flow
+        // wrappers (try/if/while/switch/throw) don't produce a result and must
+        // not shadow real entries with a permissive `additionalProperties: true`,
+        // or unknown step references slip through chain validation.
+        if (typeof name === "string" && invoke && typeof invoke === "object") {
           let outputSchema: Record<string, any> | undefined;
-          if (invoke && typeof invoke === "object") {
-            const invokedKind = invoke.kind as string | undefined;
-            const invokedName = invoke.name as string | undefined;
-            if (invokedName) {
-              const invokedManifest = allManifests.find(
-                (m) =>
-                  (m.metadata as any)?.name === invokedName &&
-                  (!invokedKind || m.kind === invokedKind),
-              ) as Record<string, any> | undefined;
-              if (invokedManifest) {
-                outputSchema = resolveTypeFieldToSchema(invokedManifest[outputTypeField], allManifests);
-              }
-            } else {
-              outputSchema = resolveTypeFieldToSchema(invoke[outputTypeField], allManifests);
-            }
-            // Fallback: pull outputType from the kind's Telo.Definition. The
-            // resource manifest typically doesn't carry outputType; the def does.
-            if (!outputSchema && invokedKind) {
-              outputSchema = lookupDefinitionTypeField(
-                invokedKind,
-                outputTypeField,
-                defs,
-                aliases,
-                allManifests,
-              );
+          const invokedKind = invoke.kind as string | undefined;
+          const invokedName = invoke.name as string | undefined;
+          if (invokedName) {
+            const invokedManifest = allManifests.find(
+              (m) =>
+                (m.metadata as any)?.name === invokedName &&
+                (!invokedKind || m.kind === invokedKind),
+            ) as Record<string, any> | undefined;
+            if (invokedManifest) {
+              outputSchema = resolveTypeFieldToSchema(invokedManifest[outputTypeField], allManifests);
             }
+          } else {
+            outputSchema = resolveTypeFieldToSchema(invoke[outputTypeField], allManifests);
+          }
+          // Fallback: pull outputType from the kind's Telo.Definition. The
+          // resource manifest typically doesn't carry outputType; the def does.
+          if (!outputSchema && invokedKind) {
+            outputSchema = lookupDefinitionTypeField(
+              invokedKind,
+              outputTypeField,
+              defs,
+              aliases,
+              allManifests,
+            );
           }
           stepProperties[name] = {
             type: "object",