@telorun/analyzer 0.73.0 → 0.74.0

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-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"}

package/dist/schema-walk.js

@@ -9,8 +9,7 @@
  * scope rule is consumed by the IDE, which must not pull the pass in behind it.
  */
 import { MANIFEST_SCHEMA_URI, ManifestRootSchema } from "./manifest-schemas.js";
-import { readRefSlot } from "./ref-slot.js";
-import { readStepSlot } from "./step-slot.js";
+import { buildDrivenSlotMap, refSlotOfEntry } from "./reference-field-map.js";
 /** Resolve a local `$ref` (only `#/$defs/<name>` form) against the root schema.
  *  Non-refs and unresolved refs pass through unchanged. */
 export function resolveLocalRef(schema, root) {
@@ -126,45 +125,166 @@ export function walkStepArray(steps, stepItemSchema, rootSchema, basePath, visit
         }
     });
 }
+/**
+ * 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 function forEachDeclaredSlot(schema, visit) {
+    if (!schema || typeof schema !== "object")
+        return;
+    for (const [path, at] of buildDrivenSlotMap(schema).paths) {
+        if (at.steps.length > 0)
+            visit({ kind: "step", slots: at.steps, path });
+        if (at.refs.length > 0)
+            visit({ kind: "ref", slots: at.refs.map(refSlotOfEntry), path });
+    }
+}
 /**
  * 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 function forEachDrivenSlot(schema, data, visit, path = "") {
+export function forEachDrivenSlot(schema, data, visit) {
     if (!schema || typeof schema !== "object" || data === undefined || data === null)
         return;
-    const node = schema;
-    const stepSlot = readStepSlot(node);
-    if (stepSlot) {
-        if (Array.isArray(data))
-            visit({ kind: "step", slot: stepSlot, data, path });
-        return;
-    }
-    const refSlot = readRefSlot(node);
-    if (refSlot) {
-        visit({ kind: "ref", slot: refSlot, data, path });
+    const driven = buildDrivenSlotMap(schema);
+    if (!driven.drives)
         return;
-    }
-    const props = node.properties;
-    if (props && typeof data === "object" && !Array.isArray(data)) {
-        const obj = data;
-        for (const [key, propSchema] of Object.entries(props)) {
-            if (obj[key] === undefined)
+    const sites = new Map();
+    const onData = new Set([data]);
+    const walk = (prefix, value, base) => {
+        for (const [fieldPath, at] of driven.paths) {
+            const rel = relativeFieldPath(fieldPath, prefix);
+            if (rel === undefined)
                 continue;
-            forEachDrivenSlot(propSchema, obj[key], visit, path ? `${path}.${key}` : key);
+            for (const found of resolveSites(value, rel, prefix, driven)) {
+                const path = joinConcrete(base, found.path);
+                if (at.steps.length > 0 || at.refs.length > 0) {
+                    let site = sites.get(path);
+                    if (!site) {
+                        site = { data: found.value, steps: [], refs: [], from: new Set() };
+                        sites.set(path, site);
+                    }
+                    for (const step of at.steps) {
+                        if (site.from.has(step))
+                            continue;
+                        site.from.add(step);
+                        site.steps.push(step);
+                    }
+                    for (const entry of at.refs) {
+                        if (site.from.has(entry))
+                            continue;
+                        site.from.add(entry);
+                        site.refs.push({ slot: refSlotOfEntry(entry), fieldPath });
+                    }
+                }
+                if (at.recurse.length === 0)
+                    continue;
+                if (!found.value || typeof found.value !== "object" || onData.has(found.value))
+                    continue;
+                onData.add(found.value);
+                for (const to of at.recurse)
+                    walk(to, found.value, path);
+                onData.delete(found.value);
+            }
+        }
+    };
+    walk("", data, "");
+    for (const [path, site] of sites) {
+        if (site.steps.length > 0 && Array.isArray(site.data)) {
+            visit({ kind: "step", slots: site.steps, data: site.data, path });
+        }
+        else if (site.refs.length > 0) {
+            visit({ kind: "ref", slots: site.refs, data: site.data, path });
         }
     }
-    if (node.items && Array.isArray(data)) {
-        for (const [i, item] of data.entries()) {
-            forEachDrivenSlot(node.items, item, visit, `${path}[${i}]`);
+}
+/** The values at `rel` below `value`, where `rel` is relative to the field path
+ *  `prefix`. A `{}` segment skips the keys the driven map records as declared
+ *  for that map path; each `[]` iterates one array level. */
+function resolveSites(value, rel, prefix, driven) {
+    let sites = [{ value, path: "" }];
+    let field = prefix;
+    for (const part of rel.split(".")) {
+        const next = [];
+        if (part === "{}") {
+            field = joinKey(field, "{}");
+            const declared = driven.declaredKeys.get(field);
+            for (const site of sites) {
+                if (!site.value || typeof site.value !== "object" || Array.isArray(site.value))
+                    continue;
+                for (const [key, entry] of Object.entries(site.value)) {
+                    if (entry == null || declared?.has(key))
+                        continue;
+                    next.push({ value: entry, path: joinKey(site.path, key) });
+                }
+            }
         }
+        else {
+            const key = part.replace(/(\[\])+$/, "");
+            const depth = (part.length - key.length) / 2;
+            field = key ? joinKey(field, part) : `${field}${part}`;
+            for (const site of sites) {
+                let level;
+                if (key) {
+                    if (!site.value || typeof site.value !== "object")
+                        continue;
+                    const entry = site.value[key];
+                    if (entry == null)
+                        continue;
+                    level = [{ value: entry, path: joinKey(site.path, key) }];
+                }
+                else {
+                    level = [site];
+                }
+                for (let d = 0; d < depth; d++) {
+                    const items = [];
+                    for (const holder of level) {
+                        if (!Array.isArray(holder.value))
+                            continue;
+                        holder.value.forEach((item, i) => {
+                            if (item != null)
+                                items.push({ value: item, path: `${holder.path}[${i}]` });
+                        });
+                    }
+                    level = items;
+                }
+                next.push(...level);
+            }
+        }
+        sites = next;
     }
+    return sites;
+}
+const joinKey = (path, key) => (path ? `${path}.${key}` : key);
+/** `fieldPath` relative to `prefix`, or undefined when it is not strictly
+ *  below it. A result starting `[]` iterates the value at `prefix` itself. */
+function relativeFieldPath(fieldPath, prefix) {
+    if (prefix === "")
+        return fieldPath;
+    if (fieldPath.startsWith(`${prefix}.`))
+        return fieldPath.slice(prefix.length + 1);
+    if (fieldPath.startsWith(`${prefix}[]`))
+        return fieldPath.slice(prefix.length);
+    return undefined;
+}
+function joinConcrete(base, rel) {
+    if (!base)
+        return rel;
+    return rel.startsWith("[") ? `${base}${rel}` : `${base}.${rel}`;
 }

