@descent-vtt/spec-guard 0.11.0 → 0.12.0

package/dist/impact.d.ts

@@ -0,0 +1,179 @@
+/**
+ * `spec-guard impact`: who depends on a path, and which rules are in play
+ * there. ADR-0018.
+ *
+ * The question an agent asks before an edit is not only "what may I do here"
+ * - `query` answers that - but "what else does this change reach". This reads
+ * the import graph backwards: for each path, the files that import it, and the
+ * files that import those, with how far each is from the path; and the rules
+ * in force that govern any of them, by the arithmetic a query uses.
+ *
+ * The graph is the one ADR-0011 built for cycles, and holds to its rule: a
+ * reference is an edge only when path arithmetic names a file the walk found.
+ * A reference that cannot be followed that way is counted or listed, never
+ * guessed at, so a short list of dependents is never mistaken for a complete
+ * one when it is not.
+ */
+import { type ModuleReference } from './imports.js';
+import { type Io } from './io.js';
+import { type RuleSetOptions } from './query.js';
+import { type DocumentView, type QueryPath, type RuleView } from './rules.js';
+import type { ConfigUse } from './types.js';
+/** One import that makes an edge: the file that writes it, and the reference as written. */
+interface Edge {
+    from: string;
+    reference: ModuleReference;
+}
+/**
+ * The file a relative Python import names, or null.
+ *
+ * `from .db import x` names the module `db` beside the importing file:
+ * `db.py`, or the package `db/__init__.py`. `from . import x` reaches the
+ * reader as `.x` too, and there `x` may be a module or a name the package
+ * defines, so when no module has the name the edge goes to the package's
+ * `__init__.py`, which is where the name comes from. Arithmetic and
+ * membership only, as ADR-0005 resolves every relative specifier.
+ */
+export declare function resolvePython(specifier: string, importingFile: string, files: ReadonlySet<string>): string | null;
+/** A reference the graph should have followed and could not, or one whose target no text names. */
+export interface ImpactUnresolved {
+    file: string;
+    line: number;
+    /** The specifier as written, or what could not be resolved, as `import(name)`. */
+    specifier: string;
+    /** `unresolved`: relative, or an alias that cannot be a package, and naming no file; `dynamic`: a computed name. */
+    reason: 'unresolved' | 'dynamic';
+}
+/** The import graph of a whole tree, read backwards. */
+export interface ReverseGraph {
+    /** Every file the walk found, root-relative. */
+    files: string[];
+    /** The files an edge can reach: JavaScript, TypeScript and Python. */
+    nodes: ReadonlySet<string>;
+    /** For each file, the imports of it, by the file that writes each. */
+    importers: Map<string, Edge[]>;
+    unresolved: ImpactUnresolved[];
+    /** References that name a module rather than a file, by language: counted, not followed. */
+    unfollowed: Map<string, number>;
+    /** Files whose imports could not be read in full. */
+    gaps: Array<{
+        file: string;
+        detail: string;
+    }>;
+}
+/**
+ * Reads every analysable file in the tree and builds the graph backwards.
+ *
+ * Nodes are the JavaScript, TypeScript and Python files in scope. A relative
+ * JavaScript or TypeScript specifier follows ADR-0011's resolution table, and
+ * a relative Python import names a module beside the importing file. Every
+ * other reference names a module rather than a file - an absolute Python
+ * import, a Go import path, a Rust `use`, a C# `using` - and which file that
+ * is depends on `sys.path`, `go.mod`, the crate's module tree or the compiler's
+ * symbol table. Those are counted by language and not followed.
+ */
+export declare function buildReverseGraph(options: {
+    root: string;
+    exclude: readonly string[];
+    defaultSkips: boolean;
+    io: Io;
+}): Promise<ReverseGraph>;
+/** A file that depends on a path, how far from it, and the import that takes it one step closer. */
+export interface ImpactDependent {
+    file: string;
+    /** 1 for a file that imports the path itself, 2 for one that imports such a file, and so on. */
+    depth: number;
+    /** The first import, in source order, of a file one step closer. */
+    via: {
+        imports: string;
+        line: number;
+        specifier: string;
+    };
+}
+/**
+ * The files that depend on `start`, breadth-first, each at its shortest
+ * distance, as deep as `maxDepth` allows. A cycle is safe: a file is visited
+ * once. Neighbours are taken in path order, so the answer is the same every
+ * time.
+ */
+export declare function dependentsOf(graph: Pick<ReverseGraph, 'importers'>, start: readonly string[], maxDepth?: number): ImpactDependent[];
+export interface ImpactOptions extends RuleSetOptions {
+    /** The paths to ask about, as typed. */
+    paths: readonly string[];
+    /** How many steps of dependents to follow; all of them when absent. */
+    depth?: number;
+    /** List rules from documents not in force, as `--ignore-status` does. */
+    includeInactive?: boolean;
+}
+export interface ImpactPath {
+    path: string;
+    shape: QueryPath['shape'];
+    /** The files of the path the graph holds: the file itself, or those under the directory. */
+    files: string[];
+    /** Why no dependent can be shown for this path, when none can. */
+    note?: string;
+    dependents: ImpactDependent[];
+}
+export interface ImpactReport {
+    root: string;
+    specFiles: string[];
+    exclude: string[];
+    /** The depth asked for, or null for every dependent. */
+    depth: number | null;
+    results: ImpactPath[];
+    /** Rules in force - or every rule, with `includeInactive` - that govern a path or a dependent, with the ones each governs. */
+    rules: Array<RuleView & {
+        governs: string[];
+    }>;
+    /** Rules in documents not in force that would govern them, counted, and their documents. */
+    withheld: {
+        rules: number;
+        documents: string[];
+    };
+    documents: DocumentView[];
+    /** References in scope that could depend on these paths and could not be followed. */
+    unresolved: ImpactUnresolved[];
+    /** References that name a module rather than a file, by kind, and how many. */
+    unfollowed: Array<{
+        kind: string;
+        references: number;
+    }>;
+    gaps: Array<{
+        file: string;
+        detail: string;
+    }>;
+    errors: Array<{
+        file: string;
+        line: number;
+        message: string;
+    }>;
+    /** Files the walk found. */
+    scanned: number;
+    durationMs: number;
+    /** What the command line took from the project's configuration, when it took anything. */
+    config?: ConfigUse;
+}
+/** A thrown reason the question cannot be answered. */
+export declare class ImpactError extends Error {
+}
+/** Answers the question for every path, from one read of the tree and the specs. */
+export declare function impactOf(options: ImpactOptions): Promise<ImpactReport>;
+/** The human-readable form of an impact report. */
+export declare function formatImpact(report: ImpactReport): string;
+/**
+ * The version of `impact --json`'s document. A field removed or renamed moves
+ * it; a field added does not.
+ */
+export declare const IMPACT_FORMAT_VERSION = 1;
+/**
+ * The document `impact --json` writes, and the MCP server's `get_dependents`
+ * answers with as its structured content: one object, so the two cannot
+ * drift apart.
+ */
+export declare function impactDocument(report: ImpactReport): {
+    formatVersion: number;
+} & ImpactReport;
+/** The JSON form of an impact report. */
+export declare function formatImpactJson(report: ImpactReport): string;
+export {};
+//# sourceMappingURL=impact.d.ts.map

