@intentset/architecture 0.1.0

package/dist/config.js

@@ -0,0 +1,159 @@
+/**
+ * Where the regions are, what counts as a test, which files may import
+ * screens or the response parser, and the declared scope (VSA §5, §6, §9;
+ * profile §2–§4). Every value has a default for the reference layout of
+ * profile §1. A repository states its own in `.intentset/architecture.yaml`,
+ * a file of its own because `.intentset/config.yaml` belongs to core and
+ * rejects keys it does not know.
+ */
+import { parseYamlDetailed } from "@intentset/core";
+import { compareStrings, validatePattern } from "./patterns.js";
+export const ARCHITECTURE_CONFIG_PATH = ".intentset/architecture.yaml";
+export const DEFAULT_ARCHITECTURE_CONFIG = {
+    scope: ["**"],
+    sourceRoots: ["src/**"],
+    shared: ["src/shared/**"],
+    infrastructure: ["src/infrastructure/**"],
+    composition: ["src/app/**"],
+    backendRoots: ["amplify/**"],
+    routerFiles: [],
+    responseParserModules: [],
+    ignore: ["**/node_modules/**", "**/dist/**", ".git/**"],
+    tests: ["**/*.test.ts", "**/*.test.tsx", "**/*.spec.ts", "**/*.spec.tsx"],
+    screensGlob: "**/ui/screens/**",
+    backendSdks: ["aws-amplify/**", "@aws-amplify/**", "@aws-sdk/**"],
+    layerMatrix: {
+        presentation: ["presentation", "application", "policy", "model"],
+        application: ["application", "policy", "model", "external"],
+        policy: ["policy", "model"],
+        model: ["model"],
+        external: ["external", "model"],
+    },
+    conditions: [],
+};
+const LIST_KEYS = [
+    "scope",
+    "sourceRoots",
+    "shared",
+    "infrastructure",
+    "composition",
+    "backendRoots",
+    "routerFiles",
+    "responseParserModules",
+    "ignore",
+    "tests",
+    "backendSdks",
+    "conditions",
+];
+/** Keys whose entries are path patterns and must pass validatePattern. */
+const PATTERN_KEYS = new Set([
+    "scope",
+    "sourceRoots",
+    "shared",
+    "infrastructure",
+    "composition",
+    "backendRoots",
+    "routerFiles",
+    "responseParserModules",
+    "ignore",
+    "tests",
+    "screensGlob",
+]);
+const KNOWN_KEYS = [...LIST_KEYS, "screensGlob", "layerMatrix"].sort(compareStrings);
+/** The defaults with a partial configuration laid over them; a key given replaces the default whole. */
+export function resolveConfig(...layers) {
+    const config = structuredClone(DEFAULT_ARCHITECTURE_CONFIG);
+    for (const layer of layers) {
+        if (layer === undefined)
+            continue;
+        for (const [key, value] of Object.entries(layer)) {
+            if (value !== undefined)
+                config[key] = structuredClone(value);
+        }
+    }
+    return config;
+}
+/**
+ * Read `.intentset/architecture.yaml` with core's strict reader. Every key is
+ * optional; an unknown key, a wrong shape or an invalid pattern is CFG001
+ * with origin "architecture", and that key keeps its default.
+ */
+export function readArchitectureConfig(text, path = ARCHITECTURE_CONFIG_PATH) {
+    const config = {};
+    const diagnostics = [];
+    const parsed = parseYamlDetailed(text);
+    const report = (field, line, message, remediation) => {
+        diagnostics.push({
+            code: "CFG001",
+            severity: "error",
+            origin: "architecture",
+            artifact: null,
+            path,
+            ...(line !== undefined ? { location: { line } } : {}),
+            ...(field !== undefined ? { field } : {}),
+            message,
+            remediation,
+        });
+    };
+    if (parsed.error !== null) {
+        report(undefined, parsed.error.line, `The architecture configuration does not parse: ${parsed.error.message}`, "Write it as a block mapping of the keys documented for ArchitectureConfig.");
+        return { config, diagnostics };
+    }
+    const root = parsed.value;
+    const at = (field) => parsed.lines.get(field);
+    for (const key of Object.keys(root).sort(compareStrings)) {
+        const field = `/${key}`;
+        const value = root[key];
+        if (!KNOWN_KEYS.includes(key)) {
+            report(field, at(field), `Unknown architecture configuration key \`${key}\`.`, `Remove it; the keys are ${KNOWN_KEYS.join(", ")}.`);
+            continue;
+        }
+        if (value === null)
+            continue;
+        if (key === "screensGlob") {
+            const why = typeof value === "string" ? validatePattern(value) : "is not a string";
+            if (why !== null) {
+                report(field, at(field), `screensGlob ${why}.`, "Give one pattern such as **/ui/screens/**.");
+            }
+            else
+                config.screensGlob = value;
+            continue;
+        }
+        if (key === "layerMatrix") {
+            const matrix = readMatrix(value);
+            if (matrix === null) {
+                report(field, at(field), "layerMatrix must map each layer name to a list of layer names.", "Write each layer as `presentation: [presentation, application]`.");
+            }
+            else
+                config.layerMatrix = matrix;
+            continue;
+        }
+        if (!Array.isArray(value) || !value.every((item) => typeof item === "string" && item !== "")) {
+            report(field, at(field), `\`${key}\` must be a list of non-empty strings.`, `Write ${key} as a sequence.`);
+            continue;
+        }
+        const list = value;
+        if (PATTERN_KEYS.has(key)) {
+            const bad = list.findIndex((pattern) => validatePattern(pattern) !== null);
+            if (bad !== -1) {
+                const pointer = `${field}/${bad}`;
+                report(pointer, at(pointer) ?? at(field), `Pattern ${list[bad]} in \`${key}\` ${validatePattern(list[bad])}.`, "Use literal segments, `*` within a segment and `**` across segments only (VSA §3).");
+                continue;
+            }
+        }
+        config[key] = [...list];
+    }
+    return { config, diagnostics };
+}
+function readMatrix(value) {
+    if (typeof value !== "object" || value === null || Array.isArray(value))
+        return null;
+    const matrix = {};
+    for (const [layer, targets] of Object.entries(value)) {
+        if (!Array.isArray(targets) || !targets.every((item) => typeof item === "string"))
+            return null;
+        matrix[layer] = [...targets];
+    }
+    return matrix;
+}
+//# sourceMappingURL=config.js.map