package/dist/scope-declarations.d.ts

@@ -0,0 +1,59 @@
+import type { ResourceManifest } from "@telorun/sdk";
+import { type ReferenceFieldMap } from "./reference-field-map.js";
+/**
+ * The execution scopes ONE resource declares — the `x-telo-scope` arrays it
+ * holds — read off its kind's field map, which is the analyzer's single
+ * definition of "scope" (the same one `resolve-ref-sentinels` and
+ * `manifest-visitor` read). Inferring a scope from shape instead would give one
+ * to any kind that happens to carry an array of named declarations.
+ *
+ * Browser-safe.
+ */
+/** One declared scope: the array a scope run creates, and where its names resolve. */
+export interface DeclaredScope {
+    /** Concrete path of the scope slot on its resource (`with`). */
+    path: string;
+    /** The declaration array itself — what a scope run registers and tears down. */
+    declarations: unknown[];
+    /** Dot-form prefixes of every region its names resolve in (`steps`, `targets`). */
+    regions: string[];
+}
+export type ScopeMember = ResourceManifest & {
+    metadata: {
+        name: string;
+    };
+};
+/** Every scope `resource` declares, in field-map order. A scope slot left unset
+ *  declares nothing: no scope run happens, so nothing is created in one. */
+export declare function declaredScopes(resource: Record<string, unknown>, fieldMap: ReferenceFieldMap | undefined): DeclaredScope[];
+/** True when `path` — a field-map path (`steps[].invoke`) or a concrete one
+ *  (`steps[0].invoke`) — lies inside one of the scope's regions. */
+export declare function scopeEncloses(scope: DeclaredScope, path: string): boolean;
+/** A scope's inline resource declarations. A `!ref` entry is a category error
+ *  (`SCOPE_ENTRY_NOT_INLINE`), not a member. */
+export declare function scopeMembers(scope: DeclaredScope): ScopeMember[];
+/** True when a scope array entry is an inline resource declaration. */
+export declare function isScopeMember(value: unknown): value is ScopeMember;
+/**
+ * A scope an extracted declaration was WRITTEN inside and is NOT created in.
+ *
+ * An inline declaration is created in the set its owner is declared in, never in
+ * a scope its owner declares — moving it there would make every step target of a
+ * sequence with a `with:` block a scoped resource, which is a change of durable
+ * identity. So a declaration written in `steps:` next to a `with:` block is
+ * lexically inside that scope and lives outside it, and the names the scope
+ * declares are out of its reach. Recorded at extraction, where both facts are in
+ * hand, as `metadata.xTeloOrigin.outsideScopes`.
+ */
+export interface OutsideScope {
+    /** The resource declaring the scope, as its manifest spells it. */
+    ownerKind: string;
+    ownerName: string;
+    /** The scope slot (`with`). */
+    field: string;
+    /** Every name the scope declares. */
+    names: string[];
+}
+/** The scopes recorded as out of reach for an extracted declaration. */
+export declare function outsideScopesOf(manifest: unknown): OutsideScope[];
+//# sourceMappingURL=scope-declarations.d.ts.map