package/dist/impact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact.d.ts","sourceRoot":"","sources":["../src/impact.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAOH,OAAO,EAA4C,KAAK,eAAe,EAAE,MAAM,cAAc,CAAC;AAC9F,OAAO,EAAU,KAAK,EAAE,EAAE,MAAM,SAAS,CAAC;AAE1C,OAAO,EAAiC,KAAK,cAAc,EAAE,MAAM,YAAY,CAAC;AAChF,OAAO,EAA6B,KAAK,YAAY,EAAE,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,MAAM,YAAY,CAAC;AAGzG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAI5C,4FAA4F;AAC5F,UAAU,IAAI;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,eAAe,CAAC;CAC5B;AAOD;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,IAAI,CAcjH;AAED,mGAAmG;AACnG,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,kFAAkF;IAClF,SAAS,EAAE,MAAM,CAAC;IAClB,oHAAoH;IACpH,MAAM,EAAE,YAAY,GAAG,SAAS,CAAC;CAClC;AAED,wDAAwD;AACxD,MAAM,WAAW,YAAY;IAC3B,gDAAgD;IAChD,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,sEAAsE;IACtE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3B,sEAAsE;IACtE,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/B,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAC/B,4FAA4F;IAC5F,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,qDAAqD;IACrD,IAAI,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC/C;AAaD;;;;;;;;;;GAUG;AACH,wBAAsB,iBAAiB,CAAC,OAAO,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,YAAY,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,EAAE,CAAA;CAAE,GAAG,OAAO,CAAC,YAAY,CAAC,CAuDnJ;AAED,oGAAoG;AACpG,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,gGAAgG;IAChG,KAAK,EAAE,MAAM,CAAC;IACd,oEAAoE;IACpE,GAAG,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;CAC3D;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,EAAE,WAAW,CAAC,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,QAAQ,SAA2B,GAAG,eAAe,EAAE,CAkBrJ;AAID,MAAM,WAAW,aAAc,SAAQ,cAAc;IACnD,wCAAwC;IACxC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,uEAAuE;IACvE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,yEAAyE;IACzE,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IAC1B,4FAA4F;IAC5F,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,kEAAkE;IAClE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,eAAe,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,wDAAwD;IACxD,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,8HAA8H;IAC9H,KAAK,EAAE,KAAK,CAAC,QAAQ,GAAG;QAAE,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IAC/C,4FAA4F;IAC5F,QAAQ,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACjD,SAAS,EAAE,YAAY,EAAE,CAAC;IAC1B,sFAAsF;IACtF,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAC/B,+EAA+E;IAC/E,UAAU,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACxD,IAAI,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC9C,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/D,4BAA4B;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,0FAA0F;IAC1F,MAAM,CAAC,EAAE,SAAS,CAAC;CACpB;AAED,uDAAuD;AACvD,qBAAa,WAAY,SAAQ,KAAK;CAAG;AAezC,oFAAoF;AACpF,wBAAsB,QAAQ,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC,CAoE5E;AAcD,mDAAmD;AACnD,wBAAgB,YAAY,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAkFzD;AAED;;;GAGG;AACH,eAAO,MAAM,qBAAqB,IAAI,CAAC;AAEvC;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,YAAY,GAAG;IAAE,aAAa,EAAE,MAAM,CAAA;CAAE,GAAG,YAAY,CAE7F;AAED,yCAAyC;AACzC,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAE7D"}

package/dist/impact.js

