laymos 0.0.1 → 0.0.3

package/dist/story/story.js

@@ -0,0 +1,56 @@
+import { Context, Effect } from 'effect';
+import { makeTraceRecorder } from '@pkishorez/effect-tracer/recorder';
+export class StoryContext extends Context.Service()('StoryContext') {
+}
+export const Story = {
+    make(story) {
+        return story;
+    },
+    question(question, options) {
+        return { question, answer: options.answer, proof: options.proof };
+    },
+    group(title, children) {
+        return { title, children };
+    },
+    trace(effect) {
+        return Effect.gen(function* () {
+            const context = yield* StoryContext;
+            const recorder = makeTraceRecorder();
+            return yield* recorder
+                .instrument(effect)
+                .pipe(Effect.onExit(() => context.beginSection({ kind: 'trace', trace: recorder.snapshot() })));
+        });
+    },
+    flow(effect) {
+        return Effect.gen(function* () {
+            const context = yield* StoryContext;
+            const recorder = makeTraceRecorder();
+            return yield* recorder
+                .instrument(effect)
+                .pipe(Effect.onExit(() => Effect.forEach(recorder.snapshotFlows(), (flow) => context.beginSection({ kind: 'flow', flow }))));
+        });
+    },
+    assert(description, passed) {
+        return Effect.flatMap(StoryContext, (context) => context.assert(description, passed));
+    },
+};
+export function isStory(value) {
+    if (typeof value !== 'object' || value === null)
+        return false;
+    const story = value;
+    return (typeof story.title === 'string' &&
+        typeof story.sourceUrl === 'string' &&
+        Array.isArray(story.questions) &&
+        story.questions.every((question) => typeof question.question === 'string' &&
+            typeof question.answer === 'string' &&
+            Effect.isEffect(question.proof)));
+}
+export function isStoryGroup(value) {
+    if (typeof value !== 'object' || value === null)
+        return false;
+    const group = value;
+    if (typeof group.title !== 'string' || !Array.isArray(group.children)) {
+        return false;
+    }
+    return group.children.every((child) => isStory(child) || isStoryGroup(child));
+}

package/package.json