package/dist/scope-declarations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-declarations.d.ts","sourceRoot":"","sources":["../src/scope-declarations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAErD,OAAO,EAAqC,KAAK,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAErG;;;;;;;;GAQG;AAEH,sFAAsF;AACtF,MAAM,WAAW,aAAa;IAC5B,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,gFAAgF;IAChF,YAAY,EAAE,OAAO,EAAE,CAAC;IACxB,mFAAmF;IACnF,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,MAAM,WAAW,GAAG,gBAAgB,GAAG;IAAE,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,CAAC;AAE5E;4EAC4E;AAC5E,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjC,QAAQ,EAAE,iBAAiB,GAAG,SAAS,GACtC,aAAa,EAAE,CAYjB;AAED;oEACoE;AACpE,wBAAgB,aAAa,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAIzE;AAED;gDACgD;AAChD,wBAAgB,YAAY,CAAC,KAAK,EAAE,aAAa,GAAG,WAAW,EAAE,CAEhE;AAED,uEAAuE;AACvE,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,WAAW,CAOlE;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,YAAY;IAC3B,mEAAmE;IACnE,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,+BAA+B;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,qCAAqC;IACrC,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wEAAwE;AACxE,wBAAgB,eAAe,CAAC,QAAQ,EAAE,OAAO,GAAG,YAAY,EAAE,CAMjE"}

package/dist/scope-declarations.js

@@ -0,0 +1,45 @@
+import { isRefSentinel } from "@telorun/templating";
+import { isScopeEntry, resolveFieldEntries } from "./reference-field-map.js";
+/** Every scope `resource` declares, in field-map order. A scope slot left unset
+ *  declares nothing: no scope run happens, so nothing is created in one. */
+export function declaredScopes(resource, fieldMap) {
+    if (!fieldMap)
+        return [];
+    const out = [];
+    for (const [fieldPath, entry] of fieldMap) {
+        if (!isScopeEntry(entry))
+            continue;
+        const pointers = Array.isArray(entry.scope) ? entry.scope : [entry.scope];
+        const regions = pointers.map((p) => p.replace(/^\//, "").replace(/\//g, "."));
+        for (const { value, path } of resolveFieldEntries(resource, fieldPath)) {
+            if (Array.isArray(value))
+                out.push({ path, declarations: value, regions });
+        }
+    }
+    return out;
+}
+/** True when `path` — a field-map path (`steps[].invoke`) or a concrete one
+ *  (`steps[0].invoke`) — lies inside one of the scope's regions. */
+export function scopeEncloses(scope, path) {
+    return scope.regions.some((region) => path === region || path.startsWith(`${region}.`) || path.startsWith(`${region}[`));
+}
+/** A scope's inline resource declarations. A `!ref` entry is a category error
+ *  (`SCOPE_ENTRY_NOT_INLINE`), not a member. */
+export function scopeMembers(scope) {
+    return scope.declarations.filter(isScopeMember);
+}
+/** True when a scope array entry is an inline resource declaration. */
+export function isScopeMember(value) {
+    if (!value || typeof value !== "object" || Array.isArray(value) || isRefSentinel(value)) {
+        return false;
+    }
+    const entry = value;
+    const name = entry.metadata?.name;
+    return typeof entry.kind === "string" && typeof entry.name !== "string" && typeof name === "string";
+}
+/** The scopes recorded as out of reach for an extracted declaration. */
+export function outsideScopesOf(manifest) {
+    const origin = (manifest
+        ?.metadata?.xTeloOrigin)?.outsideScopes;
+    return Array.isArray(origin) ? origin : [];
+}