laymos 0.0.1 → 0.0.2

package/dist/config/module.js

@@ -1,21 +1,14 @@
-import { normalizeConfigPath } from './path.js';
 export function module(path, options) {
-    if (path.length === 0) {
-        throw new Error('Module path must not be empty');
-    }
     return {
         kind: 'module',
-        path: normalizeConfigPath(path),
-        ...(options?.description !== undefined
-            ? { description: options.description }
-            : {}),
+        path,
+        description: options.description,
+        ...(options.documentation === undefined
+            ? {}
+            : { documentation: options.documentation }),
     };
 }
 export function rules(module, constraints) {
-    if (constraints.canImport === undefined &&
-        constraints.canImportedBy === undefined) {
-        throw new Error(`Rules for module "${module.path}" must declare canImport or canImportedBy`);
-    }
     return {
         kind: 'module-rules',
         module,

package/dist/config/project-narrative.d.ts

@@ -0,0 +1,15 @@
+import type { MarkdownContent } from '../markdown/index.js';
+export interface ProjectNarrativeDef {
+    readonly kind: 'project-narrative';
+    readonly name: string;
+    readonly content: MarkdownContent;
+}
+export interface ProjectNarrative {
+    readonly kind: 'project-narrative';
+    readonly name: string;
+    readonly content: string;
+}
+/** Declares the optional project-level human account. */
+export declare function projectNarrative(name: string, content: MarkdownContent): ProjectNarrativeDef;
+export declare function serializeProjectNarrative(narrative: ProjectNarrativeDef): ProjectNarrative;
+//# sourceMappingURL=project-narrative.d.ts.map

package/dist/config/project-narrative.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-narrative.d.ts","sourceRoot":"","sources":["../../src/config/project-narrative.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE5D,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;CACnC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,yDAAyD;AACzD,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,eAAe,GACvB,mBAAmB,CAErB;AAED,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,mBAAmB,GAC7B,gBAAgB,CAMlB"}

package/dist/config/project-narrative.js

@@ -0,0 +1,11 @@
+/** Declares the optional project-level human account. */
+export function projectNarrative(name, content) {
+    return { kind: 'project-narrative', name, content };
+}
+export function serializeProjectNarrative(narrative) {
+    return {
+        kind: narrative.kind,
+        name: narrative.name,
+        content: narrative.content.content,
+    };
+}

package/dist/config/types.d.ts

@@ -2,7 +2,7 @@ export interface Layer {
     readonly kind: 'layer';
     readonly name: string;
     readonly paths: readonly string[];
-    readonly description?: string;
+    readonly description: string;
 }
 export interface LayerEdge {
     readonly from: Layer;
@@ -13,12 +13,13 @@ export interface LayerGraph {
     readonly name: string;
     readonly layers: readonly Layer[];
     readonly edges: readonly LayerEdge[];
-    readonly description?: string;
+    readonly description: string;
 }
 export interface ModuleDef {
     readonly kind: 'module';
     readonly path: string;
-    readonly description?: string;
+    readonly description: string;
+    readonly documentation?: import('../markdown/index.js').MarkdownContent;
 }
 export interface ModuleRules {
     readonly kind: 'module-rules';
@@ -32,5 +33,6 @@ export interface LaymosConfig {
     readonly modules?: readonly ModuleDef[];
     readonly moduleRules?: readonly ModuleRules[];
     readonly ignore?: readonly string[];
+    readonly project?: import('./project-narrative.js').ProjectNarrativeDef;
 }
 //# sourceMappingURL=types.d.ts.map

package/dist/config/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/config/types.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;CACpB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IACxC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/config/types.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;CACpB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,sBAAsB,EAAE,eAAe,CAAC;CACzE;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IACxC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,wBAAwB,EAAE,mBAAmB,CAAC;CACzE"}

package/dist/domain/architecture-analysis/architecture-analysis.d.ts

@@ -0,0 +1,4 @@
+import type { ArchitectureAnalysis, Config } from '../../architecture-analysis-schema/index.js';
+import type { FileGraph } from '../file-graph/index.js';
+export declare function analyzeArchitecture(fileGraph: FileGraph, config: Config): ArchitectureAnalysis;
+//# sourceMappingURL=architecture-analysis.d.ts.map

package/dist/domain/architecture-analysis/architecture-analysis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"architecture-analysis.d.ts","sourceRoot":"","sources":["../../../src/domain/architecture-analysis/architecture-analysis.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,oBAAoB,EACpB,MAAM,EACP,MAAM,6CAA6C,CAAC;AACrD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAMxD,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,MAAM,GACb,oBAAoB,CAatB"}

package/dist/domain/architecture-analysis/architecture-analysis.js

@@ -0,0 +1,13 @@
+import { resolveConfig } from '../project-config/index.js';
+import { analyzeLayers } from './layers/index.js';
+import { combineLayerRules } from './layer-rules.js';
+import { analyzeModules } from './modules/index.js';
+export function analyzeArchitecture(fileGraph, config) {
+    const resolved = resolveConfig(config);
+    const layerAnalysis = analyzeLayers(fileGraph, config.layers, combineLayerRules(config), resolved.modules);
+    return {
+        config,
+        layerAnalysis,
+        moduleAnalysis: analyzeModules(fileGraph, resolved, layerAnalysis, config),
+    };
+}

package/dist/domain/architecture-analysis/index.d.ts

@@ -0,0 +1,3 @@
+export { analyzeArchitecture } from './architecture-analysis.js';
+export type { ArchitectureAnalysis } from '../../architecture-analysis-schema/index.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/domain/architecture-analysis/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/domain/architecture-analysis/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAEjE,YAAY,EAAE,oBAAoB,EAAE,MAAM,6CAA6C,CAAC"}

package/dist/domain/architecture-analysis/index.js

@@ -0,0 +1,2 @@
+// Orchestrators use this pure capability to calculate a complete Architecture Analysis.
+export { analyzeArchitecture } from './architecture-analysis.js';

package/dist/domain/architecture-analysis/layer-rules.d.ts

@@ -0,0 +1,3 @@
+import type { Config } from '../project-config/index.js';
+export declare function combineLayerRules(config: Config): Readonly<Record<string, readonly string[]>>;
+//# sourceMappingURL=layer-rules.d.ts.map

package/dist/domain/architecture-analysis/layer-rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"layer-rules.d.ts","sourceRoot":"","sources":["../../../src/domain/architecture-analysis/layer-rules.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAEzD,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,MAAM,GACb,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAe7C"}

package/dist/domain/architecture-analysis/layer-rules.js

@@ -0,0 +1,15 @@
+export function combineLayerRules(config) {
+    const rules = new Map();
+    for (const { rules: graphRules } of Object.values(config.layerGraphs)) {
+        for (const [from, destinations] of Object.entries(graphRules)) {
+            const combined = rules.get(from) ?? new Set();
+            rules.set(from, combined);
+            for (const to of destinations)
+                combined.add(to);
+        }
+    }
+    return Object.fromEntries([...rules.entries()].map(([from, destinations]) => [
+        from,
+        [...destinations],
+    ]));
+}

package/dist/domain/architecture-analysis/layers/allowed-dependencies.d.ts

@@ -0,0 +1,3 @@
+export type AllowedDependencies = ReadonlyMap<string, ReadonlySet<string>>;
+export declare function buildAllowedDependencies(rules: Readonly<Record<string, readonly string[]>>): AllowedDependencies;
+//# sourceMappingURL=allowed-dependencies.d.ts.map

package/dist/domain/architecture-analysis/layers/allowed-dependencies.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"allowed-dependencies.d.ts","sourceRoot":"","sources":["../../../../src/domain/architecture-analysis/layers/allowed-dependencies.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,mBAAmB,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;AAE3E,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,GACjD,mBAAmB,CAmBrB"}

package/dist/domain/architecture-analysis/layers/allowed-dependencies.js

@@ -0,0 +1,20 @@
+export function buildAllowedDependencies(rules) {
+    const allowed = new Map();
+    const destinations = (layer, visited) => {
+        const reachable = new Set();
+        for (const destination of rules[layer] ?? []) {
+            if (visited.has(destination))
+                continue;
+            reachable.add(destination);
+            const nextVisited = new Set(visited).add(destination);
+            for (const indirect of destinations(destination, nextVisited)) {
+                reachable.add(indirect);
+            }
+        }
+        return reachable;
+    };
+    for (const layer of Object.keys(rules)) {
+        allowed.set(layer, destinations(layer, new Set([layer])));
+    }
+    return allowed;
+}

package/dist/domain/architecture-analysis/layers/coverage-violations.d.ts

@@ -0,0 +1,2 @@
+export declare function findCoverageViolations(files: Iterable<string>, membership: ReadonlyMap<string, string>): readonly string[];
+//# sourceMappingURL=coverage-violations.d.ts.map

package/dist/domain/architecture-analysis/layers/coverage-violations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-violations.d.ts","sourceRoot":"","sources":["../../../../src/domain/architecture-analysis/layers/coverage-violations.ts"],"names":[],"mappings":"AAAA,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,EACvB,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACtC,SAAS,MAAM,EAAE,CAInB"}

package/dist/domain/architecture-analysis/layers/coverage-violations.js

@@ -0,0 +1,5 @@
+export function findCoverageViolations(files, membership) {
+    return [...files]
+        .filter((file) => !membership.has(file))
+        .sort((left, right) => left.localeCompare(right));
+}

package/dist/domain/architecture-analysis/layers/dependency-violations.d.ts

@@ -0,0 +1,5 @@
+import type { FileGraph } from '../../file-graph/index.js';
+import type { AllowedDependencies } from './allowed-dependencies.js';
+import type { ForbiddenImport } from './layers.js';
+export declare function findDependencyViolations(fileGraph: FileGraph, membership: ReadonlyMap<string, string>, allowedDependencies: AllowedDependencies): readonly ForbiddenImport[];
+//# sourceMappingURL=dependency-violations.d.ts.map

package/dist/domain/architecture-analysis/layers/dependency-violations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependency-violations.d.ts","sourceRoot":"","sources":["../../../../src/domain/architecture-analysis/layers/dependency-violations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,SAAS,EACpB,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACvC,mBAAmB,EAAE,mBAAmB,GACvC,SAAS,eAAe,EAAE,CAsB5B"}

package/dist/domain/architecture-analysis/layers/dependency-violations.js

@@ -0,0 +1,18 @@
+export function findDependencyViolations(fileGraph, membership, allowedDependencies) {
+    const violations = [];
+    for (const [fromFile, dependencies] of [...fileGraph.entries()].sort(([left], [right]) => left.localeCompare(right))) {
+        const fromLayer = membership.get(fromFile);
+        if (fromLayer === undefined)
+            continue;
+        for (const toFile of [...dependencies].sort()) {
+            const toLayer = membership.get(toFile);
+            if (toLayer === undefined ||
+                toLayer === fromLayer ||
+                allowedDependencies.get(fromLayer)?.has(toLayer)) {
+                continue;
+            }
+            violations.push({ fromFile, fromLayer, toFile, toLayer });
+        }
+    }
+    return violations;
+}

package/dist/domain/architecture-analysis/layers/index.d.ts

@@ -0,0 +1,9 @@
+/** Focused consumers use this member for renderer-neutral Layer analysis. */
+export { analyzeLayers } from './layers.js';
+/** Module analysis builds a Layer context before resolving Module permissions. */
+export { buildLayerContext } from './layers.js';
+/** Module analysis names the Layer facts it reads while classifying imports. */
+export type { LayerContext } from './layers.js';
+/** Renderers use this to consume Layer analysis without changing it. */
+export type { LayerAnalysis, LayerDefinition, } from '../../../architecture-analysis-schema/index.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/domain/architecture-analysis/layers/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/domain/architecture-analysis/layers/index.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,kFAAkF;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,gFAAgF;AAChF,YAAY,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,wEAAwE;AACxE,YAAY,EACV,aAAa,EACb,eAAe,GAChB,MAAM,gDAAgD,CAAC"}

package/dist/domain/architecture-analysis/layers/index.js

@@ -0,0 +1,4 @@
+/** Focused consumers use this member for renderer-neutral Layer analysis. */
+export { analyzeLayers } from './layers.js';
+/** Module analysis builds a Layer context before resolving Module permissions. */
+export { buildLayerContext } from './layers.js';

package/dist/domain/architecture-analysis/layers/layer-membership.d.ts

@@ -0,0 +1,3 @@
+import type { LayerDefinition } from './layers.js';
+export declare function assignFilesToLayers(files: Iterable<string>, layers: Readonly<Record<string, LayerDefinition>>): ReadonlyMap<string, string>;
+//# sourceMappingURL=layer-membership.d.ts.map

package/dist/domain/architecture-analysis/layers/layer-membership.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"layer-membership.d.ts","sourceRoot":"","sources":["../../../../src/domain/architecture-analysis/layers/layer-membership.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,EACvB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,GAChD,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAc7B"}

package/dist/domain/architecture-analysis/layers/layer-membership.js

@@ -0,0 +1,13 @@
+export function assignFilesToLayers(files, layers) {
+    const membership = new Map();
+    const entries = Object.entries(layers).sort(([left], [right]) => left.localeCompare(right));
+    for (const file of files) {
+        const layer = entries.find(([, definition]) => definition.paths.some((scope) => contains(scope, file)))?.[0];
+        if (layer !== undefined)
+            membership.set(file, layer);
+    }
+    return membership;
+}
+function contains(scope, file) {
+    return scope === '.' || file === scope || file.startsWith(`${scope}/`);
+}

package/dist/domain/architecture-analysis/layers/layers.d.ts

@@ -0,0 +1,11 @@
+import type { LayerAnalysis, LayerDefinition, ModuleDefinition } from '../../../architecture-analysis-schema/index.js';
+export type { ForbiddenImport, LayerAnalysis, LayerDefinition, } from '../../../architecture-analysis-schema/index.js';
+import type { FileGraph } from '../../file-graph/index.js';
+import { type AllowedDependencies } from './allowed-dependencies.js';
+export interface LayerContext {
+    readonly membership: ReadonlyMap<string, string>;
+    readonly allowedDependencies: AllowedDependencies;
+}
+export declare function buildLayerContext(files: Iterable<string>, layers: Readonly<Record<string, LayerDefinition>>, rules: Readonly<Record<string, readonly string[]>>): LayerContext;
+export declare function analyzeLayers(fileGraph: FileGraph, layers: Readonly<Record<string, LayerDefinition>>, rules: Readonly<Record<string, readonly string[]>>, modules: Readonly<Record<string, ModuleDefinition>>): LayerAnalysis;
+//# sourceMappingURL=layers.d.ts.map

package/dist/domain/architecture-analysis/layers/layers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"layers.d.ts","sourceRoot":"","sources":["../../../../src/domain/architecture-analysis/layers/layers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,aAAa,EACb,eAAe,EACf,gBAAgB,EACjB,MAAM,gDAAgD,CAAC;AACxD,YAAY,EACV,eAAe,EACf,aAAa,EACb,eAAe,GAChB,MAAM,gDAAgD,CAAC;AACxD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAEL,KAAK,mBAAmB,EACzB,MAAM,2BAA2B,CAAC;AAMnC,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjD,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;CACnD;AAED,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,EACvB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,EACjD,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,GACjD,YAAY,CAOd;AAED,wBAAgB,aAAa,CAC3B,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,EACjD,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,EAClD,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,GAClD,aAAa,CAef"}

package/dist/domain/architecture-analysis/layers/layers.js

@@ -0,0 +1,22 @@
+import { buildAllowedDependencies, } from './allowed-dependencies.js';
+import { findCoverageViolations } from './coverage-violations.js';
+import { findDependencyViolations } from './dependency-violations.js';
+import { assignFilesToLayers } from './layer-membership.js';
+import { findLayersWithoutModules } from './module-coverage-violations.js';
+export function buildLayerContext(files, layers, rules) {
+    const membership = assignFilesToLayers(files, layers);
+    const allowedDependencies = buildAllowedDependencies(rules);
+    return {
+        membership,
+        allowedDependencies,
+    };
+}
+export function analyzeLayers(fileGraph, layers, rules, modules) {
+    const context = buildLayerContext(fileGraph.keys(), layers, rules);
+    return {
+        ...context,
+        unassignedFiles: findCoverageViolations(fileGraph.keys(), context.membership),
+        forbiddenImports: findDependencyViolations(fileGraph, context.membership, context.allowedDependencies),
+        layersWithoutModules: findLayersWithoutModules(layers, modules),
+    };
+}

package/dist/domain/architecture-analysis/layers/module-coverage-violations.d.ts

@@ -0,0 +1,4 @@
+import type { ModuleDefinition } from '../../../architecture-analysis-schema/index.js';
+import type { LayerDefinition } from './layers.js';
+export declare function findLayersWithoutModules(layers: Readonly<Record<string, LayerDefinition>>, modules: Readonly<Record<string, ModuleDefinition>>): readonly string[];
+//# sourceMappingURL=module-coverage-violations.d.ts.map

package/dist/domain/architecture-analysis/layers/module-coverage-violations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-coverage-violations.d.ts","sourceRoot":"","sources":["../../../../src/domain/architecture-analysis/layers/module-coverage-violations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gDAAgD,CAAC;AACvF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,EACjD,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,GAClD,SAAS,MAAM,EAAE,CAgBnB"}

package/dist/domain/architecture-analysis/layers/module-coverage-violations.js

@@ -0,0 +1,9 @@
+export function findLayersWithoutModules(layers, modules) {
+    const modulePaths = Object.keys(modules);
+    return Object.entries(layers)
+        .filter(([, definition]) => definition.paths.every((scope) => !modulePaths.some((modulePath) => scope === '.' ||
+        modulePath === scope ||
+        modulePath.startsWith(`${scope}/`))))
+        .map(([layer]) => layer)
+        .sort((left, right) => left.localeCompare(right));
+}

package/dist/domain/architecture-analysis/modules/dependency-graph.d.ts

@@ -0,0 +1,2 @@
+export declare function findModuleCycles(edges: ReadonlyMap<string, ReadonlySet<string>>): readonly (readonly string[])[];
+//# sourceMappingURL=dependency-graph.d.ts.map

package/dist/domain/architecture-analysis/modules/dependency-graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependency-graph.d.ts","sourceRoot":"","sources":["../../../../src/domain/architecture-analysis/modules/dependency-graph.ts"],"names":[],"mappings":"AAAA,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,GAC9C,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAiDhC"}

package/dist/domain/architecture-analysis/modules/dependency-graph.js

@@ -0,0 +1,45 @@
+export function findModuleCycles(edges) {
+    const indexByModule = new Map();
+    const lowLink = new Map();
+    const stack = [];
+    const onStack = new Set();
+    const cycles = [];
+    let index = 0;
+    const visit = (module) => {
+        indexByModule.set(module, index);
+        lowLink.set(module, index);
+        index += 1;
+        stack.push(module);
+        onStack.add(module);
+        for (const target of [...(edges.get(module) ?? [])].sort()) {
+            if (!indexByModule.has(target)) {
+                visit(target);
+                lowLink.set(module, Math.min(lowLink.get(module), lowLink.get(target)));
+            }
+            else if (onStack.has(target)) {
+                lowLink.set(module, Math.min(lowLink.get(module), indexByModule.get(target)));
+            }
+        }
+        if (lowLink.get(module) !== indexByModule.get(module))
+            return;
+        const component = [];
+        let current;
+        do {
+            current = stack.pop();
+            onStack.delete(current);
+            component.push(current);
+        } while (current !== module);
+        if (component.length > 1)
+            cycles.push(component.sort());
+    };
+    const modules = new Set(edges.keys());
+    for (const destinations of edges.values()) {
+        for (const destination of destinations)
+            modules.add(destination);
+    }
+    for (const module of [...modules].sort()) {
+        if (!indexByModule.has(module))
+            visit(module);
+    }
+    return cycles.sort(([left = ''], [right = '']) => left.localeCompare(right));
+}

package/dist/domain/architecture-analysis/modules/dependency-permissions.d.ts

@@ -0,0 +1,4 @@
+import type { ModuleAnalysisContext } from './modules.js';
+export type ModuleImportPermission = 'layer-denied' | 'module-denied' | 'permitted';
+export declare function importPermission(context: ModuleAnalysisContext, fromFile: string, toFile: string, fromModule: string, toModule: string): ModuleImportPermission;
+//# sourceMappingURL=dependency-permissions.d.ts.map

package/dist/domain/architecture-analysis/modules/dependency-permissions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependency-permissions.d.ts","sourceRoot":"","sources":["../../../../src/domain/architecture-analysis/modules/dependency-permissions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAE1D,MAAM,MAAM,sBAAsB,GAC9B,cAAc,GACd,eAAe,GACf,WAAW,CAAC;AAKhB,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,qBAAqB,EAC9B,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,GACf,sBAAsB,CAuBxB"}

package/dist/domain/architecture-analysis/modules/dependency-permissions.js

@@ -0,0 +1,35 @@
+// A Module Graph member may import its own Graph's members where a Rule permits,
+// free-form Shared Modules in its Layer, and exposed Modules in Layers it may
+// reach. Never a member of another Module Graph.
+export function importPermission(context, fromFile, toFile, fromModule, toModule) {
+    const fromLayer = context.layerContext.membership.get(fromFile);
+    const toLayer = context.layerContext.membership.get(toFile);
+    if (fromLayer === undefined || toLayer === undefined)
+        return 'layer-denied';
+    const from = context.modules[fromModule];
+    const to = context.modules[toModule];
+    if (to === undefined)
+        return 'module-denied';
+    if (fromLayer !== toLayer) {
+        if (!context.layerContext.allowedDependencies.get(fromLayer)?.has(toLayer)) {
+            return 'layer-denied';
+        }
+        return to.exposed ? 'permitted' : 'module-denied';
+    }
+    if (to.graph !== undefined) {
+        return from?.graph === to.graph && permittedByRule(context, from, to)
+            ? 'permitted'
+            : 'module-denied';
+    }
+    return to.shared ? 'permitted' : 'module-denied';
+}
+// Module Graph Rules are not transitive: only a declared edge permits an import.
+function permittedByRule(context, from, to) {
+    const graph = context.graphs[to.graph];
+    if (graph === undefined ||
+        from.member === undefined ||
+        to.member === undefined) {
+        return false;
+    }
+    return graph.rules[from.member]?.includes(to.member) ?? false;
+}

package/dist/domain/architecture-analysis/modules/index.d.ts

@@ -0,0 +1,12 @@
+/** Consumers use this Subpath to analyze configured Modules. */
+export { analyzeModules } from './modules.js';
+/** Renderers use this to consume Module analysis without changing it. */
+export type { ModuleAnalysis } from '../../../architecture-analysis-schema/index.js';
+/** Renderers use this as the complete analyzed description of one Module. */
+export type { AnalyzedModule, AnalyzedModuleGraph, ModuleShape, ObservedModuleKind, } from '../../../architecture-analysis-schema/index.js';
+/** Renderers use this to identify the public door used by a valid dependency. */
+export type { ModuleDependency } from '../../../architecture-analysis-schema/index.js';
+/** Renderers use this to exhaustively handle every Module finding. */
+export type { ModuleViolation } from '../../../architecture-analysis-schema/index.js';
+export { findModuleCycles } from './dependency-graph.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/domain/architecture-analysis/modules/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/domain/architecture-analysis/modules/index.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,yEAAyE;AACzE,YAAY,EAAE,cAAc,EAAE,MAAM,gDAAgD,CAAC;AACrF,6EAA6E;AAC7E,YAAY,EACV,cAAc,EACd,mBAAmB,EACnB,WAAW,EACX,kBAAkB,GACnB,MAAM,gDAAgD,CAAC;AACxD,iFAAiF;AACjF,YAAY,EAAE,gBAAgB,EAAE,MAAM,gDAAgD,CAAC;AACvF,sEAAsE;AACtE,YAAY,EAAE,eAAe,EAAE,MAAM,gDAAgD,CAAC;AACtF,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/domain/architecture-analysis/modules/index.js

@@ -0,0 +1,3 @@
+/** Consumers use this Subpath to analyze configured Modules. */
+export { analyzeModules } from './modules.js';
+export { findModuleCycles } from './dependency-graph.js';

package/dist/domain/architecture-analysis/modules/module-descriptors.d.ts

@@ -0,0 +1,5 @@
+import type { ResolvedConfig } from '../../project-config/index.js';
+import type { AnalyzedModule, AnalyzedModuleGraph, ModuleDependency } from './modules.js';
+export declare function describeModules(modules: ResolvedConfig['modules'], dependencies: readonly ModuleDependency[]): readonly AnalyzedModule[];
+export declare function describeModuleGraphs(graphs: ResolvedConfig['graphs']): readonly AnalyzedModuleGraph[];
+//# sourceMappingURL=module-descriptors.d.ts.map

package/dist/domain/architecture-analysis/modules/module-descriptors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-descriptors.d.ts","sourceRoot":"","sources":["../../../../src/domain/architecture-analysis/modules/module-descriptors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,KAAK,EACV,cAAc,EACd,mBAAmB,EACnB,gBAAgB,EAGjB,MAAM,cAAc,CAAC;AAEtB,wBAAgB,eAAe,CAC7B,OAAO,EAAE,cAAc,CAAC,SAAS,CAAC,EAClC,YAAY,EAAE,SAAS,gBAAgB,EAAE,GACxC,SAAS,cAAc,EAAE,CAa3B;AAED,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,GAC/B,SAAS,mBAAmB,EAAE,CAUhC"}

package/dist/domain/architecture-analysis/modules/module-descriptors.js

@@ -0,0 +1,37 @@
+export function describeModules(modules, dependencies) {
+    const incoming = new Set(dependencies.map(({ toModule }) => toModule));
+    const outgoing = new Set(dependencies.map(({ fromModule }) => fromModule));
+    return Object.entries(modules).map(([path, definition]) => ({
+        path,
+        layer: definition.layer,
+        shared: definition.shared,
+        exposed: definition.exposed,
+        shape: moduleShape(path),
+        observedKind: observedModuleKind(incoming.has(path), outgoing.has(path)),
+        ...(definition.graph === undefined ? {} : { graph: definition.graph }),
+        ...(definition.member === undefined ? {} : { member: definition.member }),
+    }));
+}
+export function describeModuleGraphs(graphs) {
+    return Object.entries(graphs)
+        .sort(([left], [right]) => left.localeCompare(right))
+        .map(([id, graph]) => ({
+        id,
+        layer: graph.layer,
+        path: graph.path,
+        members: Object.values(graph.members).sort(),
+        rules: graph.rules,
+    }));
+}
+function moduleShape(path) {
+    return /\.(?:[cm]?[jt]sx?)$/.test(path) ? 'file' : 'directory';
+}
+function observedModuleKind(incoming, outgoing) {
+    if (incoming && outgoing)
+        return 'regular';
+    if (outgoing)
+        return 'root';
+    if (incoming)
+        return 'terminal';
+    return 'isolated';
+}

package/dist/domain/architecture-analysis/modules/module-membership.d.ts

@@ -0,0 +1,3 @@
+import type { ResolvedConfig } from '../../project-config/index.js';
+export declare function assignFilesToModules(files: Iterable<string>, modules: ResolvedConfig['modules']): ReadonlyMap<string, string>;
+//# sourceMappingURL=module-membership.d.ts.map

package/dist/domain/architecture-analysis/modules/module-membership.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-membership.d.ts","sourceRoot":"","sources":["../../../../src/domain/architecture-analysis/modules/module-membership.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAEpE,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,EACvB,OAAO,EAAE,cAAc,CAAC,SAAS,CAAC,GACjC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAa7B"}

package/dist/domain/architecture-analysis/modules/module-membership.js

@@ -0,0 +1,12 @@
+export function assignFilesToModules(files, modules) {
+    const roots = Object.keys(modules).sort();
+    const membership = new Map();
+    for (const file of files) {
+        const root = roots.find((candidate) => candidate === '.' ||
+            file === candidate ||
+            file.startsWith(`${candidate}/`));
+        if (root !== undefined)
+            membership.set(file, root);
+    }
+    return membership;
+}

package/dist/domain/architecture-analysis/modules/modules.d.ts

@@ -0,0 +1,16 @@
+import type { Config, ModuleAnalysis } from '../../../architecture-analysis-schema/index.js';
+export type { AnalyzedModule, AnalyzedModuleGraph, ModuleAnalysis, ModuleDefinition, ModuleDependency, ModuleGraphDefinition, ModuleShape, ModuleViolation, ObservedModuleKind, } from '../../../architecture-analysis-schema/index.js';
+import type { FileGraph } from '../../file-graph/index.js';
+import type { ResolvedConfig } from '../../project-config/index.js';
+import type { LayerContext } from '../layers/index.js';
+export interface ModuleAnalysisContext {
+    readonly fileGraph: FileGraph;
+    readonly modules: ResolvedConfig['modules'];
+    readonly graphs: ResolvedConfig['graphs'];
+    readonly membership: ReadonlyMap<string, string>;
+    readonly layerContext: LayerContext;
+    readonly entryPoints: ReadonlySet<string>;
+    readonly rootLayers: ReadonlySet<string>;
+}
+export declare function analyzeModules(fileGraph: FileGraph, resolved: ResolvedConfig, layerContext: LayerContext, config: Config): ModuleAnalysis;
+//# sourceMappingURL=modules.d.ts.map

package/dist/domain/architecture-analysis/modules/modules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"modules.d.ts","sourceRoot":"","sources":["../../../../src/domain/architecture-analysis/modules/modules.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,MAAM,EACN,cAAc,EACf,MAAM,gDAAgD,CAAC;AACxD,YAAY,EACV,cAAc,EACd,mBAAmB,EACnB,cAAc,EACd,gBAAgB,EAChB,gBAAgB,EAChB,qBAAqB,EACrB,WAAW,EACX,eAAe,EACf,kBAAkB,GACnB,MAAM,gDAAgD,CAAC;AACxD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAMvD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjD,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC1C;AAED,wBAAgB,cAAc,CAC5B,SAAS,EAAE,SAAS,EACpB,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,YAAY,EAC1B,MAAM,EAAE,MAAM,GACb,cAAc,CAoBhB"}

package/dist/domain/architecture-analysis/modules/modules.js

@@ -0,0 +1,35 @@
+import { assignFilesToModules } from './module-membership.js';
+import { describeModules, describeModuleGraphs } from './module-descriptors.js';
+import { publicEntryPoints } from './public-entry-points.js';
+import { findModuleViolations } from './violations/index.js';
+export function analyzeModules(fileGraph, resolved, layerContext, config) {
+    const membership = assignFilesToModules(fileGraph.keys(), resolved.modules);
+    const entryPoints = publicEntryPoints(resolved.modules, fileGraph.keys());
+    const findings = findModuleViolations({
+        fileGraph,
+        modules: resolved.modules,
+        graphs: resolved.graphs,
+        membership,
+        layerContext,
+        entryPoints,
+        rootLayers: findRootLayers(config, layerContext),
+    });
+    return {
+        modules: describeModules(resolved.modules, findings.dependencies),
+        graphs: describeModuleGraphs(resolved.graphs),
+        membership,
+        entryPoints,
+        dependencies: findings.dependencies,
+        violations: findings.violations,
+    };
+}
+// A Layer no other Layer may depend on is where hosts enter, so its unimported
+// Modules are Intentional roots rather than dead code.
+function findRootLayers(config, layerContext) {
+    const depended = new Set();
+    for (const destinations of layerContext.allowedDependencies.values()) {
+        for (const destination of destinations)
+            depended.add(destination);
+    }
+    return new Set(Object.keys(config.layers).filter((layer) => !depended.has(layer)));
+}

package/dist/domain/architecture-analysis/modules/public-entry-points.d.ts

@@ -0,0 +1,3 @@
+import type { ResolvedConfig } from '../../project-config/index.js';
+export declare function publicEntryPoints(modules: ResolvedConfig['modules'], files: Iterable<string>): ReadonlySet<string>;
+//# sourceMappingURL=public-entry-points.d.ts.map

package/dist/domain/architecture-analysis/modules/public-entry-points.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"public-entry-points.d.ts","sourceRoot":"","sources":["../../../../src/domain/architecture-analysis/modules/public-entry-points.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAIpE,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,cAAc,CAAC,SAAS,CAAC,EAClC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,GACtB,WAAW,CAAC,MAAM,CAAC,CAcrB"}