@@ -1,8 +1,8 @@
 {
   "name": "laymos",
-  "version": "0.0.1",
+  "version": "0.0.3",
   "private": false,
-  "description": "Layers. Modules. Stories. Declare your architecture once; get enforcement and the diagram for free.",
+  "description": "Enforces architectural dependency rules and explores source dependencies.",
   "repository": {
     "type": "git",
     "url": "https://github.com/pkishorez/monorepo"
@@ -15,54 +15,66 @@
       "import": "./dist/index.js",
       "default": "./dist/index.js"
     },
-    "./node": {
-      "types": "./dist/node.d.ts",
-      "import": "./dist/node.js",
-      "default": "./dist/node.js"
+    "./architecture-analysis-schema": {
+      "types": "./dist/architecture-analysis-schema/index.d.ts",
+      "import": "./dist/architecture-analysis-schema/index.js",
+      "default": "./dist/architecture-analysis-schema/index.js"
     },
-    "./report": {
-      "types": "./dist/report/index.d.ts",
-      "import": "./dist/report/index.js",
-      "default": "./dist/report/index.js"
+    "./change-set-schema": {
+      "types": "./dist/change-set-schema/index.d.ts",
+      "import": "./dist/change-set-schema/index.js",
+      "default": "./dist/change-set-schema/index.js"
     },
     "./story": {
-      "types": "./dist/story/effect/index.d.ts",
-      "import": "./dist/story/effect/index.js",
-      "default": "./dist/story/effect/index.js"
+      "types": "./dist/story/index.d.ts",
+      "import": "./dist/story/index.js",
+      "default": "./dist/story/index.js"
+    },
+    "./story/schema": {
+      "types": "./dist/story/schema/index.d.ts",
+      "import": "./dist/story/schema/index.js",
+      "default": "./dist/story/schema/index.js"
     }
   },
   "bin": {
-    "laymos": "dist/cli/cli.js"
+    "laymos": "bin/laymos.mjs"
   },
   "files": [
+    "bin",
     "dist",
+    "schema.json",
     "README.md",
     "LICENSE"
   ],
   "dependencies": {
-    "@effect/platform-node": "4.0.0-beta.98",
-    "jiti": "2.7.0",
-    "skott": "0.35.11"
+    "@effect/platform-node": "4.0.0-beta.102",
+    "oxc-parser": "0.143.0",
+    "oxc-resolver": "11.24.2",
+    "tsx": "4.23.1",
+    "yoctocolors": "2.2.0",
+    "@pkishorez/effect-tracer": "0.0.2"
   },
   "devDependencies": {
-    "@typescript/native": "npm:typescript@7.0.2",
     "@types/node": "26.1.1",
-    "effect": "4.0.0-beta.98",
+    "@typescript/native": "npm:typescript@7.0.2",
+    "effect": "4.0.0-beta.102",
+    "tsx": "4.23.1",
     "typescript": "npm:@typescript/typescript6@6.0.2",
     "vitest": "4.1.10"
   },
   "peerDependencies": {
-    "effect": "^4.0.0-beta.78"
+    "effect": "4.0.0-beta.102"
   },
   "publishConfig": {
     "access": "public"
   },
   "scripts": {
-    "build": "tsc",
-    "build:watch": "tsc --watch",
+    "build": "tsc -p tsconfig.build.json",
+    "build:watch": "tsc -p tsconfig.build.json --watch",
+    "dev": "tsx src/cli/cli.ts",
     "fmt": "vp fmt",
-    "lint": "vp check && tsc --noEmit",
-    "lint:laymos": "jiti src/cli/cli.ts lint",
+    "lint": "vp check && tsc",
+    "schema": "vitest run src/services/config/tests/config.test.ts -u",
     "test": "vitest run"
   }
 }

package/schema.json

@@ -0,0 +1,212 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "type": "object",
+  "properties": {
+    "$schema": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "description": "JSON Schema URL, used by editors for autocomplete and validation."
+    },
+    "sourceRoots": {
+      "type": "array",
+      "description": "Canonical project-relative files or folders that define the complete static analysis universe.",
+      "allOf": [
+        {
+          "minItems": 1
+        }
+      ],
+      "items": {
+        "type": "string"
+      }
+    },
+    "ignoredPaths": {
+      "type": "array",
+      "description": "Canonical project-relative files or folders explicitly excluded from the analysis universe.",
+      "items": {
+        "type": "string"
+      }
+    },
+    "storiesPath": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "description": "Canonical project-relative folder holding every Story file and the index.ts entry point exposing the Story Collection. Implicitly an Ignored path."
+    },
+    "layers": {
+      "type": "object",
+      "additionalProperties": {
+        "type": "object",
+        "properties": {
+          "paths": {
+            "type": "array",
+            "description": "Canonical project-relative paths belonging to this Layer. No declared Layer scopes may overlap, within one Layer or across Layers.",
+            "allOf": [
+              {
+                "minItems": 1
+              }
+            ],
+            "items": {
+              "type": "string"
+            }
+          },
+          "description": {
+            "anyOf": [
+              {
+                "type": "string"
+              },
+              {
+                "type": "null"
+              }
+            ],
+            "description": "Human-readable summary of this Layer."
+          },
+          "modules": {
+            "type": "object",
+            "additionalProperties": {
+              "$ref": "#/definitions/Objects_"
+            },
+            "description": "Every free-form Configured Module in this Layer, keyed by canonical project-relative source file or directory."
+          },
+          "moduleGraphs": {
+            "type": "object",
+            "additionalProperties": {
+              "type": "object",
+              "properties": {
+                "description": {
+                  "anyOf": [
+                    {
+                      "type": "string"
+                    },
+                    {
+                      "type": "null"
+                    }
+                  ],
+                  "description": "Human-readable summary of this Module Graph."
+                },
+                "path": {
+                  "type": "string",
+                  "description": "Canonical project-relative directory rooting this Module Graph. Every member lives below it and every file below it must belong to a member."
+                },
+                "modules": {
+                  "type": "object",
+                  "additionalProperties": {
+                    "$ref": "#/definitions/Objects_"
+                  },
+                  "description": "Every member of this Module Graph, keyed relative to its path. At least two members, at least one exposed, and no member may be Shared.",
+                  "allOf": [
+                    {
+                      "minProperties": 2
+                    }
+                  ]
+                },
+                "rules": {
+                  "type": "object",
+                  "additionalProperties": {
+                    "type": "array",
+                    "items": {
+                      "type": "string"
+                    }
+                  },
+                  "description": "Maps a member key to the member keys it may directly depend on. Rules are default-deny and, unlike LayerGraph Rules, are NOT transitive: only declared edges are permitted. They must be acyclic within this Module Graph."
+                }
+              },
+              "required": [
+                "path",
+                "modules"
+              ],
+              "additionalProperties": false,
+              "title": "Module Graph",
+              "description": "A named, bounded set of Modules inside one Layer describing one capability too large for a single Module. Unlike a LayerGraph it is a disjoint unit: its Rules are never unioned with another Graph’s, are not transitive, and are checked for cycles on their own."
+            },
+            "description": "Every Module Graph in this Layer, keyed by id."
+          }
+        },
+        "required": [
+          "paths"
+        ],
+        "additionalProperties": false,
+        "title": "Layer",
+        "description": "A named, configured group of project-relative paths, owning the Modules and Module Graphs declared within it."
+      },
+      "description": "Every Layer in the project, keyed by id, each owning its Modules and Module Graphs.",
+      "allOf": [
+        {
+          "minProperties": 1
+        }
+      ]
+    },
+    "layerGraphs": {
+      "type": "object",
+      "additionalProperties": {
+        "type": "object",
+        "properties": {
+          "description": {
+            "anyOf": [
+              {
+                "type": "string"
+              },
+              {
+                "type": "null"
+              }
+            ],
+            "description": "Human-readable summary of this LayerGraph."
+          },
+          "rules": {
+            "type": "object",
+            "additionalProperties": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              }
+            },
+            "description": "Maps a Layer id to the Layer ids it may directly depend on. Rules are default-deny and transitive: a dependency between two Layers with no declared path between them, direct or transitive, is a violation. A Layer with no outgoing rule is a valid, intentional leaf."
+          }
+        },
+        "required": [
+          "rules"
+        ],
+        "additionalProperties": false,
+        "title": "LayerGraph",
+        "description": "A named set of Rules representing one responsibility (e.g. core architecture, test boundaries). This is an organizational grouping, not an enforcement boundary — enforcement unions every Rule declared across every LayerGraph in the project."
+      },
+      "description": "Every LayerGraph in the project, keyed by id. An empty set denies every cross-Layer dependency."
+    }
+  },
+  "required": [
+    "sourceRoots",
+    "layers",
+    "layerGraphs"
+  ],
+  "additionalProperties": false,
+  "title": "Laymos Config",
+  "description": "Declares a project's Layers, their Modules and Module Graphs, and its LayerGraphs.",
+  "definitions": {
+    "Objects_": {
+      "type": "object",
+      "properties": {
+        "shared": {
+          "type": "boolean",
+          "description": "Whether peers in the same Layer may import this Module. Illegal inside a Module Graph, where Rules govern peer access."
+        },
+        "exposed": {
+          "type": "boolean",
+          "description": "Whether other Layers may import this Module."
+        }
+      },
+      "additionalProperties": false,
+      "title": "Module",
+      "description": "A Configured Module keyed by its canonical source file or directory — project-relative when declared in a Layer, Module Graph-relative when declared in a Module Graph. Both flags default to false, so a Module is importable by nobody until it says otherwise."
+    }
+  }
+}