@@ -0,0 +1,360 @@
+/**
+ * `spec-guard impact`: who depends on a path, and which rules are in play
+ * there. ADR-0018.
+ *
+ * The question an agent asks before an edit is not only "what may I do here"
+ * - `query` answers that - but "what else does this change reach". This reads
+ * the import graph backwards: for each path, the files that import it, and the
+ * files that import those, with how far each is from the path; and the rules
+ * in force that govern any of them, by the arithmetic a query uses.
+ *
+ * The graph is the one ADR-0011 built for cycles, and holds to its rule: a
+ * reference is an edge only when path arithmetic names a file the walk found.
+ * A reference that cannot be followed that way is counted or listed, never
+ * guessed at, so a short list of dependents is never mistaken for a complete
+ * one when it is not.
+ */
+import path from 'node:path';
+import { comparePaths, MAX_CONCURRENT_READS } from './engine.js';
+import { createExcludeMatcher, toPosix, walkPaths } from './glob.js';
+import { isGraphFile, resolveReference } from './graph.js';
+import { ANALYSABLE_EXTENSIONS, createImportIndex } from './imports.js';
+import { nodeIo } from './io.js';
+import { languageFor, normalizeModule } from './polyglot.js';
+import { loadRuleSet, resolveQueryPath } from './query.js';
+import { governs, viewRule, within } from './rules.js';
+import { formatOptionLines } from './reporter.js';
+import { createScope } from './scope.js';
+/** The files a relative Python import can name, most likely first. */
+function pythonCandidates(resolved) {
+    return [`${resolved}.py`, `${resolved}.pyi`, `${resolved}/__init__.py`, `${resolved}/__init__.pyi`];
+}
+/**
+ * The file a relative Python import names, or null.
+ *
+ * `from .db import x` names the module `db` beside the importing file:
+ * `db.py`, or the package `db/__init__.py`. `from . import x` reaches the
+ * reader as `.x` too, and there `x` may be a module or a name the package
+ * defines, so when no module has the name the edge goes to the package's
+ * `__init__.py`, which is where the name comes from. Arithmetic and
+ * membership only, as ADR-0005 resolves every relative specifier.
+ */
+export function resolvePython(specifier, importingFile, files) {
+    // Only ever called for a relative specifier, which starts with a dot. Each
+    // dot after the first climbs a directory, and one that would climb out of
+    // the root names nothing here.
+    const dots = /^\.+/.exec(specifier)[0];
+    const directory = path.posix.dirname(importingFile);
+    const depth = directory === '.' ? 0 : directory.split('/').length;
+    if (dots.length - 1 > depth)
+        return null;
+    const resolved = normalizeModule(specifier, importingFile, 'python');
+    const module = pythonCandidates(resolved).find((candidate) => files.has(candidate));
+    if (module !== undefined)
+        return module;
+    const packageDirectory = normalizeModule(dots, importingFile, 'python');
+    const prefix = packageDirectory === '.' ? '' : `${packageDirectory}/`;
+    return [`${prefix}__init__.py`, `${prefix}__init__.pyi`].find((candidate) => files.has(candidate)) ?? null;
+}
+/** What each language is called in a sentence. */
+const LANGUAGE_NAMES = { go: 'Go', rust: 'Rust', csharp: 'C#' };
+/** How a language's references are named where a report counts them. */
+const UNFOLLOWED = {
+    python: 'absolute Python import',
+    go: 'Go import',
+    rust: 'Rust use',
+    csharp: 'C# using',
+};
+/**
+ * Reads every analysable file in the tree and builds the graph backwards.
+ *
+ * Nodes are the JavaScript, TypeScript and Python files in scope. A relative
+ * JavaScript or TypeScript specifier follows ADR-0011's resolution table, and
+ * a relative Python import names a module beside the importing file. Every
+ * other reference names a module rather than a file - an absolute Python
+ * import, a Go import path, a Rust `use`, a C# `using` - and which file that
+ * is depends on `sys.path`, `go.mod`, the crate's module tree or the compiler's
+ * symbol table. Those are counted by language and not followed.
+ */
+export async function buildReverseGraph(options) {
+    const excluded = createExcludeMatcher(options.exclude);
+    const files = [];
+    const absolute = new Map();
+    for await (const entry of walkPaths(options.root, { io: options.io, scope: createScope(options.defaultSkips) })) {
+        if (excluded(entry.relativePath))
+            continue;
+        files.push(entry.relativePath);
+        absolute.set(entry.relativePath, entry.absolutePath);
+    }
+    const walked = new Set(files);
+    const javascript = new Set(files.filter(isGraphFile));
+    const python = files.filter((file) => languageFor(file) === 'python');
+    const nodes = new Set([...javascript, ...python]);
+    const scope = { nodes: javascript, walked, covers: () => true, excluded };
+    const index = createImportIndex(options.io);
+    const importers = new Map();
+    const unresolved = [];
+    const unfollowed = new Map();
+    const gaps = [];
+    const analysable = files.filter((file) => ANALYSABLE_EXTENSIONS.has(path.posix.extname(file)));
+    // Read in batches the size of the engine's read limit, as every other
+    // reader of a whole tree is: all at once is an EMFILE on a large one.
+    const analyses = [];
+    while (analyses.length < analysable.length) {
+        const batch = analysable.slice(analyses.length, analyses.length + MAX_CONCURRENT_READS);
+        analyses.push(...(await Promise.all(batch.map((file) => index.analyze(absolute.get(file), file)))));
+    }
+    analysable.forEach((file, position) => {
+        const { references, notes } = analyses[position];
+        for (const note of notes) {
+            if (note.kind === 'dynamic')
+                unresolved.push({ file, line: note.line, specifier: note.detail, reason: 'dynamic' });
+            else
+                gaps.push({ file, detail: note.detail });
+        }
+        const language = languageFor(file);
+        for (const reference of references) {
+            let target = null;
+            if (language === null) {
+                const resolution = resolveReference(reference.specifier, file, scope);
+                if (resolution.kind === 'edge')
+                    target = resolution.file;
+                else if (resolution.kind === 'unresolved')
+                    unresolved.push({ file, line: reference.line, specifier: reference.specifier, reason: 'unresolved' });
+            }
+            else if (language === 'python' && reference.specifier.startsWith('.')) {
+                target = resolvePython(reference.specifier, file, walked);
+                if (target === null)
+                    unresolved.push({ file, line: reference.line, specifier: reference.specifier, reason: 'unresolved' });
+            }
+            else {
+                const kind = UNFOLLOWED[language];
+                unfollowed.set(kind, (unfollowed.get(kind) ?? 0) + 1);
+            }
+            if (target !== null && target !== file)
+                importers.set(target, [...(importers.get(target) ?? []), { from: file, reference }]);
+        }
+    });
+    unresolved.sort((a, b) => comparePaths(a.file, b.file) || a.line - b.line);
+    return { files, nodes, importers, unresolved, unfollowed, gaps };
+}
+/**
+ * The files that depend on `start`, breadth-first, each at its shortest
+ * distance, as deep as `maxDepth` allows. A cycle is safe: a file is visited
+ * once. Neighbours are taken in path order, so the answer is the same every
+ * time.
+ */
+export function dependentsOf(graph, start, maxDepth = Number.POSITIVE_INFINITY) {
+    const seen = new Set(start);
+    const found = [];
+    let frontier = [...start].sort(comparePaths);
+    for (let depth = 1; depth <= maxDepth && frontier.length > 0; depth++) {
+        const next = [];
+        for (const target of frontier) {
+            const edges = [...(graph.importers.get(target) ?? [])].sort((a, b) => comparePaths(a.from, b.from) || a.reference.line - b.reference.line);
+            for (const { from, reference } of edges) {
+                if (seen.has(from))
+                    continue;
+                seen.add(from);
+                next.push(from);
+                found.push({ file: from, depth, via: { imports: target, line: reference.line, specifier: reference.specifier } });
+            }
+        }
+        frontier = next.sort(comparePaths);
+    }
+    return found.sort((a, b) => a.depth - b.depth || comparePaths(a.file, b.file));
+}
+/** A thrown reason the question cannot be answered. */
+export class ImpactError extends Error {
+}
+/** Why a path's dependents cannot be shown, or undefined when they can. */
+function unreachable(query, files) {
+    if (files.length > 0)
+        return undefined;
+    if (query.shape === 'directory')
+        return 'no JavaScript, TypeScript or Python file under it is in scope';
+    const language = languageFor(query.path);
+    if (language === null ? isGraphFile(query.path) : language === 'python') {
+        return "it is not in scope: the project's exclude, or a directory the walk skips, leaves it out";
+    }
+    return language === null
+        ? 'it is not JavaScript, TypeScript or Python, so no import names it as a file'
+        : `a ${LANGUAGE_NAMES[language]} file is imported by the name of a module, not by its path, so what depends on it is not computed (ADR-0018)`;
+}
+/** Answers the question for every path, from one read of the tree and the specs. */
+export async function impactOf(options) {
+    const startedAt = performance.now();
+    const io = options.io ?? nodeIo;
+    const queries = await Promise.all(options.paths.map((input) => resolveQueryPath(input, options.root, io)));
+    for (const query of queries) {
+        if (!query.exists)
+            throw new ImpactError(`"${query.path}" does not exist, so nothing depends on it yet`);
+    }
+    const ruleSet = await loadRuleSet({ ...options, io });
+    const graph = await buildReverseGraph({ root: options.root, exclude: ruleSet.exclude, defaultSkips: options.defaultSkips ?? true, io });
+    const results = queries.map((query) => {
+        // A file's only file is itself, and a directory's are the ones under it.
+        const files = [...graph.nodes].filter((file) => within(file, query.path)).sort(comparePaths);
+        const note = unreachable(query, files);
+        return {
+            path: query.path,
+            shape: query.shape,
+            files,
+            ...(note === undefined ? {} : { note }),
+            dependents: dependentsOf(graph, files, options.depth),
+        };
+    });
+    // Every path asked about, as asked, and every dependent as a file: the rules
+    // a query would show for each of them.
+    const governed = [
+        ...queries,
+        ...[...new Set(results.flatMap((result) => result.dependents.map((dependent) => dependent.file)))].map((file) => ({
+            path: file,
+            shape: 'file',
+            absolutePath: path.resolve(options.root, file),
+        })),
+    ];
+    const includeInactive = options.includeInactive ?? false;
+    const rules = [];
+    const withheld = new Set();
+    let withheldRules = 0;
+    const cited = new Map();
+    for (const { assertion, document } of ruleSet.rules) {
+        const covered = governed.filter((query) => governs(assertion, query)).map((query) => query.path);
+        if (covered.length === 0)
+            continue;
+        if (!document.inForce) {
+            withheldRules += 1;
+            withheld.add(document.file);
+            cited.set(document.file, document);
+            if (!includeInactive)
+                continue;
+        }
+        cited.set(document.file, document);
+        rules.push({ ...viewRule(assertion, document), governs: covered });
+    }
+    return {
+        root: toPosix(options.root),
+        specFiles: ruleSet.specFiles,
+        exclude: ruleSet.exclude,
+        depth: options.depth ?? null,
+        results,
+        rules,
+        withheld: { rules: withheldRules, documents: [...withheld] },
+        // In the order the rules were read, which is the spec files' order.
+        documents: [...cited.values()],
+        unresolved: graph.unresolved,
+        unfollowed: [...graph.unfollowed].map(([kind, references]) => ({ kind, references })).sort((a, b) => b.references - a.references || comparePaths(a.kind, b.kind)),
+        gaps: graph.gaps,
+        errors: ruleSet.errors.map((error) => ({ file: error.location.relativeFile, line: error.location.line, message: error.message })),
+        scanned: graph.files.length,
+        durationMs: performance.now() - startedAt,
+    };
+}
+/* --------------------------------------------------------------- formatting */
+function plural(count, one, many) {
+    return `${count} ${count === 1 ? one : many}`;
+}
+/** At most this many unresolved references are listed in the human report; JSON has them all. */
+const SHOWN_UNRESOLVED = 10;
+/** At most this many files are named under a rule in the human report; JSON has them all. */
+const SHOWN_GOVERNED = 5;
+/** The human-readable form of an impact report. */
+export function formatImpact(report) {
+    const out = [];
+    for (const result of report.results) {
+        const kind = result.shape === 'directory' ? ` (directory, ${plural(result.files.length, 'file', 'files')} in the graph)` : '';
+        out.push(`${result.path}${kind}`);
+        if (result.note !== undefined) {
+            out.push(`  no dependents shown: ${result.note}`, '');
+            continue;
+        }
+        const direct = result.dependents.filter((dependent) => dependent.depth === 1).length;
+        const deepest = result.dependents.reduce((most, dependent) => Math.max(most, dependent.depth), 0);
+        out.push(result.dependents.length === 0
+            ? '  nothing in scope imports it'
+            : `  ${plural(result.dependents.length, 'file depends', 'files depend')} on it, ${direct} directly${deepest > 1 ? `, up to ${deepest} imports away` : ''}`);
+        const width = Math.max(0, ...result.dependents.map((dependent) => dependent.file.length));
+        for (const dependent of result.dependents) {
+            out.push(`    ${dependent.depth}  ${dependent.file.padEnd(width)}  imports ${dependent.via.imports} (line ${dependent.via.line})`);
+        }
+        out.push('');
+    }
+    if (report.depth !== null)
+        out.push(`only dependents up to ${plural(report.depth, 'import', 'imports')} away are shown (--depth ${report.depth})`, '');
+    const documents = new Map(report.documents.map((document) => [document.file, document]));
+    const byDocument = new Map();
+    for (const rule of report.rules)
+        byDocument.set(rule.document, [...(byDocument.get(rule.document) ?? []), rule]);
+    out.push(report.specFiles.length === 0
+        ? 'no spec files matched, so no rules are shown'
+        : report.rules.length === 0
+            ? 'no rules in force govern these files'
+            : `${plural(report.rules.length, 'rule governs', 'rules govern')} these files, from ${plural(byDocument.size, 'document', 'documents')}`);
+    for (const [file, rules] of byDocument) {
+        const document = documents.get(file);
+        const status = document.inForce ? '' : `, ${document.status} - not in force`;
+        out.push('', `  ${document.title ?? file}  (${file}${status})`);
+        for (const rule of rules) {
+            out.push(`    :${rule.line} @${rule.kind}  ${rule.description}`);
+            const more = rule.governs.length - SHOWN_GOVERNED;
+            out.push(`      governs: ${rule.governs.slice(0, SHOWN_GOVERNED).join(', ')}${more > 0 ? ` and ${more} more` : ''}`);
+            if (rule.reason !== null)
+                out.push(`      reason: ${rule.reason}`);
+        }
+    }
+    const unlisted = report.withheld.rules - report.rules.filter((rule) => !rule.inForce).length;
+    if (unlisted > 0) {
+        out.push('', `  ${plural(unlisted, 'more rule', 'more rules')} would govern them if ${report.withheld.documents.join(', ')} were in force; --ignore-status lists ${unlisted === 1 ? 'it' : 'them'}`);
+    }
+    out.push('');
+    if (report.unfollowed.length > 0) {
+        const counts = report.unfollowed.map(({ kind, references }) => plural(references, kind, `${kind}s`)).join(', ');
+        const one = report.unfollowed.length === 1 && report.unfollowed[0].references === 1;
+        out.push(`not followed: ${counts} ${one ? 'names' : 'name'} modules rather than files, so a file that depends on these paths through one is not shown (ADR-0018)`, '');
+    }
+    if (report.unresolved.length > 0) {
+        out.push(`${plural(report.unresolved.length, 'import', 'imports')} could not be resolved, and may depend on these paths:`);
+        for (const entry of report.unresolved.slice(0, SHOWN_UNRESOLVED)) {
+            out.push(`  ${entry.file}:${entry.line}  ${entry.specifier}${entry.reason === 'dynamic' ? '' : ' (names no file)'}`);
+        }
+        if (report.unresolved.length > SHOWN_UNRESOLVED)
+            out.push(`  and ${report.unresolved.length - SHOWN_UNRESOLVED} more; --json lists them all`);
+        out.push('');
+    }
+    if (report.gaps.length > 0) {
+        out.push(`${plural(report.gaps.length, 'file', 'files')} whose imports could not all be read:`);
+        for (const gap of report.gaps)
+            out.push(`  ${gap.file}: ${gap.detail}`);
+        out.push('');
+    }
+    if (report.errors.length > 0) {
+        out.push(`${plural(report.errors.length, 'directive', 'directives')} could not be read, so ${report.errors.length === 1 ? 'its rule governs' : 'their rules govern'} nothing:`);
+        for (const error of report.errors)
+            out.push(`  ${error.file}:${error.line} ${error.message}`);
+        out.push('');
+    }
+    const optionLines = formatOptionLines(report.config, report.exclude);
+    if (optionLines.length > 0)
+        out.push(...optionLines, '');
+    out.push(`${plural(report.scanned, 'file', 'files')} and ${plural(report.specFiles.length, 'spec file', 'spec files')} read in ${report.durationMs.toFixed(1)}ms`);
+    return out.join('\n');
+}
+/**
+ * The version of `impact --json`'s document. A field removed or renamed moves
+ * it; a field added does not.
+ */
+export const IMPACT_FORMAT_VERSION = 1;
+/**
+ * The document `impact --json` writes, and the MCP server's `get_dependents`
+ * answers with as its structured content: one object, so the two cannot
+ * drift apart.
+ */
+export function impactDocument(report) {
+    return { formatVersion: IMPACT_FORMAT_VERSION, ...report, durationMs: Math.round(report.durationMs * 1000) / 1000 };
+}
+/** The JSON form of an impact report. */
+export function formatImpactJson(report) {
+    return JSON.stringify(impactDocument(report), null, 2);
+}
+//# sourceMappingURL=impact.js.map

