@telorun/kernel 0.72.0 → 0.74.0

package/dist/schema-validator.js

@@ -7,7 +7,8 @@ import { createHash } from "node:crypto";
 import * as fs from "node:fs";
 import { createRequire } from "node:module";
 import * as path from "node:path";
-import { binaryKeyword, X_TELO_BINARY } from "@telorun/analyzer";
+import { registerTeloKeywords } from "@telorun/analyzer";
+import { X_TELO_TYPE } from "@telorun/sdk";
 import { mergeFilledDefaults, withBigIntsAsNumbers } from "./bigint-schema-view.js";
 import { formatAjvErrors } from "./manifest-schemas.js";
 /** Render a value for an error message without ever throwing — the offending
@@ -21,7 +22,7 @@ function describeValue(data) {
         return String(data);
     }
 }
-import { EXACT_TEMPLATE_REGEX, isTaggedSentinel, ManifestRootSchema, normalizeRefSlots, } from "@telorun/templating";
+import { EXACT_TEMPLATE_REGEX, isTaggedSentinel, ManifestRootSchema, } from "@telorun/templating";
 const Ajv = AjvModule.default ?? AjvModule;
 // AJV's standalone subpath is CJS — the default export shows up as either
 // the function itself or `.default` depending on how the bundler/loader
@@ -156,13 +157,19 @@ const NAME_KEYED_SCHEMA_KEYWORDS = new Set([
  *  two schemas that differ only there hash alike. */
 const DATA_VALUE_KEYWORDS = new Set(["const", "default", "enum", "examples"]);
 /** Annotations that DO emit validation code, and so must survive the strip and stay
- *  in the cache key. `x-telo-binary` is the first: bytes have no JSON Schema type,
+ *  in the cache key. `x-telo-type` is the only one: bytes have no JSON Schema type,
  *  so the keyword is the only thing standing between a byte slot and "accepts any
  *  object". Stripping it would silently reduce the slot to an empty schema — the
  *  precise regression the annotation was introduced to close — and, because the key
  *  is meant to describe the compiled validator, a keyword that changes the validator
- *  belongs in it. */
-const VALIDATING_ANNOTATIONS = new Set([X_TELO_BINARY]);
+ *  belongs in it.
+ *
+ *  Its names need no canonicalization to be safe in a key, unlike `x-telo-ref`'s:
+ *  the vocabulary is closed and `Telo.`-qualified, so an author writes the
+ *  canonical name or none, and a named SHAPE reaches the annotation as a `$ref`
+ *  the loader already resolved. There is nothing here that the analyzer's baked
+ *  view and the runtime could spell differently. */
+const VALIDATING_ANNOTATIONS = new Set([X_TELO_TYPE]);
 /** Deep-clone `schema` without its `x-telo-*` annotations — applied, like
  *  {@link collapseSentinelsToSource}, before both AJV compilation and cache
  *  hashing.
@@ -183,9 +190,7 @@ const VALIDATING_ANNOTATIONS = new Set([X_TELO_BINARY]);
  *
  *  Stripping is what makes the key describe the compiled validator and nothing
  *  else, so the two views converge without either side having to agree on an
- *  annotation's spelling. `normalizeRefSlots` runs FIRST and is unaffected: it
- *  reads `x-telo-ref` to drop a legacy scalar `type` at a ref slot, which does
- *  change validation, and it has already done so by the time this runs. */
+ *  annotation's spelling. */
 function stripTeloAnnotations(value, nameKeyed = false) {
     // An array's items are schema nodes (`allOf`, tuple `items`), never names.
     if (Array.isArray(value))
@@ -248,27 +253,12 @@ export class SchemaValidator {
             code: { source: true },
         });
         addFormats.default(this.ajv);
-        for (const kw of [
-            "x-telo-ref",
-            "x-telo-eval",
-            "x-telo-scope",
-            "x-telo-context",
-            "x-telo-context-from",
-            "x-telo-context-ref-from",
-            "x-telo-schema-from",
-            "x-telo-topology-role",
-            "x-telo-step-context",
-            "x-telo-widget",
-            "x-telo-type",
-            "x-telo-inline",
-        ]) {
-            this.ajv.addKeyword(kw);
-        }
-        // Not a no-op like the rest: bytes have no JSON Schema type, so this keyword IS
-        // the check. Defined as codegen in the analyzer so it inlines into the
-        // standalone validators compiled and cached below, rather than needing the
-        // implementation present at load.
-        this.ajv.addKeyword(binaryKeyword());
+        // One registration site for every Telo keyword: the annotations as no-ops
+        // and `x-telo-type` as the one that actually checks. `x-telo-type` is defined
+        // as codegen in the analyzer so it inlines into the standalone validators
+        // compiled and cached below, rather than needing the implementation present
+        // at load.
+        registerTeloKeywords(this.ajv);
         // Register the shared manifest root so module schemas can
         // `$ref: "telo://manifest#/$defs/ResourceRef"` without each manifest
         // bundling its own copy. Mirrors the analyzer's createAjv().
@@ -342,12 +332,7 @@ export class SchemaValidator {
                 },
             }
             : normalized;
-        // Drop the legacy scalar `type` an older published module may still pin on
-        // its `x-telo-ref` slots. Schema validation runs in create() before Phase 5
-        // injection, so a ref slot holds the resolved `{kind, name, alias?}` object
-        // (or an unresolved sentinel) — both objects the stale `type: "string"`
-        // would otherwise reject.
-        const injected = normalizeRefSlots(withImplicit);
+        const injected = withImplicit;
         // Canonicalize CEL/template carriers (an inline `${{ }}` left in a
         // `description`, a `!cel` tag, …) to their bare source text so AJV can
         // meta-validate the schema it compiles, and so the raw (warm-pass) and

package/dist/schema-validator.js.map

