@telorun/analyzer 0.8.1 → 0.9.0

package/dist/analysis-registry.d.ts

@@ -8,6 +8,7 @@ import type { AnalysisContext } from "./types.js";
 export declare class AnalysisRegistry {
     private readonly defs;
     private readonly aliases;
+    private readonly aliasesByModule;
     registerDefinition(def: ResourceDefinition): void;
     registerModuleIdentity(namespace: string | null, name: string): void;
     registerImport(alias: string, target: string, kinds: string[]): void;

package/dist/analysis-registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analysis-registry.d.ts","sourceRoot":"","sources":["../src/analysis-registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAMzE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD;;;;GAIG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA4B;IACjD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAuB;IAE/C,kBAAkB,CAAC,GAAG,EAAE,kBAAkB,GAAG,IAAI;IAIjD,sBAAsB,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAIpE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IAIpE,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI7C;;;OAGG;IACH,mBAAmB,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,KAAK,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,EAClC,OAAO,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,GACnC,IAAI;IAcP;;;;OAIG;IACH,kBAAkB,IAAI,kBAAkB,EAAE;IAI1C,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS;IAM/D,QAAQ,IAAI,MAAM,EAAE;IAIpB;mEAC+D;IAC/D,UAAU,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE;IAIxC;;;gCAG4B;IAC5B,oBAAoB,IAAI,MAAM,EAAE;IAIhC;wEACoE;IACpE,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhD,qFAAqF;IACrF,QAAQ,IAAI,eAAe;CAG5B"}
+{"version":3,"file":"analysis-registry.d.ts","sourceRoot":"","sources":["../src/analysis-registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAMzE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD;;;;GAIG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA4B;IACjD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAuB;IAC/C,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAoC;IAEpE,kBAAkB,CAAC,GAAG,EAAE,kBAAkB,GAAG,IAAI;IAIjD,sBAAsB,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAIpE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IAIpE,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI7C;;;OAGG;IACH,mBAAmB,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,KAAK,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,EAClC,OAAO,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,GACnC,IAAI;IAcP;;;;OAIG;IACH,kBAAkB,IAAI,kBAAkB,EAAE;IAI1C,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS;IAM/D,QAAQ,IAAI,MAAM,EAAE;IAIpB;mEAC+D;IAC/D,UAAU,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE;IAIxC;;;gCAG4B;IAC5B,oBAAoB,IAAI,MAAM,EAAE;IAIhC;wEACoE;IACpE,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhD,qFAAqF;IACrF,QAAQ,IAAI,eAAe;CAG5B"}

package/dist/analysis-registry.js

@@ -11,6 +11,7 @@ import { isRefEntry, isScopeEntry } from "./reference-field-map.js";
 export class AnalysisRegistry {
     defs = new DefinitionRegistry();
     aliases = new AliasResolver();
+    aliasesByModule = new Map();
     registerDefinition(def) {
         this.defs.register(def);
     }
@@ -76,6 +77,6 @@ export class AnalysisRegistry {
     }
     /** @internal Bridge for StaticAnalyzer — do not use outside the analyzer package. */
     _context() {
-        return { aliases: this.aliases, definitions: this.defs };
+        return { aliases: this.aliases, definitions: this.defs, aliasesByModule: this.aliasesByModule };
     }
 }

package/dist/analyzer.d.ts.map

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

package/dist/analyzer.js

@@ -324,7 +324,7 @@ export class StaticAnalyzer {
                 rootModules.add(m.metadata.name);
             }
         }
-        const aliasesByModule = new Map();
+        const aliasesByModule = ctx?.aliasesByModule ?? new Map();
         for (const m of manifests) {
             if (isModuleKind(m.kind)) {
                 const namespace = m.metadata.namespace ?? null;
@@ -575,7 +575,7 @@ export class StaticAnalyzer {
             });
         }
         // Validate resource references (Phase 3)
-        diagnostics.push(...validateReferences(allManifests, { aliases, definitions: defs }));
+        diagnostics.push(...validateReferences(allManifests, { aliases, definitions: defs, aliasesByModule }));
         // Validate `extends` fields and flag legacy `capability: <UserAbstract>` overload.
         diagnostics.push(...validateExtends(allManifests, defs, aliases));
         // Validate throws: declarations and catches: coverage (rules 1, 2, 4, 7)

package/dist/flatten-for-analyzer.d.ts

@@ -0,0 +1,30 @@
+import type { ResourceManifest } from "@telorun/sdk";
+import type { LoadedGraph, LoadedModule } from "./loaded-types.js";
+/** Produce the flat manifest list `analyze()` consumes today.
+ *
+ *  Combines the entry module's manifests with `Telo.Definition`,
+ *  `Telo.Abstract`, and `Telo.Import` docs forwarded from imported libraries.
+ *  Stamps three flavours of metadata along the way:
+ *
+ *  - `metadata.source` and `metadata.sourceLine` — already on each manifest
+ *    from `parseLoadedFile`, copied here unchanged.
+ *  - `metadata.module` — the owning module's `Telo.Application` /
+ *    `Telo.Library` `metadata.name`, applied to non-module manifests that
+ *    don't already carry one.
+ *  - `metadata.resolvedModuleName` / `metadata.resolvedNamespace` — for every
+ *    `Telo.Import` manifest, looked up via `graph.importEdges` to find the
+ *    target module's own `Telo.Library` identity. Without this, the
+ *    analyzer's alias resolver and `validate-extends` fall back to
+ *    path-derived identity and produce spurious diagnostics.
+ *
+ *  Position metadata (`positionIndex`) is NOT stamped on manifests —
+ *  callers look it up via `findPositions(graph, ...)` on the LoadedGraph. */
+export declare function flattenForAnalyzer(graph: LoadedGraph): ResourceManifest[];
+/** Project a LoadedModule (owner + partials) to a flat ResourceManifest[]
+ *  with `metadata.module` stamped on non-module docs. The kernel's runtime
+ *  entry load uses this to convert a `Loader.loadModule` result into the
+ *  classic ResourceManifest[] shape it iterates over. Imports are not
+ *  followed — the kernel's import-controller loads each import's module
+ *  separately at runtime. */
+export declare function flattenLoadedModule(mod: LoadedModule): ResourceManifest[];
+//# sourceMappingURL=flatten-for-analyzer.d.ts.map

package/dist/flatten-for-analyzer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"flatten-for-analyzer.d.ts","sourceRoot":"","sources":["../src/flatten-for-analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,KAAK,EAAc,WAAW,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAG/E;;;;;;;;;;;;;;;;;;6EAkB6E;AAC7E,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,EAAE,CAyDzE;AAED;;;;;6BAK6B;AAC7B,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,YAAY,GAAG,gBAAgB,EAAE,CAEzE"}

package/dist/flatten-for-analyzer.js

@@ -0,0 +1,119 @@
+import { isModuleKind } from "./module-kinds.js";
+/** Produce the flat manifest list `analyze()` consumes today.
+ *
+ *  Combines the entry module's manifests with `Telo.Definition`,
+ *  `Telo.Abstract`, and `Telo.Import` docs forwarded from imported libraries.
+ *  Stamps three flavours of metadata along the way:
+ *
+ *  - `metadata.source` and `metadata.sourceLine` — already on each manifest
+ *    from `parseLoadedFile`, copied here unchanged.
+ *  - `metadata.module` — the owning module's `Telo.Application` /
+ *    `Telo.Library` `metadata.name`, applied to non-module manifests that
+ *    don't already carry one.
+ *  - `metadata.resolvedModuleName` / `metadata.resolvedNamespace` — for every
+ *    `Telo.Import` manifest, looked up via `graph.importEdges` to find the
+ *    target module's own `Telo.Library` identity. Without this, the
+ *    analyzer's alias resolver and `validate-extends` fall back to
+ *    path-derived identity and produce spurious diagnostics.
+ *
+ *  Position metadata (`positionIndex`) is NOT stamped on manifests —
+ *  callers look it up via `findPositions(graph, ...)` on the LoadedGraph. */
+export function flattenForAnalyzer(graph) {
+    const result = [];
+    const stampedEntry = collectModuleManifests(graph.entry);
+    result.push(...stampedEntry);
+    const seen = new Set([graph.rootSource]);
+    const queue = [graph.rootSource];
+    while (queue.length > 0) {
+        const fromSource = queue.shift();
+        const edges = graph.importEdges.get(fromSource);
+        if (!edges)
+            continue;
+        for (const edge of edges.values()) {
+            if (seen.has(edge.targetSource))
+                continue;
+            seen.add(edge.targetSource);
+            queue.push(edge.targetSource);
+            const targetModule = graph.modules.get(edge.targetSource);
+            if (!targetModule)
+                continue;
+            const stamped = collectModuleManifests(targetModule);
+            for (const m of stamped) {
+                if (m.kind === "Telo.Definition" ||
+                    m.kind === "Telo.Abstract" ||
+                    m.kind === "Telo.Import") {
+                    result.push(m);
+                }
+            }
+        }
+    }
+    // Stamp resolved import identity on every Telo.Import in the result by
+    // reading the edge's pre-resolved name/namespace — no re-derivation from
+    // manifest metadata. The edge is keyed by (owner-file, alias) which is
+    // exactly the (metadata.source, metadata.name) pair on each Telo.Import.
+    for (let i = 0; i < result.length; i++) {
+        const m = result[i];
+        if (m.kind !== "Telo.Import")
+            continue;
+        const owner = m.metadata?.source;
+        const alias = m.metadata?.name;
+        if (!owner || !alias)
+            continue;
+        const edge = graph.importEdges.get(owner)?.get(alias);
+        if (!edge?.targetModuleName)
+            continue;
+        const newMetadata = {
+            ...m.metadata,
+            resolvedModuleName: edge.targetModuleName,
+            resolvedNamespace: edge.targetNamespace,
+        };
+        result[i] = { ...m, metadata: newMetadata };
+    }
+    return result;
+}
+/** Project a LoadedModule (owner + partials) to a flat ResourceManifest[]
+ *  with `metadata.module` stamped on non-module docs. The kernel's runtime
+ *  entry load uses this to convert a `Loader.loadModule` result into the
+ *  classic ResourceManifest[] shape it iterates over. Imports are not
+ *  followed — the kernel's import-controller loads each import's module
+ *  separately at runtime. */
+export function flattenLoadedModule(mod) {
+    return collectModuleManifests(mod);
+}
+function collectModuleManifests(mod) {
+    const owner = stampFile(mod.owner, ownerModuleName(mod.owner));
+    const partials = [];
+    for (const p of mod.partials) {
+        partials.push(...stampFile(p, ownerModuleName(mod.owner)));
+    }
+    return [...owner, ...partials];
+}
+function ownerModuleName(file) {
+    for (const m of file.manifests) {
+        if (m && isModuleKind(m.kind)) {
+            const name = m.metadata?.name;
+            if (typeof name === "string")
+                return name;
+        }
+    }
+    return undefined;
+}
+function stampFile(file, ownerModule) {
+    const out = [];
+    for (let i = 0; i < file.manifests.length; i++) {
+        const m = file.manifests[i];
+        if (m === null || m === undefined)
+            continue;
+        const { sourceLine } = file.positions[i];
+        const metadata = {
+            ...m.metadata,
+            source: file.source,
+            sourceLine,
+        };
+        if (ownerModule && !isModuleKind(m.kind) && !metadata.module) {
+            metadata.module = ownerModule;
+        }
+        out.push({ ...m, metadata: metadata });
+    }
+    return out;
+}

package/dist/index.d.ts

@@ -1,8 +1,14 @@
 export { AnalysisRegistry } from "./analysis-registry.js";
 export { StaticAnalyzer } from "./analyzer.js";
+export type { GraphLoadError, ImportEdge, LoadedFile, LoadedGraph, LoadedModule, ParseError, } from "./loaded-types.js";
+export { flattenForAnalyzer, flattenLoadedModule } from "./flatten-for-analyzer.js";
 export { Loader } from "./manifest-loader.js";
 export { isModuleKind, MODULE_KINDS } from "./module-kinds.js";
 export type { ModuleKind } from "./module-kinds.js";
+export { parseLoadedFile } from "./parse-loaded-file.js";
+export type { ParseOptions } from "./parse-loaded-file.js";
+export { buildDocumentPositions, buildLineOffsets, buildPositionIndex, documentLineOffsets, } from "./position-metadata.js";
+export type { DocumentPosition } from "./position-metadata.js";
 export { HttpSource } from "./sources/http-source.js";
 export { RegistrySource } from "./sources/registry-source.js";
 export { DEFAULT_MANIFEST_FILENAME, DiagnosticSeverity } from "./types.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC/D,YAAY,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAC3E,YAAY,EACR,kBAAkB,EAClB,eAAe,EACf,iBAAiB,EACjB,WAAW,EACX,cAAc,EACd,QAAQ,EACR,aAAa,EACb,KAAK,EACR,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,YAAY,EACR,cAAc,EACd,UAAU,EACV,UAAU,EACV,WAAW,EACX,YAAY,EACZ,UAAU,GACb,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACpF,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC/D,YAAY,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,YAAY,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EACH,sBAAsB,EACtB,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,GACtB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAC3E,YAAY,EACR,kBAAkB,EAClB,eAAe,EACf,iBAAiB,EACjB,WAAW,EACX,cAAc,EACd,QAAQ,EACR,aAAa,EACb,KAAK,EACR,MAAM,YAAY,CAAC"}