package/dist/cli/index.d.ts

@@ -1,2 +0,0 @@
-export { cli, command, lintPasses } from './run.js';
-//# sourceMappingURL=index.d.ts.map

package/dist/cli/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/cli/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC"}

package/dist/cli/index.js

@@ -1 +0,0 @@
-export { cli, command, lintPasses } from './run.js';

package/dist/config/define-config.d.ts

@@ -1,3 +0,0 @@
-import type { LaymosConfig } from './types.js';
-export declare function defineConfig(config: LaymosConfig): LaymosConfig;
-//# sourceMappingURL=define-config.d.ts.map

package/dist/config/define-config.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"define-config.d.ts","sourceRoot":"","sources":["../../src/config/define-config.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAa,MAAM,YAAY,CAAC;AAG1D,wBAAgB,YAAY,CAAC,MAAM,EAAE,YAAY,GAAG,YAAY,CAuB/D"}

package/dist/config/define-config.js

@@ -1,228 +0,0 @@
-import { normalizeConfigPath, pathContains } from './path.js';
-export function defineConfig(config) {
-    const normalizedConfig = {
-        ...config,
-        sourceRoots: config.sourceRoots.map(normalizeConfigPath),
-        ...(config.ignore !== undefined
-            ? { ignore: config.ignore.map(normalizeConfigPath) }
-            : {}),
-    };
-    const issues = [
-        ...sourceRootIssues(normalizedConfig),
-        ...duplicateGraphNames(normalizedConfig),
-        ...duplicateLayerNames(normalizedConfig),
-        ...duplicateLayerPaths(normalizedConfig),
-        ...duplicateIgnoredPaths(normalizedConfig),
-        ...unionCycles(normalizedConfig),
-        ...moduleIssues(normalizedConfig),
-    ];
-    if (issues.length > 0) {
-        throw new Error(`Invalid laymos config:\n${issues.map((issue) => `  - ${issue}`).join('\n')}`);
-    }
-    return normalizedConfig;
-}
-function sourceRootIssues(config) {
-    const issues = [];
-    for (let index = 0; index < config.sourceRoots.length; index++) {
-        const root = config.sourceRoots[index];
-        for (let otherIndex = 0; otherIndex < index; otherIndex++) {
-            const other = config.sourceRoots[otherIndex];
-            if (root === other) {
-                issues.push(`Source root "${root}" is declared more than once`);
-            }
-            else if (pathContains(root, other) || pathContains(other, root)) {
-                issues.push(`Source roots "${other}" and "${root}" overlap`);
-            }
-        }
-    }
-    if (config.sourceRoots.length === 0) {
-        issues.push('At least one source root is required');
-    }
-    const configuredPaths = [
-        ...layerPathEntries(config).map(([path]) => ['Layer', path]),
-        ...(config.modules ?? []).map(({ path }) => ['Module', path]),
-        ...(config.ignore ?? []).map((path) => ['Ignored', path]),
-    ];
-    for (const [kind, path] of configuredPaths) {
-        if (!config.sourceRoots.some((root) => pathContains(root, path))) {
-            issues.push(`${kind} path "${path}" is not inside any source root`);
-        }
-    }
-    return issues;
-}
-function duplicateGraphNames(config) {
-    const seen = new Set();
-    const issues = [];
-    for (const graph of config.graphs) {
-        if (seen.has(graph.name)) {
-            issues.push(`Duplicate graph name "${graph.name}"`);
-        }
-        seen.add(graph.name);
-    }
-    return issues;
-}
-function duplicateLayerNames(config) {
-    const seen = new Map();
-    const issues = [];
-    for (const graph of config.graphs) {
-        for (const layer of graph.layers) {
-            const existing = seen.get(layer.name);
-            if (existing && existing !== layer) {
-                issues.push(`Layer name "${layer.name}" has multiple definitions — define the layer once and reuse the value`);
-            }
-            seen.set(layer.name, existing ?? layer);
-        }
-    }
-    return issues;
-}
-function layerPathEntries(config) {
-    const layers = new Set(config.graphs.flatMap((g) => [...g.layers]));
-    return [...layers].flatMap((layer) => layer.paths.map((path) => [path, layer.name]));
-}
-function duplicateLayerPaths(config) {
-    const seen = new Map();
-    const issues = [];
-    for (const [path, layerName] of layerPathEntries(config)) {
-        const existing = seen.get(path);
-        if (existing !== undefined && existing !== layerName) {
-            issues.push(`Path "${path}" is declared by both layers "${existing}" and "${layerName}"`);
-        }
-        seen.set(path, existing ?? layerName);
-    }
-    return issues;
-}
-function duplicateIgnoredPaths(config) {
-    const seen = new Set();
-    const issues = [];
-    for (const path of config.ignore ?? []) {
-        if (seen.has(path))
-            issues.push(`Duplicate ignored path "${path}"`);
-        seen.add(path);
-    }
-    return issues;
-}
-function moduleIssues(config) {
-    const issues = [];
-    const layerPaths = layerPathEntries(config);
-    const modules = new Map();
-    for (const def of config.modules ?? []) {
-        const path = def.path;
-        const existing = modules.get(path);
-        if (existing !== undefined) {
-            issues.push(`Module "${path}" is declared more than once`);
-        }
-        else
-            modules.set(path, def);
-    }
-    const paths = [...modules.keys()];
-    for (let i = 0; i < paths.length; i++) {
-        for (let j = i + 1; j < paths.length; j++) {
-            const [a, b] = [paths[i], paths[j]];
-            if (pathContains(a, b) || pathContains(b, a)) {
-                issues.push(`Modules "${a}" and "${b}" nest — modules must be flat`);
-            }
-        }
-    }
-    for (const path of paths) {
-        let best;
-        for (const [layerPath, layerName] of layerPaths) {
-            if (pathContains(layerPath, path) &&
-                (best === undefined || layerPath.length > best[0].length)) {
-                best = [layerPath, layerName];
-            }
-        }
-        if (best === undefined) {
-            issues.push(`Module "${path}" is not inside any layer`);
-            continue;
-        }
-        for (const [layerPath, layerName] of layerPaths) {
-            if (path !== layerPath &&
-                pathContains(path, layerPath) &&
-                layerName !== best[1]) {
-                issues.push(`Layer "${layerName}" has path "${layerPath}" inside module "${path}" — the module would straddle layers`);
-            }
-        }
-    }
-    const seenRules = new Set();
-    for (const rule of config.moduleRules ?? []) {
-        const from = rule.module.path;
-        if (seenRules.has(from)) {
-            issues.push(`Module "${from}" has more than one rules declaration`);
-        }
-        seenRules.add(from);
-        if (modules.get(from) !== rule.module) {
-            issues.push(`Rules module "${from}" must reuse a value declared in config.modules`);
-        }
-        for (const [ruleName, definitions] of [
-            ['canImport', rule.canImport ?? []],
-            ['canImportedBy', rule.canImportedBy ?? []],
-        ]) {
-            const seenTargets = new Set();
-            for (const def of definitions) {
-                const to = def.path;
-                if (seenTargets.has(to)) {
-                    issues.push(`Rule ${ruleName} on module "${from}" references module "${to}" more than once`);
-                }
-                seenTargets.add(to);
-                if (modules.get(to) !== def) {
-                    issues.push(`Rule ${ruleName} on module "${from}" must reuse module "${to}" from config.modules`);
-                }
-            }
-        }
-    }
-    return issues;
-}
-function unionCycles(config) {
-    const adjacency = new Map();
-    for (const graph of config.graphs) {
-        for (const edge of graph.edges) {
-            if (!adjacency.has(edge.from.name)) {
-                adjacency.set(edge.from.name, new Set());
-            }
-            adjacency.get(edge.from.name).add(edge.to.name);
-            if (!adjacency.has(edge.to.name)) {
-                adjacency.set(edge.to.name, new Set());
-            }
-        }
-    }
-    const index = new Map();
-    const lowLink = new Map();
-    const onStack = new Set();
-    const stack = [];
-    const cycles = [];
-    let counter = 0;
-    const visit = (node) => {
-        index.set(node, counter);
-        lowLink.set(node, counter);
-        counter++;
-        stack.push(node);
-        onStack.add(node);
-        for (const next of adjacency.get(node) ?? []) {
-            if (!index.has(next)) {
-                visit(next);
-                lowLink.set(node, Math.min(lowLink.get(node), lowLink.get(next)));
-            }
-            else if (onStack.has(next)) {
-                lowLink.set(node, Math.min(lowLink.get(node), index.get(next)));
-            }
-        }
-        if (lowLink.get(node) === index.get(node)) {
-            const component = [];
-            let popped;
-            do {
-                popped = stack.pop();
-                onStack.delete(popped);
-                component.push(popped);
-            } while (popped !== node);
-            if (component.length > 1) {
-                cycles.push(component.reverse());
-            }
-        }
-    };
-    for (const node of adjacency.keys()) {
-        if (!index.has(node)) {
-            visit(node);
-        }
-    }
-    return cycles.map((cycle) => `Union cycle: ${cycle.join(' -> ')} -> ${cycle[0]}`);
-}

