@telorun/analyzer 0.34.0 → 0.34.1

package/dist/validate-base-mapping.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate-base-mapping.d.ts","sourceRoot":"","sources":["../src/validate-base-mapping.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAsB,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEzE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,EAAsB,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAezE;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,kBAAkB,EAC5B,OAAO,EAAE,aAAa,GACrB,kBAAkB,EAAE,CAwCtB"}
+{"version":3,"file":"validate-base-mapping.d.ts","sourceRoot":"","sources":["../src/validate-base-mapping.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAsB,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAGzE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,EAAsB,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAmBzE;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,kBAAkB,EAC5B,OAAO,EAAE,aAAa,GACrB,kBAAkB,EAAE,CAwCtB"}

package/dist/validate-base-mapping.js

@@ -1,12 +1,18 @@
 import { isCompiledValue } from "@telorun/sdk";
+import { isTaggedSentinel } from "@telorun/templating";
 import { effectiveAuthorSchema, resolveParent } from "./extends-resolution.js";
 import { DiagnosticSeverity } from "./types.js";
 const SOURCE = "telo-analyzer";
-/** True when a value subtree contains a compiled CEL leaf — such a value can
- *  produce anything at runtime, so its type is not statically checkable. */
+/** True when a value subtree contains a CEL leaf — either a compiled CEL value
+ *  (post-precompile) or the raw `!cel` tagged sentinel the analyzer sees at
+ *  `telo check` time (this validator runs on the un-precompiled tree). Such a
+ *  value can produce anything at runtime, so its type is not statically
+ *  checkable. */
 function containsCel(value) {
     if (isCompiledValue(value))
         return true;
+    if (isTaggedSentinel(value) && value.engine === "cel")
+        return true;
     if (Array.isArray(value))
         return value.some(containsCel);
     if (value && typeof value === "object") {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@telorun/analyzer",
-  "version": "0.34.0",
+  "version": "0.34.1",
   "description": "Telo Analyzer - Static manifest validator for Telo manifests.",
   "keywords": [
     "telo",

package/src/validate-base-mapping.ts

@@ -1,5 +1,6 @@
 import type { ResourceDefinition, ResourceManifest } from "@telorun/sdk";
 import { isCompiledValue } from "@telorun/sdk";
+import { isTaggedSentinel } from "@telorun/templating";
 import type { AliasResolver } from "./alias-resolver.js";
 import type { DefinitionRegistry } from "./definition-registry.js";
 import { effectiveAuthorSchema, resolveParent, type DefResolver } from "./extends-resolution.js";
@@ -7,10 +8,14 @@ import { DiagnosticSeverity, type AnalysisDiagnostic } from "./types.js";
 
 const SOURCE = "telo-analyzer";
 
-/** True when a value subtree contains a compiled CEL leaf — such a value can
- *  produce anything at runtime, so its type is not statically checkable. */
+/** True when a value subtree contains a CEL leaf — either a compiled CEL value
+ *  (post-precompile) or the raw `!cel` tagged sentinel the analyzer sees at
+ *  `telo check` time (this validator runs on the un-precompiled tree). Such a
+ *  value can produce anything at runtime, so its type is not statically
+ *  checkable. */
 function containsCel(value: unknown): boolean {
   if (isCompiledValue(value)) return true;
+  if (isTaggedSentinel(value) && value.engine === "cel") return true;
   if (Array.isArray(value)) return value.some(containsCel);
   if (value && typeof value === "object") {
     return Object.values(value as Record<string, unknown>).some(containsCel);