package/dist/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAmB,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhE,MAAM,CAAC,MAAM,wBAAwB,GAAG,8BAA8B,CAAC;AAiCvE,MAAM,CAAC,MAAM,2BAA2B,GAAuB;IAC7D,KAAK,EAAE,CAAC,IAAI,CAAC;IACb,WAAW,EAAE,CAAC,QAAQ,CAAC;IACvB,MAAM,EAAE,CAAC,eAAe,CAAC;IACzB,cAAc,EAAE,CAAC,uBAAuB,CAAC;IACzC,WAAW,EAAE,CAAC,YAAY,CAAC;IAC3B,YAAY,EAAE,CAAC,YAAY,CAAC;IAC5B,WAAW,EAAE,EAAE;IACf,qBAAqB,EAAE,EAAE;IACzB,MAAM,EAAE,CAAC,oBAAoB,EAAE,YAAY,EAAE,SAAS,CAAC;IACvD,KAAK,EAAE,CAAC,cAAc,EAAE,eAAe,EAAE,cAAc,EAAE,eAAe,CAAC;IACzE,WAAW,EAAE,kBAAkB;IAC/B,WAAW,EAAE,CAAC,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,CAAC;IACjE,WAAW,EAAE;QACX,YAAY,EAAE,CAAC,cAAc,EAAE,aAAa,EAAE,QAAQ,EAAE,OAAO,CAAC;QAChE,WAAW,EAAE,CAAC,aAAa,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC;QAC3D,MAAM,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC;QAC3B,KAAK,EAAE,CAAC,OAAO,CAAC;QAChB,QAAQ,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC;KAChC;IACD,UAAU,EAAE,EAAE;CACf,CAAC;AAEF,MAAM,SAAS,GAAG;IAChB,OAAO;IACP,aAAa;IACb,QAAQ;IACR,gBAAgB;IAChB,aAAa;IACb,cAAc;IACd,aAAa;IACb,uBAAuB;IACvB,QAAQ;IACR,OAAO;IACP,aAAa;IACb,YAAY;CACJ,CAAC;AAEX,0EAA0E;AAC1E,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS;IACnC,OAAO;IACP,aAAa;IACb,QAAQ;IACR,gBAAgB;IAChB,aAAa;IACb,cAAc;IACd,aAAa;IACb,uBAAuB;IACvB,QAAQ;IACR,OAAO;IACP,aAAa;CACd,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,CAAC,GAAG,SAAS,EAAE,aAAa,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AAErF,wGAAwG;AACxG,MAAM,UAAU,aAAa,CAAC,GAAG,MAAmD;IAClF,MAAM,MAAM,GAAuB,eAAe,CAAC,2BAA2B,CAAC,CAAC;IAChF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,IAAI,KAAK,KAAK,SAAS;gBAAG,MAA6C,CAAC,GAAG,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACxG,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAY,EACZ,IAAI,GAAW,wBAAwB;IAEvC,MAAM,MAAM,GAAgC,EAAE,CAAC;IAC/C,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,CAAC,KAAyB,EAAE,IAAwB,EAAE,OAAe,EAAE,WAAmB,EAAE,EAAE;QAC3G,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,OAAO;YACjB,MAAM,EAAE,cAAc;YACtB,QAAQ,EAAE,IAAI;YACd,IAAI;YACJ,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrD,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;IACL,CAAC,CAAC;IACF,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC1B,MAAM,CACJ,SAAS,EACT,MAAM,CAAC,KAAK,CAAC,IAAI,EACjB,kDAAkD,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,EACxE,4EAA4E,CAC7E,CAAC;QACF,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IACjC,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC;IAC1B,MAAM,EAAE,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAEtD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,CACJ,KAAK,EACL,EAAE,CAAC,KAAK,CAAC,EACT,4CAA4C,GAAG,KAAK,EACpD,2BAA2B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACpD,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC7B,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC;YACnF,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;gBACjB,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,eAAe,GAAG,GAAG,EAAE,4CAA4C,CAAC,CAAC;YAChG,CAAC;;gBAAM,MAAM,CAAC,WAAW,GAAG,KAAe,CAAC;YAC5C,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBACpB,MAAM,CACJ,KAAK,EACL,EAAE,CAAC,KAAK,CAAC,EACT,gEAAgE,EAChE,kEAAkE,CACnE,CAAC;YACJ,CAAC;;gBAAM,MAAM,CAAC,WAAW,GAAG,MAAM,CAAC;YACnC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;YAC7F,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,yCAAyC,EAAE,SAAS,GAAG,iBAAiB,CAAC,CAAC;YAC3G,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,KAAiB,CAAC;QAC/B,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC;YAC3E,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;gBACf,MAAM,OAAO,GAAG,GAAG,KAAK,IAAI,GAAG,EAAE,CAAC;gBAClC,MAAM,CACJ,OAAO,EACP,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,EACxB,WAAW,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EACnE,oFAAoF,CACrF,CAAC;gBACF,SAAS;YACX,CAAC;QACH,CAAC;QACA,MAAkC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrF,MAAM,MAAM,GAA6B,EAAE,CAAC;IAC5C,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/F,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAI,OAAoB,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/dependencies.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Declared against observed dependencies (VSA004) and cycles (VSA005).
+ *
+ * VSA004: an observed import from one slice into another that the importer
+ * does not list in `dependsOn`, one finding per pair of slices at the first
+ * import; a consumed contract that no slice exposes, or that more than one
+ * exposes; a consumed contract whose one exposing slice is not depended on.
+ *
+ * VSA005: strongly connected components (Tarjan) over the union of observed
+ * slice edges and declared `dependsOn` edges, type-only imports included
+ * (profile §3: they still count for cycles). One finding per component of
+ * two or more slices, naming them along one concrete cycle.
+ */
+import type { Graph } from "@intentset/core";
+import type { SliceEdge } from "./boundaries.ts";
+import { type Finding } from "./finding.ts";
+import type { Model } from "./regions.ts";
+export declare function checkDependencies(model: Model, graph: Graph, sliceEdges: ReadonlyMap<string, SliceEdge>): {
+    findings: Finding[];
+    cycles: number;
+};
+/**
+ * Tarjan's strongly connected components. Nodes and successors are visited in
+ * sorted order and each component comes back sorted, components ordered by
+ * their first member, so the output is the same for the same graph.
+ */
+export declare function stronglyConnected(nodes: readonly string[], successors: ReadonlyMap<string, readonly string[]>): string[][];
+/** The shortest cycle through `start` inside the component, as a closed path: A -> B -> A. */
+export declare function shortestCycle(start: string, successors: ReadonlyMap<string, readonly string[]>, members: ReadonlySet<string>): string[];
+//# sourceMappingURL=dependencies.d.ts.map

