@0disoft/mensor-compiler 0.1.0

package/dist/src/module-boundary-rule.js

@@ -0,0 +1,256 @@
+import * as path from "node:path";
+import { findFeatureOwner, sortFeatureRoots } from "./feature-roots.js";
+import { projectBoundaryRange } from "./locations.js";
+import { compareText, InputFailure } from "./paths.js";
+const sourceExtensions = [".ts", ".tsx", ".mts", ".cts", ".js", ".jsx", ".mjs", ".cjs"];
+export async function checkImportBoundaries(options) {
+    if (options.boundaries.length === 0) {
+        return [];
+    }
+    validateBoundaries(options.boundaries, options.fileRoles);
+    const sourceFiles = options.discoveredFiles
+        .filter(isSourceFile)
+        .sort(compareText);
+    const discovered = new Set(sourceFiles);
+    const featureRoots = sortFeatureRoots(options.featureContractPaths.map((contract) => ({
+        root: path.posix.dirname(contract),
+    })));
+    const parsed = new Map();
+    for (const file of sourceFiles) {
+        const fact = await options.sourceFacts.get(file);
+        parsed.set(file, fact);
+    }
+    const modules = new Map();
+    for (const file of sourceFiles) {
+        const fact = parsed.get(file);
+        if (fact === undefined) {
+            continue;
+        }
+        const edges = fact.imports.flatMap((entry) => {
+            const target = resolveImport(file, entry.specifier, discovered);
+            if (target === undefined) {
+                return [];
+            }
+            return [{
+                    edgeKind: entry.edgeKind,
+                    specifier: entry.specifier,
+                    range: entry.range,
+                    target,
+                }];
+        });
+        modules.set(file, {
+            file,
+            role: classifyProjectRole(file, featureRoots, options.fileRoles),
+            fact,
+            edges: [...edges].sort(compareEdges),
+        });
+    }
+    const diagnostics = [];
+    options.boundaries.forEach((boundary, boundaryIndex) => {
+        const roots = [...modules.values()]
+            .filter((module) => boundary.from.includes(module.role))
+            .sort((left, right) => compareText(left.file, right.file));
+        for (const root of roots) {
+            if (boundary.mode === "direct") {
+                diagnostics.push(...checkDirectBoundary(root, boundary, boundaryIndex, modules, options));
+            }
+            else {
+                diagnostics.push(...checkTransitiveBoundary(root, boundary, boundaryIndex, modules, options));
+            }
+        }
+    });
+    return diagnostics;
+}
+function checkDirectBoundary(root, boundary, boundaryIndex, modules, options) {
+    const diagnostics = root.fact.unsupportedDynamicImports.map((range) => dynamicImportDiagnostic(root, range, boundary, boundaryIndex, options));
+    for (const edge of root.edges) {
+        const target = modules.get(edge.target);
+        if (target !== undefined && boundary.deny.includes(target.role)) {
+            diagnostics.push(boundaryViolationDiagnostic(root, edge, target, [root.file, target.file], boundary, boundaryIndex, options));
+        }
+    }
+    return diagnostics;
+}
+function checkTransitiveBoundary(root, boundary, boundaryIndex, modules, options) {
+    const diagnostics = [];
+    const queue = [
+        { module: root, chain: [root.file] },
+    ];
+    const visited = new Set();
+    for (let index = 0; index < queue.length; index += 1) {
+        const current = queue[index];
+        if (current === undefined || visited.has(current.module.file)) {
+            continue;
+        }
+        visited.add(current.module.file);
+        diagnostics.push(...current.module.fact.unsupportedDynamicImports.map((range) => dynamicImportDiagnostic(current.module, range, boundary, boundaryIndex, options)));
+        for (const edge of current.module.edges) {
+            const target = modules.get(edge.target);
+            if (target === undefined) {
+                continue;
+            }
+            const chain = [...current.chain, target.file];
+            if (boundary.deny.includes(target.role)) {
+                diagnostics.push(boundaryViolationDiagnostic(root, edge, target, chain, boundary, boundaryIndex, options));
+            }
+            else if (!visited.has(target.file)) {
+                queue.push({ module: target, chain });
+            }
+        }
+    }
+    return diagnostics;
+}
+function boundaryViolationDiagnostic(root, edge, target, importChain, boundary, boundaryIndex, options) {
+    return {
+        code: "module.boundary_violation",
+        severity: "error",
+        category: "environment-boundary",
+        message: `Boundary ${JSON.stringify(boundary.id)} forbids ${JSON.stringify(root.role)} code from reaching ${JSON.stringify(target.role)} module ${JSON.stringify(target.file)}.`,
+        file: importChain[importChain.length - 2] ?? root.file,
+        range: edge.range,
+        facts: {
+            boundaryId: boundary.id,
+            edgeKind: edge.edgeKind,
+            importChain,
+            importSpecifier: edge.specifier,
+            mode: boundary.mode,
+            sourceRole: root.role,
+            targetFile: target.file,
+            targetRole: target.role,
+        },
+        related: [
+            {
+                role: "forbidden-target",
+                message: `This module is classified as ${target.role}.`,
+                file: target.file,
+                range: zeroRange(),
+            },
+            {
+                role: "boundary-declaration",
+                message: "This project contract declares the violated boundary.",
+                file: options.projectContractPath,
+                range: projectBoundaryRange(options.projectText, boundaryIndex),
+            },
+        ],
+        repair: {
+            strategy: "remove-forbidden-module-edge",
+            hint: `Move shared contracts behind an allowed module and remove the dependency on ${target.file}.`,
+            mustPreserve: [
+                `boundary ${boundary.id}`,
+                `${target.role} classification of ${target.file}`,
+            ],
+            mustNot: [
+                "delete the boundary",
+                `reclassify ${target.file} to hide the violation`,
+            ],
+        },
+    };
+}
+function dynamicImportDiagnostic(source, range, boundary, boundaryIndex, options) {
+    return {
+        code: "module.dynamic_import_unsupported",
+        severity: "error",
+        category: "environment-boundary",
+        message: `Boundary ${JSON.stringify(boundary.id)} cannot analyze a non-literal dynamic import.`,
+        file: source.file,
+        range,
+        facts: {
+            boundaryId: boundary.id,
+            mode: boundary.mode,
+            sourceRole: source.role,
+        },
+        related: [
+            {
+                role: "boundary-declaration",
+                message: "This project contract requires deterministic import analysis.",
+                file: options.projectContractPath,
+                range: projectBoundaryRange(options.projectText, boundaryIndex),
+            },
+        ],
+        repair: {
+            strategy: "make-dynamic-import-literal",
+            hint: "Replace the computed dynamic import with explicit literal import targets.",
+            mustPreserve: [`boundary ${boundary.id}`, "module loading behavior"],
+            mustNot: ["disable the boundary", "hide the import behind runtime string construction"],
+        },
+    };
+}
+function validateBoundaries(boundaries, fileRoles) {
+    const roles = new Set(fileRoles.map((entry) => entry.role));
+    const ids = new Set();
+    for (const boundary of boundaries) {
+        if (ids.has(boundary.id)) {
+            throw new InputFailure("configuration", "boundaries.duplicate_id", `Boundary ${JSON.stringify(boundary.id)} is declared more than once.`);
+        }
+        ids.add(boundary.id);
+        for (const role of [...boundary.from, ...boundary.deny]) {
+            if (!roles.has(role)) {
+                throw new InputFailure("configuration", "boundaries.role_unknown", `Boundary ${JSON.stringify(boundary.id)} references unknown role ${JSON.stringify(role)}.`);
+            }
+        }
+    }
+}
+function classifyProjectRole(file, featureRoots, fileRoles) {
+    const feature = findFeatureOwner(file, featureRoots);
+    if (feature === undefined) {
+        return "unclassified";
+    }
+    const featureFile = file.slice(feature.root.length + 1);
+    return fileRoles.find((entry) => featureFile.startsWith(`${entry.withinFeature}/`))?.role ?? "unclassified";
+}
+function resolveImport(sourceFile, specifier, discovered) {
+    if (!specifier.startsWith(".")) {
+        return undefined;
+    }
+    const base = path.posix.normalize(path.posix.join(path.posix.dirname(sourceFile), specifier));
+    if (base.startsWith("../") || path.posix.isAbsolute(base)) {
+        throw new InputFailure("configuration", "module.import_escapes_root", `Import ${JSON.stringify(specifier)} from ${JSON.stringify(sourceFile)} escapes the project source root.`, sourceFile);
+    }
+    for (const candidate of importCandidates(base)) {
+        if (discovered.has(candidate)) {
+            return candidate;
+        }
+    }
+    const extension = path.posix.extname(base);
+    if (extension.length === 0 || sourceExtensions.includes(extension)) {
+        throw new InputFailure("configuration", "module.import_unresolved", `Import ${JSON.stringify(specifier)} from ${JSON.stringify(sourceFile)} did not resolve to a discovered source module.`, sourceFile);
+    }
+    return undefined;
+}
+function importCandidates(base) {
+    const extension = path.posix.extname(base);
+    if ([".js", ".mjs", ".cjs"].includes(extension)) {
+        const stem = base.slice(0, -extension.length);
+        return [
+            `${stem}.ts`,
+            `${stem}.tsx`,
+            `${stem}.mts`,
+            `${stem}.cts`,
+            base,
+        ];
+    }
+    if (extension.length > 0) {
+        return [base];
+    }
+    return [
+        ...sourceExtensions.map((candidateExtension) => `${base}${candidateExtension}`),
+        ...sourceExtensions.map((candidateExtension) => `${base}/index${candidateExtension}`),
+    ];
+}
+function isSourceFile(file) {
+    return sourceExtensions.includes(path.posix.extname(file));
+}
+function compareEdges(left, right) {
+    return (compareText(left.target, right.target) ||
+        compareText(left.specifier, right.specifier) ||
+        compareText(left.edgeKind, right.edgeKind) ||
+        left.range.start.line - right.range.start.line ||
+        left.range.start.character - right.range.start.character);
+}
+function zeroRange() {
+    return {
+        start: { line: 0, character: 0 },
+        end: { line: 0, character: 0 },
+    };
+}
+//# sourceMappingURL=module-boundary-rule.js.map