package/dist/impact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact.js","sourceRoot":"","sources":["../src/impact.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,YAAY,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAmB,MAAM,YAAY,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAwB,MAAM,cAAc,CAAC;AAC9F,OAAO,EAAE,MAAM,EAAW,MAAM,SAAS,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,eAAe,EAAuB,MAAM,eAAe,CAAC;AAClF,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAuB,MAAM,YAAY,CAAC;AAChF,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAoD,MAAM,YAAY,CAAC;AACzG,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAWzC,sEAAsE;AACtE,SAAS,gBAAgB,CAAC,QAAgB;IACxC,OAAO,CAAC,GAAG,QAAQ,KAAK,EAAE,GAAG,QAAQ,MAAM,EAAE,GAAG,QAAQ,cAAc,EAAE,GAAG,QAAQ,eAAe,CAAC,CAAC;AACtG,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,SAAiB,EAAE,aAAqB,EAAE,KAA0B;IAChG,2EAA2E;IAC3E,0EAA0E;IAC1E,+BAA+B;IAC/B,MAAM,IAAI,GAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAqB,CAAC,CAAC,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IAClE,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,GAAG,KAAK;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,QAAQ,GAAG,eAAe,CAAC,SAAS,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IACpF,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,gBAAgB,GAAG,eAAe,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,gBAAgB,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,gBAAgB,GAAG,CAAC;IACtE,OAAO,CAAC,GAAG,MAAM,aAAa,EAAE,GAAG,MAAM,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,IAAI,CAAC;AAC7G,CAAC;AA2BD,kDAAkD;AAClD,MAAM,cAAc,GAAgE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAE7H,wEAAwE;AACxE,MAAM,UAAU,GAA6C;IAC3D,MAAM,EAAE,wBAAwB;IAChC,EAAE,EAAE,WAAW;IACf,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,UAAU;CACnB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,OAAoF;IAC1H,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;QAChH,IAAI,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC;YAAE,SAAS;QAC3C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC/B,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC;IAClD,MAAM,KAAK,GAAe,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC;IAEtF,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,UAAU,GAAuB,EAAE,CAAC;IAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,MAAM,IAAI,GAA4C,EAAE,CAAC;IACzD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/F,sEAAsE;IACtE,sEAAsE;IACtE,MAAM,QAAQ,GAAqD,EAAE,CAAC;IACtE,OAAO,QAAQ,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,GAAG,oBAAoB,CAAC,CAAC;QACxF,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChH,CAAC;IAED,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE;QACpC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAA8C,CAAC;QAC9F,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;gBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;;gBAC9G,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QACnC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,IAAI,MAAM,GAAkB,IAAI,CAAC;YACjC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACtB,MAAM,UAAU,GAAG,gBAAgB,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBACtE,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM;oBAAE,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC;qBACpD,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY;oBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;YACnJ,CAAC;iBAAM,IAAI,QAAQ,KAAK,QAAQ,IAAI,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxE,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC1D,IAAI,MAAM,KAAK,IAAI;oBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;YAC7H,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAClC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxD,CAAC;YACD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;gBAAE,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAC/H,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3E,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AACnE,CAAC;AAWD;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,KAAsC,EAAE,KAAwB,EAAE,QAAQ,GAAG,MAAM,CAAC,iBAAiB;IAChI,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,IAAI,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC7C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACtE,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC3I,KAAK,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,KAAK,EAAE,CAAC;gBACxC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACf,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YACpH,CAAC;QACH,CAAC;QACD,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AACjF,CAAC;AAgDD,uDAAuD;AACvD,MAAM,OAAO,WAAY,SAAQ,KAAK;CAAG;AAEzC,2EAA2E;AAC3E,SAAS,WAAW,CAAC,KAAgB,EAAE,KAAwB;IAC7D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACvC,IAAI,KAAK,CAAC,KAAK,KAAK,WAAW;QAAE,OAAO,+DAA+D,CAAC;IACxG,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACxE,OAAO,yFAAyF,CAAC;IACnG,CAAC;IACD,OAAO,QAAQ,KAAK,IAAI;QACtB,CAAC,CAAC,6EAA6E;QAC/E,CAAC,CAAC,KAAK,cAAc,CAAC,QAA6C,CAAC,8GAA8G,CAAC;AACvL,CAAC;AAED,oFAAoF;AACpF,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,OAAsB;IACnD,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IACpC,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,IAAI,MAAM,CAAC;IAChC,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3G,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,MAAM;YAAE,MAAM,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC,IAAI,gDAAgD,CAAC,CAAC;IAC3G,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,EAAE,GAAG,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAExI,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAc,EAAE;QAChD,yEAAyE;QACzE,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC7F,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACvC,OAAO;YACL,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK;YACL,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;YACvC,UAAU,EAAE,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC;SACtD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,6EAA6E;IAC7E,uCAAuC;IACvC,MAAM,QAAQ,GAAgB;QAC5B,GAAG,OAAO;QACV,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAChH,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,MAAe;YACtB,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC;SAC/C,CAAC,CAAC;KACJ,CAAC;IACF,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,IAAI,KAAK,CAAC;IACzD,MAAM,KAAK,GAA0B,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC9C,KAAK,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACpD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjG,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACnC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;YACtB,aAAa,IAAI,CAAC,CAAC;YACnB,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC5B,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACnC,IAAI,CAAC,eAAe;gBAAE,SAAS;QACjC,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;QAC3B,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,IAAI;QAC5B,OAAO;QACP,KAAK;QACL,QAAQ,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,GAAG,QAAQ,CAAC,EAAE;QAC5D,oEAAoE;QACpE,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC9B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,IAAI,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACjK,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjI,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;QAC3B,UAAU,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS;KAC1C,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF,SAAS,MAAM,CAAC,KAAa,EAAE,GAAW,EAAE,IAAY;IACtD,OAAO,GAAG,KAAK,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAChD,CAAC;AAED,iGAAiG;AACjG,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAE5B,6FAA6F;AAC7F,MAAM,cAAc,GAAG,CAAC,CAAC;AAEzB,mDAAmD;AACnD,MAAM,UAAU,YAAY,CAAC,MAAoB;IAC/C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,gBAAgB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9H,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,GAAG,IAAI,EAAE,CAAC,CAAC;QAClC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,GAAG,CAAC,IAAI,CAAC,0BAA0B,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;YACtD,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QACrF,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QAClG,GAAG,CAAC,IAAI,CACN,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;YAC5B,CAAC,CAAC,+BAA+B;YACjC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,cAAc,EAAE,cAAc,CAAC,WAAW,MAAM,YAAY,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,OAAO,eAAe,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7J,CAAC;QACF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAC1F,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAC1C,GAAG,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,SAAS,CAAC,GAAG,CAAC,OAAO,UAAU,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;QACrI,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,yBAAyB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,4BAA4B,MAAM,CAAC,KAAK,GAAG,EAAE,EAAE,CAAC,CAAC;IAEvJ,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAiC,CAAC;IAC5D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;QAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACjH,GAAG,CAAC,IAAI,CACN,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC3B,CAAC,CAAC,8CAA8C;QAChD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YACzB,CAAC,CAAC,sCAAsC;YACxC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,cAAc,EAAE,cAAc,CAAC,sBAAsB,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,EAAE,CAC7I,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,UAAU,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAiB,CAAC;QACrD,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,MAAM,iBAAiB,CAAC;QAC7E,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,QAAQ,CAAC,KAAK,IAAI,IAAI,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC;QAChE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YACjE,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,cAAc,CAAC;YAClD,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACrH,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI;gBAAE,GAAG,CAAC,IAAI,CAAC,iBAAiB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IAC7F,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;QACjB,GAAG,CAAC,IAAI,CACN,EAAE,EACF,KAAK,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,YAAY,CAAC,yBAAyB,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,yCAAyC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CACvL,CAAC;IACJ,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEb,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChH,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAK,MAAM,CAAC,UAAU,CAAC,CAAC,CAA4B,CAAC,UAAU,KAAK,CAAC,CAAC;QAChH,GAAG,CAAC,IAAI,CAAC,iBAAiB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,uGAAuG,EAAE,EAAE,CAAC,CAAC;IACzK,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,wDAAwD,CAAC,CAAC;QAC3H,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,EAAE,CAAC;YACjE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC;QACvH,CAAC;QACD,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,gBAAgB;YAAE,GAAG,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,gBAAgB,8BAA8B,CAAC,CAAC;QAC9I,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,uCAAuC,CAAC,CAAC;QAChG,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;QACxE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,YAAY,CAAC,0BAA0B,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,oBAAoB,WAAW,CAAC,CAAC;QAChL,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC9F,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IACrE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,WAAW,EAAE,EAAE,CAAC,CAAC;IAEzD,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,YAAY,CAAC,YAAY,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnK,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEvC;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,MAAoB;IACjD,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;AACtH,CAAC;AAED,yCAAyC;AACzC,MAAM,UAAU,gBAAgB,CAAC,MAAoB;IACnD,OAAO,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACzD,CAAC"}