package/dist/dependencies.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependencies.d.ts","sourceRoot":"","sources":["../src/dependencies.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,KAAK,OAAO,EAAmB,MAAM,cAAc,CAAC;AAE7D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAE1C,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GACzC;IAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAgHzC;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,GACjD,MAAM,EAAE,EAAE,CAoCZ;AAED,8FAA8F;AAC9F,wBAAgB,aAAa,CAC3B,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,EAClD,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,GAC3B,MAAM,EAAE,CAsBV"}

package/dist/dependencies.js

@@ -0,0 +1,179 @@
+import { finding, plural } from "./finding.js";
+import { compareStrings } from "./patterns.js";
+export function checkDependencies(model, graph, sliceEdges) {
+    const findings = [];
+    for (const key of [...sliceEdges.keys()].sort(compareStrings)) {
+        const { from, to, imports } = sliceEdges.get(key);
+        const importer = model.sliceById.get(from);
+        if (importer.dependsOn.includes(to))
+            continue;
+        const first = imports[0];
+        findings.push(finding({
+            code: "VSA004",
+            artifact: from,
+            path: first.from,
+            location: { line: first.line },
+            message: `${from} imports ${to} (${plural(imports.length, "import")}, the first here) but does not declare ${to} in dependsOn.`,
+            remediation: `Add ${to} to links.dependsOn in ${importer.path}, or remove the import (VSA004).`,
+            paths: [...new Set(imports.map((edge) => edge.from)), importer.path],
+            edges: [{ from, to }, ...imports.map((edge) => ({ from: edge.from, to: edge.to }))],
+        }));
+    }
+    const exposers = new Map();
+    for (const slice of model.slices) {
+        for (const contract of slice.exposes) {
+            const list = exposers.get(contract) ?? [];
+            list.push(slice.id);
+            exposers.set(contract, list);
+        }
+    }
+    for (const slice of model.slices) {
+        const consumes = slice.artifact.meta.links.consumes ?? [];
+        consumes.forEach((contract, i) => {
+            const field = `/intentset/links/consumes/${i}`;
+            const owners = (exposers.get(contract) ?? []).sort(compareStrings);
+            const base = { artifact: slice.id, path: slice.path, field, edges: [{ from: slice.id, to: contract }] };
+            if (owners.length === 0) {
+                if (graph.artifacts.get(contract)?.meta.type !== "contract")
+                    return; // An unresolved reference is core's CORE003.
+                findings.push(finding({
+                    ...base,
+                    code: "VSA004",
+                    message: `${slice.id} consumes ${contract}, which no slice exposes.`,
+                    remediation: `Add ${contract} to the exposes of the slice that maintains it, or stop consuming it (VSA004).`,
+                }));
+            }
+            else if (owners.length > 1) {
+                findings.push(finding({
+                    ...base,
+                    code: "VSA004",
+                    message: `${slice.id} consumes ${contract}, which ${owners.length} slices expose: ${owners.join(", ")}.`,
+                    remediation: `Keep ${contract} in the exposes of the one slice that maintains it (VSA004).`,
+                }));
+            }
+            else if (owners[0] !== slice.id && !slice.dependsOn.includes(owners[0])) {
+                findings.push(finding({
+                    ...base,
+                    code: "VSA004",
+                    message: `${slice.id} consumes ${contract}, exposed by ${owners[0]}, but does not declare ${owners[0]} in dependsOn.`,
+                    remediation: `Add ${owners[0]} to links.dependsOn of ${slice.id}; a consumer lists both consumes and dependsOn (VSA §4).`,
+                }));
+            }
+        });
+    }
+    // Cycles over observed and declared slice edges.
+    const nodes = model.slices.map((slice) => slice.id);
+    const adjacency = new Map(nodes.map((id) => [id, new Set()]));
+    const declared = new Set();
+    for (const slice of model.slices) {
+        for (const target of slice.dependsOn) {
+            if (!adjacency.has(target) || target === slice.id)
+                continue;
+            adjacency.get(slice.id).add(target);
+            declared.add(`${slice.id}->${target}`);
+        }
+    }
+    for (const { from, to } of sliceEdges.values())
+        adjacency.get(from)?.add(to);
+    const successors = new Map([...adjacency].map(([id, set]) => [id, [...set].sort(compareStrings)]));
+    const components = stronglyConnected(nodes, successors).filter((component) => component.length > 1);
+    for (const component of components) {
+        const members = new Set(component);
+        const cycle = shortestCycle(component[0], successors, members);
+        const internal = [];
+        let observed = 0;
+        let written = 0;
+        for (const from of component) {
+            for (const to of successors.get(from) ?? []) {
+                if (!members.has(to))
+                    continue;
+                internal.push({ from, to });
+                if (sliceEdges.has(`${from}->${to}`))
+                    observed++;
+                if (declared.has(`${from}->${to}`))
+                    written++;
+            }
+        }
+        const first = model.sliceById.get(component[0]);
+        findings.push(finding({
+            code: "VSA005",
+            artifact: first.id,
+            path: first.path,
+            message: `Slices ${component.join(", ")} form a compile-time dependency cycle, ${cycle.join(" -> ")}, from ${plural(observed, "observed import edge")} and ${plural(written, "declared dependsOn edge")}.`,
+            remediation: "Break the cycle: move the shared rule to one owner's contract, invert one dependency, or decouple it through an event contract (VSA005).",
+            paths: component.map((id) => model.sliceById.get(id).path),
+            edges: internal,
+        }));
+    }
+    return { findings, cycles: components.length };
+}
+/**
+ * Tarjan's strongly connected components. Nodes and successors are visited in
+ * sorted order and each component comes back sorted, components ordered by
+ * their first member, so the output is the same for the same graph.
+ */
+export function stronglyConnected(nodes, successors) {
+    let counter = 0;
+    const index = new Map();
+    const low = new Map();
+    const stack = [];
+    const onStack = new Set();
+    const components = [];
+    const visit = (node) => {
+        index.set(node, counter);
+        low.set(node, counter);
+        counter++;
+        stack.push(node);
+        onStack.add(node);
+        for (const next of successors.get(node) ?? []) {
+            if (!index.has(next)) {
+                visit(next);
+                low.set(node, Math.min(low.get(node), low.get(next)));
+            }
+            else if (onStack.has(next)) {
+                low.set(node, Math.min(low.get(node), index.get(next)));
+            }
+        }
+        if (low.get(node) === index.get(node)) {
+            const component = [];
+            let member;
+            do {
+                member = stack.pop();
+                onStack.delete(member);
+                component.push(member);
+            } while (member !== node);
+            components.push(component.sort(compareStrings));
+        }
+    };
+    for (const node of [...nodes].sort(compareStrings))
+        if (!index.has(node))
+            visit(node);
+    return components.sort((a, b) => compareStrings(a[0], b[0]));
+}
+/** The shortest cycle through `start` inside the component, as a closed path: A -> B -> A. */
+export function shortestCycle(start, successors, members) {
+    const previous = new Map();
+    const queue = [start];
+    const seen = new Set([start]);
+    while (queue.length > 0) {
+        const node = queue.shift();
+        for (const next of successors.get(node) ?? []) {
+            if (!members.has(next))
+                continue;
+            if (next === start) {
+                const path = [start];
+                for (let at = node; at !== undefined && at !== start; at = previous.get(at))
+                    path.splice(1, 0, at);
+                path.push(start);
+                return path;
+            }
+            if (seen.has(next))
+                continue;
+            seen.add(next);
+            previous.set(next, node);
+            queue.push(next);
+        }
+    }
+    return [start];
+}
+//# sourceMappingURL=dependencies.js.map