package/dist/src/module-boundary-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-boundary-rule.js","sourceRoot":"","sources":["../../src/module-boundary-rule.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAWlC,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAkBvD,MAAM,gBAAgB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAExF,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,OAQ3C;IACC,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,kBAAkB,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe;SACxC,MAAM,CAAC,YAAY,CAAC;SACpB,IAAI,CAAC,WAAW,CAAC,CAAC;IACrB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC;IACxC,MAAM,YAAY,GAAG,gBAAgB,CACnC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;KACnC,CAAC,CAAC,CACJ,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzB,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6B,CAAC;IACrD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC3C,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;YAChE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,OAAO,CAAC;oBACN,QAAQ,EAAE,KAAK,CAAC,QAAQ;oBACxB,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,MAAM;iBACP,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE;YAChB,IAAI;YACJ,IAAI,EAAE,mBAAmB,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,SAAS,CAAC;YAChE,IAAI;YACJ,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC;SACrC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,aAAa,EAAE,EAAE;QACrD,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;aAChC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;aACvD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC/B,WAAW,CAAC,IAAI,CACd,GAAG,mBAAmB,CACpB,IAAI,EACJ,QAAQ,EACR,aAAa,EACb,OAAO,EACP,OAAO,CACR,CACF,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,WAAW,CAAC,IAAI,CACd,GAAG,uBAAuB,CACxB,IAAI,EACJ,QAAQ,EACR,aAAa,EACb,OAAO,EACP,OAAO,CACR,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAuB,EACvB,QAA0B,EAC1B,aAAqB,EACrB,OAA+C,EAC/C,OAGC;IAED,MAAM,WAAW,GAAiB,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAClF,uBAAuB,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,CACvE,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAChE,WAAW,CAAC,IAAI,CACd,2BAA2B,CACzB,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EACxB,QAAQ,EACR,aAAa,EACb,OAAO,CACR,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAuB,EACvB,QAA0B,EAC1B,aAAqB,EACrB,OAA+C,EAC/C,OAGC;IAED,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,KAAK,GAAqF;QAC9F,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;KACrC,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,WAAW,CAAC,IAAI,CACd,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7D,uBAAuB,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,CACjF,CACF,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACxC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,WAAW,CAAC,IAAI,CACd,2BAA2B,CACzB,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,KAAK,EACL,QAAQ,EACR,aAAa,EACb,OAAO,CACR,CACF,CAAC;YACJ,CAAC;iBAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,2BAA2B,CAClC,IAAuB,EACvB,IAAwB,EACxB,MAAyB,EACzB,WAA8B,EAC9B,QAA0B,EAC1B,aAAqB,EACrB,OAGC;IAED,OAAO;QACL,IAAI,EAAE,2BAA2B;QACjC,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,sBAAsB;QAChC,OAAO,EAAE,YAAY,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG;QAChL,IAAI,EAAE,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI;QACtD,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,KAAK,EAAE;YACL,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,WAAW;YACX,eAAe,EAAE,IAAI,CAAC,SAAS;YAC/B,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,UAAU,EAAE,IAAI,CAAC,IAAI;YACrB,UAAU,EAAE,MAAM,CAAC,IAAI;YACvB,UAAU,EAAE,MAAM,CAAC,IAAI;SACxB;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,gCAAgC,MAAM,CAAC,IAAI,GAAG;gBACvD,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,SAAS,EAAE;aACnB;YACD;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,uDAAuD;gBAChE,IAAI,EAAE,OAAO,CAAC,mBAAmB;gBACjC,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC;aAChE;SACF;QACD,MAAM,EAAE;YACN,QAAQ,EAAE,8BAA8B;YACxC,IAAI,EAAE,+EAA+E,MAAM,CAAC,IAAI,GAAG;YACnG,YAAY,EAAE;gBACZ,YAAY,QAAQ,CAAC,EAAE,EAAE;gBACzB,GAAG,MAAM,CAAC,IAAI,sBAAsB,MAAM,CAAC,IAAI,EAAE;aAClD;YACD,OAAO,EAAE;gBACP,qBAAqB;gBACrB,cAAc,MAAM,CAAC,IAAI,wBAAwB;aAClD;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,MAAyB,EACzB,KAAkB,EAClB,QAA0B,EAC1B,aAAqB,EACrB,OAGC;IAED,OAAO;QACL,IAAI,EAAE,mCAAmC;QACzC,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,sBAAsB;QAChC,OAAO,EAAE,YAAY,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,+CAA+C;QAC/F,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,KAAK;QACL,KAAK,EAAE;YACL,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,UAAU,EAAE,MAAM,CAAC,IAAI;SACxB;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,+DAA+D;gBACxE,IAAI,EAAE,OAAO,CAAC,mBAAmB;gBACjC,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC;aAChE;SACF;QACD,MAAM,EAAE;YACN,QAAQ,EAAE,6BAA6B;YACvC,IAAI,EAAE,2EAA2E;YACjF,YAAY,EAAE,CAAC,YAAY,QAAQ,CAAC,EAAE,EAAE,EAAE,yBAAyB,CAAC;YACpE,OAAO,EAAE,CAAC,sBAAsB,EAAE,oDAAoD,CAAC;SACxF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,UAAuC,EACvC,SAAsC;IAEtC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,yBAAyB,EACzB,YAAY,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,8BAA8B,CACtE,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACrB,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,yBAAyB,EACzB,YAAY,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,4BAA4B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAC3F,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAY,EACZ,YAAkD,EAClD,SAAsC;IAEtC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACrD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACxD,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC9B,WAAW,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,aAAa,GAAG,CAAC,CAClD,EAAE,IAAI,IAAI,cAAc,CAAC;AAC5B,CAAC;AAED,SAAS,aAAa,CACpB,UAAkB,EAClB,SAAiB,EACjB,UAA+B;IAE/B,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;IAC9F,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,4BAA4B,EAC5B,UAAU,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,mCAAmC,EACzG,UAAU,CACX,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9B,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,gBAAgB,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,0BAA0B,EAC1B,UAAU,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,iDAAiD,EACvH,UAAU,CACX,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY;IACpC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC9C,OAAO;YACL,GAAG,IAAI,KAAK;YACZ,GAAG,IAAI,MAAM;YACb,GAAG,IAAI,MAAM;YACb,GAAG,IAAI,MAAM;YACb,IAAI;SACL,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IACD,OAAO;QACL,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,kBAAkB,EAAE,EAAE,CAAC,GAAG,IAAI,GAAG,kBAAkB,EAAE,CAAC;QAC/E,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,kBAAkB,EAAE,EAAE,CAAC,GAAG,IAAI,SAAS,kBAAkB,EAAE,CAAC;KACtF,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,YAAY,CAAC,IAAwB,EAAE,KAAyB;IACvE,OAAO,CACL,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;QACtC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;QAC5C,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC;QAC1C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI;QAC9C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CACzD,CAAC;AACJ,CAAC;AAED,SAAS,SAAS;IAChB,OAAO;QACL,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;QAChC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;KAC/B,CAAC;AACJ,CAAC"}

