@kernlang/review 3.3.9 → 3.4.0

package/dist/graph.js

@@ -8,8 +8,9 @@
  * Codex contributions: extension fallback, shortest-distance tracking, skip counters.
  */
 import { existsSync } from 'fs';
-import { resolve } from 'path';
-import { Project } from 'ts-morph';
+import { dirname, relative, resolve } from 'path';
+import { Project, SyntaxKind } from 'ts-morph';
+import { createPathCanonicalizer } from './path-canonical.js';
 /** Extension fallback map: .js→.ts, .jsx→.tsx (Codex idea) */
 const EXT_FALLBACK = {
     '.js': ['.ts', '.tsx'],
@@ -36,28 +37,54 @@ export function resolveImportGraph(entryFiles, options = {}) {
     const visited = new Set();
     const queue = [];
     let skipped = 0;
+    // Producer 1 (unresolved named re-export → blocker on importing file's
+    // localName) and Producer 2 (non-literal dynamic import → telemetry).
+    // Both accumulate across the BFS walk and ride out on GraphResult.
+    const blockers = [];
+    let unmappedDynamicImports = 0;
+    let malformedImports = 0;
+    // Path canonicalisation (red-team #9). Every path that becomes a fileMap
+    // KEY or is fed to ts-morph's `addSourceFileAtPath` runs through this
+    // memoised canonicaliser so two display paths pointing at the same
+    // physical file (pnpm symlinks, macOS /var → /private/var) collapse to
+    // a single GraphFile. Display paths are preserved on `gf.path` —
+    // the canonicalisation only affects internal identity keys.
+    const canonicalize = createPathCanonicalizer();
     // Seed BFS with entry files
     for (const entry of entryFiles) {
-        let sf = project.getSourceFile(entry);
+        const canonicalEntry = canonicalize(entry);
+        // Feed the canonical form to ts-morph so its internal SourceFile
+        // store is keyed canonically. When a barrel reachable via a symlink
+        // imports the same file via realpath, ts-morph's resolution uses
+        // dirname(canonical) and lands on the canonical form too — keeping
+        // the project consistent without any other intervention.
+        let sf = project.getSourceFile(canonicalEntry);
         if (!sf) {
             try {
-                sf = project.addSourceFileAtPath(entry);
+                sf = project.addSourceFileAtPath(canonicalEntry);
             }
             catch {
-                const entryPath = resolve(entry);
+                const entryPath = resolve(canonicalEntry);
                 if (!existsSync(entryPath)) {
                     skipped++;
                     continue;
                 }
                 if (!fileMap.has(entryPath)) {
-                    fileMap.set(entryPath, makeGraphFile(entryPath, 0));
+                    // Fallback path — rare, only when ts-morph rejects but the file
+                    // exists on disk. We can't get a SourceFile so we synthesise a
+                    // GraphFile entry with display = caller's input.
+                    fileMap.set(entryPath, makeGraphFile(entry, entryPath, 0));
                 }
                 continue;
             }
         }
-        const p = sf.getFilePath();
+        const p = canonicalize(sf.getFilePath());
         if (!fileMap.has(p)) {
-            fileMap.set(p, makeGraphFile(p, 0));
+            // Display = caller's original entry path (so `report.filePath`
+            // matches what the user passed in, even when the entry sits behind
+            // a symlinked tmpdir — the regression-repo-shapes fixtures rely on
+            // this).
+            fileMap.set(p, makeGraphFile(entry, p, 0));
             queue.push({ path: p, distance: 0 });
         }
     }
@@ -74,14 +101,44 @@ export function resolveImportGraph(entryFiles, options = {}) {
             continue;
         const current = fileMap.get(filePath);
         // Collect module references from imports and re-exports (barrel file support)
-        const refs = collectModuleEdgeRefs(sf);
-        for (const ref of refs) {
-            const { sourceFile: resolvedFile, via } = resolveModuleReference(project, sf, ref.specifier, ref.resolved);
+        const scan = collectModuleEdgeRefs(sf, canonicalize);
+        unmappedDynamicImports += scan.unmappedDynamicImports;
+        malformedImports += scan.malformedImports;
+        for (const ref of scan.refs) {
+            const { sourceFile: resolvedFile, via } = resolveModuleReference(project, sf, ref.specifier, ref.resolved, canonicalize);
             if (!resolvedFile) {
+                // Producer 1: a re-export with a relative specifier that even the
+                // extension-fallback couldn't resolve becomes a symbol-scoped
+                // blocker on the IMPORTING file's localName. Symbol scope only —
+                // never file scope (see ReachabilityBlocker jsdoc and red-team v3).
+                //
+                // Two re-export shapes carry a concrete local name and qualify:
+                //   - `named-reexport`     — `export { foo } from './x'`
+                //   - `namespace-reexport` — `export * as ns from './x'`
+                // Bare `export *` (kind `export-all`) is excluded because there is
+                // no symbol to pin. Bare specifiers (`react`, `lodash/get`) are
+                // also excluded: unresolved bare specifiers mean a missing dep,
+                // not an unknowable target, and dead-export's package-public-API
+                // logic already shields those callers.
+                if ((ref.kind === 'named-reexport' || ref.kind === 'namespace-reexport') &&
+                    ref.localName &&
+                    (ref.specifier.startsWith('.') || ref.specifier.startsWith('/'))) {
+                    blockers.push({
+                        reason: 'unresolved-re-export',
+                        filePath,
+                        exportName: ref.localName,
+                        site: { file: filePath, line: ref.line ?? 0 },
+                    });
+                }
                 skipped++;
                 continue;
             }
-            const resolvedPath = resolvedFile.getFilePath();
+            // Canonical-key the resolved file. ts-morph's getFilePath() is
+            // verbatim from the parent's path; if we fed canonical above, it
+            // returns canonical here too, so this is usually a no-op. Run it
+            // anyway so any externally-supplied `options.project` (which may
+            // not have been seeded canonical) still produces a clean key.
+            const resolvedPath = canonicalize(resolvedFile.getFilePath());
             // Skip .d.ts and node_modules (even if resolved via path alias)
             if (resolvedPath.endsWith('.d.ts')) {
                 skipped++;
@@ -105,7 +162,17 @@ export function resolveImportGraph(entryFiles, options = {}) {
                 current.imports.push(resolvedPath);
             }
             if (!fileMap.has(resolvedPath)) {
-                const nextFile = makeGraphFile(resolvedPath, distance + 1);
+                // Derive a DISPLAY path for the reached file from the parent's
+                // display path (red-team #9, multi-AI brainstorm Option B + 4th
+                // option). The relative form between parent's canonical dir and
+                // the resolved canonical path applied to the parent's display
+                // dir reproduces the symlink view the user sees: a barrel
+                // imported from `/var/folders/.../entry.ts` resolves its './worker'
+                // import to `/var/folders/.../worker.ts`, not the realpath form.
+                const parentCanonicalDir = dirname(filePath);
+                const relFromCanonical = relative(parentCanonicalDir, resolvedPath);
+                const displayPath = resolve(dirname(current.path), relFromCanonical);
+                const nextFile = makeGraphFile(displayPath, resolvedPath, distance + 1);
                 nextFile.importedBy.push(filePath);
                 nextFile.incomingEdges.push(edge);
                 fileMap.set(resolvedPath, nextFile);
@@ -131,20 +198,26 @@ export function resolveImportGraph(entryFiles, options = {}) {
         totalFiles: files.length,
         skipped,
         project,
+        blockers,
+        unmappedDynamicImports,
+        malformedImports,
     };
 }
 /**
  * Extension fallback: when ts-morph can't resolve ./foo.js, try ./foo.ts and ./foo.tsx.
  * Common in ESM projects where imports use .js but source files are .ts.
  */
-function tryExtensionFallback(project, fromFile, specifier) {
+function tryExtensionFallback(project, fromFile, specifier, canonicalize) {
     for (const [jsExt, tsExts] of Object.entries(EXT_FALLBACK)) {
         if (!specifier.endsWith(jsExt))
             continue;
         const base = specifier.slice(0, -jsExt.length);
         for (const tsExt of tsExts) {
             const candidate = base + tsExt;
-            const fullPath = resolve(fromFile.getDirectoryPath(), candidate);
+            // Canonicalise before adding so ts-morph stores the realpath form.
+            // Same physical file reachable via two display paths collapses to
+            // a single SourceFile, preventing duplicate entries (red-team #9).
+            const fullPath = canonicalize(resolve(fromFile.getDirectoryPath(), candidate));
             const existing = project.getSourceFile(fullPath);
             if (existing)
                 return existing;
@@ -160,9 +233,10 @@ function tryExtensionFallback(project, fromFile, specifier) {
     }
     return undefined;
 }
-function makeGraphFile(path, distance) {
+function makeGraphFile(path, canonicalPath, distance) {
     return {
         path,
+        canonicalPath,
         distance,
         imports: [],
         importedBy: [],
@@ -170,20 +244,28 @@ function makeGraphFile(path, distance) {
         incomingEdges: [],
     };
 }
-function resolveModuleReference(project, fromFile, specifier, resolved) {
+function resolveModuleReference(project, fromFile, specifier, resolved, canonicalize) {
     if (resolved)
         return { sourceFile: resolved, via: 'ts-morph' };
     if (specifier.startsWith('.') || specifier.startsWith('/')) {
-        const fallback = tryExtensionFallback(project, fromFile, specifier);
+        const fallback = tryExtensionFallback(project, fromFile, specifier, canonicalize);
         if (fallback)
             return { sourceFile: fallback, via: 'extension-fallback' };
     }
     return { sourceFile: undefined, via: 'ts-morph' };
 }
-function collectModuleEdgeRefs(sourceFile) {
+function collectModuleEdgeRefs(sourceFile, canonicalize) {
     const refs = [];
+    let unmappedDynamicImports = 0;
+    let malformedImports = 0;
     for (const decl of sourceFile.getImportDeclarations()) {
         try {
+            // `import type { X } from './m'` and `import type Foo from './m'` are
+            // erased at compile time. They MUST NOT contribute caller edges,
+            // otherwise dead-export reachability counts type-only references as
+            // proof a runtime symbol is alive — a category of FP red-team flagged.
+            if (decl.isTypeOnly())
+                continue;
             const specifier = decl.getModuleSpecifierValue();
             const resolved = decl.getModuleSpecifierSourceFile();
             let recorded = false;
@@ -199,6 +281,9 @@ function collectModuleEdgeRefs(sourceFile) {
                 recorded = true;
             }
             for (const named of decl.getNamedImports()) {
+                // Mixed form: `import { Foo, type Bar } from './m'` — Bar is erased.
+                if (named.isTypeOnly())
+                    continue;
                 refs.push({
                     specifier,
                     resolved,
@@ -223,11 +308,71 @@ function collectModuleEdgeRefs(sourceFile) {
                 refs.push({ specifier, resolved, kind: 'side-effect-import' });
             }
         }
+        catch (err) {
+            // ts-morph threw while reading this static-import declaration.
+            // Causes seen in the wild: malformed AST after a parse-error file,
+            // transient FS race during watch-mode, an internal ts-morph
+            // assertion. Swallowing silently was a bug — operators had no way
+            // to know analysis was incomplete. Now we count, surface via
+            // review-health, and log under KERN_DEBUG so the failure is
+            // recoverable AND observable.
+            malformedImports++;
+            if (process.env.KERN_DEBUG) {
+                const msg = err instanceof Error ? err.message : String(err);
+                console.error(`graph: failed to read import declaration in ${sourceFile.getFilePath()}: ${msg}`);
+            }
+        }
+    }
+    // Dynamic imports — `import('./mod')` / `await import('./mod')`. ts-morph
+    // models the call's expression as `SyntaxKind.ImportKeyword` (NOT an
+    // identifier whose text is "import"), so this is the correct discriminator
+    // — red-team #5 specifically called out the identifier-based check as a
+    // bug that would silently skip every dynamic import.
+    //
+    // Only LITERAL specifiers produce an edge here. A non-literal argument
+    // (e.g. `import(routes[role])`) is left untouched: step 9b will record a
+    // symbol-scoped ReachabilityBlocker for that case so the resulting
+    // dead-export confidence is capped — never silently suppressed.
+    for (const call of sourceFile.getDescendantsOfKind(SyntaxKind.CallExpression)) {
+        const callee = call.getExpression();
+        if (callee.getKind() !== SyntaxKind.ImportKeyword)
+            continue;
+        const args = call.getArguments();
+        if (args.length === 0)
+            continue;
+        const first = args[0];
+        if (!first)
+            continue;
+        const argKind = first.getKind();
+        if (argKind !== SyntaxKind.StringLiteral && argKind !== SyntaxKind.NoSubstitutionTemplateLiteral) {
+            // Producer 2 (telemetry-only): the specifier isn't a literal so we can't
+            // derive a target file or export name. Step 9b's invariant #5 — NEVER
+            // produce a blocker here. The exportName cannot be inferred and falling
+            // back to file scope re-introduces red-team CRITICAL #1 (one dynamic
+            // import silenced 50 unrelated symbols). Counter only.
+            unmappedDynamicImports++;
+            continue;
+        }
+        let specifier;
+        try {
+            specifier = first.getLiteralValue();
+        }
         catch {
-            /* skip dynamic imports with non-literal specifiers */
+            continue;
         }
+        const resolved = resolveDynamicImportTarget(sourceFile, specifier, canonicalize);
+        refs.push({
+            specifier,
+            resolved,
+            kind: 'dynamic-import',
+        });
     }
     for (const decl of sourceFile.getExportDeclarations()) {
+        // `export type { X } from './m'` is erased at compile time and must not
+        // contribute a re-export edge. Same reasoning as the import side: a
+        // type-only re-export is not evidence the runtime symbol is alive.
+        if (decl.isTypeOnly())
+            continue;
         let specifier;
         let resolved;
         try {
@@ -239,22 +384,102 @@ function collectModuleEdgeRefs(sourceFile) {
         catch {
             continue;
         }
+        // `export * as ns from './m'` — ts-morph models this distinctly from
+        // bare `export *` (which has no namespace export node). The namespace
+        // alias is a concrete local name we can scope a Producer 1 blocker
+        // against when the target is unresolved. Bare `export *` stays under
+        // `export-all` and never produces a blocker (no symbol to pin).
+        const namespaceExport = decl.getNamespaceExport();
+        if (namespaceExport) {
+            refs.push({
+                specifier,
+                resolved,
+                kind: 'namespace-reexport',
+                importedName: '*',
+                localName: namespaceExport.getName(),
+                line: namespaceExport.getStartLineNumber(),
+            });
+            continue;
+        }
         const namedExports = decl.getNamedExports();
         if (namedExports.length === 0) {
             refs.push({ specifier, resolved, kind: 'export-all' });
             continue;
         }
         for (const named of namedExports) {
+            // Mixed form: `export { foo, type Bar } from './m'`.
+            if (named.isTypeOnly())
+                continue;
             refs.push({
                 specifier,
                 resolved,
                 kind: 'named-reexport',
                 importedName: named.getName(),
                 localName: named.getAliasNode()?.getText() ?? named.getName(),
+                line: named.getStartLineNumber(),
             });
         }
     }
-    return refs;
+    return { refs, unmappedDynamicImports, malformedImports };
+}
+/**
+ * Resolve a literal dynamic-import specifier to a SourceFile in the project.
+ * ts-morph's CallExpression has no `getModuleSpecifierSourceFile()` analogue,
+ * so this mirrors the resolution shape that static imports get for free:
+ *
+ *   1. Direct hit on the joined absolute path (already a `.ts(x)` file).
+ *   2. Extension probe: append `.ts`, `.tsx`, `.js`, `.jsx`.
+ *   3. Directory probe: `<spec>/index.ts(x)`.
+ *
+ * Returns undefined for relative specifiers that don't land on any source
+ * file under the project — those become unresolved dynamic-import edges,
+ * which step 9b's blocker logic distinguishes from non-literal cases.
+ *
+ * Bare/package specifiers (e.g. `import('react')`) are intentionally NOT
+ * resolved; the import-graph already skips node_modules at the BFS level.
+ */
+function resolveDynamicImportTarget(fromFile, specifier, canonicalize) {
+    if (!specifier.startsWith('.') && !specifier.startsWith('/'))
+        return undefined;
+    const project = fromFile.getProject();
+    const fromDir = fromFile.getDirectoryPath();
+    // Canonicalise the joined path so dynamic-import targets that traverse
+    // a symlink (pnpm `node_modules/.pnpm/...`) collapse to the same key
+    // ts-morph already has for the realpath form.
+    const abs = canonicalize(resolve(fromDir, specifier));
+    const direct = project.getSourceFile(abs);
+    if (direct)
+        return direct;
+    const extensionCandidates = ['.ts', '.tsx', '.js', '.jsx'];
+    for (const ext of extensionCandidates) {
+        const cand = canonicalize(abs + ext);
+        const known = project.getSourceFile(cand);
+        if (known)
+            return known;
+        if (existsSync(cand)) {
+            try {
+                return project.addSourceFileAtPath(cand);
+            }
+            catch {
+                /* unreadable candidate — fall through */
+            }
+        }
+    }
+    for (const ext of ['.ts', '.tsx']) {
+        const cand = canonicalize(resolve(abs, `index${ext}`));
+        const known = project.getSourceFile(cand);
+        if (known)
+            return known;
+        if (existsSync(cand)) {
+            try {
+                return project.addSourceFileAtPath(cand);
+            }
+            catch {
+                /* unreadable candidate — fall through */
+            }
+        }
+    }
+    return undefined;
 }
 function pushUniqueEdge(edges, edge) {
     const exists = edges.some((existing) => existing.from === edge.from &&

package/dist/graph.js.map

@@ -1 +1 @@
-{"version":3,"file":"graph.js","sourceRoot":"","sources":["../src/graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAChC,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,OAAO,EAAmB,MAAM,UAAU,CAAC;AAGpD,8DAA8D;AAC9D,MAAM,YAAY,GAA6B;IAC7C,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,CAAC,MAAM,CAAC;IAChB,MAAM,EAAE,CAAC,MAAM,CAAC;IAChB,MAAM,EAAE,CAAC,MAAM,CAAC;CACjB,CAAC;AAUF,MAAM,UAAU,kBAAkB,CAAC,UAAoB,EAAE,UAAwB,EAAE;IACjF,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;IACvC,MAAM,OAAO,GACX,OAAO,CAAC,OAAO;QACf,IAAI,OAAO,CAAC;YACV,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;YAC1C,2BAA2B,EAAE,IAAI;YACjC,eAAe,EAAE,OAAO,CAAC,gBAAgB;gBACvC,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC;oBACE,MAAM,EAAE,IAAI;oBACZ,MAAM,EAAE,EAAE;oBACV,MAAM,EAAE,EAAE;oBACV,gBAAgB,EAAE,GAAG,EAAE,UAAU;iBAClC;SACN,CAAC,CAAC;IAEL,MAAM,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC7C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAA8C,EAAE,CAAC;IAC5D,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,4BAA4B;IAC5B,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,IAAI,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,IAAI,CAAC;gBACH,EAAE,GAAG,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;YAC1C,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;gBACjC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;oBAC3B,OAAO,EAAE,CAAC;oBACV,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;oBAC5B,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;gBACtD,CAAC;gBACD,SAAS;YACX,CAAC;QACH,CAAC;QACD,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;QAC3B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,WAAW;IACX,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAEpD,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QACpC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEtB,IAAI,QAAQ,IAAI,QAAQ;YAAE,SAAS;QAEnC,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,CAAC,EAAE;YAAE,SAAS;QAElB,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;QAEvC,8EAA8E;QAC9E,MAAM,IAAI,GAAG,qBAAqB,CAAC,EAAE,CAAC,CAAC;QAEvC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,sBAAsB,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;YAE3G,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,OAAO,EAAE,CAAC;gBACV,SAAS;YACX,CAAC;YAED,MAAM,YAAY,GAAG,YAAY,CAAC,WAAW,EAAE,CAAC;YAEhD,gEAAgE;YAChE,IAAI,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnC,OAAO,EAAE,CAAC;gBACV,SAAS;YACX,CAAC;YACD,IAAI,YAAY,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;gBAC5C,OAAO,EAAE,CAAC;gBACV,SAAS;YACX,CAAC;YAED,MAAM,IAAI,GAAc;gBACtB,IAAI,EAAE,QAAQ;gBACd,EAAE,EAAE,YAAY;gBAChB,SAAS,EAAE,GAAG,CAAC,SAAS;gBACxB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,YAAY,EAAE,GAAG,CAAC,YAAY;gBAC9B,SAAS,EAAE,GAAG,CAAC,SAAS;gBACxB,GAAG;aACJ,CAAC;YACF,cAAc,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YAE1C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC5C,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACrC,CAAC;YAED,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC/B,MAAM,QAAQ,GAAG,aAAa,CAAC,YAAY,EAAE,QAAQ,GAAG,CAAC,CAAC,CAAC;gBAC3D,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACnC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClC,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7D,CAAC;iBAAM,CAAC;gBACN,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,YAAY,CAAE,CAAC;gBAC5C,sCAAsC;gBACtC,IAAI,QAAQ,GAAG,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC;oBACrC,QAAQ,CAAC,QAAQ,GAAG,QAAQ,GAAG,CAAC,CAAC;gBACnC,CAAC;gBACD,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC5C,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACrC,CAAC;gBACD,cAAc,CAAC,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3C,OAAO;QACL,KAAK;QACL,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACpE,UAAU,EAAE,KAAK,CAAC,MAAM;QACxB,OAAO;QACP,OAAO;KACR,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAAC,OAAgB,EAAE,QAAoB,EAAE,SAAiB;IACrF,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QACzC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,SAAS,GAAG,IAAI,GAAG,KAAK,CAAC;YAC/B,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,gBAAgB,EAAE,EAAE,SAAS,CAAC,CAAC;YACjE,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;YACjD,IAAI,QAAQ;gBAAE,OAAO,QAAQ,CAAC;YAC9B,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACpC,IAAI,CAAC;gBACH,OAAO,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;YAC/C,CAAC;YAAC,MAAM,CAAC;gBACP,kCAAkC;YACpC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,QAAgB;IACnD,OAAO;QACL,IAAI;QACJ,QAAQ;QACR,OAAO,EAAE,EAAE;QACX,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,EAAE;QACf,aAAa,EAAE,EAAE;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAgB,EAChB,QAAoB,EACpB,SAAiB,EACjB,QAAgC;IAEhC,IAAI,QAAQ;QAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;IAC/D,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACpE,IAAI,QAAQ;YAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,oBAAoB,EAAE,CAAC;IAC3E,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,qBAAqB,CAAC,UAAsB;IACnD,MAAM,IAAI,GAAoB,EAAE,CAAC;IAEjC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,qBAAqB,EAAE,EAAE,CAAC;QACtD,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;YACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,4BAA4B,EAAE,CAAC;YACrD,IAAI,QAAQ,GAAG,KAAK,CAAC;YAErB,MAAM,aAAa,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC9C,IAAI,aAAa,EAAE,CAAC;gBAClB,IAAI,CAAC,IAAI,CAAC;oBACR,SAAS;oBACT,QAAQ;oBACR,IAAI,EAAE,gBAAgB;oBACtB,YAAY,EAAE,SAAS;oBACvB,SAAS,EAAE,aAAa,CAAC,OAAO,EAAE;iBACnC,CAAC,CAAC;gBACH,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;gBAC3C,IAAI,CAAC,IAAI,CAAC;oBACR,SAAS;oBACT,QAAQ;oBACR,IAAI,EAAE,cAAc;oBACpB,YAAY,EAAE,KAAK,CAAC,OAAO,EAAE;oBAC7B,SAAS,EAAE,KAAK,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,IAAI,KAAK,CAAC,OAAO,EAAE;iBAC9D,CAAC,CAAC;gBACH,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YAED,MAAM,eAAe,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;YAClD,IAAI,eAAe,EAAE,CAAC;gBACpB,IAAI,CAAC,IAAI,CAAC;oBACR,SAAS;oBACT,QAAQ;oBACR,IAAI,EAAE,kBAAkB;oBACxB,YAAY,EAAE,GAAG;oBACjB,SAAS,EAAE,eAAe,CAAC,OAAO,EAAE;iBACrC,CAAC,CAAC;gBACH,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YAED,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,oBAAoB,EAAE,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,sDAAsD;QACxD,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,qBAAqB,EAAE,EAAE,CAAC;QACtD,IAAI,SAA6B,CAAC;QAClC,IAAI,QAAgC,CAAC;QACrC,IAAI,CAAC;YACH,SAAS,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;YAC3C,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,QAAQ,GAAG,IAAI,CAAC,4BAA4B,EAAE,IAAI,SAAS,CAAC;QAC9D,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;QAE5C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;YACvD,SAAS;QACX,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;YACjC,IAAI,CAAC,IAAI,CAAC;gBACR,SAAS;gBACT,QAAQ;gBACR,IAAI,EAAE,gBAAgB;gBACtB,YAAY,EAAE,KAAK,CAAC,OAAO,EAAE;gBAC7B,SAAS,EAAE,KAAK,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,IAAI,KAAK,CAAC,OAAO,EAAE;aAC9D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,KAAkB,EAAE,IAAe;IACzD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CACvB,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;QAC3B,QAAQ,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;QACvB,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS;QACrC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;QAC3B,QAAQ,CAAC,YAAY,KAAK,IAAI,CAAC,YAAY;QAC3C,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS;QACrC,QAAQ,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAC5B,CAAC;IACF,IAAI,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC"}
+{"version":3,"file":"graph.js","sourceRoot":"","sources":["../src/graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAChC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAClD,OAAO,EAAsC,OAAO,EAAuC,UAAU,EAAE,MAAM,UAAU,CAAC;AACxH,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAG9D,8DAA8D;AAC9D,MAAM,YAAY,GAA6B;IAC7C,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,CAAC,MAAM,CAAC;IAChB,MAAM,EAAE,CAAC,MAAM,CAAC;IAChB,MAAM,EAAE,CAAC,MAAM,CAAC;CACjB,CAAC;AAiCF,MAAM,UAAU,kBAAkB,CAAC,UAAoB,EAAE,UAAwB,EAAE;IACjF,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;IACvC,MAAM,OAAO,GACX,OAAO,CAAC,OAAO;QACf,IAAI,OAAO,CAAC;YACV,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;YAC1C,2BAA2B,EAAE,IAAI;YACjC,eAAe,EAAE,OAAO,CAAC,gBAAgB;gBACvC,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC;oBACE,MAAM,EAAE,IAAI;oBACZ,MAAM,EAAE,EAAE;oBACV,MAAM,EAAE,EAAE;oBACV,gBAAgB,EAAE,GAAG,EAAE,UAAU;iBAClC;SACN,CAAC,CAAC;IAEL,MAAM,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC7C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAA8C,EAAE,CAAC;IAC5D,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,uEAAuE;IACvE,sEAAsE;IACtE,mEAAmE;IACnE,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAC/B,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,yEAAyE;IACzE,sEAAsE;IACtE,mEAAmE;IACnE,uEAAuE;IACvE,iEAAiE;IACjE,4DAA4D;IAC5D,MAAM,YAAY,GAAG,uBAAuB,EAAE,CAAC;IAE/C,4BAA4B;IAC5B,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,cAAc,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAC3C,iEAAiE;QACjE,oEAAoE;QACpE,iEAAiE;QACjE,mEAAmE;QACnE,yDAAyD;QACzD,IAAI,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC;QAC/C,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,IAAI,CAAC;gBACH,EAAE,GAAG,OAAO,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC;YACnD,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM,SAAS,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;gBAC1C,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;oBAC3B,OAAO,EAAE,CAAC;oBACV,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;oBAC5B,gEAAgE;oBAChE,+DAA+D;oBAC/D,iDAAiD;oBACjD,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC7D,CAAC;gBACD,SAAS;YACX,CAAC;QACH,CAAC;QACD,MAAM,CAAC,GAAG,YAAY,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACpB,+DAA+D;YAC/D,mEAAmE;YACnE,mEAAmE;YACnE,SAAS;YACT,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,WAAW;IACX,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAEpD,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QACpC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEtB,IAAI,QAAQ,IAAI,QAAQ;YAAE,SAAS;QAEnC,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,CAAC,EAAE;YAAE,SAAS;QAElB,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;QAEvC,8EAA8E;QAC9E,MAAM,IAAI,GAAG,qBAAqB,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;QACrD,sBAAsB,IAAI,IAAI,CAAC,sBAAsB,CAAC;QACtD,gBAAgB,IAAI,IAAI,CAAC,gBAAgB,CAAC;QAE1C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5B,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,sBAAsB,CAC9D,OAAO,EACP,EAAE,EACF,GAAG,CAAC,SAAS,EACb,GAAG,CAAC,QAAQ,EACZ,YAAY,CACb,CAAC;YAEF,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,kEAAkE;gBAClE,8DAA8D;gBAC9D,iEAAiE;gBACjE,oEAAoE;gBACpE,EAAE;gBACF,gEAAgE;gBAChE,yDAAyD;gBACzD,yDAAyD;gBACzD,mEAAmE;gBACnE,gEAAgE;gBAChE,gEAAgE;gBAChE,iEAAiE;gBACjE,uCAAuC;gBACvC,IACE,CAAC,GAAG,CAAC,IAAI,KAAK,gBAAgB,IAAI,GAAG,CAAC,IAAI,KAAK,oBAAoB,CAAC;oBACpE,GAAG,CAAC,SAAS;oBACb,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAChE,CAAC;oBACD,QAAQ,CAAC,IAAI,CAAC;wBACZ,MAAM,EAAE,sBAAsB;wBAC9B,QAAQ;wBACR,UAAU,EAAE,GAAG,CAAC,SAAS;wBACzB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE;qBAC9C,CAAC,CAAC;gBACL,CAAC;gBACD,OAAO,EAAE,CAAC;gBACV,SAAS;YACX,CAAC;YAED,+DAA+D;YAC/D,iEAAiE;YACjE,iEAAiE;YACjE,iEAAiE;YACjE,8DAA8D;YAC9D,MAAM,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC,WAAW,EAAE,CAAC,CAAC;YAE9D,gEAAgE;YAChE,IAAI,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnC,OAAO,EAAE,CAAC;gBACV,SAAS;YACX,CAAC;YACD,IAAI,YAAY,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;gBAC5C,OAAO,EAAE,CAAC;gBACV,SAAS;YACX,CAAC;YAED,MAAM,IAAI,GAAc;gBACtB,IAAI,EAAE,QAAQ;gBACd,EAAE,EAAE,YAAY;gBAChB,SAAS,EAAE,GAAG,CAAC,SAAS;gBACxB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,YAAY,EAAE,GAAG,CAAC,YAAY;gBAC9B,SAAS,EAAE,GAAG,CAAC,SAAS;gBACxB,GAAG;aACJ,CAAC;YACF,cAAc,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YAE1C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC5C,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACrC,CAAC;YAED,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC/B,+DAA+D;gBAC/D,gEAAgE;gBAChE,gEAAgE;gBAChE,8DAA8D;gBAC9D,0DAA0D;gBAC1D,oEAAoE;gBACpE,iEAAiE;gBACjE,MAAM,kBAAkB,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;gBAC7C,MAAM,gBAAgB,GAAG,QAAQ,CAAC,kBAAkB,EAAE,YAAY,CAAC,CAAC;gBACpE,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC,CAAC;gBACrE,MAAM,QAAQ,GAAG,aAAa,CAAC,WAAW,EAAE,YAAY,EAAE,QAAQ,GAAG,CAAC,CAAC,CAAC;gBACxE,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACnC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClC,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7D,CAAC;iBAAM,CAAC;gBACN,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,YAAY,CAAE,CAAC;gBAC5C,sCAAsC;gBACtC,IAAI,QAAQ,GAAG,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC;oBACrC,QAAQ,CAAC,QAAQ,GAAG,QAAQ,GAAG,CAAC,CAAC;gBACnC,CAAC;gBACD,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC5C,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACrC,CAAC;gBACD,cAAc,CAAC,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3C,OAAO;QACL,KAAK;QACL,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACpE,UAAU,EAAE,KAAK,CAAC,MAAM;QACxB,OAAO;QACP,OAAO;QACP,QAAQ;QACR,sBAAsB;QACtB,gBAAgB;KACjB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAC3B,OAAgB,EAChB,QAAoB,EACpB,SAAiB,EACjB,YAAmC;IAEnC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QACzC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,SAAS,GAAG,IAAI,GAAG,KAAK,CAAC;YAC/B,mEAAmE;YACnE,kEAAkE;YAClE,mEAAmE;YACnE,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC;YAC/E,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;YACjD,IAAI,QAAQ;gBAAE,OAAO,QAAQ,CAAC;YAC9B,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACpC,IAAI,CAAC;gBACH,OAAO,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;YAC/C,CAAC;YAAC,MAAM,CAAC;gBACP,kCAAkC;YACpC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,aAAqB,EAAE,QAAgB;IAC1E,OAAO;QACL,IAAI;QACJ,aAAa;QACb,QAAQ;QACR,OAAO,EAAE,EAAE;QACX,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,EAAE;QACf,aAAa,EAAE,EAAE;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAgB,EAChB,QAAoB,EACpB,SAAiB,EACjB,QAAgC,EAChC,YAAmC;IAEnC,IAAI,QAAQ;QAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;IAC/D,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;QAClF,IAAI,QAAQ;YAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,oBAAoB,EAAE,CAAC;IAC3E,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,qBAAqB,CAAC,UAAsB,EAAE,YAAmC;IACxF,MAAM,IAAI,GAAoB,EAAE,CAAC;IACjC,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAC/B,IAAI,gBAAgB,GAAG,CAAC,CAAC;IAEzB,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,qBAAqB,EAAE,EAAE,CAAC;QACtD,IAAI,CAAC;YACH,sEAAsE;YACtE,iEAAiE;YACjE,oEAAoE;YACpE,uEAAuE;YACvE,IAAI,IAAI,CAAC,UAAU,EAAE;gBAAE,SAAS;YAEhC,MAAM,SAAS,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;YACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,4BAA4B,EAAE,CAAC;YACrD,IAAI,QAAQ,GAAG,KAAK,CAAC;YAErB,MAAM,aAAa,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC9C,IAAI,aAAa,EAAE,CAAC;gBAClB,IAAI,CAAC,IAAI,CAAC;oBACR,SAAS;oBACT,QAAQ;oBACR,IAAI,EAAE,gBAAgB;oBACtB,YAAY,EAAE,SAAS;oBACvB,SAAS,EAAE,aAAa,CAAC,OAAO,EAAE;iBACnC,CAAC,CAAC;gBACH,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;gBAC3C,qEAAqE;gBACrE,IAAI,KAAK,CAAC,UAAU,EAAE;oBAAE,SAAS;gBACjC,IAAI,CAAC,IAAI,CAAC;oBACR,SAAS;oBACT,QAAQ;oBACR,IAAI,EAAE,cAAc;oBACpB,YAAY,EAAE,KAAK,CAAC,OAAO,EAAE;oBAC7B,SAAS,EAAE,KAAK,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,IAAI,KAAK,CAAC,OAAO,EAAE;iBAC9D,CAAC,CAAC;gBACH,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YAED,MAAM,eAAe,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;YAClD,IAAI,eAAe,EAAE,CAAC;gBACpB,IAAI,CAAC,IAAI,CAAC;oBACR,SAAS;oBACT,QAAQ;oBACR,IAAI,EAAE,kBAAkB;oBACxB,YAAY,EAAE,GAAG;oBACjB,SAAS,EAAE,eAAe,CAAC,OAAO,EAAE;iBACrC,CAAC,CAAC;gBACH,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YAED,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,oBAAoB,EAAE,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,+DAA+D;YAC/D,mEAAmE;YACnE,4DAA4D;YAC5D,kEAAkE;YAClE,6DAA6D;YAC7D,4DAA4D;YAC5D,8BAA8B;YAC9B,gBAAgB,EAAE,CAAC;YACnB,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;gBAC3B,MAAM,GAAG,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC7D,OAAO,CAAC,KAAK,CAAC,+CAA+C,UAAU,CAAC,WAAW,EAAE,KAAK,GAAG,EAAE,CAAC,CAAC;YACnG,CAAC;QACH,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,qEAAqE;IACrE,2EAA2E;IAC3E,wEAAwE;IACxE,qDAAqD;IACrD,EAAE;IACF,uEAAuE;IACvE,yEAAyE;IACzE,mEAAmE;IACnE,gEAAgE;IAChE,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,aAAa;YAAE,SAAS;QAE5D,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEhC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;QAChC,IAAI,OAAO,KAAK,UAAU,CAAC,aAAa,IAAI,OAAO,KAAK,UAAU,CAAC,6BAA6B,EAAE,CAAC;YACjG,yEAAyE;YACzE,sEAAsE;YACtE,wEAAwE;YACxE,qEAAqE;YACrE,uDAAuD;YACvD,sBAAsB,EAAE,CAAC;YACzB,SAAS;QACX,CAAC;QAED,IAAI,SAAiB,CAAC;QACtB,IAAI,CAAC;YACH,SAAS,GAAI,KAAuD,CAAC,eAAe,EAAE,CAAC;QACzF,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QAED,MAAM,QAAQ,GAAG,0BAA0B,CAAC,UAAU,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;QACjF,IAAI,CAAC,IAAI,CAAC;YACR,SAAS;YACT,QAAQ;YACR,IAAI,EAAE,gBAAgB;SACvB,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,qBAAqB,EAAE,EAAE,CAAC;QACtD,wEAAwE;QACxE,oEAAoE;QACpE,mEAAmE;QACnE,IAAI,IAAI,CAAC,UAAU,EAAE;YAAE,SAAS;QAEhC,IAAI,SAA6B,CAAC;QAClC,IAAI,QAAgC,CAAC;QACrC,IAAI,CAAC;YACH,SAAS,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;YAC3C,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,QAAQ,GAAG,IAAI,CAAC,4BAA4B,EAAE,IAAI,SAAS,CAAC;QAC9D,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,qEAAqE;QACrE,sEAAsE;QACtE,mEAAmE;QACnE,qEAAqE;QACrE,gEAAgE;QAChE,MAAM,eAAe,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAClD,IAAI,eAAe,EAAE,CAAC;YACpB,IAAI,CAAC,IAAI,CAAC;gBACR,SAAS;gBACT,QAAQ;gBACR,IAAI,EAAE,oBAAoB;gBAC1B,YAAY,EAAE,GAAG;gBACjB,SAAS,EAAE,eAAe,CAAC,OAAO,EAAE;gBACpC,IAAI,EAAE,eAAe,CAAC,kBAAkB,EAAE;aAC3C,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;QAE5C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;YACvD,SAAS;QACX,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;YACjC,qDAAqD;YACrD,IAAI,KAAK,CAAC,UAAU,EAAE;gBAAE,SAAS;YACjC,IAAI,CAAC,IAAI,CAAC;gBACR,SAAS;gBACT,QAAQ;gBACR,IAAI,EAAE,gBAAgB;gBACtB,YAAY,EAAE,KAAK,CAAC,OAAO,EAAE;gBAC7B,SAAS,EAAE,KAAK,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,IAAI,KAAK,CAAC,OAAO,EAAE;gBAC7D,IAAI,EAAE,KAAK,CAAC,kBAAkB,EAAE;aACjC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,CAAC;AAC5D,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAS,0BAA0B,CACjC,QAAoB,EACpB,SAAiB,EACjB,YAAmC;IAEnC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAE/E,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC;IACtC,MAAM,OAAO,GAAG,QAAQ,CAAC,gBAAgB,EAAE,CAAC;IAC5C,uEAAuE;IACvE,qEAAqE;IACrE,8CAA8C;IAC9C,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IAEtD,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,MAAM,mBAAmB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC3D,KAAK,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC;gBACH,OAAO,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC3C,CAAC;YAAC,MAAM,CAAC;gBACP,yCAAyC;YAC3C,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,EAAE,QAAQ,GAAG,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC;gBACH,OAAO,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC3C,CAAC;YAAC,MAAM,CAAC;gBACP,yCAAyC;YAC3C,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,cAAc,CAAC,KAAkB,EAAE,IAAe;IACzD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CACvB,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;QAC3B,QAAQ,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;QACvB,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS;QACrC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;QAC3B,QAAQ,CAAC,YAAY,KAAK,IAAI,CAAC,YAAY;QAC3C,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS;QACrC,QAAQ,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAC5B,CAAC;IACF,IAAI,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC"}

package/dist/index.d.ts

@@ -18,9 +18,10 @@ export { runConceptRules } from './concept-rules/index.js';
 export type { ConfidenceGraph, ConfidenceNode, ConfidenceSpec, ConfidenceSummary, DuplicateNameEntry, MultiFileConfidenceGraph, NeedsEntry, SerializedConfidenceGraph, } from './confidence.js';
 export { buildConfidenceGraph, buildMultiFileConfidenceGraph, computeConfidenceSummary, parseConfidence, propagateConfidence, resolveBaseConfidence, serializeGraph, } from './confidence.js';
 export { structuralDiff } from './differ.js';
+export { evaluateReviewReports, formatReviewEvalSummary, normalizeReviewEvalManifest, type ReviewEvalCase, type ReviewEvalCaseConfig, type ReviewEvalCaseResult, type ReviewEvalExpectations, type ReviewEvalFindingExpectation, type ReviewEvalManifest, type ReviewEvalRunMetadata, type ReviewEvalSummary, summarizeReviewEvalResults, } from './eval.js';
 export { linkToNodes, runESLint, runTSCDiagnostics, runTSCDiagnosticsFromPaths } from './external-tools.js';
 export { buildFileContextMap, clearFileContextCache } from './file-context.js';
-export { classifyFileRole } from './file-role.js';
+export { classifyFileRole, classifyFileRoleByPath } from './file-role.js';
 export { resolveImportGraph } from './graph.js';
 export { findTsConfig, inferFromFile, inferFromSource } from './inferrer.js';
 export type { KernLintRule } from './kern-lint.js';
@@ -34,11 +35,13 @@ export type { NormViolation } from './norm-miner.js';
 export { mineNorms } from './norm-miner.js';
 export type { ObligationType, ProofObligation } from './obligations.js';
 export { obligationsFromNorms, obligationsFromStructure, synthesizeObligations } from './obligations.js';
+export { applyReviewPolicyDefaults, getReviewPolicyProfile, inferReviewPolicy, type ReviewPolicyExplicitOptions, type ReviewPolicyProfile, } from './policy.js';
 export type { PublicApiMap, PublicApiOverrides } from './public-api.js';
 export { buildPublicApiMap, EMPTY_PUBLIC_API, expandPublicApiThroughReExports, isPublicApi, resolvePackageEntryFiles, resolveSpecifierToSrc, } from './public-api.js';
 export { runQualityRules } from './quality-rules.js';
 export { assignDefaultConfidence, calculateStats, checkEnforcement, dedup, formatEnforcement, formatReport, formatReportJSON, formatSARIF, formatSARIFWithMetadata, formatSARIFWithSuppressions, formatSummary, sortAndDedup, sortFindings, } from './reporter.js';
 export { debugDetail, ReviewHealthBuilder } from './review-health.js';
+export { applyRuleQualityCalibration, applyRuleSupersession, getRuleQualityProfile, isRulePromotedForCi, type RuleCiDefault, type RuleLifecycle, type RulePrecision, type RuleQualityIssue, type RuleQualityProfile, validateRuleQualityRegistry, } from './rule-quality.js';
 export { CONFIDENCE_RULES, lintConfidenceGraph, lintMultiFileConfidenceGraph } from './rules/confidence.js';
 export { actionMissingIdempotent, assumeLowTrust, branchNonExhaustive, collectUnbounded, expectRangeInverted, GROUND_LAYER_RULES, guardWithoutElse, reasonWithoutBasis, } from './rules/ground-layer.js';
 export type { RuleInfo } from './rules/index.js';
@@ -52,8 +55,9 @@ export type { StrictMode, SuppressionDirective, SuppressionResult } from './supp
 export { applySuppression, configDirectives, isConceptRule, parseDirectives } from './suppression/index.js';
 export type { CrossFileTaintResult, ExportedFunction, TaintPath, TaintResult, TaintSink, TaintSource, } from './taint.js';
 export { analyzeTaint, analyzeTaintCrossFile, buildExportMap, buildImportMap, crossFileTaintToFindings, isSanitizerSufficient, taintToFindings, } from './taint.js';
+export { buildReviewTelemetry, formatReviewTelemetrySummary, parseReviewTelemetryJsonl, type ReviewTelemetryFinding, type ReviewTelemetryOptions, type ReviewTelemetryRule, type ReviewTelemetryRuleSummary, type ReviewTelemetrySnapshot, type ReviewTelemetrySummary, readReviewTelemetrySnapshots, summarizeReviewTelemetry, type WriteReviewTelemetryOptions, type WriteReviewTelemetryResult, writeReviewTelemetrySnapshot, } from './telemetry.js';
 export { detectTemplates } from './template-detector.js';
-export type { AnalysisContext, Confidence, EnforceResult, FileContext, FileRole, GraphEdge, GraphEdgeKind, GraphFile, GraphOptions, GraphResult, InferResult, ReviewConfig, ReviewFinding, ReviewHealth, ReviewHealthEntry, ReviewHealthKind, ReviewHealthSubsystem, ReviewReport, ReviewRule, ReviewStats, RuleContext, RuntimeBoundary, SourceSpan, TemplateMatch, } from './types.js';
+export type { AnalysisContext, CalibrationStage, Confidence, EnforceResult, FileContext, FileRole, GraphEdge, GraphEdgeKind, GraphFile, GraphOptions, GraphResult, InferResult, ReviewConfig, ReviewFinding, ReviewHealth, ReviewHealthEntry, ReviewHealthKind, ReviewHealthSubsystem, ReviewPolicy, ReviewReport, ReviewRule, ReviewStats, ReviewTelemetryConfig, RootCause, RuleContext, RuntimeBoundary, SourceSpan, TemplateMatch, } from './types.js';
 export { createFingerprint } from './types.js';
 import { clearReviewCache } from './cache.js';
 export type { ImplRoute, SpecCheckResult, SpecContract, SpecViolation, ViolationKind } from './spec-checker.js';
@@ -119,6 +123,10 @@ export declare function reviewKernSource(source: string, filePath?: string, _con
 export declare function reviewPythonSource(source: string, filePath?: string, config?: ReviewConfig): ReviewReport;
 /**
  * Review all .ts/.tsx/.py files in a directory.
+ *
+ * Honors the project's .gitignore by skipping untracked-and-ignored files —
+ * tracked artifacts are always reviewed even when their directory matches
+ * .gitignore, so published `dist/*.gen.ts` and similar do not slip through.
  */
 export declare function reviewDirectory(dirPath: string, recursive?: boolean, config?: ReviewConfig): ReviewReport[];
 /**