package/dist/dependencies.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependencies.js","sourceRoot":"","sources":["../src/dependencies.ts"],"names":[],"mappings":"AAeA,OAAO,EAAgB,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAG/C,MAAM,UAAU,iBAAiB,CAC/B,KAAY,EACZ,KAAY,EACZ,UAA0C;IAE1C,MAAM,QAAQ,GAAc,EAAE,CAAC;IAE/B,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAC9D,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QAC5C,IAAI,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,SAAS;QAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,QAAQ,CAAC,IAAI,CACX,OAAO,CAAC;YACN,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;YAC9B,OAAO,EAAE,GAAG,IAAI,YAAY,EAAE,KAAK,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,0CAA0C,EAAE,gBAAgB;YAC/H,WAAW,EAAE,OAAO,EAAE,0BAA0B,QAAQ,CAAC,IAAI,kCAAkC;YAC/F,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC;YACpE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAY,EAAE,CAAC,CAAC,CAAC;SAC9F,CAAC,CACH,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YAC1C,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACpB,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC;QAC1D,QAAQ,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE;YAC/B,MAAM,KAAK,GAAG,6BAA6B,CAAC,EAAE,CAAC;YAC/C,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACnE,MAAM,IAAI,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;YACxG,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,IAAI,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,UAAU;oBAAE,OAAO,CAAC,6CAA6C;gBAClH,QAAQ,CAAC,IAAI,CACX,OAAO,CAAC;oBACN,GAAG,IAAI;oBACP,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,GAAG,KAAK,CAAC,EAAE,aAAa,QAAQ,2BAA2B;oBACpE,WAAW,EAAE,OAAO,QAAQ,gFAAgF;iBAC7G,CAAC,CACH,CAAC;YACJ,CAAC;iBAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CACX,OAAO,CAAC;oBACN,GAAG,IAAI;oBACP,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,GAAG,KAAK,CAAC,EAAE,aAAa,QAAQ,WAAW,MAAM,CAAC,MAAM,mBAAmB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;oBACxG,WAAW,EAAE,QAAQ,QAAQ,8DAA8D;iBAC5F,CAAC,CACH,CAAC;YACJ,CAAC;iBAAM,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1E,QAAQ,CAAC,IAAI,CACX,OAAO,CAAC;oBACN,GAAG,IAAI;oBACP,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,GAAG,KAAK,CAAC,EAAE,aAAa,QAAQ,gBAAgB,MAAM,CAAC,CAAC,CAAC,0BAA0B,MAAM,CAAC,CAAC,CAAC,gBAAgB;oBACrH,WAAW,EAAE,OAAO,MAAM,CAAC,CAAC,CAAC,0BAA0B,KAAK,CAAC,EAAE,0DAA0D;iBAC1H,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,iDAAiD;IACjD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAsB,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC,CAAC,CAAC;IAC3F,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,MAAM,KAAK,KAAK,CAAC,EAAE;gBAAE,SAAS;YAC5D,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACrC,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,UAAU,CAAC,MAAM,EAAE;QAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAC7E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACpG,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAmC,EAAE,CAAC;QACpD,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC5C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,SAAS;gBAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC5B,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,EAAE,EAAE,CAAC;oBAAE,QAAQ,EAAE,CAAC;gBACjD,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,EAAE,EAAE,CAAC;oBAAE,OAAO,EAAE,CAAC;YAChD,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAE,CAAC;QACjD,QAAQ,CAAC,IAAI,CACX,OAAO,CAAC;YACN,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,KAAK,CAAC,EAAE;YAClB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,UAAU,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,0CAA0C,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,MAAM,CAAC,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,MAAM,CAAC,OAAO,EAAE,yBAAyB,CAAC,GAAG;YAC1M,WAAW,EACT,0IAA0I;YAC5I,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,IAAI,CAAC;YAC3D,KAAK,EAAE,QAAQ;SAChB,CAAC,CACH,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;AACjD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAwB,EACxB,UAAkD;IAElD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,UAAU,GAAe,EAAE,CAAC;IAElC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAQ,EAAE;QACnC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACzB,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACvB,OAAO,EAAE,CAAC;QACV,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC9C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,CAAC;gBACZ,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC;YAC1D,CAAC;iBAAM,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7B,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,MAAM,SAAS,GAAa,EAAE,CAAC;YAC/B,IAAI,MAAc,CAAC;YACnB,GAAG,CAAC;gBACF,MAAM,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;gBACtB,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACvB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzB,CAAC,QAAQ,MAAM,KAAK,IAAI,EAAE;YAC1B,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;QAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACtF,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,aAAa,CAC3B,KAAa,EACb,UAAkD,EAClD,OAA4B;IAE5B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,KAAK,GAAa,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC5B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC9C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YACjC,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;gBACnB,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;gBACrB,KAAK,IAAI,EAAE,GAAuB,IAAI,EAAE,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,KAAK,EAAE,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC7F,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACjB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,CAAC;AACjB,CAAC"}