package/dist/src/ownership-rule.d.ts

@@ -0,0 +1,13 @@
+import type { Diagnostic, OwnershipRuleContract } from "@0disoft/mensor-contract";
+export interface FeatureOwnerFact {
+    readonly id: string;
+    readonly root: string;
+}
+export declare function checkOwnershipRules(options: {
+    readonly projectContractPath: string;
+    readonly projectText: string;
+    readonly features: readonly FeatureOwnerFact[];
+    readonly rules: readonly OwnershipRuleContract[];
+    readonly discoveredFiles: readonly string[];
+}): readonly Diagnostic[];
+//# sourceMappingURL=ownership-rule.d.ts.map

package/dist/src/ownership-rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ownership-rule.d.ts","sourceRoot":"","sources":["../../src/ownership-rule.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,EAEV,qBAAqB,EACtB,MAAM,0BAA0B,CAAC;AAMlC,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,mBAAmB,CAAC,OAAO,EAAE;IAC3C,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACjD,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7C,GAAG,SAAS,UAAU,EAAE,CA8CxB"}

package/dist/src/ownership-rule.js

@@ -0,0 +1,98 @@
+import { projectOwnershipRuleRange } from "./locations.js";
+import { findFeatureOwner, sortFeatureRoots } from "./feature-roots.js";
+import { assertRelativePosixPath, compareText, InputFailure } from "./paths.js";
+export function checkOwnershipRules(options) {
+    validateRules(options.rules);
+    const features = sortFeatureRoots(options.features);
+    const diagnostics = [];
+    options.rules.forEach((rule, ruleIndex) => {
+        const expectedSlot = assertRelativePosixPath(rule.withinFeature, "ownershipRules.withinFeature");
+        for (const file of [...options.discoveredFiles].sort(compareText)) {
+            if (!rule.suffixes.some((suffix) => file.endsWith(suffix))) {
+                continue;
+            }
+            const feature = findFeatureOwner(file, features);
+            if (feature === undefined) {
+                diagnostics.push(ownershipDiagnostic({
+                    file,
+                    actualPath: file,
+                    featureId: null,
+                    rule,
+                    ruleIndex,
+                    projectContractPath: options.projectContractPath,
+                    projectText: options.projectText,
+                }));
+                continue;
+            }
+            const featurePath = file.slice(feature.root.length + 1);
+            if (featurePath.startsWith(`${expectedSlot}/`)) {
+                continue;
+            }
+            diagnostics.push(ownershipDiagnostic({
+                file,
+                actualPath: featurePath,
+                featureId: feature.id,
+                rule,
+                ruleIndex,
+                projectContractPath: options.projectContractPath,
+                projectText: options.projectText,
+            }));
+        }
+    });
+    return diagnostics;
+}
+function ownershipDiagnostic(options) {
+    const owner = options.featureId === null
+        ? "outside every declared feature"
+        : `outside feature slot ${JSON.stringify(options.rule.withinFeature)}`;
+    return {
+        code: "file.ownership_mismatch",
+        severity: "error",
+        category: "project-structure",
+        message: `${options.rule.kind} file ${JSON.stringify(options.file)} is ${owner}.`,
+        file: options.file,
+        range: {
+            start: { line: 0, character: 0 },
+            end: { line: 0, character: 0 },
+        },
+        facts: {
+            actualPath: options.actualPath,
+            expectedWithinFeature: options.rule.withinFeature,
+            featureId: options.featureId,
+            kind: options.rule.kind,
+            ruleId: options.rule.id,
+        },
+        related: [
+            {
+                role: "ownership-rule",
+                message: "This project contract declares the required feature slot.",
+                file: options.projectContractPath,
+                range: projectOwnershipRuleRange(options.projectText, options.ruleIndex),
+            },
+        ],
+        repair: {
+            strategy: "move-file-to-feature-owner",
+            hint: options.featureId === null
+                ? `Move the file under its owning feature's ${options.rule.withinFeature} directory.`
+                : `Move the file to ${options.rule.withinFeature} inside feature ${options.featureId}.`,
+            mustPreserve: [
+                `${options.rule.kind} file behavior`,
+                `ownership rule ${options.rule.id}`,
+            ],
+            mustNot: [
+                "delete the ownership rule",
+                "rename the file only to evade suffix detection",
+            ],
+        },
+    };
+}
+function validateRules(rules) {
+    const ids = new Set();
+    for (const rule of rules) {
+        if (ids.has(rule.id)) {
+            throw new InputFailure("configuration", "ownership_rules.duplicate_id", `Ownership rule ${JSON.stringify(rule.id)} is declared more than once.`);
+        }
+        ids.add(rule.id);
+    }
+}
+//# sourceMappingURL=ownership-rule.js.map