package/dist/config/index.d.ts

@@ -1,5 +0,0 @@
-export { defineConfig } from './define-config.js';
-export { edge, layerGraph } from './layer-graph.js';
-export { layer } from './layer.js';
-export { module, rules } from './module.js';
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/config/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC"}

package/dist/config/index.js

@@ -1,4 +0,0 @@
-export { defineConfig } from './define-config.js';
-export { edge, layerGraph } from './layer-graph.js';
-export { layer } from './layer.js';
-export { module, rules } from './module.js';

package/dist/config/layer-graph.d.ts

@@ -1,7 +0,0 @@
-import type { Layer, LayerEdge, LayerGraph } from './types.js';
-export declare function edge(from: Layer, to: Layer): LayerEdge;
-export declare function edge(from: Layer, to: readonly Layer[]): LayerEdge[];
-export declare function layerGraph(name: string, edges: ReadonlyArray<LayerEdge | LayerEdge[]>, options?: {
-    description?: string;
-}): LayerGraph;
-//# sourceMappingURL=layer-graph.d.ts.map

package/dist/config/layer-graph.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"layer-graph.d.ts","sourceRoot":"","sources":["../../src/config/layer-graph.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAE/D,wBAAgB,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,GAAG,SAAS,CAAC;AACxD,wBAAgB,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,KAAK,EAAE,GAAG,SAAS,EAAE,CAAC;AAqBrE,wBAAgB,UAAU,CACxB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,aAAa,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAC7C,OAAO,CAAC,EAAE;IAAE,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GACjC,UAAU,CA6CZ"}