@telorun/analyzer 0.72.0 → 0.74.0

package/dist/resolve-throws-union.js

@@ -1,9 +1,8 @@
 import { isTaggedSentinel } from "@telorun/templating";
 import { scopeResolverForModule } from "./alias-resolver.js";
-import { resolveScopedName } from "./call-graph.js";
+import { resolveScopedName, resolveSlotUseAt } from "./call-graph.js";
 import { refSentinelTarget } from "./ref-sentinel-target.js";
-import { possibleUses, transfersControl } from "./ref-slot.js";
-import { readStepSlot } from "./step-slot.js";
+import { hasDeclaredUse, possibleUses, transfersControl, } from "./ref-slot.js";
 import { forEachDrivenSlot } from "./schema-walk.js";
 /** Code a non-`InvokeError` failure surfaces as inside a `catch` block. Mirrors
  *  `PLAIN_ERROR_CODE` in `@telorun/run`'s `toSequenceError`: any invoke can throw
@@ -127,10 +126,10 @@ function codesFromDefinition(definition) {
     return out;
 }
 /** Resolve the effective throw union for a named manifest. The result combines
- *  explicit `throws.codes`, `throws.inherit: true` dataflow (step-context
- *  traversal with try/catch subtraction), and unbounded markers for
- *  unresolvable passthrough call sites. Cycles short-circuit to an empty
- *  result so resolution always terminates. */
+ *  explicit `throws.codes`, `throws.inherit: true` dataflow (step bodies with
+ *  try/catch subtraction, plus reference slots that hand a failure back), and
+ *  unbounded markers for unresolvable passthrough call sites. Cycles
+ *  short-circuit to an empty result so resolution always terminates. */
 export function resolveThrowsUnion(manifest, ctx) {
     const name = memoKey(manifest);
     if (name) {
@@ -182,29 +181,52 @@ export function resolveThrowsUnion(manifest, ctx) {
     }
 }
 /**
- * `throws.inherit: true` — the union a composer's own STEP BODIES reach.
+ * True for a use through which a target's failure reaches the declaring
+ * resource's CALLER: `call` returns into my invocation, and `trigger.consumer`
+ * rejects the value my caller drains. `detached` and `trigger.inbound` run where
+ * no caller of mine awaits them; `dependency` and `schema` dispatch nothing.
  *
- * Deliberately steps only, and not every slot the resource drives: `inherit` is
- * a DECLARATION that a kind's union is the union of what it dispatches, and a
- * kind that does not make that claim must not have it inferred — a kind holding
- * a `call` ref it catches internally would silently gain codes it never lets
- * escape. What a CATCH SCOPE needs is a different question with a different
- * answer, and it has its own resolver below.
+ * The reduction `inherit` is read through — by the resolver and by the check
+ * that a definition declaring it has something to inherit from.
+ */
+export function handsFailureBack(use) {
+    return use === "call" || use === "trigger.consumer";
+}
+/**
+ * The uses a throws consumer reads off a slot. A slot that declares no use —
+ * the legacy bare-string form — reads as `call`: the throws union must assume
+ * `call` to keep an error path, the direction the call graph takes for the same
+ * slot. The zone projection reads it the opposite way, deliberately.
+ *
+ * `uses` defaults to every use the slot can take; a consumer that resolved the
+ * slot's case map for one instance passes that answer instead.
+ */
+export function throwsUses(slot, uses = possibleUses(slot)) {
+    return hasDeclaredUse(slot) ? uses : ["call"];
+}
+/**
+ * `throws.inherit: true` — the union of what the resource dispatches: its step
+ * bodies (try/catch subtraction included) and every reference slot whose use,
+ * resolved for THIS instance, hands a failure back ({@link handsFailureBack}).
+ *
+ * Only on a kind that DECLARES `inherit`: it is a claim that the kind lets what
+ * it dispatches escape, and a kind catching a slot internally does not make it.
+ * What a CATCH SCOPE encloses is a different question, answered below.
  */
 function resolveInherited(manifest, definition, ctx, ownerModule) {
     const result = { codes: new Map(), unbounded: false };
-    const props = definition.schema?.properties;
-    if (!props)
-        return result;
-    for (const [fieldName, fieldSchema] of Object.entries(props)) {
-        const stepCtx = readStepSlot(fieldSchema);
-        if (!stepCtx)
-            continue;
-        const steps = manifest[fieldName];
-        if (!Array.isArray(steps))
-            continue;
-        unionInto(result, collectStepArrayThrows(steps, stepCtx.invoke, undefined, ctx, ownerModule));
-    }
+    const schema = definition.schema;
+    forEachDrivenSlot(schema, manifest, (driven) => {
+        if (driven.kind === "step") {
+            unionInto(result, stepSiteThrows(driven.data, driven.slots, ctx, ownerModule));
+            return;
+        }
+        // Several slots at one site are the branches declaring it; any one that
+        // hands a failure back counts, since a branch not applying can only add codes.
+        const handsBack = driven.slots.some(({ slot, fieldPath }) => throwsUses(slot, resolveSlotUseAt(slot, manifest, schema, driven.path, fieldPath).use).some(handsFailureBack));
+        if (handsBack)
+            unionInto(result, resolveRefTargetThrows(driven.data, ctx, ownerModule));
+    });
     return result;
 }
 /**
@@ -233,10 +255,13 @@ export function resolveScopeUnion(manifest, definition, ctx, seen = new Set()) {
     const ownerModule = manifest.metadata?.module;
     forEachDrivenSlot(definition.schema, manifest, (driven) => {
         if (driven.kind === "step") {
-            unionInto(result, collectStepArrayThrows(driven.data, driven.slot.invoke, undefined, ctx, ownerModule));
+            unionInto(result, stepSiteThrows(driven.data, driven.slots, ctx, ownerModule));
             return;
         }
-        if (driven.slot.throwsThrough) {
+        if (driven.slots.some(({ slot }) => !slot.throwsThrough && throwsUses(slot).some(transfersControl))) {
+            unionInto(result, resolveRefTargetThrows(driven.data, ctx, ownerModule));
+        }
+        if (driven.slots.some(({ slot }) => slot.throwsThrough)) {
             const target = resolveRefManifest(driven.data, ctx, ownerModule);
             const targetDef = target
                 ? definitionFor(target.kind, ctx.defs, ctx.aliases, scopeResolverFor(ctx, target.metadata?.module))
@@ -247,14 +272,19 @@ export function resolveScopeUnion(manifest, definition, ctx, seen = new Set()) {
             // the scope's union is no longer enumerable.
             else
                 result.unbounded = true;
-            return;
         }
-        if (!possibleUses(driven.slot).some(transfersControl))
-            return;
-        unionInto(result, resolveRefTargetThrows(driven.data, ctx, ownerModule));
     });
     return result;
 }
+/** The union a step-body site reaches — once per distinct invoke field, since
+ *  several branches may declare a body at one site. */
+function stepSiteThrows(steps, slots, ctx, ownerModule) {
+    const result = emptyUnion();
+    for (const invoke of new Set(slots.map((slot) => slot.invoke))) {
+        unionInto(result, collectStepArrayThrows(steps, invoke, undefined, ctx, ownerModule));
+    }
+    return result;
+}
 function collectStepArrayThrows(steps, invokeField, enclosingTryCodes, ctx, ownerModule) {
     const result = emptyUnion();
     for (const step of steps) {

package/dist/resolve-zone-requirements.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"resolve-zone-requirements.d.ts","sourceRoot":"","sources":["../src/resolve-zone-requirements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAsB,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEzE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAEL,KAAK,SAAS,EAEd,KAAK,iBAAiB,EACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAMnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D,OAAO,EAAsB,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAKzE;;uCAEuC;AACvC,MAAM,WAAW,mBAAmB;IAClC,wDAAwD;IACxD,IAAI,EAAE,MAAM,CAAC;IACb;;wBAEoB;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,+EAA+E;IAC/E,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;sDACkD;IAClD,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;gCAG4B;IAC5B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,gEAAgE;IAChE,MAAM,EAAE,MAAM,CAAC;IACf,mEAAmE;IACnE,GAAG,EAAE,MAAM,EAAE,CAAC;CACf;AAED,6EAA6E;AAC7E,MAAM,MAAM,sBAAsB,GAAG,GAAG,CAAC,MAAM,EAAE,mBAAmB,EAAE,CAAC,CAAC;AAExE,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,sBAAsB,CAAC;CACjC;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,eAAe,GAAG,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;AAkBhE,UAAU,cAAc;IACtB,KAAK,EAAE,SAAS,CAAC;IACjB,IAAI,EAAE,kBAAkB,CAAC;IACzB,OAAO,EAAE,aAAa,CAAC;IACvB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC5C;qEACiE;IACjE,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC;0EACsE;IACtE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,mBAAmB,EAAE,CAAC,CAAC;IAC3C;2CACuC;IACvC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,iBAAiB,KAAK,MAAM,GAAG,SAAS,CAAC;CAC5D;AAED,UAAU,gBAAgB;IACxB,WAAW,EAAE,kBAAkB,EAAE,CAAC;IAClC,WAAW,EAAE,sBAAsB,CAAC;CACrC;AAuKD,yCAAyC;AACzC,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,cAAc,GAAG,gBAAgB,CAoZ9E;AAED;;;;iEAIiE;AACjE,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,GAAG,MAAM,CAUrF;AAED;;;;GAIG;AACH,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,eAAe,EACrB,IAAI,EAAE,kBAAkB,EACxB,OAAO,EAAE,aAAa,EACtB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EAC3C,KAAK,CAAC,EAAE,eAAe,GACtB,sBAAsB,CAkBxB;AAED,MAAM,WAAW,gBAAgB;IAC/B,gFAAgF;IAChF,SAAS,EAAE,gBAAgB,EAAE,CAAC;IAC9B,KAAK,EAAE,SAAS,CAAC;IACjB,IAAI,EAAE,kBAAkB,CAAC;IACzB,OAAO,EAAE,aAAa,CAAC;IACvB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC5C,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjC,eAAe,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,KAAK,CAAC,EAAE,eAAe,CAAC;CACzB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,gBAAgB,GAAG,kBAAkB,EAAE,CAwF5E"}
+{"version":3,"file":"resolve-zone-requirements.d.ts","sourceRoot":"","sources":["../src/resolve-zone-requirements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAsB,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEzE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAEL,KAAK,SAAS,EAEd,KAAK,iBAAiB,EACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAMnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D,OAAO,EAAsB,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAMzE;;uCAEuC;AACvC,MAAM,WAAW,mBAAmB;IAClC,wDAAwD;IACxD,IAAI,EAAE,MAAM,CAAC;IACb;;wBAEoB;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,+EAA+E;IAC/E,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;sDACkD;IAClD,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;gCAG4B;IAC5B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,gEAAgE;IAChE,MAAM,EAAE,MAAM,CAAC;IACf,mEAAmE;IACnE,GAAG,EAAE,MAAM,EAAE,CAAC;CACf;AAED,6EAA6E;AAC7E,MAAM,MAAM,sBAAsB,GAAG,GAAG,CAAC,MAAM,EAAE,mBAAmB,EAAE,CAAC,CAAC;AAExE,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,sBAAsB,CAAC;CACjC;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,eAAe,GAAG,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;AAkBhE,UAAU,cAAc;IACtB,KAAK,EAAE,SAAS,CAAC;IACjB,IAAI,EAAE,kBAAkB,CAAC;IACzB,OAAO,EAAE,aAAa,CAAC;IACvB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC5C;qEACiE;IACjE,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC;0EACsE;IACtE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,mBAAmB,EAAE,CAAC,CAAC;IAC3C;2CACuC;IACvC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,iBAAiB,KAAK,MAAM,GAAG,SAAS,CAAC;CAC5D;AAED,UAAU,gBAAgB;IACxB,WAAW,EAAE,kBAAkB,EAAE,CAAC;IAClC,WAAW,EAAE,sBAAsB,CAAC;CACrC;AAuKD,yCAAyC;AACzC,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,cAAc,GAAG,gBAAgB,CAoZ9E;AAED;;;;iEAIiE;AACjE,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,GAAG,MAAM,CAUrF;AAED;;;;GAIG;AACH,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,eAAe,EACrB,IAAI,EAAE,kBAAkB,EACxB,OAAO,EAAE,aAAa,EACtB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EAC3C,KAAK,CAAC,EAAE,eAAe,GACtB,sBAAsB,CAkBxB;AAED,MAAM,WAAW,gBAAgB;IAC/B,gFAAgF;IAChF,SAAS,EAAE,gBAAgB,EAAE,CAAC;IAC9B,KAAK,EAAE,SAAS,CAAC;IACjB,IAAI,EAAE,kBAAkB,CAAC;IACzB,OAAO,EAAE,aAAa,CAAC;IACvB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC5C,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjC,eAAe,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,KAAK,CAAC,EAAE,eAAe,CAAC;CACzB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,gBAAgB,GAAG,kBAAkB,EAAE,CAwF5E"}

package/dist/resolve-zone-requirements.js

@@ -4,6 +4,7 @@ import { enclosingOf, propertySchemas, resolveLocalRef, } from "./manifest-navig
 import { readProvidesZone, readRequiresZone } from "./zone-slot.js";
 import { DiagnosticSeverity } from "./types.js";
 import { moduleAliasScope } from "./module-alias-scope.js";
+import { isForwardedDeclaration } from "./forwarded-declaration.js";
 const SOURCE = "telo-analyzer";
 /** Resolve a possibly alias-form kind to its definition in the DECLARING
  *  module's scope — the same layering `AnalysisRegistry.resolveDefinitionIn`
@@ -379,7 +380,7 @@ export function projectZoneRequirements(args) {
         // (with the internal graph in hand) and seeded below — deriving them here
         // against the flattened view would resolve correlation against a graph
         // that no longer holds the library's internals.
-        if (meta?.forwardedExport)
+        if (isForwardedDeclaration(node.manifest))
             continue;
         const def = resolveDef(node.kind, meta?.module);
         const schema = def?.schema;

package/dist/rewrite-synthetic-origins.d.ts

@@ -5,6 +5,11 @@ import type { AnalysisDiagnostic } from "./types.js";
  *  `data.resource`, which has no YAML source. Rewrite each such diagnostic
  *  back to the chain root: walk up `metadata.xTeloOrigin` until a manifest
  *  with no origin is reached, and prepend each hop's `pathFromParent` to
- *  `data.path` so position-index lookups against the root doc resolve. */
+ *  `data.path` so position-index lookups against the root doc resolve.
+ *
+ *  An extraction from a scope member lives INSIDE the scope array rather than at
+ *  the top level, so a diagnostic about it names the top-level owner and a path
+ *  through an array index the author never wrote (`with[3]`). That prefix is
+ *  unfolded the same way, into the position the declaration was written at. */
 export declare function rewriteSyntheticOrigins(diagnostics: AnalysisDiagnostic[], manifests: ResourceManifest[]): AnalysisDiagnostic[];
 //# sourceMappingURL=rewrite-synthetic-origins.d.ts.map

package/dist/rewrite-synthetic-origins.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rewrite-synthetic-origins.d.ts","sourceRoot":"","sources":["../src/rewrite-synthetic-origins.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAsBrD;;;;;0EAK0E;AAC1E,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,kBAAkB,EAAE,EACjC,SAAS,EAAE,gBAAgB,EAAE,GAC5B,kBAAkB,EAAE,CA0CtB"}
+{"version":3,"file":"rewrite-synthetic-origins.d.ts","sourceRoot":"","sources":["../src/rewrite-synthetic-origins.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAsBrD;;;;;;;;;;+EAU+E;AAC/E,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,kBAAkB,EAAE,EACjC,SAAS,EAAE,gBAAgB,EAAE,GAC5B,kBAAkB,EAAE,CA0CtB"}

package/dist/rewrite-synthetic-origins.js

@@ -1,5 +1,5 @@
 function readOrigin(manifest) {
-    if (!manifest)
+    if (!manifest || typeof manifest !== "object")
         return undefined;
     const origin = manifest.metadata?.xTeloOrigin;
     if (!origin ||
@@ -15,7 +15,12 @@ function readOrigin(manifest) {
  *  `data.resource`, which has no YAML source. Rewrite each such diagnostic
  *  back to the chain root: walk up `metadata.xTeloOrigin` until a manifest
  *  with no origin is reached, and prepend each hop's `pathFromParent` to
- *  `data.path` so position-index lookups against the root doc resolve. */
+ *  `data.path` so position-index lookups against the root doc resolve.
+ *
+ *  An extraction from a scope member lives INSIDE the scope array rather than at
+ *  the top level, so a diagnostic about it names the top-level owner and a path
+ *  through an array index the author never wrote (`with[3]`). That prefix is
+ *  unfolded the same way, into the position the declaration was written at. */
 export function rewriteSyntheticOrigins(diagnostics, manifests) {
     const byName = new Map();
     for (const m of manifests) {
@@ -29,27 +34,116 @@ export function rewriteSyntheticOrigins(diagnostics, manifests) {
             return d;
         let current = byName.get(data.resource.name);
         let origin = readOrigin(current);
-        if (!origin)
-            return d;
-        let accumPath = typeof data.path === "string" ? data.path : "";
-        let rootKind = origin.parentKind;
-        let rootName = origin.parentName;
+        const path = typeof data.path === "string" ? data.path : "";
+        let accumPath = path;
+        let root = data.resource;
         while (origin) {
             accumPath = accumPath ? `${origin.pathFromParent}.${accumPath}` : origin.pathFromParent;
-            rootKind = origin.parentKind;
-            rootName = origin.parentName;
+            root = { kind: origin.parentKind, name: origin.parentName };
             current = byName.get(origin.parentName);
             origin = readOrigin(current);
         }
-        const rootFilePath = current?.metadata?.source ?? data.filePath;
+        const rerouted = root !== data.resource;
+        const unfolded = current ? unfoldScopedOrigins(current, accumPath) : accumPath;
+        if (!rerouted && unfolded === path)
+            return d;
         return {
             ...d,
             data: {
                 ...data,
-                resource: { kind: rootKind, name: rootName },
-                filePath: rootFilePath,
-                path: accumPath,
+                resource: root,
+                filePath: rerouted
+                    ? (current?.metadata?.source ?? data.filePath)
+                    : data.filePath,
+                path: unfolded,
             },
         };
     });
 }
+/** Replace every scope-array index that holds an extraction with the position
+ *  the extraction was written at, until none is left. */
+function unfoldScopedOrigins(root, path) {
+    let segments = parseSegments(path);
+    let unfoldedAny = false;
+    // Each unfolding replaces one extraction with its parent, which is strictly
+    // closer to what the author wrote, so the chain is as long as the nesting.
+    for (let hops = 0; hops <= segments.length + 16; hops++) {
+        const next = unfoldOnce(root, segments);
+        if (!next)
+            break;
+        segments = next;
+        unfoldedAny = true;
+    }
+    // Re-formatting is lossy (an empty segment in `entries../x` is dropped), so a
+    // path nothing unfolded is returned as written.
+    return unfoldedAny ? formatSegments(segments) : path;
+}
+function unfoldOnce(root, segments) {
+    let node = root;
+    for (let i = 0; i < segments.length; i++) {
+        const segment = segments[i];
+        const container = node;
+        node =
+            typeof segment === "number"
+                ? Array.isArray(container)
+                    ? container[segment]
+                    : undefined
+                : container && typeof container === "object" && !Array.isArray(container)
+                    ? container[segment]
+                    : undefined;
+        if (node === undefined || node === null)
+            return undefined;
+        if (typeof segment !== "number" || i === 0)
+            continue;
+        const origin = readOrigin(node);
+        if (!origin)
+            continue;
+        // Its parent is either the resource holding this scope array (a slot of
+        // the resource that declares the scope) or a sibling member of the array.
+        const holderPath = segments.slice(0, i - 1);
+        let parentPath;
+        if (nameOf(at(root, holderPath)) === origin.parentName) {
+            parentPath = holderPath;
+        }
+        else {
+            const sibling = container.findIndex((m) => nameOf(m) === origin.parentName);
+            if (sibling >= 0)
+                parentPath = [...segments.slice(0, i), sibling];
+        }
+        if (!parentPath)
+            return undefined;
+        return [...parentPath, ...parseSegments(origin.pathFromParent), ...segments.slice(i + 1)];
+    }
+    return undefined;
+}
+function at(root, segments) {
+    let node = root;
+    for (const segment of segments) {
+        if (!node || typeof node !== "object")
+            return undefined;
+        node = node[segment];
+    }
+    return node;
+}
+function nameOf(value) {
+    const name = value?.metadata?.name;
+    return typeof name === "string" ? name : undefined;
+}
+/** `with[3].steps[0].invoke` → `["with", 3, "steps", 0, "invoke"]`. */
+function parseSegments(path) {
+    const out = [];
+    for (const match of path.matchAll(/\[(\d+)\]|([^.[\]]+)/g)) {
+        out.push(match[1] !== undefined ? Number(match[1]) : match[2]);
+    }
+    return out;
+}
+function formatSegments(segments) {
+    let out = "";
+    for (const segment of segments) {
+        if (typeof segment === "number")
+            out += `[${segment}]`;
+        else
+            out += out ? `.${segment}` : segment;
+    }
+    return out;
+}

package/dist/schema-compat.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema-compat.d.ts","sourceRoot":"","sources":["../src/schema-compat.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAgB,KAAK,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAG1E,QAAA,MAAM,GAAG,KAA0C,CAAC;AAEpD;;;;;;;mCAOmC;AACnC,wBAAgB,SAAS,IAAI,YAAY,CAAC,OAAO,GAAG,CAAC,CAYpD;AAKD,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,OAAO,CAAC;IACpB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAYD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,GAC5D,mBAAmB,CAIrB;AAuKD,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC9E,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAa5D,0GAA0G;AAC1G,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,WAAW,EAAE,CAmB/F;AAED;qFACqF;AACrF,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAQ7E;AAED;;;;6DAI6D;AAC7D,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,EAAE,MAAM,GACX,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,CAsBjC;AAED;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAqB,CAAC;AAE1E;;iEAEiE;AACjE,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAGzF;AAED,8DAA8D;AAC9D,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,GAAG,MAAM,CA6BnF;AAED,wFAAwF;AACxF,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,OAAO,CAkDhG;AAkED,wBAAgB,uBAAuB,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,OAAO,CA+D/E;AAqBD;;;;;;;;;;GAUG;AACH,wBAAgB,UAAU,CACxB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACzB,QAAQ,CAAC,EAAE,sBAAsB,GAChC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAErB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACzB,QAAQ,CAAC,EAAE,sBAAsB,GAChC;IAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;CAAE,CAS5D;AAED,iDAAiD;AACjD,MAAM,MAAM,sBAAsB,GAAG,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,CAAC;AAEtF,gGAAgG;AAChG;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,EAAE,OAAO,EACb,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACzB,QAAQ,CAAC,EAAE,sBAAsB,GAChC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAgCrB;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAwBlF;AAED;iGACiG;AACjG;;;;;sDAKsD;AACtD,MAAM,WAAW,iBAAiB;IAChC;;;;;;;;iEAQ6D;IAC7D,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACtC,qEAAqE;IACrE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;iEAG6D;IAC7D,QAAQ,CAAC,EAAE,sBAAsB,CAAC;CACnC;AAED,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,OAAO,EACb,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAChC,OAAO,GAAE,iBAAsB,GAC9B,OAAO,CAmFT"}
+{"version":3,"file":"schema-compat.d.ts","sourceRoot":"","sources":["../src/schema-compat.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAgB,KAAK,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAG1E,QAAA,MAAM,GAAG,KAA0C,CAAC;AAEpD;;;;;;;mCAOmC;AACnC,wBAAgB,SAAS,IAAI,YAAY,CAAC,OAAO,GAAG,CAAC,CAapD;AAKD,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,OAAO,CAAC;IACpB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAYD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,GAC5D,mBAAmB,CAIrB;AAuKD,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC9E,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAa5D,0GAA0G;AAC1G,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,WAAW,EAAE,CAmB/F;AAED;qFACqF;AACrF,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAQ7E;AAED;;;;6DAI6D;AAC7D,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,EAAE,MAAM,GACX,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,CAsBjC;AAED;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAqB,CAAC;AAE1E;;iEAEiE;AACjE,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAGzF;AAED,8DAA8D;AAC9D,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,GAAG,MAAM,CA6BnF;AAED,wFAAwF;AACxF,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,OAAO,CAkDhG;AA8ED,wBAAgB,uBAAuB,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,OAAO,CA+D/E;AAqBD;;;;;;;;;;GAUG;AACH,wBAAgB,UAAU,CACxB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACzB,QAAQ,CAAC,EAAE,sBAAsB,GAChC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAErB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACzB,QAAQ,CAAC,EAAE,sBAAsB,GAChC;IAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;CAAE,CAS5D;AAED,iDAAiD;AACjD,MAAM,MAAM,sBAAsB,GAAG,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,CAAC;AAEtF,gGAAgG;AAChG;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,EAAE,OAAO,EACb,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACzB,QAAQ,CAAC,EAAE,sBAAsB,GAChC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAgCrB;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAwBlF;AAED;iGACiG;AACjG;;;;;sDAKsD;AACtD,MAAM,WAAW,iBAAiB;IAChC;;;;;;;;iEAQ6D;IAC7D,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACtC,qEAAqE;IACrE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;iEAG6D;IAC7D,QAAQ,CAAC,EAAE,sBAAsB,CAAC;CACnC;AAED,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,OAAO,EACb,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAChC,OAAO,GAAE,iBAAsB,GAC9B,OAAO,CAmFT"}

package/dist/schema-compat.js

@@ -1,7 +1,7 @@
 import AjvModule from "ajv";
 import addFormats from "ajv-formats";
 import { isRefSentinel, isTaggedSentinel, producedTypeOf, } from "@telorun/templating";
-import { celBaseOfValueType, celTypeOfValueType, isCompiledValue, readValueTypeSlot, valueBrandBases, valueTypeOf, valueTypePlaceholder, } from "@telorun/sdk";
+import { celBaseOfValueType, celTypeOfValueType, isCompiledValue, readValueTypeSlot, VALUE_TYPE_BINDINGS, valueBrandBases, valueTypeOf, valueTypePlaceholder, } from "@telorun/sdk";
 import { ManifestRootSchema } from "./manifest-schemas.js";
 import { schemaIssues } from "./schema-error-report.js";
 import { registerTeloKeywords } from "./value-type-keyword.js";
@@ -22,8 +22,9 @@ export function createAjv() {
     // One registration site for every Telo keyword — the annotations as no-ops and
     // `x-telo-type` as the one that checks. Registered here and in the kernel's
     // validators from one definition, so a literal at an instance-typed slot is
-    // rejected statically and at dispatch by the identical rule.
-    registerTeloKeywords(instance);
+    // rejected statically and at dispatch by the identical rule. This instance is
+    // static analysis alone, so it also asserts a `live` type: no literal can be one.
+    registerTeloKeywords(instance, { assertLive: true });
     instance.addSchema(ManifestRootSchema);
     return instance;
 }
@@ -463,6 +464,18 @@ function foldedConstraints(schema) {
     }
     return out;
 }
+/** The stand-in for a CEL leaf at a `live` slot. Static analysis asserts a live
+ *  type like any instance type (a literal can never be one), so the leaf's
+ *  stand-in has to BE one. A live binding declares no factory, and building an
+ *  instance would mean knowing its constructor's signature; an object on the
+ *  constructor's prototype satisfies `instanceof` and is never used as one. */
+function liveValuePlaceholder(schema) {
+    const entry = readValueTypeSlot(schema)?.entry;
+    if (!entry?.live || entry.representation !== "instance")
+        return undefined;
+    const binding = VALUE_TYPE_BINDINGS[entry.binding];
+    return binding ? Object.create(binding.constructor.prototype) : undefined;
+}
 export function celPlaceholderForSchema(rawSchema) {
     const schema = foldedConstraints(rawSchema);
     // An instance-typed slot's placeholder must BE an instance: the same keyword
@@ -471,8 +484,8 @@ export function celPlaceholderForSchema(rawSchema) {
     // rejected because no YAML literal is a byte buffer, while a value arriving by
     // reference passes. The stand-in comes from the binding table, so a new
     // instance type brings its own rather than adding a branch here; a `live` type
-    // declares none, because nothing validates it.
-    const placeholder = valueTypePlaceholder(schema);
+    // declares none, because nothing validates it at dispatch.
+    const placeholder = valueTypePlaceholder(schema) ?? liveValuePlaceholder(schema);
     if (placeholder !== undefined)
         return placeholder;
     if (schema.default !== undefined)

package/dist/schema-error-report.d.ts

@@ -42,6 +42,13 @@ export interface SchemaIssue {
     message: string;
     /** Dotted path to the field (e.g. "config.handler"). Empty string means root. */
     path: string;
+    /** The AJV keyword that produced it, so a consumer can key on WHAT failed
+     *  rather than on how the sentence reads. Prose is the renderer's to change;
+     *  a caller matching on it breaks silently when it does, and mis-fires on any
+     *  other issue whose text happens to quote the same name. */
+    keyword?: string;
+    /** For `required`, the property that is missing. */
+    missingProperty?: string;
 }
 export declare function formatSingleError(err: AjvErrorLike): string;
 /**

package/dist/schema-error-report.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema-error-report.d.ts","sourceRoot":"","sources":["../src/schema-error-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH;gDACgD;AAChD,MAAM,WAAW,YAAY;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC7B,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,mFAAmF;AACnF,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,iFAAiF;IACjF,IAAI,EAAE,MAAM,CAAC;CACd;AAuCD,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,CA6B3D;AAoGD;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,IAAI,GAAG,SAAS,GAAG,YAAY,EAAE,CAsF5F;AAqHD;;sFAEsF;AACtF,wBAAgB,cAAc,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,CAaxD;AAED,4EAA4E;AAC5E,wBAAgB,YAAY,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,IAAI,GAAG,SAAS,GAAG,WAAW,EAAE,CAKrF;AAED,+EAA+E;AAC/E,wBAAgB,eAAe,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,CAIjF"}
+{"version":3,"file":"schema-error-report.d.ts","sourceRoot":"","sources":["../src/schema-error-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH;gDACgD;AAChD,MAAM,WAAW,YAAY;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC7B,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,mFAAmF;AACnF,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,iFAAiF;IACjF,IAAI,EAAE,MAAM,CAAC;IACb;;;iEAG6D;IAC7D,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oDAAoD;IACpD,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAuCD,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,CA6B3D;AAoGD;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,IAAI,GAAG,SAAS,GAAG,YAAY,EAAE,CAsF5F;AAqHD;;sFAEsF;AACtF,wBAAgB,cAAc,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,CAaxD;AAED,4EAA4E;AAC5E,wBAAgB,YAAY,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,IAAI,GAAG,SAAS,GAAG,WAAW,EAAE,CAUrF;AAED,+EAA+E;AAC/E,wBAAgB,eAAe,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,CAIjF"}

package/dist/schema-error-report.js

@@ -386,10 +386,15 @@ export function ajvErrorToPath(err) {
 }
 /** Reduced, path-anchored issues — what a diagnostic list is built from. */
 export function schemaIssues(errors) {
-    return reduceSchemaErrors(errors).map((err) => ({
-        message: formatSingleError(err),
-        path: ajvErrorToPath(err),
-    }));
+    return reduceSchemaErrors(errors).map((err) => {
+        const missing = (err.params ?? {}).missingProperty;
+        return {
+            message: formatSingleError(err),
+            path: ajvErrorToPath(err),
+            ...(err.keyword ? { keyword: err.keyword } : {}),
+            ...(typeof missing === "string" ? { missingProperty: missing } : {}),
+        };
+    });
 }
 /** Reduced, rendered as one sentence — what a thrown runtime error carries. */
 export function formatAjvErrors(errors) {

package/dist/schema-walk.d.ts

@@ -1,5 +1,5 @@
-import { type RefSlot } from "./ref-slot.js";
-import { type StepSlot } from "./step-slot.js";
+import type { RefSlot } from "./ref-slot.js";
+import type { StepSlot } from "./step-slot.js";
 /** Resolve a local `$ref` (only `#/$defs/<name>` form) against the root schema.
  *  Non-refs and unresolved refs pass through unchanged. */
 export declare function resolveLocalRef(schema: Record<string, any> | undefined, root: Record<string, any>): Record<string, any> | undefined;
@@ -24,29 +24,63 @@ export declare function gatherPropertySchemas(schema: Record<string, any>, root?
  * hardcoded; recursion is driven entirely by the schema annotations.
  */
 export declare function walkStepArray(steps: unknown[], stepItemSchema: Record<string, any> | undefined, rootSchema: Record<string, any>, basePath: string, visit: (step: Record<string, any>, stepPath: string) => void): void;
-/** A slot through which a resource drives another. */
+/** A slot a kind's schema declares through which its resources drive another.
+ *  `path` is the field-map form (`routes[].handler`, `content.{}.encoder`);
+ *  `slots` holds every slot any branch declares there. */
+export type DeclaredSlot = {
+    kind: "step";
+    slots: StepSlot[];
+    path: string;
+} | {
+    kind: "ref";
+    slots: RefSlot[];
+    path: string;
+};
+/** A reference slot at a site, with the declaration it came from — which is
+ *  what a case-map selector's schema default is read against. */
+export interface DrivenRef {
+    slot: RefSlot;
+    fieldPath: string;
+}
+/** The slots at one concrete site of one resource (`routes[0].handler`): every
+ *  slot any branch or recursion route declares there. A consumer reads them as
+ *  a union — a branch that does not apply to this resource can only add what
+ *  counts, never remove it. */
 export type DrivenSlot = {
     kind: "step";
-    slot: StepSlot;
+    slots: StepSlot[];
     data: unknown[];
     path: string;
 } | {
     kind: "ref";
-    slot: RefSlot;
+    slots: DrivenRef[];
     data: unknown;
     path: string;
 };
+/**
+ * Every slot a kind's schema declares through which its resources drive
+ * another — the schema-only mode of {@link forEachDrivenSlot}, read off the
+ * same {@link buildDrivenSlotMap}.
+ */
+export declare function forEachDeclaredSlot(schema: unknown, visit: (slot: DeclaredSlot) => void): void;
 /**
  * Every slot of one resource through which it drives another, schema and data in
  * tandem.
  *
- * One traversal with two consumers — the inherited union here, and the catch
- * scope enclosure in `validate-throws-coverage.ts` — because both ask the same
- * structural question and two copies would eventually disagree about where the
- * walk stops. It terminates on the manifest's own depth, and it stops AT a step
- * slot (that traversal owns everything below it, `try`/`catch` subtraction
- * included) and AT a reference slot (a resolved ref is a leaf, `{kind, name}`,
- * with nothing beneath it to visit).
+ * One traversal for every throws question — a kind's `inherit` union, a scope
+ * list's denominator, catch-scope enclosure, and whether `inherit` is legal —
+ * because they ask the same structural question and two copies would eventually
+ * disagree about where the walk stops. The slots are the driven-slot map's, so
+ * the reach is the reference field map's plus local `$ref`; a step slot is a
+ * stop (that traversal owns everything below it, `try`/`catch` subtraction
+ * included) and so is a reference slot (a resolved ref is a leaf).
+ *
+ * Each concrete site is visited once, with every slot that reaches it. A
+ * map-value (`additionalProperties`) slot applies only to keys its schema does
+ * not declare, and never to the resource envelope at the root, as JSON Schema
+ * applies it. A recursive schema's back-edge is followed as deep as the data
+ * goes, guarded against data that aliases one of its own ancestors. A schema
+ * whose map holds no step or reference slot is not walked at all.
  */
-export declare function forEachDrivenSlot(schema: unknown, data: unknown, visit: (slot: DrivenSlot) => void, path?: string): void;
+export declare function forEachDrivenSlot(schema: unknown, data: unknown, visit: (slot: DrivenSlot) => void): void;
 //# sourceMappingURL=schema-walk.d.ts.map

package/dist/schema-walk.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema-walk.d.ts","sourceRoot":"","sources":["../src/schema-walk.ts"],"names":[],"mappings":"AAWA,OAAO,EAAe,KAAK,OAAO,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,EAAgB,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE7D;2DAC2D;AAC3D,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,EACvC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GACxB,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,CAqBjC;AAID;;;;;;;;iDAQiD;AACjD,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GACzB,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAsBtC;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,OAAO,EAAE,EAChB,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,EAC/C,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC/B,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,MAAM,KAAK,IAAI,GAC3D,IAAI,CAiDN;AACD,sDAAsD;AACtD,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,OAAO,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC/D;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhE;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,OAAO,EACf,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,CAAC,IAAI,EAAE,UAAU,KAAK,IAAI,EACjC,IAAI,SAAK,GACR,IAAI,CA8BN"}
+{"version":3,"file":"schema-walk.d.ts","sourceRoot":"","sources":["../src/schema-walk.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C;2DAC2D;AAC3D,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,EACvC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GACxB,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,CAqBjC;AAID;;;;;;;;iDAQiD;AACjD,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GACzB,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAsBtC;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,OAAO,EAAE,EAChB,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,EAC/C,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC/B,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,MAAM,KAAK,IAAI,GAC3D,IAAI,CAiDN;AACD;;0DAE0D;AAC1D,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,QAAQ,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,OAAO,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpD;iEACiE;AACjE,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;+BAG+B;AAC/B,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,QAAQ,EAAE,CAAC;IAAC,IAAI,EAAE,OAAO,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClE;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,SAAS,EAAE,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAErE;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,YAAY,KAAK,IAAI,GAAG,IAAI,CAM9F;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,OAAO,EACf,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,CAAC,IAAI,EAAE,UAAU,KAAK,IAAI,GAChC,IAAI,CAkDN"}