package/dist/index.js

@@ -1,7 +1,10 @@
 export { AnalysisRegistry } from "./analysis-registry.js";
 export { StaticAnalyzer } from "./analyzer.js";
+export { flattenForAnalyzer, flattenLoadedModule } from "./flatten-for-analyzer.js";
 export { Loader } from "./manifest-loader.js";
 export { isModuleKind, MODULE_KINDS } from "./module-kinds.js";
+export { parseLoadedFile } from "./parse-loaded-file.js";
+export { buildDocumentPositions, buildLineOffsets, buildPositionIndex, documentLineOffsets, } from "./position-metadata.js";
 export { HttpSource } from "./sources/http-source.js";
 export { RegistrySource } from "./sources/registry-source.js";
 export { DEFAULT_MANIFEST_FILENAME, DiagnosticSeverity } from "./types.js";

package/dist/loaded-types.d.ts

@@ -0,0 +1,81 @@
+import type { ResourceManifest } from "@telorun/sdk";
+import type { Document } from "yaml";
+import type { DocumentPosition } from "./position-metadata.js";
+import type { Range } from "./types.js";
+/** One physical file's parsed result. Returned for the owner manifest, for
+ *  each `include:` partial, and for each external import target.
+ *
+ *  Identity rule: every map key, every cross-reference, every editor-side
+ *  cache uses `source` — the URL the source adapter's `read()` returned. */
+export interface LoadedFile {
+    /** Canonical identity. The URL the source adapter's `read()` returned —
+     *  HTTPS for http/registry, an absolute path for local. */
+    source: string;
+    /** The URL the caller supplied (e.g. registry ref `std/javascript@0.3.0`).
+     *  Differs from `source` only for adapter-resolved URLs. */
+    requestedUrl: string;
+    /** Raw text exactly as `read()` returned it. */
+    text: string;
+    /** Per-document parsed AST, in source order. */
+    documents: Document[];
+    /** Per-document JSON projection (`doc.toJSON()`). Aligned to `documents`. */
+    manifests: Array<ResourceManifest | null>;
+    /** Per-document `{sourceLine, positionIndex}`. Aligned to `documents`. */
+    positions: DocumentPosition[];
+    /** Document-level parse errors aggregated from `yaml.Document.errors`. */
+    parseErrors: ParseError[];
+}
+export interface ParseError {
+    documentIndex: number;
+    message: string;
+    /** Line/character of the failure, when the yaml parser provided one. */
+    range?: Range;
+}
+/** An owner file plus the partial files it includes. The unit
+ *  `Loader.loadModule` returns. */
+export interface LoadedModule {
+    owner: LoadedFile;
+    /** Each `include:` target as its own LoadedFile. Empty when no `include:`.
+     *  Order matches the `include:` list (after glob expansion). */
+    partials: LoadedFile[];
+}
+/** Resolved Telo.Import edge: where the import points and what library
+ *  identity it resolves to. Carrying name/namespace on the edge means
+ *  `flattenForAnalyzer` can stamp `metadata.resolvedModuleName` /
+ *  `resolvedNamespace` from this single source rather than re-deriving
+ *  the target from manifest metadata, which would silently miss whenever
+ *  a future projection forgets to stamp `metadata.source` consistently. */
+export interface ImportEdge {
+    /** Canonical resolved URL of the target — a key into `modules`. */
+    targetSource: string;
+    /** Target library's `metadata.name`, or `null` when the target had no
+     *  Telo.Library doc (an error case captured in `LoadedGraph.errors`). */
+    targetModuleName: string | null;
+    /** Target library's `metadata.namespace` (or `null` when unset). */
+    targetNamespace: string | null;
+}
+/** An entry plus every transitively-imported library. Returned by
+ *  `Loader.loadGraph`. */
+export interface LoadedGraph {
+    /** Canonical entry source — equals `entry.owner.source`. */
+    rootSource: string;
+    entry: LoadedModule;
+    /** Map keyed by `LoadedFile.source` (canonical resolved URL). Includes
+     *  entry, partials, and every transitively reachable Telo.Import target +
+     *  its partials. */
+    modules: Map<string, LoadedModule>;
+    /** Per-Telo.Import resolution. Keyed by the resolved URL of the file the
+     *  Telo.Import was declared in, then by the import's PascalCase alias. */
+    importEdges: Map<string, Map<string, ImportEdge>>;
+    /** Surface-level errors that did not abort the graph load (e.g. an import
+     *  whose target failed to fetch). */
+    errors: GraphLoadError[];
+}
+export interface GraphLoadError {
+    /** URL of the file that failed to load. */
+    url: string;
+    /** Source of the import that triggered the load, or null for the entry. */
+    fromSource: string | null;
+    error: Error;
+}
+//# sourceMappingURL=loaded-types.d.ts.map