package/dist/src/ownership-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ownership-rule.js","sourceRoot":"","sources":["../../src/ownership-rule.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAAE,uBAAuB,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAOhF,MAAM,UAAU,mBAAmB,CAAC,OAMnC;IACC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpD,MAAM,WAAW,GAAsC,EAAE,CAAC;IAC1D,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;QACxC,MAAM,YAAY,GAAG,uBAAuB,CAC1C,IAAI,CAAC,aAAa,EAClB,8BAA8B,CAC/B,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YAClE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBAC3D,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACjD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,WAAW,CAAC,IAAI,CACd,mBAAmB,CAAC;oBAClB,IAAI;oBACJ,UAAU,EAAE,IAAI;oBAChB,SAAS,EAAE,IAAI;oBACf,IAAI;oBACJ,SAAS;oBACT,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;oBAChD,WAAW,EAAE,OAAO,CAAC,WAAW;iBACjC,CAAC,CACH,CAAC;gBACF,SAAS;YACX,CAAC;YACD,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACxD,IAAI,WAAW,CAAC,UAAU,CAAC,GAAG,YAAY,GAAG,CAAC,EAAE,CAAC;gBAC/C,SAAS;YACX,CAAC;YACD,WAAW,CAAC,IAAI,CACd,mBAAmB,CAAC;gBAClB,IAAI;gBACJ,UAAU,EAAE,WAAW;gBACvB,SAAS,EAAE,OAAO,CAAC,EAAE;gBACrB,IAAI;gBACJ,SAAS;gBACT,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;gBAChD,WAAW,EAAE,OAAO,CAAC,WAAW;aACjC,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,mBAAmB,CAAC,OAQ5B;IACC,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,KAAK,IAAI;QACtC,CAAC,CAAC,gCAAgC;QAClC,CAAC,CAAC,wBAAwB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;IACzE,OAAO;QACL,IAAI,EAAE,yBAAyB;QAC/B,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,mBAAmB;QAC7B,OAAO,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,KAAK,GAAG;QACjF,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,KAAK,EAAE;YACL,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;YAChC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;SAC/B;QACD,KAAK,EAAE;YACL,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,qBAAqB,EAAE,OAAO,CAAC,IAAI,CAAC,aAAa;YACjD,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI;YACvB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE;SACxB;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,2DAA2D;gBACpE,IAAI,EAAE,OAAO,CAAC,mBAAmB;gBACjC,KAAK,EAAE,yBAAyB,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,SAAS,CAAC;aACzE;SACF;QACD,MAAM,EAAE;YACN,QAAQ,EAAE,4BAA4B;YACtC,IAAI,EAAE,OAAO,CAAC,SAAS,KAAK,IAAI;gBAC9B,CAAC,CAAC,4CAA4C,OAAO,CAAC,IAAI,CAAC,aAAa,aAAa;gBACrF,CAAC,CAAC,oBAAoB,OAAO,CAAC,IAAI,CAAC,aAAa,mBAAmB,OAAO,CAAC,SAAS,GAAG;YACzF,YAAY,EAAE;gBACZ,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,gBAAgB;gBACpC,kBAAkB,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE;aACpC;YACD,OAAO,EAAE;gBACP,2BAA2B;gBAC3B,gDAAgD;aACjD;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAuC;IAC5D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,8BAA8B,EAC9B,kBAAkB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,8BAA8B,CACxE,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;AACH,CAAC"}