@@ -1 +1 @@
-{"version":3,"file":"schema-validator.js","sourceRoot":"","sources":["../src/schema-validator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAiB,eAAe,EAAE,WAAW,EAAE,YAAY,EAAyB,MAAM,cAAc,CAAC;AAChH,OAAO,SAAoC,MAAM,KAAK,CAAC;AACvD,OAAO,iBAAiB,MAAM,8BAA8B,CAAC;AAC7D,OAAO,UAAU,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD;;+CAE+C;AAC/C,SAAS,aAAa,CAAC,IAAa;IAClC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;AACH,CAAC;AACD,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,qBAAqB,CAAC;AAE7B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,IAAI,SAAS,CAAC;AAC3C,0EAA0E;AAC1E,wEAAwE;AACxE,+BAA+B;AAC/B,MAAM,cAAc,GACjB,iBAAyB,CAAC,OAAO,IAAK,iBAAyB,CAAC;AAEnE;;;;qBAIqB;AACrB,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAErD;;;;;;;6DAO6D;AAC7D,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,IAAI,eAAe,CAAC,CAAC;QAClD,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC,OAAO,CAAC;IAC1D,CAAC;IAAC,MAAM,CAAC;QACP,qDAAqD;IACvD,CAAC;IACD,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,OAAO,GAAG,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;YACjD,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;gBAC5D,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACtF,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBAC9D,OAAO,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;gBACnE,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,6CAA6C;YAC/C,CAAC;YACD,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,wBAAwB;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AACD,MAAM,WAAW,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;AAC1C,MAAM,mBAAmB,GAAG,cAAc,CAAC,aAAa,CAAC,CAAC;AAC1D,MAAM,qBAAqB,GAAG,OAAO,WAAW,gBAAgB,mBAAmB,EAAE,CAAC;AAEtF,MAAM,qBAAqB,GAAG,+BAA+B,CAAC;AAE9D;;;wCAGwC;AACxC,SAAS,oBAAoB,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAChD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/D,OAAO,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3C,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6EA6B6E;AAC7E,SAAS,yBAAyB,CAAC,KAAc;IAC/C,IAAI,eAAe,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,OAAO,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;QAChD,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IACzC,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;IACtE,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;YACtE,GAAG,CAAC,CAAC,CAAC,GAAG,yBAAyB,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;kEAEkE;AAClE,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAC;IACzC,YAAY;IACZ,mBAAmB;IACnB,kBAAkB;IAClB,mBAAmB;IACnB,OAAO;IACP,aAAa;CACd,CAAC,CAAC;AAEH;;;;qDAIqD;AACrD,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;AAE9E;;;;;;qBAMqB;AACrB,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;AAExD;;;;;;;;;;;;;;;;;;;;;;2EAsB2E;AAC3E,SAAS,oBAAoB,CAAC,KAAc,EAAE,SAAS,GAAG,KAAK;IAC7D,2EAA2E;IAC3E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;IACjF,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;QACtE,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QACtF,wEAAwE;QACxE,oEAAoE;QACpE,GAAG,CAAC,CAAC,CAAC;YACJ,CAAC,SAAS,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;gBACtC,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,SAAS,IAAI,0BAA0B,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,OAAO,eAAe;IAClB,GAAG,CAA2B;IAC9B,SAAS,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC1C,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,kBAAkB,GAAG,IAAI,OAAO,EAAyB,CAAC;IAC1D,QAAQ,CAAqB;IACrC;;;kEAG8D;IACtD,aAAa,GAAG,IAAI,CAAC;IAC7B;;;4BAGwB;IAChB,SAAS,GAAG,IAAI,GAAG,EAAyB,CAAC;IACrD;;;;;kFAK8E;IACtE,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C;;;8EAG0E;IAClE,GAAG,GAAW,WAAW,CAAC;IAElC,2DAA2D;IAC3D,SAAS,CAAC,GAAW;QACnB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;IACjB,CAAC;IAED;QACE,IAAI,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC;YACjB,MAAM,EAAE,KAAK;YACb,gBAAgB,EAAE,KAAK;YACvB,WAAW,EAAE,IAAI;YACjB,mEAAmE;YACnE,iEAAiE;YACjE,kEAAkE;YAClE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;SACvB,CAAC,CAAC;QACH,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,KAAK,MAAM,EAAE,IAAI;YACf,YAAY;YACZ,aAAa;YACb,cAAc;YACd,gBAAgB;YAChB,qBAAqB;YACrB,yBAAyB;YACzB,oBAAoB;YACpB,sBAAsB;YACtB,qBAAqB;YACrB,eAAe;YACf,aAAa;YACb,eAAe;SAChB,EAAE,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;QACD,gFAAgF;QAChF,uEAAuE;QACvE,2EAA2E;QAC3E,kCAAkC;QAClC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC;QACrC,0DAA0D;QAC1D,qEAAqE;QACrE,6DAA6D;QAC7D,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACzC,CAAC;IAED,SAAS,CAAC,IAAY,EAAE,MAAc;QACpC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAED,SAAS,CAAC,IAAY;QACpB,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,YAAY,CAAC,IAAY,EAAE,KAAiB;QAC1C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;IAED,YAAY,CAAC,IAAY;QACvB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAED;;;;;;;;uDAQmD;IACnD,WAAW,CAAC,GAAuB,EAAE,IAA0B;QAC7D,IAAI,CAAC,QAAQ,GAAG,GAAG,CAAC;QACpB,IAAI,CAAC,aAAa,GAAG,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC;IAC3C,CAAC;IAED;;;;;;;;;;8DAU0D;IAC1D,OAAO,CAAC,MAAW,EAAE,OAA+B;QAClD,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YACzC,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAgB,CAAC,CAAC;YAC7D,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;QAC5B,CAAC;QAED,MAAM,YAAY,GAChB,CAAC,MAAM,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;YACrD,OAAO,IAAI,MAAM;YACjB,OAAO,IAAI,MAAM;YACjB,OAAO,IAAI,MAAM;YACjB,MAAM,IAAI,MAAM,CAAC;QACnB,MAAM,UAAU,GAAG,YAAY;YAC7B,CAAC,CAAC,MAAM;YACR,CAAC,CAAC;gBACE,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,MAAM;gBAClB,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;gBAC7B,oBAAoB,EAAE,KAAK;aAC5B,CAAC;QACN,MAAM,YAAY,GAChB,UAAU,CAAC,oBAAoB,KAAK,KAAK;YACvC,CAAC,CAAC;gBACE,GAAG,UAAU;gBACb,UAAU,EAAE;oBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACxB,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC5B,GAAG,UAAU,CAAC,UAAU;iBACzB;aACF;YACH,CAAC,CAAC,UAAU,CAAC;QAEjB,2EAA2E;QAC3E,4EAA4E;QAC5E,4EAA4E;QAC5E,wEAAwE;QACxE,0BAA0B;QAC1B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,YAAY,CAAwB,CAAC;QAExE,mEAAmE;QACnE,uEAAuE;QACvE,uEAAuE;QACvE,4EAA4E;QAC5E,mEAAmE;QACnE,+BAA+B;QAC/B,MAAM,SAAS,GAAG,yBAAyB,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC;QAE5E,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC;aAC9B,MAAM,CACL,IAAI,CAAC,SAAS,CAAC;YACb,OAAO,EAAE,qBAAqB;YAC9B,MAAM,EAAE,SAAS;SAClB,CAAC,CACH;aACA,MAAM,CAAC,KAAK,CAAC;aACb,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChB,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,IAAI,CAAC;QACzC,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,YAAY,IAAI,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACjE,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACzC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAgB,EAAE,YAAY,CAAC,CAAC;YAC9D,CAAC;YACD,OAAO,YAAY,CAAC;QACtB,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,sBAAsB,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACvE,IAAI,OAAO;YAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAE5C,+EAA+E;QAC/E,6EAA6E;QAC7E,+EAA+E;QAC/E,6EAA6E;QAC7E,gFAAgF;QAChF,yEAAyE;QACzE,MAAM,KAAK,GAAG,CAAC,IAAS,EAAW,EAAE;YACnC,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,EAAE,IAAI,IAAI,KAAK,IAAI;gBAAE,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACzD,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC;QAEF,MAAM,SAAS,GAAG;YAChB,QAAQ,EAAE,CAAC,IAAS,EAAE,EAAE;gBACtB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjB,mEAAmE;oBACnE,sEAAsE;oBACtE,gDAAgD;oBAChD,MAAM,IAAI,YAAY,CACpB,uCAAuC,EACvC,yBAAyB,aAAa,CAAC,IAAI,CAAC,YAAY,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAC3F,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,EAAE,CAAC,IAAS,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;SACpC,CAAC;QAEF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACpC,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YACzC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAgB,EAAE,SAAS,CAAC,CAAC;QAC3D,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;;;;;;;yDAUqD;IAC7C,sBAAsB,CAC5B,MAAW,EACX,IAAY,EACZ,OAAgB;QAEhB,2EAA2E;QAC3E,2EAA2E;QAC3E,iEAAiE;QACjE,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACrD,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,MAAM,CAAC,CAAC;YACrD,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBACjD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;gBACxC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;oBAClB,MAAM,OAAO,GAAG,IAAI,QAAQ,CAC1B,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,IAAI,0BAA0B,CAClC,CAAC;oBACF,MAAM,GAAG,GAAqB,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;oBAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;oBACxD,IAAI,OAAO,MAAM,KAAK,UAAU,EAAE,CAAC;wBACjC,OAAO,MAA0B,CAAC;oBACpC,CAAC;gBACH,CAAC;gBACD,2DAA2D;gBAC3D,6DAA6D;gBAC7D,uCAAuC;YACzC,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAK,GAA6B,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACtD,IAAI,CAAC,GAAG,CAAC,IAAI,CACX,6BAA6B,EAC7B,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAC/B,EAAE,KAAK,EAAE,GAAG,EAAE,CACf,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAqB,CAAC;QAC9D,IAAI,QAAQ,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACnC,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gBAChD,MAAM,SAAS,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAClE,MAAM,OAAO,GAAG,aAAa,SAAS,KAAK,IAAI,EAAE,CAAC;gBAClD,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC5C,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,MAAM,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACzE,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,CAAC,GAAG,CAAC,IAAI,CACX,8BAA8B,EAC9B,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAC/B,EAAE,KAAK,EAAE,GAAG,EAAE,CACf,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,gBAAgB,CAAC,IAAmB,EAAE,QAAgB,EAAE,KAAiB;QACvE,OAAO;YACL,QAAQ,EAAE,CAAC,IAAS,EAAE,EAAE;gBACtB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,MAAe,CAAC;oBACpB,IAAI,CAAC;wBACH,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;oBACpD,CAAC;oBAAC,OAAO,GAAG,EAAE,CAAC;wBACb,MAAM,IAAI,YAAY,CACpB,4BAA4B,EAC5B,SAAS,QAAQ,6BAA6B,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CACjG,CAAC;oBACJ,CAAC;oBACD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;wBACpB,MAAM,IAAI,YAAY,CACpB,IAAI,CAAC,IAAI,IAAI,4BAA4B,EACzC,IAAI,CAAC,OAAO,IAAI,SAAS,QAAQ,8BAA8B,IAAI,CAAC,IAAI,iBAAiB,CAC1F,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,EAAE,CAAC,IAAS,EAAE,EAAE;gBACrB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,CAAC;wBACH,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,IAAI;4BAAE,OAAO,KAAK,CAAC;oBACtE,CAAC;oBAAC,MAAM,CAAC;wBACP,OAAO,KAAK,CAAC;oBACf,CAAC;gBACH,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC;IACJ,CAAC;CACF"}
+{"version":3,"file":"schema-validator.js","sourceRoot":"","sources":["../src/schema-validator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAiB,eAAe,EAAE,WAAW,EAAE,YAAY,EAAyB,MAAM,cAAc,CAAC;AAChH,OAAO,SAAoC,MAAM,KAAK,CAAC;AACvD,OAAO,iBAAiB,MAAM,8BAA8B,CAAC;AAC7D,OAAO,UAAU,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD;;+CAE+C;AAC/C,SAAS,aAAa,CAAC,IAAa;IAClC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;AACH,CAAC;AACD,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,qBAAqB,CAAC;AAE7B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,IAAI,SAAS,CAAC;AAC3C,0EAA0E;AAC1E,wEAAwE;AACxE,+BAA+B;AAC/B,MAAM,cAAc,GACjB,iBAAyB,CAAC,OAAO,IAAK,iBAAyB,CAAC;AAEnE;;;;qBAIqB;AACrB,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAErD;;;;;;;6DAO6D;AAC7D,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,IAAI,eAAe,CAAC,CAAC;QAClD,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC,OAAO,CAAC;IAC1D,CAAC;IAAC,MAAM,CAAC;QACP,qDAAqD;IACvD,CAAC;IACD,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,OAAO,GAAG,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;YACjD,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;gBAC5D,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACtF,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBAC9D,OAAO,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;gBACnE,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,6CAA6C;YAC/C,CAAC;YACD,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,wBAAwB;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AACD,MAAM,WAAW,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;AAC1C,MAAM,mBAAmB,GAAG,cAAc,CAAC,aAAa,CAAC,CAAC;AAC1D,MAAM,qBAAqB,GAAG,OAAO,WAAW,gBAAgB,mBAAmB,EAAE,CAAC;AAEtF,MAAM,qBAAqB,GAAG,+BAA+B,CAAC;AAE9D;;;wCAGwC;AACxC,SAAS,oBAAoB,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAChD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/D,OAAO,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3C,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6EA6B6E;AAC7E,SAAS,yBAAyB,CAAC,KAAc;IAC/C,IAAI,eAAe,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,OAAO,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;QAChD,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IACzC,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;IACtE,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;YACtE,GAAG,CAAC,CAAC,CAAC,GAAG,yBAAyB,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;kEAEkE;AAClE,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAC;IACzC,YAAY;IACZ,mBAAmB;IACnB,kBAAkB;IAClB,mBAAmB;IACnB,OAAO;IACP,aAAa;CACd,CAAC,CAAC;AAEH;;;;qDAIqD;AACrD,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;AAE9E;;;;;;;;;;;;oDAYoD;AACpD,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;AAEtD;;;;;;;;;;;;;;;;;;;;6BAoB6B;AAC7B,SAAS,oBAAoB,CAAC,KAAc,EAAE,SAAS,GAAG,KAAK;IAC7D,2EAA2E;IAC3E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;IACjF,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;QACtE,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QACtF,wEAAwE;QACxE,oEAAoE;QACpE,GAAG,CAAC,CAAC,CAAC;YACJ,CAAC,SAAS,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;gBACtC,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,SAAS,IAAI,0BAA0B,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,OAAO,eAAe;IAClB,GAAG,CAA2B;IAC9B,SAAS,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC1C,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,kBAAkB,GAAG,IAAI,OAAO,EAAyB,CAAC;IAC1D,QAAQ,CAAqB;IACrC;;;kEAG8D;IACtD,aAAa,GAAG,IAAI,CAAC;IAC7B;;;4BAGwB;IAChB,SAAS,GAAG,IAAI,GAAG,EAAyB,CAAC;IACrD;;;;;kFAK8E;IACtE,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C;;;8EAG0E;IAClE,GAAG,GAAW,WAAW,CAAC;IAElC,2DAA2D;IAC3D,SAAS,CAAC,GAAW;QACnB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;IACjB,CAAC;IAED;QACE,IAAI,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC;YACjB,MAAM,EAAE,KAAK;YACb,gBAAgB,EAAE,KAAK;YACvB,WAAW,EAAE,IAAI;YACjB,mEAAmE;YACnE,iEAAiE;YACjE,kEAAkE;YAClE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;SACvB,CAAC,CAAC;QACH,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,0EAA0E;QAC1E,8EAA8E;QAC9E,0EAA0E;QAC1E,4EAA4E;QAC5E,WAAW;QACX,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,0DAA0D;QAC1D,qEAAqE;QACrE,6DAA6D;QAC7D,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACzC,CAAC;IAED,SAAS,CAAC,IAAY,EAAE,MAAc;QACpC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAED,SAAS,CAAC,IAAY;QACpB,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,YAAY,CAAC,IAAY,EAAE,KAAiB;QAC1C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;IAED,YAAY,CAAC,IAAY;QACvB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAED;;;;;;;;uDAQmD;IACnD,WAAW,CAAC,GAAuB,EAAE,IAA0B;QAC7D,IAAI,CAAC,QAAQ,GAAG,GAAG,CAAC;QACpB,IAAI,CAAC,aAAa,GAAG,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC;IAC3C,CAAC;IAED;;;;;;;;;;8DAU0D;IAC1D,OAAO,CAAC,MAAW,EAAE,OAA+B;QAClD,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YACzC,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAgB,CAAC,CAAC;YAC7D,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;QAC5B,CAAC;QAED,MAAM,YAAY,GAChB,CAAC,MAAM,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;YACrD,OAAO,IAAI,MAAM;YACjB,OAAO,IAAI,MAAM;YACjB,OAAO,IAAI,MAAM;YACjB,MAAM,IAAI,MAAM,CAAC;QACnB,MAAM,UAAU,GAAG,YAAY;YAC7B,CAAC,CAAC,MAAM;YACR,CAAC,CAAC;gBACE,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,MAAM;gBAClB,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;gBAC7B,oBAAoB,EAAE,KAAK;aAC5B,CAAC;QACN,MAAM,YAAY,GAChB,UAAU,CAAC,oBAAoB,KAAK,KAAK;YACvC,CAAC,CAAC;gBACE,GAAG,UAAU;gBACb,UAAU,EAAE;oBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACxB,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC5B,GAAG,UAAU,CAAC,UAAU;iBACzB;aACF;YACH,CAAC,CAAC,UAAU,CAAC;QAEjB,MAAM,QAAQ,GAAG,YAAY,CAAC;QAE9B,mEAAmE;QACnE,uEAAuE;QACvE,uEAAuE;QACvE,4EAA4E;QAC5E,mEAAmE;QACnE,+BAA+B;QAC/B,MAAM,SAAS,GAAG,yBAAyB,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC;QAE5E,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC;aAC9B,MAAM,CACL,IAAI,CAAC,SAAS,CAAC;YACb,OAAO,EAAE,qBAAqB;YAC9B,MAAM,EAAE,SAAS;SAClB,CAAC,CACH;aACA,MAAM,CAAC,KAAK,CAAC;aACb,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChB,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,IAAI,CAAC;QACzC,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,YAAY,IAAI,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACjE,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACzC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAgB,EAAE,YAAY,CAAC,CAAC;YAC9D,CAAC;YACD,OAAO,YAAY,CAAC;QACtB,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,sBAAsB,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACvE,IAAI,OAAO;YAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAE5C,+EAA+E;QAC/E,6EAA6E;QAC7E,+EAA+E;QAC/E,6EAA6E;QAC7E,gFAAgF;QAChF,yEAAyE;QACzE,MAAM,KAAK,GAAG,CAAC,IAAS,EAAW,EAAE;YACnC,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,EAAE,IAAI,IAAI,KAAK,IAAI;gBAAE,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACzD,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC;QAEF,MAAM,SAAS,GAAG;YAChB,QAAQ,EAAE,CAAC,IAAS,EAAE,EAAE;gBACtB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjB,mEAAmE;oBACnE,sEAAsE;oBACtE,gDAAgD;oBAChD,MAAM,IAAI,YAAY,CACpB,uCAAuC,EACvC,yBAAyB,aAAa,CAAC,IAAI,CAAC,YAAY,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAC3F,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,EAAE,CAAC,IAAS,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;SACpC,CAAC;QAEF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACpC,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YACzC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAgB,EAAE,SAAS,CAAC,CAAC;QAC3D,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;;;;;;;yDAUqD;IAC7C,sBAAsB,CAC5B,MAAW,EACX,IAAY,EACZ,OAAgB;QAEhB,2EAA2E;QAC3E,2EAA2E;QAC3E,iEAAiE;QACjE,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACrD,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,MAAM,CAAC,CAAC;YACrD,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBACjD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;gBACxC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;oBAClB,MAAM,OAAO,GAAG,IAAI,QAAQ,CAC1B,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,IAAI,0BAA0B,CAClC,CAAC;oBACF,MAAM,GAAG,GAAqB,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;oBAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;oBACxD,IAAI,OAAO,MAAM,KAAK,UAAU,EAAE,CAAC;wBACjC,OAAO,MAA0B,CAAC;oBACpC,CAAC;gBACH,CAAC;gBACD,2DAA2D;gBAC3D,6DAA6D;gBAC7D,uCAAuC;YACzC,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAK,GAA6B,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACtD,IAAI,CAAC,GAAG,CAAC,IAAI,CACX,6BAA6B,EAC7B,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAC/B,EAAE,KAAK,EAAE,GAAG,EAAE,CACf,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAqB,CAAC;QAC9D,IAAI,QAAQ,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACnC,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gBAChD,MAAM,SAAS,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAClE,MAAM,OAAO,GAAG,aAAa,SAAS,KAAK,IAAI,EAAE,CAAC;gBAClD,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC5C,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,MAAM,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACzE,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,CAAC,GAAG,CAAC,IAAI,CACX,8BAA8B,EAC9B,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAC/B,EAAE,KAAK,EAAE,GAAG,EAAE,CACf,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,gBAAgB,CAAC,IAAmB,EAAE,QAAgB,EAAE,KAAiB;QACvE,OAAO;YACL,QAAQ,EAAE,CAAC,IAAS,EAAE,EAAE;gBACtB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,MAAe,CAAC;oBACpB,IAAI,CAAC;wBACH,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;oBACpD,CAAC;oBAAC,OAAO,GAAG,EAAE,CAAC;wBACb,MAAM,IAAI,YAAY,CACpB,4BAA4B,EAC5B,SAAS,QAAQ,6BAA6B,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CACjG,CAAC;oBACJ,CAAC;oBACD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;wBACpB,MAAM,IAAI,YAAY,CACpB,IAAI,CAAC,IAAI,IAAI,4BAA4B,EACzC,IAAI,CAAC,OAAO,IAAI,SAAS,QAAQ,8BAA8B,IAAI,CAAC,IAAI,iBAAiB,CAC1F,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,EAAE,CAAC,IAAS,EAAE,EAAE;gBACrB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,CAAC;wBACH,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,IAAI;4BAAE,OAAO,KAAK,CAAC;oBACtE,CAAC;oBAAC,MAAM,CAAC;wBACP,OAAO,KAAK,CAAC;oBACf,CAAC;gBACH,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC;IACJ,CAAC;CACF"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@telorun/kernel",
-  "version": "0.72.0",
+  "version": "0.74.0",
   "description": "Telo Runtime - A lightweight, polyglot execution host.",
   "keywords": [
     "telo",
@@ -61,9 +61,9 @@
   "dependencies": {
     "@marcbachmann/cel-js": "^7.6.1",
     "@sinclair/typebox": "^0.34.48",
-    "@telorun/analyzer": "0.57.0",
+    "@telorun/analyzer": "0.59.0",
     "@telorun/glob": "0.2.0",
-    "@telorun/templating": "0.13.0",
+    "@telorun/templating": "0.15.0",
     "ajv": "^8.17.1",
     "ajv-formats": "^3.0.1",
     "packageurl-js": "^2.0.1",
@@ -75,7 +75,7 @@
     "@types/tar-stream": "^3.1.3",
     "typescript": "^5.0.0",
     "vitest": "^2.1.8",
-    "@telorun/sdk": "0.72.0"
+    "@telorun/sdk": "0.74.0"
   },
   "optionalDependencies": {
     "esbuild": "^0.25.12"

package/src/application-env.ts

@@ -2,7 +2,7 @@ import {
   type DefResolver,
   effectiveAuthorSchema,
   residualEntrySchema,
-  withStreamPropertiesSkipped,
+  withLiveValuesSkipped,
 } from "@telorun/analyzer";
 import type {
   ResourceContext,
@@ -270,7 +270,7 @@ export function precompileDefinitionSchemas(
     try {
       const schema = resolveTypeFieldSchema(declared, lookup);
       if (!schema) return;
-      compile(withStreamPropertiesSkipped(schema, (ref) => lookup(ref) as any));
+      compile(withLiveValuesSkipped(schema, (ref) => lookup(ref) as any));
     } catch {
       // An unresolvable contract is a dispatch-time error, not a warm failure.
     }

package/src/controllers/module/import-controller.ts

@@ -88,6 +88,7 @@ export async function create(
   const rawManifests = await ctx.loadModule(resolvedUrl, {
     compile: true,
     desugarImports: true,
+    migrate: true,
   });
 
   // Normalize in the library's own scope: extract inline resources and resolve

package/src/invocation-contract-binding.ts

@@ -1,9 +1,12 @@
 import {
   type ContractDirection,
+  declaredScalarPaths,
+  type DeclaredScalarForm,
+  type DeclaredScalarPath,
   defaultBearingPaths,
   effectiveContractField,
   type DefResolver,
-  withStreamPropertiesSkipped,
+  withLiveValuesSkipped,
 } from "@telorun/analyzer";
 import type { ResourceDefinition, ResourceInstance, ResourceManifest } from "@telorun/sdk";
 import {
@@ -63,6 +66,10 @@ export interface BoundContract {
   /** Paths a default can be written to — how far the caller's value must be
    *  copied before validation runs. Empty when the contract declares none. */
   defaultPaths(): string[][];
+  /** Paths whose declared type fixes a scalar representation — the leaves a
+   *  value is normalized at, in either direction. Empty when the contract
+   *  declares none. */
+  scalarPaths(): DeclaredScalarPath[];
 }
 
 const CONTRACT_ERROR: Record<ContractDirection, string> = {
@@ -123,6 +130,7 @@ export function resolveBoundContract(
 
   let compiled: { validate(value: unknown): void } | undefined;
   let paths: string[][] | undefined;
+  let scalars: DeclaredScalarPath[] | undefined;
 
   const resolve = (): { validate(value: unknown): void } => {
     if (compiled !== undefined) return compiled;
@@ -138,8 +146,9 @@ export function resolveBoundContract(
           `The type is not registered, so the contract cannot be enforced.`,
       );
     }
-    const stripped = withStreamPropertiesSkipped(schema, factory.resolveRef);
+    const stripped = withLiveValuesSkipped(schema, factory.resolveRef);
     paths = defaultBearingPaths(stripped, factory.resolveRef);
+    scalars = declaredScalarPaths(stripped, factory.resolveRef);
     // Compile by NAME whenever the declaration is one, so the type's CEL
     // `rules:` are composed in — including when a stream had to be stripped, in
     // which case the stream-bearing properties are dropped from the schema the
@@ -159,6 +168,10 @@ export function resolveBoundContract(
       resolve();
       return paths ?? [];
     },
+    scalarPaths: () => {
+      resolve();
+      return scalars ?? [];
+    },
   };
 }
 
@@ -214,6 +227,91 @@ function copyAlong(node: unknown, segments: readonly string[]): unknown {
   return node;
 }
 
+/**
+ * `value` with every leaf normalized to the representation its declaration
+ * names, copied along the containers above each one so the producer's own object
+ * is not rewritten under it.
+ *
+ * A declared shape says what the value IS, not only what it must pass — the same
+ * service a JSON Schema gives an HTTP response serializer. Telo's CEL layer
+ * takes the declaration literally: `integer` types as CEL `int` and a CEL int is
+ * a BigInt, so a controller handing back a plain JS number at an `integer` slot
+ * makes the contract a lie that surfaces nowhere until an expression composes it
+ * — `result.n + 1` type-checking statically and then dying at dispatch with
+ * `no such overload: dyn<double> + int`. Normalizing at the boundary that
+ * already knows the declared shape closes it for every kind at once, instead of
+ * once per module after each report.
+ *
+ * BOTH DIRECTIONS, deliberately. A controller cannot be written correctly
+ * against a slot that hands it a JS number when the manifest wrote a literal and
+ * a BigInt when CEL computed the same value — it would have to accept either at
+ * every declared-integer field, which is what `typeof x === "number"` guards
+ * around the standard library were quietly relying on. One representation per
+ * declaration is what makes the declared type something a controller can read.
+ *
+ * Only an EXACT conversion is performed: an integral number becomes an int64,
+ * and a BigInt becomes a double only when the round-trip is lossless. A
+ * fractional number at an integer slot, a string, a null, a magnitude no double
+ * can hold — all are left exactly as they arrived, so a value that genuinely
+ * violates the contract is still rejected rather than quietly repaired into
+ * something that passes, and a 64-bit integer is never truncated to reach a
+ * `number` slot (which is the `double(...)` defect this whole line of work
+ * exists to retire).
+ */
+export function normalizeDeclaredScalars(
+  value: unknown,
+  paths: readonly DeclaredScalarPath[],
+): unknown {
+  if (paths.length === 0 || !value || typeof value !== "object") return value;
+  let out: unknown = value;
+  for (const { path, form } of paths) out = normalizeAlong(out, path, form);
+  return out;
+}
+
+function normalizeAlong(
+  node: unknown,
+  segments: readonly string[],
+  form: DeclaredScalarForm,
+): unknown {
+  if (!node || typeof node !== "object") return node;
+  const [head, ...rest] = segments;
+
+  if (head === "[]") {
+    if (!Array.isArray(node)) return node;
+    let changed = false;
+    const next = node.map((item) => {
+      const value = rest.length === 0 ? asForm(item, form) : normalizeAlong(item, rest, form);
+      if (value !== item) changed = true;
+      return value;
+    });
+    return changed ? next : node;
+  }
+
+  const container = node as Record<string, unknown>;
+  if (!(head! in container)) return node;
+  const child = container[head!];
+  const next = rest.length === 0 ? asForm(child, form) : normalizeAlong(child, rest, form);
+  if (next === child) return node;
+  // Copy-on-write, and only once a leaf actually moved: a producer may hand back
+  // an object it retains (a cached record, a live config), and rewriting it in
+  // place would change what it holds.
+  const copy = shallowCopy(container);
+  copy[head!] = next;
+  return copy;
+}
+
+function asForm(value: unknown, form: DeclaredScalarForm): unknown {
+  if (form === "int64") {
+    return typeof value === "number" && Number.isInteger(value) ? BigInt(value) : value;
+  }
+  if (typeof value !== "bigint") return value;
+  const asNumber = Number(value);
+  // Lossless only. Past the safe range a double cannot hold the integer, and
+  // handing back a silently-rounded one is the precision loss the int64 work
+  // exists to remove.
+  return BigInt(asNumber) === value ? asNumber : value;
+}
+
 /**
  * Raise a contract violation as a structured {@link InvokeError}.
  *
@@ -306,11 +404,19 @@ export function bindContract(instance: ResourceInstance, binding: ContractBindin
       let effective = inputs;
       if (input) {
         // Copied only so the validator's default-fill cannot mutate what the
-        // caller still holds. The BigInt normalization a JSON Schema validator
-        // needs (CEL evaluates an integer to one, which AJV does not recognise
-        // as `integer`) belongs to the validator and is applied there — see
-        // `bigint-schema-view.ts`. Doing it here as well would walk every input
-        // tree twice per dispatch, and split one concern across two layers.
+        // caller still holds. Making the value READABLE to a JSON Schema
+        // validator regardless of representation is the validator's own concern
+        // and is applied there (`bigint-schema-view.ts`).
+        //
+        // Deliberately NOT normalized on this side. Normalization states what a
+        // value IS to whoever reads it next, and on the way in that reader is a
+        // controller written in the host language — a declared `integer` reaching
+        // one as an int64 is a change to the authoring surface of every module,
+        // not a repair to a lie. On the way OUT the reader is CEL, which already
+        // types the declaration as `int`, so there the declaration and the value
+        // genuinely disagree. The asymmetry is the point: a controller still sees
+        // whatever the call site produced and must accept both, which is what
+        // `bigint-schema-view.ts` documents.
         effective = copyForDefaults(inputs, input.defaultPaths());
         try {
           input.validate(effective);
@@ -325,6 +431,12 @@ export function bindContract(instance: ResourceInstance, binding: ContractBindin
         } catch (error) {
           throw contractViolation("outputType", describeTarget, error);
         }
+        // AFTER validation, not before: the validator fills declared defaults,
+        // and a default written as a plain YAML number is exactly the leaf that
+        // has to come out normalized too. Validation itself is indifferent to
+        // which representation arrives (`bigint-schema-view.ts`), so ordering
+        // costs nothing there.
+        return normalizeDeclaredScalars(result, output.scalarPaths());
       }
       return result;
     };
@@ -339,7 +451,7 @@ export function bindContract(instance: ResourceInstance, binding: ContractBindin
       } catch (error) {
         throw contractViolation("outputType", describeTarget, error);
       }
-      return result;
+      return normalizeDeclaredScalars(result, output.scalarPaths());
     };
   }
 }

package/src/kernel.ts

@@ -271,7 +271,7 @@ export class Kernel implements IKernel {
   }
 
   async loadManifests(url: string): Promise<ResourceManifest[]> {
-    const graph = await this.loader.loadGraph(url, { desugarImports: true });
+    const graph = await this.loader.loadGraph(url, { desugarImports: true, migrate: true });
     if (graph.errors.length > 0) throw graph.errors[0].error;
     return flattenForAnalyzer(graph);
   }
@@ -447,7 +447,7 @@ export class Kernel implements IKernel {
     // `desugarImports` expands each module's inline `imports:` map into synthetic
     // Telo.Import manifests before discovery walks the graph, so inline imports
     // resolve identically to authored Telo.Import docs.
-    const analysisGraph = await this.loader.loadGraph(sourceUrl, { desugarImports: true });
+    const analysisGraph = await this.loader.loadGraph(sourceUrl, { desugarImports: true, migrate: true });
     if (analysisGraph.errors.length > 0) {
       throw analysisGraph.errors[0].error;
     }
@@ -491,6 +491,20 @@ export class Kernel implements IKernel {
         this.logging.kernelLogger().warn(d.message, { "telo.diagnostic.code": d.code });
       }
     }
+    // A migration rewrites the entry module's own manifest silently otherwise:
+    // `telo check`, VS Code and the editor all report the deprecation, and
+    // `telo run` — the command an author actually uses — would be the only
+    // surface that does not. Already scoped to the entry's own files by the
+    // loader, so a published dependency's spelling never appears here.
+    for (const d of analysisGraph.migrationDiagnostics) {
+      const filePath = (d.data as { filePath?: string } | undefined)?.filePath;
+      this.logging
+        .kernelLogger()
+        .warn(
+          filePath ? `${filePath}: ${d.message}` : d.message,
+          d.code === undefined ? undefined : { "telo.diagnostic.code": d.code },
+        );
+    }
     const staticManifests = flattenForAnalyzer(analysisGraph);
     this.staticManifests = staticManifests;
 
@@ -623,7 +637,7 @@ export class Kernel implements IKernel {
     // routes them to the import-controller, which actually loads and runs them.
     // Without it (analysis-only desugar) inline imports would pass validation
     // and then never execute.
-    const lm = await this.loader.loadModule(sourceUrl, { compile: true, desugarImports: true });
+    const lm = await this.loader.loadModule(sourceUrl, { compile: true, desugarImports: true, migrate: true });
     const allManifests = flattenLoadedModule(lm);
 
     // Phase 2: normalize inline resources — extract inline values from x-telo-ref slots

package/src/manifest-schemas.ts

@@ -2,7 +2,7 @@ import AjvModule from "ajv";
 import addFormats from "ajv-formats";
 // One definition of the `status:` block's shape, shared with `telo check` — the
 // `required:` restriction is reported by the analyzer, which can name the fix.
-import { binaryKeyword, OBSERVED_STATE_SCHEMA } from "@telorun/analyzer";
+import { OBSERVED_STATE_SCHEMA, registerTeloKeywords } from "@telorun/analyzer";
 const Ajv = AjvModule.default ?? AjvModule;
 
 // Re-export the shared ResourceRef fragment from the templating package
@@ -177,7 +177,7 @@ export const ResourceAbstractSchema = {
 };
 
 const ajv = new Ajv({ allErrors: true, strict: false });
-ajv.addKeyword(binaryKeyword());
+registerTeloKeywords(ajv);
 addFormats.default(ajv);
 
 // Lazy-compile validator: the AJV codegen cost (≈10–15 ms for these

package/src/observed-state.ts

@@ -1,4 +1,4 @@
-import { binaryKeyword } from "@telorun/analyzer";
+import { registerTeloKeywords } from "@telorun/analyzer";
 import AjvModule from "ajv";
 import { detachSnapshotValue, OBSERVED_STATE_KEY, RuntimeError } from "@telorun/sdk";
 
@@ -58,7 +58,7 @@ function mark(target: Record<string, unknown>, info: ObservedStateInfo): void {
 }
 
 const ajv = new Ajv({ allErrors: true, strict: false });
-ajv.addKeyword(binaryKeyword());
+registerTeloKeywords(ajv);
 // Compiling a status schema costs ~ms and a resource may report repeatedly, so
 // keep the validator keyed on the schema object it came from. The kind's folded
 // `status:` is stamped once at registration, so this hits.

package/src/resource-context.ts

@@ -28,7 +28,7 @@ import {
   type TypeRule,
   type ZoneEntry,
 } from "@telorun/sdk";
-import { binaryKeyword } from "@telorun/analyzer";
+import { registerTeloKeywords } from "@telorun/analyzer";
 import { isRefSentinel } from "@telorun/templating";
 import { ZoneContext } from "./zone-context.js";
 import * as path from "path";
@@ -317,10 +317,7 @@ export class ResourceContextImpl implements ResourceContext {
       removeAdditional: true,
     });
     addFormats.default(ajv);
-    for (const kw of ["x-telo-ref", "x-telo-scope", "x-telo-context", "x-telo-schema-from"]) {
-      ajv.addKeyword(kw);
-    }
-    ajv.addKeyword(binaryKeyword());
+    registerTeloKeywords(ajv);
     const validate = ajv.compile(
       "type" in schema && typeof schema.type === "string"
         ? schema

package/src/runtime-seam.ts

@@ -4,8 +4,10 @@ import {
   collectZoneModuleDocuments,
   diagnosticFix,
   flattenForAnalyzer,
+  remapMigratedPaths,
   type AnalysisDiagnostic,
   type DiagnosticData,
+  type LoadedGraph,
   type ManifestSource,
   type ZoneModuleDocuments,
 } from "@telorun/analyzer";
@@ -224,14 +226,26 @@ export class KernelRuntimeSeam implements RuntimeSeam {
     // `analyze()`'s — carried out of the try so the checks below can see them.
     let parseDiagnostics: AnalysisDiagnostic[] = [];
     let versionDiagnostics: AnalysisDiagnostic[] = [];
+    let migrationDiagnostics: AnalysisDiagnostic[] = [];
     let moduleDocuments: ZoneModuleDocuments[] = [];
+    // Carried out of the try for the same reason the diagnostics are: analysis
+    // runs over the MIGRATED tree while every path a caller resolves points at
+    // the raw file, so the driver's provenance record has to be in hand below.
+    let loadedGraph: LoadedGraph | undefined;
     try {
+      // `migrate` unconditionally: this seam answers "does this manifest load
+      // and check", and the runtime it stands in for reads a legacy spelling
+      // through the same rewrite. A raw view is a round-trip editor's need, not
+      // a supervisor's.
       const graph = await loader.loadGraph(source, {
         desugarImports: options?.desugarImports ?? true,
+        migrate: true,
       });
       if (graph.errors.length > 0) throw graph.errors[0].error;
+      loadedGraph = graph;
       parseDiagnostics = graph.parseDiagnostics;
       versionDiagnostics = graph.versionDiagnostics;
+      migrationDiagnostics = graph.migrationDiagnostics;
       manifests = flattenForAnalyzer(graph);
       // The zone stage derives each imported library's export contracts from
       // its own full documents, which the flattened list drops.
@@ -254,17 +268,29 @@ export class KernelRuntimeSeam implements RuntimeSeam {
     // treating a parse failure as fatal before analysis.
     if (parseDiagnostics.length > 0) {
       return {
-        diagnostics: [...parseDiagnostics, ...versionDiagnostics].map(toCheckDiagnostic),
+        diagnostics: [...parseDiagnostics, ...migrationDiagnostics, ...versionDiagnostics].map(
+          toCheckDiagnostic,
+        ),
       };
     }
 
     // `analyze()` never sees version skew, so without merging these a major
     // mismatch — which `load()` refuses to boot on — would check clean.
-    const diagnostics = new StaticAnalyzer({ celHandlers: nodeCelHandlers }).analyze(manifests, {
+    //
+    // The remap is the same call `assembleGraphDiagnostics` makes for the CLI
+    // and VS Code, and it is not optional here: a caller acts on `path` (a
+    // module's `Assert.Manifest` matches on it), so this seam reporting the
+    // MIGRATED spelling while every other surface reports the author's would
+    // make one manifest mean two things depending on who asked. A no-op when
+    // nothing was migrated.
+    const analysis = new StaticAnalyzer({ celHandlers: nodeCelHandlers }).analyze(manifests, {
       moduleDocuments,
     });
+    const diagnostics = remapMigratedPaths(loadedGraph, analysis);
     return {
-      diagnostics: [...versionDiagnostics, ...diagnostics].map(toCheckDiagnostic),
+      diagnostics: [...migrationDiagnostics, ...versionDiagnostics, ...diagnostics].map(
+        toCheckDiagnostic,
+      ),
     };
   }
 }

package/src/schema-compiled-values.ts

@@ -1,4 +1,5 @@
 import { isCompiledValue } from "@telorun/sdk";
+import { selectUnionBranch } from "@telorun/analyzer";
 
 /** Returns a schema-appropriate placeholder value for a CompiledValue field. */
 function placeholderForSchema(schema: Record<string, unknown>): unknown {
@@ -9,6 +10,19 @@ function placeholderForSchema(schema: Record<string, unknown>): unknown {
   // author never wrote. Mirrors `celPlaceholderForSchema` in the analyzer, which
   // performs the same substitution for the static half.
   if (Array.isArray(schema.enum) && schema.enum.length > 0) return schema.enum[0];
+  // A union with no `type` of its own: take the first branch that yields a
+  // placeholder, so a whole-field CEL leaf at an `anyOf` slot is not handed the
+  // `""` fallback that only a string branch would accept. Mirrors the analyzer's
+  // `celPlaceholderForSchema`, which makes the same substitution for the static
+  // half — the two must agree or one rejects what the other passes.
+  if (schema.type === undefined) {
+    const branches = (schema.anyOf ?? schema.oneOf) as Record<string, unknown>[] | undefined;
+    if (Array.isArray(branches)) {
+      for (const branch of branches) {
+        if (branch && typeof branch === "object") return placeholderForSchema(branch);
+      }
+    }
+  }
   switch (schema.type) {
     case "integer":
     case "number":
@@ -113,7 +127,20 @@ export function stripCompiledValues(
   // that merely appears twice is still stripped both times.
   const ancestors = new Set<object>();
 
-  const walk = (value: unknown, nodeSchema: Record<string, unknown>): unknown => {
+  const walk = (value: unknown, rawNodeSchema: Record<string, unknown>): unknown => {
+    // A UNION carries no `type` / `items` / `properties` of its own, so descending
+    // through one hands every CEL leaf underneath the schema-unaware `""`
+    // placeholder — which the branches then reject, reporting violations against
+    // a value the author never wrote (`/success/1 must be integer` for a `!cel`
+    // inside a list). Resolving the branch first is what lets the leaves be
+    // placed. Shared with the analyzer rather than reimplemented: the static and
+    // dispatch halves must choose the same branch, or one reports what the other
+    // accepts.
+    const nodeSchema = selectUnionBranch(
+      resolveSchemaRef(rawNodeSchema, root),
+      value,
+      root as Record<string, any>,
+    ) as Record<string, unknown>;
     const resolved = resolveSchemaRef(nodeSchema, root);
 
     if (isCompiledValue(value)) return placeholderForSchema(resolved);