package/dist/loaded-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"loaded-types.d.ts","sourceRoot":"","sources":["../src/loaded-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AACrC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC;;;;4EAI4E;AAC5E,MAAM,WAAW,UAAU;IACzB;+DAC2D;IAC3D,MAAM,EAAE,MAAM,CAAC;IACf;gEAC4D;IAC5D,YAAY,EAAE,MAAM,CAAC;IACrB,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,6EAA6E;IAC7E,SAAS,EAAE,KAAK,CAAC,gBAAgB,GAAG,IAAI,CAAC,CAAC;IAC1C,0EAA0E;IAC1E,SAAS,EAAE,gBAAgB,EAAE,CAAC;IAC9B,0EAA0E;IAC1E,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,UAAU;IACzB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,wEAAwE;IACxE,KAAK,CAAC,EAAE,KAAK,CAAC;CACf;AAED;mCACmC;AACnC,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,UAAU,CAAC;IAClB;oEACgE;IAChE,QAAQ,EAAE,UAAU,EAAE,CAAC;CACxB;AAED;;;;;2EAK2E;AAC3E,MAAM,WAAW,UAAU;IACzB,mEAAmE;IACnE,YAAY,EAAE,MAAM,CAAC;IACrB;6EACyE;IACzE,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,oEAAoE;IACpE,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED;0BAC0B;AAC1B,MAAM,WAAW,WAAW;IAC1B,4DAA4D;IAC5D,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,YAAY,CAAC;IACpB;;wBAEoB;IACpB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACnC;8EAC0E;IAC1E,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IAClD;yCACqC;IACrC,MAAM,EAAE,cAAc,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC7B,2CAA2C;IAC3C,GAAG,EAAE,MAAM,CAAC;IACZ,2EAA2E;IAC3E,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,KAAK,EAAE,KAAK,CAAC;CACd"}