package/dist/src/paths.d.ts

@@ -0,0 +1,11 @@
+export declare function assertRelativePosixPath(value: string, label: string): string;
+export declare function fromProjectPath(root: string, relativePath: string): string;
+export declare function joinProjectPath(...parts: readonly string[]): string;
+export declare function compareText(left: string, right: string): number;
+export declare class InputFailure extends Error {
+    readonly kind: "configuration" | "filesystem";
+    readonly code: string;
+    readonly file?: string;
+    constructor(kind: "configuration" | "filesystem", code: string, message: string, file?: string);
+}
+//# sourceMappingURL=paths.d.ts.map

package/dist/src/paths.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../../src/paths.ts"],"names":[],"mappings":"AAEA,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAqB5E;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,MAAM,CAE1E;AAED,wBAAgB,eAAe,CAAC,GAAG,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAEnE;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAE/D;AAED,qBAAa,YAAa,SAAQ,KAAK;IACrC,QAAQ,CAAC,IAAI,EAAE,eAAe,GAAG,YAAY,CAAC;IAC9C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;gBAGrB,IAAI,EAAE,eAAe,GAAG,YAAY,EACpC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,IAAI,CAAC,EAAE,MAAM;CAUhB"}

package/dist/src/paths.js

@@ -0,0 +1,35 @@
+import * as path from "node:path";
+export function assertRelativePosixPath(value, label) {
+    if (value.length === 0 || value.includes("\\") || path.posix.isAbsolute(value)) {
+        throw new InputFailure("configuration", "path.invalid", `${label} must be a non-empty project-relative POSIX path.`, value);
+    }
+    const segments = value.split("/");
+    if (segments.some((segment) => segment === "" || segment === "." || segment === "..")) {
+        throw new InputFailure("configuration", "path.invalid", `${label} contains an empty, current-directory, or parent-directory segment.`, value);
+    }
+    return segments.join("/");
+}
+export function fromProjectPath(root, relativePath) {
+    return path.join(root, ...relativePath.split("/"));
+}
+export function joinProjectPath(...parts) {
+    return parts.filter((part) => part !== "." && part !== "").join("/");
+}
+export function compareText(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+export class InputFailure extends Error {
+    kind;
+    code;
+    file;
+    constructor(kind, code, message, file) {
+        super(message);
+        this.name = "InputFailure";
+        this.kind = kind;
+        this.code = code;
+        if (file !== undefined) {
+            this.file = file;
+        }
+    }
+}
+//# sourceMappingURL=paths.js.map

package/dist/src/paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"paths.js","sourceRoot":"","sources":["../../src/paths.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,MAAM,UAAU,uBAAuB,CAAC,KAAa,EAAE,KAAa;IAClE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/E,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,cAAc,EACd,GAAG,KAAK,mDAAmD,EAC3D,KAAK,CACN,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,EAAE,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,cAAc,EACd,GAAG,KAAK,qEAAqE,EAC7E,KAAK,CACN,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,YAAoB;IAChE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,GAAG,KAAwB;IACzD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,KAAa;IACrD,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,OAAO,YAAa,SAAQ,KAAK;IAC5B,IAAI,CAAiC;IACrC,IAAI,CAAS;IACb,IAAI,CAAU;IAEvB,YACE,IAAoC,EACpC,IAAY,EACZ,OAAe,EACf,IAAa;QAEb,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;QAC3B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACnB,CAAC;IACH,CAAC;CACF"}

package/dist/src/route-index.d.ts

@@ -0,0 +1,9 @@
+import type { ContentDigest, RouteIndex } from "@0disoft/mensor-contract";
+import type { SourceFactIndex } from "./source-fact-index.js";
+export declare function verifyRouteIndex(options: {
+    readonly routeIndex: RouteIndex;
+    readonly discovered: ReadonlySet<string>;
+    readonly sourceFacts: SourceFactIndex;
+}): Promise<RouteIndex>;
+export declare function contentDigest(source: string | Uint8Array): ContentDigest;
+//# sourceMappingURL=route-index.d.ts.map

package/dist/src/route-index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"route-index.d.ts","sourceRoot":"","sources":["../../src/route-index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,aAAa,EACb,UAAU,EAGX,MAAM,0BAA0B,CAAC;AAGlC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D,wBAAsB,gBAAgB,CAAC,OAAO,EAAE;IAC9C,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC;CACvC,GAAG,OAAO,CAAC,UAAU,CAAC,CAuBtB;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,GAAG,aAAa,CAExE"}

package/dist/src/route-index.js

@@ -0,0 +1,31 @@
+import { createHash } from "node:crypto";
+import { InputFailure } from "./paths.js";
+export async function verifyRouteIndex(options) {
+    for (const route of options.routeIndex.routes) {
+        const file = route.source.file;
+        if (!options.discovered.has(file)) {
+            throw new InputFailure("configuration", "route_index.source_not_discovered", `RouteIndex source ${JSON.stringify(file)} is not a discovered source file.`, file);
+        }
+        const source = await options.sourceFacts.source(file);
+        if (contentDigest(source) !== route.source.contentDigest) {
+            throw new InputFailure("configuration", "route_index.digest_mismatch", `RouteIndex source digest does not match ${JSON.stringify(file)}.`, file);
+        }
+        assertRangeWithinSource(route.source.range, source, file);
+    }
+    return options.routeIndex;
+}
+export function contentDigest(source) {
+    return `sha256:${createHash("sha256").update(source).digest("hex")}`;
+}
+function assertRangeWithinSource(range, source, file) {
+    const lines = source.split(/\r\n|\n|\r/u);
+    assertPositionWithinSource(range.start, lines, file);
+    assertPositionWithinSource(range.end, lines, file);
+}
+function assertPositionWithinSource(position, lines, file) {
+    const line = lines[position.line];
+    if (line === undefined || position.character > line.length) {
+        throw new InputFailure("configuration", "route_index.range_invalid", `RouteIndex source range falls outside ${JSON.stringify(file)}.`, file);
+    }
+}
+//# sourceMappingURL=route-index.js.map

package/dist/src/route-index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"route-index.js","sourceRoot":"","sources":["../../src/route-index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AASzC,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG1C,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,OAItC;IACC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;QAC/B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,mCAAmC,EACnC,qBAAqB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,mCAAmC,EAC5E,IAAI,CACL,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,aAAa,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;YACzD,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,6BAA6B,EAC7B,2CAA2C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,EAClE,IAAI,CACL,CAAC;QACJ,CAAC;QACD,uBAAuB,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,OAAO,CAAC,UAAU,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAA2B;IACvD,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACvE,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAkB,EAClB,MAAc,EACd,IAAY;IAEZ,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC1C,0BAA0B,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACrD,0BAA0B,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,0BAA0B,CACjC,QAAwB,EACxB,KAAwB,EACxB,IAAY;IAEZ,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3D,MAAM,IAAI,YAAY,CACpB,eAAe,EACf,2BAA2B,EAC3B,yCAAyC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,EAChE,IAAI,CACL,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/src/route-rule.d.ts

@@ -0,0 +1,11 @@
+import type { Diagnostic, FeatureContract, RouteIndex } from "@0disoft/mensor-contract";
+export declare function checkFeatureRoutes(options: {
+    readonly featureContractPath: string;
+    readonly featureText: string;
+    readonly feature: FeatureContract;
+    readonly projectContractPath: string;
+    readonly projectText: string;
+    readonly routeIndexPath: string;
+    readonly routeIndex: RouteIndex;
+}): readonly Diagnostic[];
+//# sourceMappingURL=route-rule.d.ts.map

package/dist/src/route-rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"route-rule.d.ts","sourceRoot":"","sources":["../../src/route-rule.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,EACV,eAAe,EACf,UAAU,EAEX,MAAM,0BAA0B,CAAC;AAQlC,wBAAgB,kBAAkB,CAAC,OAAO,EAAE;IAC1C,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC,GAAG,SAAS,UAAU,EAAE,CAuDxB"}

package/dist/src/route-rule.js

@@ -0,0 +1,54 @@
+import { actionRoutePropertyRange, projectRouteIndexRange, } from "./locations.js";
+import { compareText } from "./paths.js";
+export function checkFeatureRoutes(options) {
+    const diagnostics = [];
+    const indexed = new Set(options.routeIndex.routes.map((route) => `${route.method}\u0000${route.path}`));
+    const postPaths = [...new Set(options.routeIndex.routes
+            .filter((route) => route.method === "POST")
+            .map((route) => route.path))].sort(compareText);
+    options.feature.actions.forEach((action, actionIndex) => {
+        const key = `${action.route.method}\u0000${action.route.path}`;
+        if (indexed.has(key)) {
+            return;
+        }
+        diagnostics.push({
+            code: "route.missing",
+            severity: "error",
+            category: "route-contract",
+            message: `RouteIndex does not contain ${action.route.method} ${JSON.stringify(action.route.path)} for action ${JSON.stringify(action.id)}.`,
+            file: options.featureContractPath,
+            range: actionRoutePropertyRange(options.featureText, actionIndex, "path"),
+            facts: {
+                actionId: action.id,
+                expectedMethod: action.route.method,
+                expectedPath: action.route.path,
+                routeIndex: options.routeIndexPath,
+                sameMethodPaths: postPaths,
+            },
+            related: [
+                {
+                    role: "route-index-declaration",
+                    message: "The project contract enables this source-bound RouteIndex.",
+                    file: options.projectContractPath,
+                    range: projectRouteIndexRange(options.projectText),
+                },
+            ],
+            repair: {
+                strategy: "reconcile-indexed-route",
+                hint: `Add ${action.route.method} ${action.route.path} to the application route source and regenerate ${options.routeIndexPath}, or update the action contract when the route change is intentional.`,
+                mustPreserve: [
+                    `action ${action.id}`,
+                    `form route ${action.route.path}`,
+                    "source-bound RouteIndex verification",
+                ],
+                mustNot: [
+                    "delete the RouteIndex declaration",
+                    "edit the content digest without regenerating route facts",
+                    "weaken the form action contract",
+                ],
+            },
+        });
+    });
+    return diagnostics;
+}
+//# sourceMappingURL=route-rule.js.map

package/dist/src/route-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"route-rule.js","sourceRoot":"","sources":["../../src/route-rule.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,MAAM,UAAU,kBAAkB,CAAC,OAQlC;IACC,MAAM,WAAW,GAA6B,EAAE,CAAC;IACjD,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,SAAS,KAAK,CAAC,IAAI,EAAE,CAAC,CAC/E,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,GAAG,CAC3B,OAAO,CAAC,UAAU,CAAC,MAAM;aACtB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC;aAC1C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAC9B,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAErB,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE;QACtD,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,SAAS,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC/D,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO;QACT,CAAC;QACD,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,eAAe;YACrB,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE,gBAAgB;YAC1B,OAAO,EAAE,+BAA+B,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG;YAC3I,IAAI,EAAE,OAAO,CAAC,mBAAmB;YACjC,KAAK,EAAE,wBAAwB,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,EAAE,MAAM,CAAC;YACzE,KAAK,EAAE;gBACL,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM;gBACnC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI;gBAC/B,UAAU,EAAE,OAAO,CAAC,cAAc;gBAClC,eAAe,EAAE,SAAS;aAC3B;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,4DAA4D;oBACrE,IAAI,EAAE,OAAO,CAAC,mBAAmB;oBACjC,KAAK,EAAE,sBAAsB,CAAC,OAAO,CAAC,WAAW,CAAC;iBACnD;aACF;YACD,MAAM,EAAE;gBACN,QAAQ,EAAE,yBAAyB;gBACnC,IAAI,EAAE,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,mDAAmD,OAAO,CAAC,cAAc,uEAAuE;gBACrM,YAAY,EAAE;oBACZ,UAAU,MAAM,CAAC,EAAE,EAAE;oBACrB,cAAc,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE;oBACjC,sCAAsC;iBACvC;gBACD,OAAO,EAAE;oBACP,mCAAmC;oBACnC,0DAA0D;oBAC1D,iCAAiC;iBAClC;aACF;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/src/source-fact-index.d.ts

@@ -0,0 +1,8 @@
+import type { CompilerTiming } from "./compiler-timing.js";
+import { type ModuleFact } from "./typescript-source.js";
+export interface SourceFactIndex {
+    readonly get: (file: string) => Promise<ModuleFact>;
+    readonly source: (file: string) => Promise<string>;
+}
+export declare function createSourceFactIndex(readSource: (file: string) => Promise<string>, timing?: CompilerTiming): SourceFactIndex;
+//# sourceMappingURL=source-fact-index.d.ts.map

package/dist/src/source-fact-index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-fact-index.d.ts","sourceRoot":"","sources":["../../src/source-fact-index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D,OAAO,EAAqB,KAAK,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAE5E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,UAAU,CAAC,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;CACpD;AAED,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,EAC7C,MAAM,CAAC,EAAE,cAAc,GACtB,eAAe,CAwBjB"}

package/dist/src/source-fact-index.js

@@ -0,0 +1,38 @@
+import { InputFailure } from "./paths.js";
+import { extractModuleFact } from "./typescript-source.js";
+export function createSourceFactIndex(readSource, timing) {
+    const sources = new Map();
+    const facts = new Map();
+    const source = (file) => {
+        let value = sources.get(file);
+        if (value === undefined) {
+            value = timing === undefined
+                ? readSource(file)
+                : timing.measure("sourceRead", () => readSource(file));
+            sources.set(file, value);
+        }
+        return value;
+    };
+    return {
+        get(file) {
+            let fact = facts.get(file);
+            if (fact === undefined) {
+                fact = readAndParseSource(source, file, timing);
+                facts.set(file, fact);
+            }
+            return fact;
+        },
+        source,
+    };
+}
+async function readAndParseSource(sourceForFile, file, timing) {
+    const sourceText = await sourceForFile(file);
+    const fact = timing === undefined
+        ? extractModuleFact(sourceText, file)
+        : timing.measureSync("typescriptExtraction", () => extractModuleFact(sourceText, file));
+    if (fact.syntaxErrors.length > 0) {
+        throw new InputFailure("configuration", "typescript.syntax_invalid", `Source ${JSON.stringify(file)} contains unsupported syntax: ${fact.syntaxErrors[0]}`, file);
+    }
+    return fact;
+}
+//# sourceMappingURL=source-fact-index.js.map