package/dist/index.d.ts

@@ -17,10 +17,18 @@ export { engineNamed, findConfig, loadConfig, parseConfig, parseStandaloneConfig
 export type { ConfigKey, FoundConfig, ProjectConfig } from './config.js';
 export { buildJsRegExp, buildRipgrepArgs, createCachedEngine, createJavaScriptEngine, enumerateCandidates, escapeRegExp, ANY_FILE_PROBE, findRipgrep, parseRipgrepErrors, isMissingBinary, javascriptEngine, resetRipgrepProbe, resolveEngine, runSearches, scanContent, sortLocations, MAX_FILE_SIZE, SMALL_TREE_BUDGET, } from './engine.js';
 export type { BatchEngine, CachedEngine, Engine, EnginePreference, Enumeration, EnumerationBudget, SearchRequest, } from './engine.js';
-export { compareDirents, createExcludeMatcher, createGlobMatcher, excludeListError, excludePatternError, expandSpecPatterns, globBase, globToRegExp, isGlob, normalizeExclude, normalizeGlob, toPosix, walkFiles, walkPaths, } from './glob.js';
+export { compareDirents, createExcludeMatcher, createGlobMatcher, excludeListError, excludePatternError, expandSpecPatterns, globBase, globPatternError, globToRegExp, isGlob, normalizeExclude, normalizeGlob, specPatternError, toPosix, walkFiles, walkPaths, } from './glob.js';
 export type { WalkedFile, WalkedPath, WalkOptions } from './glob.js';
 export { nodeIo, readText, watchTree } from './io.js';
 export type { DirectoryReader, Io, TreeListener, TreeWatcher } from './io.js';
+export { overlayIo, readOnce } from './overlay.js';
+export type { TreeEdit } from './overlay.js';
+export { proveSpecGuard, PROVE_NAME } from './prove.js';
+export { citeFilesError, citeIdError, deriveFamilies, documentNumber, findCitations, findDocuments, inComments, isStale, numberKey, parseFilesTemplate, parseIdTemplate, qualified, scanCitations, CitesError, NUMBER, } from './cites.js';
+export type { Citation, CitedDocument, CitesOptions, FilesTemplate, IdTemplate, ResolvedFamily } from './cites.js';
+export { buildReverseGraph, dependentsOf, formatImpact, formatImpactJson, impactDocument, impactOf, resolvePython, ImpactError, IMPACT_FORMAT_VERSION } from './impact.js';
+export type { ImpactDependent, ImpactOptions, ImpactPath, ImpactReport, ImpactUnresolved, ReverseGraph } from './impact.js';
+export type { ProveOptions } from './prove.js';
 export { contentHash, createMemo, NO_MEMO } from './memo.js';
 export type { Memo, SessionMemo } from './memo.js';
 export { createFactCache, FACT_POLICY } from './facts.js';
@@ -46,13 +54,13 @@ export { readSpecs, specPath } from './specs.js';
 export type { SpecDocument, SpecSet } from './specs.js';
 export { governs, layerPosition, leftOutByOwnExclude, viewRule, within } from './rules.js';
 export type { DocumentView, LayerPosition, PathShape, QueryPath, RuleView } from './rules.js';
-export { answerQuery, formatQuery, formatQueryJson, inQueriedPaths, loadRuleSet, queryRules, resolveQueryPath, viewDocument, QueryPathError, } from './query.js';
+export { answerQuery, formatQuery, formatQueryJson, inQueriedPaths, loadRuleSet, queryRules, resolveQueryPath, viewDocument, QueryPathError, QUERY_FORMAT_VERSION, } from './query.js';
 export type { PathRules, QueryOptions, QueryReport, RuleSet, RuleSetOptions } from './query.js';
 export { classifyRequest, createMcpHandler, documentPath, documentUri, envelopeIssue, negotiateLegacyVersion, serveStdio, LEGACY_PROTOCOL_VERSIONS, MODERN_PROTOCOL_VERSIONS, RESOURCE_TEMPLATES, TOOLS, } from './mcp.js';
 export type { Era, McpServerOptions, OutgoingMessage } from './mcp.js';
 export { applyBaseline, checkProjectExcludes, createScopeProbe, executeAssertion, planRun, reportRun, resolveDirective, runSpecGuard, specExclusions, DEFAULT_CONCURRENCY, DEFAULT_MAX_SNIPPETS, } from './runner.js';
 export type { ExecuteOptions, ResolveContext, RunOptions, RunPlan, RunResult } from './runner.js';
-export { createPainter, formatBaselines, formatConfigUse, formatJson, formatOptionLines, formatReport, formatSarif, shouldUseAscii, shouldUseColor, } from './reporter.js';
-export type { ReporterOptions } from './reporter.js';
-export type { Assertion, AssertionResult, BaselineEntry, Bounds, ConfigUse, Directive, DirectiveError, DirectiveKind, EngineName, ImportQuery, InactiveSpec, MatchLocation, ParseResult, RatchetMode, RunReport, RunSummary, SearchOptions, SearchResult, SourceLocation, SpecStatus, StaleBaselineEntry, StructureClaim, StructureQuery, } from './types.js';
+export { citesAnnotations, createPainter, formatBaselines, formatCites, formatCitesJson, formatCitesSarif, formatConfigUse, formatGithub, formatGitlab, formatJson, formatOptionLines, formatProve, formatProveJson, formatProveSarif, formatReport, formatSarif, proveAnnotations, runAnnotations, CITES_FORMAT_VERSION, PROVE_FORMAT_VERSION, RUN_FORMAT_VERSION, shouldUseAscii, shouldUseColor, } from './reporter.js';
+export type { Annotation, GitlabSeverity, ReporterOptions } from './reporter.js';
+export type { Assertion, AssertionResult, BaselineEntry, Bounds, CiteFamily, CiteFamilyReport, CiteFinding, CiteGap, CiteRule, CitesReport, ConfigUse, Directive, DirectiveError, DirectiveKind, EngineName, ImportQuery, InactiveSpec, MaskedContext, MaskedDirective, MatchLocation, ParseResult, ProveClaim, ProveOutcome, ProveProbe, ProveReport, ProveResult, RatchetMode, RunReport, RunSummary, SearchOptions, SearchResult, SourceLocation, SpecStatus, SpecWarning, StaleBaselineEntry, StructureClaim, StructureQuery, TreeChange, } from './types.js';
 //# sourceMappingURL=index.d.ts.map