package/dist/loaded-types.js

@@ -0,0 +1 @@
+export {};

package/dist/manifest-loader.d.ts

@@ -1,22 +1,43 @@
-import { type ResourceManifest } from "@telorun/sdk";
+import type { LoadedFile, LoadedGraph, LoadedModule } from "./loaded-types.js";
 import { type LoadOptions, type LoaderInitOptions, type ManifestSource } from "./types.js";
 export declare class Loader {
-    private readonly moduleCache;
+    /** LoadedFile cache keyed by `${compile ? "compiled" : "raw"}:${source}`.
+     *  Same dual-keying as the legacy ResourceManifest[] cache: a compile-mode
+     *  caller (kernel) and a raw-mode caller (analyzer/editor) on the same file
+     *  get distinct entries, so neither sees the wrong manifest tree. */
+    private readonly fileCache;
     protected sources: ManifestSource[];
     private readonly celEnv;
     constructor(extraSourcesOrOptions?: ManifestSource[] | LoaderInitOptions);
     register(source: ManifestSource): this;
     private pick;
     resolveEntryPoint(url: string): Promise<string>;
-    loadModule(url: string, options?: LoadOptions): Promise<ResourceManifest[]>;
+    /** Read one file via the source chain and parse it into a LoadedFile.
+     *  The result is shared with `Loader.fileCache`. Callers that want a
+     *  private mutable copy must call `parseLoadedFile` directly with the
+     *  LoadedFile's `text`. */
+    loadFile(url: string, options?: LoadOptions): Promise<LoadedFile>;
+    /** Load an owner file plus every partial reachable through its `include:`
+     *  list. Globs are expanded via the owning source's `expandGlob`. The
+     *  partials list is empty when the owner declares no `include:`. */
+    loadModule(url: string, options?: LoadOptions): Promise<LoadedModule>;
+    /** Load a module and every transitively-imported library. Returns the full
+     *  LoadedGraph: `entry`, `modules` keyed by canonical source, and
+     *  `importEdges` mapping each importing file's PascalCase aliases to their
+     *  target's canonical source. */
+    loadGraph(entryUrl: string, options?: LoadOptions): Promise<LoadedGraph>;
+    private resolveImportUrl;
+    private assertSingleModuleDeclaration;
+    private assertNoSystemKindsInPartialContext;
+    private assertImportTargetIsLibrary;
     private resolveIncludes;
-    private loadPartialFile;
-    loadModuleForFile(fileUrl: string): Promise<{
+    /** Find the owning telo.yaml for `fileUrl` (or use it directly if it's an
+     *  owner) and return the `LoadedGraph` rooted at that owner. Returns
+     *  `null` only when `fileUrl` is neither an owner nor reachable from one
+     *  via parent-directory traversal. */
+    loadGraphForFile(fileUrl: string): Promise<{
+        graph: LoadedGraph;
         ownerUrl: string;
-        manifests: ResourceManifest[];
-        sourceManifests: Map<string, ResourceManifest[]>;
     } | null>;
-    loadModuleGraph(entryUrl: string, onError?: (url: string, error: Error) => void): Promise<Map<string, ResourceManifest[]>>;
-    loadManifests(entryUrl: string): Promise<ResourceManifest[]>;
 }
 //# sourceMappingURL=manifest-loader.d.ts.map

package/dist/manifest-loader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"manifest-loader.d.ts","sourceRoot":"","sources":["../src/manifest-loader.ts"],"names":[],"mappings":"AACA,OAAO,EAAmB,KAAK,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAQtE,OAAO,EAEL,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EAGpB,MAAM,YAAY,CAAC;AASpB,qBAAa,MAAM;IACjB,OAAO,CAAC,QAAQ,CAAC,WAAW,CAGxB;IAEJ,SAAS,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC;IACpC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAc;gBAEzB,qBAAqB,GAAE,cAAc,EAAE,GAAG,iBAAsB;IAmB5E,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,IAAI;IAKtC,OAAO,CAAC,IAAI;IAMN,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAK/C,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC;YAqGnE,eAAe;YAoBf,eAAe;IAgEvB,iBAAiB,CACrB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC;QACT,QAAQ,EAAE,MAAM,CAAC;QACjB,SAAS,EAAE,gBAAgB,EAAE,CAAC;QAC9B,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;KAClD,GAAG,IAAI,CAAC;IAiCH,eAAe,CACnB,QAAQ,EAAE,MAAM,EAChB,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,GAC5C,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAsCrC,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC;CA+HnE"}
+{"version":3,"file":"manifest-loader.d.ts","sourceRoot":"","sources":["../src/manifest-loader.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAGV,UAAU,EACV,WAAW,EACX,YAAY,EACb,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAEL,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACpB,MAAM,YAAY,CAAC;AASpB,qBAAa,MAAM;IACjB;;;yEAGqE;IACrE,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAiC;IAE3D,SAAS,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC;IACpC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAc;gBAEzB,qBAAqB,GAAE,cAAc,EAAE,GAAG,iBAAsB;IAmB5E,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,IAAI;IAKtC,OAAO,CAAC,IAAI;IAMN,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAOrD;;;+BAG2B;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC;IAcvE;;wEAEoE;IAC9D,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,YAAY,CAAC;IAsB3E;;;qCAGiC;IAC3B,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;IAwG9E,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,6BAA6B;IAarC,OAAO,CAAC,mCAAmC;IAc3C,OAAO,CAAC,2BAA2B;YAkCrB,eAAe;IAmB7B;;;0CAGsC;IAChC,gBAAgB,CACpB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC;QAAE,KAAK,EAAE,WAAW,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;CA0B5D"}