package/dist/exceptions.d.ts

@@ -0,0 +1,43 @@
+import { type Finding, type SubjectEdge } from "./finding.ts";
+export declare const EXCEPTIONS_PATTERNS: string[];
+export interface ExceptionRecord {
+    id: string;
+    rule: string;
+    paths: string[];
+    edges: SubjectEdge[];
+    rationale: string;
+    owner: string;
+    approver: string;
+    /** YYYY-MM-DD. */
+    created: string;
+    /** YYYY-MM-DD, the last day the exception holds. */
+    expires: string;
+    remediation: string;
+    /** The file it was read from, or null when it was handed in. */
+    source: string | null;
+}
+/** Validate one record. Returns the record, or the problems that keep it from covering anything. */
+export declare function readExceptionRecord(value: unknown, source: string | null, lines?: ReadonlyMap<string, number>): {
+    record: ExceptionRecord | null;
+    findings: Finding[];
+};
+/** Every exception file in the tree, read with core's strict YAML reader. */
+export declare function readExceptions(files: ReadonlyMap<string, string>): {
+    records: ExceptionRecord[];
+    findings: Finding[];
+};
+/** Does the record name this finding's rule and one of its exact paths or edges? */
+export declare function covers(record: ExceptionRecord, target: Finding): boolean;
+/** Put a note in parentheses before a message's final period. */
+export declare function annotate(message: string, note: string): string;
+/**
+ * Apply exceptions on a given date (YYYY-MM-DD). Returns the findings with
+ * covered ones rewritten, the VSA013 findings about the records themselves,
+ * and how many diagnostics a current exception covers.
+ */
+export declare function applyExceptions(findings: readonly Finding[], records: readonly ExceptionRecord[], today: string): {
+    findings: Finding[];
+    excepted: number;
+    recordFindings: Finding[];
+};
+//# sourceMappingURL=exceptions.d.ts.map

package/dist/exceptions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exceptions.d.ts","sourceRoot":"","sources":["../src/exceptions.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,KAAK,OAAO,EAAW,KAAK,WAAW,EAAE,MAAM,cAAc,CAAC;AAGvE,eAAO,MAAM,mBAAmB,UAAsE,CAAC;AAEvG,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,kBAAkB;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,oDAAoD;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,gEAAgE;IAChE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAcD,oGAAoG;AACpG,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,KAAK,GAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAa,GAC7C;IAAE,MAAM,EAAE,eAAe,GAAG,IAAI,CAAC;IAAC,QAAQ,EAAE,OAAO,EAAE,CAAA;CAAE,CAoFzD;AAED,6EAA6E;AAC7E,wBAAgB,cAAc,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG;IAClE,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,QAAQ,EAAE,OAAO,EAAE,CAAC;CACrB,CAwBA;AAED,oFAAoF;AACpF,wBAAgB,MAAM,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,OAAO,GAAG,OAAO,CAIxE;AAED,iEAAiE;AACjE,wBAAgB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAE9D;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,SAAS,OAAO,EAAE,EAC5B,OAAO,EAAE,SAAS,eAAe,EAAE,EACnC,KAAK,EAAE,MAAM,GACZ;IAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,OAAO,EAAE,CAAA;CAAE,CA6EtE"}