@tyroneross/navgator 0.2.2 → 0.10.0

package/dist/audit/verifiers.d.ts

@@ -0,0 +1,85 @@
+/**
+ * NavGator audit verifiers — Run 2 / D2
+ *
+ * Six defect classes. First five are deterministic (free); MISSED_EDGE
+ * is the only LLM-dependent one (skipped in CLI mode).
+ *
+ *   HALLUCINATED_COMPONENT — claimed component does not exist on disk
+ *   HALLUCINATED_EDGE      — connection's endpoints not in component graph
+ *   WRONG_ENDPOINT         — symbol not actually present in source file
+ *   STALE_REFERENCE        — file hash doesn't match recorded hash
+ *   DEDUP_COLLISION        — same (type,name,primary-config) appears twice
+ *   MISSED_EDGE            — LLM-only; emits a needs-verification payload
+ */
+import type { ArchitectureComponent, ArchitectureConnection, NavHashes } from '../types.js';
+export type DefectClass = 'HALLUCINATED_COMPONENT' | 'HALLUCINATED_EDGE' | 'WRONG_ENDPOINT' | 'STALE_REFERENCE' | 'DEDUP_COLLISION' | 'MISSED_EDGE';
+export interface SampleEvidence {
+    /** Component or connection id. */
+    id: string;
+    /** True if the verifier passes (no defect). */
+    ok: boolean;
+    /** When ok=false, machine-readable reason. */
+    reason?: string;
+    /** Run 4 F5: no evidence to check — not clean, not a defect. Excluded from rates. */
+    unverifiable?: boolean;
+}
+export interface VerifierOutcome {
+    class: DefectClass;
+    sampledCount: number;
+    defectCount: number;
+    /** Run 4 F5: facts that could not be checked (reported separately, never as ok). */
+    unverifiableCount?: number;
+    samples: SampleEvidence[];
+    /** Set on MISSED_EDGE in CLI mode. */
+    llm_skipped?: boolean;
+    /** When llm_skipped=false, the structured payload that an MCP-side LLM judge
+     *  is expected to consume.  Shape: { files: [{path, recorded_outgoing_edges}] }. */
+    llm_payload?: unknown;
+}
+export interface VerifierContext {
+    projectRoot: string;
+    hashes: NavHashes | null;
+    /** O(1) lookup: component_id → component. */
+    componentById: Map<string, ArchitectureComponent>;
+    /** Whether this is an MCP session (LLM-judge enabled). */
+    isMcpMode: boolean;
+}
+export declare function verifyHallucinatedComponent(samples: ReadonlyArray<ArchitectureComponent>, ctx: VerifierContext): Promise<VerifierOutcome>;
+export declare function verifyHallucinatedEdge(samples: ReadonlyArray<ArchitectureConnection>, ctx: VerifierContext): VerifierOutcome;
+/**
+ * Re-checks that the connection's recorded source file still contains a
+ * reference to the target component's name (or the symbol). Cheap grep —
+ * not a syntactic AST check.
+ */
+export declare function verifyWrongEndpoint(samples: ReadonlyArray<ArchitectureConnection>, ctx: VerifierContext): Promise<VerifierOutcome>;
+export declare function verifyStaleReference(
+/** Sampled FILES (relative paths), not components. */
+sampledFiles: ReadonlyArray<string>, ctx: VerifierContext): Promise<VerifierOutcome>;
+/**
+ * Scans ALL components (not a sample — this is a graph-wide invariant) for
+ * duplicate (type, name, primary-config-file) triples. Returns one evidence
+ * row per collision pair.
+ */
+export declare function verifyDedupCollision(allComponents: ReadonlyArray<ArchitectureComponent>): VerifierOutcome;
+export interface MissedEdgePayload {
+    files: Array<{
+        path: string;
+        recorded_outgoing_edges: Array<{
+            connection_id: string;
+            target_component_id: string;
+            target_name: string | undefined;
+            symbol: string | undefined;
+        }>;
+    }>;
+    /** Instruction for the LLM judge. */
+    instruction: string;
+}
+/**
+ * Build a structured payload describing each sampled file's recorded outgoing
+ * edges, for an MCP-side LLM judge to set-diff against the file contents.
+ *
+ * In CLI mode we set `llm_skipped: true` and return zero defects; the audit
+ * report flags the skip but doesn't fail.
+ */
+export declare function verifyMissedEdge(sampledFiles: ReadonlyArray<string>, allConnections: ReadonlyArray<ArchitectureConnection>, ctx: VerifierContext): VerifierOutcome;
+//# sourceMappingURL=verifiers.d.ts.map

package/dist/audit/verifiers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifiers.d.ts","sourceRoot":"","sources":["../../src/audit/verifiers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,OAAO,KAAK,EACV,qBAAqB,EACrB,sBAAsB,EAEtB,SAAS,EACV,MAAM,aAAa,CAAC;AAMrB,MAAM,MAAM,WAAW,GACnB,wBAAwB,GACxB,mBAAmB,GACnB,gBAAgB,GAChB,iBAAiB,GACjB,iBAAiB,GACjB,aAAa,CAAC;AAElB,MAAM,WAAW,cAAc;IAC7B,kCAAkC;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,+CAA+C;IAC/C,EAAE,EAAE,OAAO,CAAC;IACZ,8CAA8C;IAC9C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qFAAqF;IACrF,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,WAAW,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,oFAAoF;IACpF,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,OAAO,EAAE,cAAc,EAAE,CAAC;IAC1B,sCAAsC;IACtC,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB;wFACoF;IACpF,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,eAAe;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,6CAA6C;IAC7C,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IAClD,0DAA0D;IAC1D,SAAS,EAAE,OAAO,CAAC;CACpB;AAsID,wBAAsB,2BAA2B,CAC/C,OAAO,EAAE,aAAa,CAAC,qBAAqB,CAAC,EAC7C,GAAG,EAAE,eAAe,GACnB,OAAO,CAAC,eAAe,CAAC,CAuF1B;AAMD,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,aAAa,CAAC,sBAAsB,CAAC,EAC9C,GAAG,EAAE,eAAe,GACnB,eAAe,CAsBjB;AAMD;;;;GAIG;AACH,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,aAAa,CAAC,sBAAsB,CAAC,EAC9C,GAAG,EAAE,eAAe,GACnB,OAAO,CAAC,eAAe,CAAC,CA2D1B;AAMD,wBAAsB,oBAAoB;AACxC,sDAAsD;AACtD,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,EACnC,GAAG,EAAE,eAAe,GACnB,OAAO,CAAC,eAAe,CAAC,CA2C1B;AAMD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,aAAa,EAAE,aAAa,CAAC,qBAAqB,CAAC,GAClD,eAAe,CA0BjB;AAMD,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,KAAK,CAAC;QACX,IAAI,EAAE,MAAM,CAAC;QACb,uBAAuB,EAAE,KAAK,CAAC;YAC7B,aAAa,EAAE,MAAM,CAAC;YACtB,mBAAmB,EAAE,MAAM,CAAC;YAC5B,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;YAChC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;SAC5B,CAAC,CAAC;KACJ,CAAC,CAAC;IACH,qCAAqC;IACrC,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,EACnC,cAAc,EAAE,aAAa,CAAC,sBAAsB,CAAC,EACrD,GAAG,EAAE,eAAe,GACnB,eAAe,CAiDjB"}

package/dist/audit/verifiers.js

@@ -0,0 +1,456 @@
+/**
+ * NavGator audit verifiers — Run 2 / D2
+ *
+ * Six defect classes. First five are deterministic (free); MISSED_EDGE
+ * is the only LLM-dependent one (skipped in CLI mode).
+ *
+ *   HALLUCINATED_COMPONENT — claimed component does not exist on disk
+ *   HALLUCINATED_EDGE      — connection's endpoints not in component graph
+ *   WRONG_ENDPOINT         — symbol not actually present in source file
+ *   STALE_REFERENCE        — file hash doesn't match recorded hash
+ *   DEDUP_COLLISION        — same (type,name,primary-config) appears twice
+ *   MISSED_EDGE            — LLM-only; emits a needs-verification payload
+ */
+import * as crypto from 'crypto';
+import * as fs from 'fs';
+import * as path from 'path';
+// Code-level component types whose `code_reference.symbol` should appear in
+// the recorded source file.
+const CODE_COMPONENT_TYPES = new Set([
+    'api-endpoint',
+    'prompt',
+    'worker',
+    'component',
+]);
+// ============================================================================
+// HELPERS
+// ============================================================================
+async function readFileSafe(absPath) {
+    try {
+        return await fs.promises.readFile(absPath, 'utf-8');
+    }
+    catch {
+        return null;
+    }
+}
+function escapeRegex(s) {
+    return s.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+/**
+ * Run 3: True when `s` is a pure JS identifier (the kind of token where `\b`
+ * word-boundary regex matching makes sense). Path-style symbols like
+ * `'./entity-analysis-service'` or scoped imports `'@scope/pkg'` contain
+ * non-word characters at their boundaries, where `\b` does NOT match.
+ *
+ * For non-identifier symbols we fall back to plain substring matching, which
+ * is correct for the WRONG_ENDPOINT verifier's intent ("does this token
+ * appear in the file?").
+ */
+function isIdentifierLike(s) {
+    return /^[A-Za-z_$][\w$]*$/.test(s);
+}
+/**
+ * Run 3: Symbol-presence test that handles path-style and identifier symbols
+ * uniformly. Identifier-like → `\b<sym>\b` regex (false-positive resistant).
+ * Otherwise → plain `content.includes(sym)`. Empty/short tokens reject.
+ */
+function symbolAppearsIn(content, sym) {
+    if (!sym || sym.length <= 1)
+        return false;
+    if (isIdentifierLike(sym)) {
+        const re = new RegExp(`\\b${escapeRegex(sym)}\\b`);
+        return re.test(content);
+    }
+    return content.includes(sym);
+}
+/**
+ * Fetch connections are stored with a canonical single-quoted, no-options
+ * symbol (for example `fetch('/api/search')`).  Source calls can use another
+ * quote style, pass options, use one of the scanner-recognized wrappers, or
+ * extend the path in a template literal.
+ */
+function fetchEndpointAppearsIn(content, symbol) {
+    const endpoint = /^fetch\(\s*['"](\/api\/[^'")\s]+)['"]\s*\)$/.exec(symbol)?.[1];
+    if (!endpoint)
+        return false;
+    const sourceFetch = new RegExp('\\b(?:fetch|fetchWith\\w+|apiFetch|fetchJSON|fetcher)\\s*\\(\\s*[\'"`]' +
+        escapeRegex(endpoint) +
+        '(?=[\'"`?]|\\$\\{|\\/+\\$\\{)');
+    return sourceFetch.test(content);
+}
+async function fileExists(absPath) {
+    try {
+        await fs.promises.access(absPath, fs.constants.F_OK);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+async function sha256File(absPath) {
+    try {
+        const buf = await fs.promises.readFile(absPath);
+        return crypto.createHash('sha256').update(buf).digest('hex');
+    }
+    catch {
+        return null;
+    }
+}
+// ============================================================================
+// V1 — HALLUCINATED_COMPONENT
+// ============================================================================
+/**
+ * Run 4 F5: evidence files for a component. `source.config_files` first; for
+ * code-derived type components (Swift/Rust type, module, impl, SwiftUI view)
+ * the scanners record the declaring file under `metadata.file` (or
+ * `metadata.files[]` / `metadata.conformers[].file`) with `config_files: []`.
+ * Returns the files plus whether they came from metadata (→ the type name
+ * must appear in the file, symbol-in-file like WRONG_ENDPOINT).
+ */
+function evidenceFiles(comp) {
+    const cfg = comp.source?.config_files ?? [];
+    if (cfg.length > 0)
+        return { files: cfg, fromMetadata: false };
+    const md = (comp.metadata ?? {});
+    const out = [];
+    if (typeof md['file'] === 'string')
+        out.push(md['file']);
+    if (Array.isArray(md['files']))
+        for (const f of md['files'])
+            if (typeof f === 'string')
+                out.push(f);
+    if (Array.isArray(md['conformers'])) {
+        for (const c of md['conformers']) {
+            const f = c?.file;
+            if (typeof f === 'string')
+                out.push(f);
+        }
+    }
+    return { files: [...new Set(out)], fromMetadata: true };
+}
+/**
+ * Run 4 fix2 #2b: the symbol to look for in a metadata-sourced evidence file.
+ * `metadata.symbol` or `code_reference.symbol` when present; otherwise the
+ * component name only if it is an identifier. Never a substring after a colon
+ * (`task_spawn_App/X.swift:81` used to be searched as "81").
+ */
+function evidenceSymbol(comp) {
+    const md = (comp.metadata ?? {});
+    if (typeof md['symbol'] === 'string' && md['symbol'].length > 1)
+        return md['symbol'];
+    const cr = comp.code_reference?.symbol;
+    if (typeof cr === 'string' && cr.length > 1)
+        return cr;
+    if (isIdentifierLike(comp.name))
+        return comp.name;
+    return null;
+}
+export async function verifyHallucinatedComponent(samples, ctx) {
+    const evidence = [];
+    for (const comp of samples) {
+        const { files: configFiles, fromMetadata } = evidenceFiles(comp);
+        if (configFiles.length === 0) {
+            // Run 4 F5: no evidence at all. Previously marked ok; now reported as
+            // unverifiable so ~545 Swift/Rust aggregate components cannot pass as clean.
+            evidence.push({ id: comp.component_id, ok: true, unverifiable: true, reason: 'no config_files or metadata.file to check' });
+            continue;
+        }
+        // At least one evidence file must exist on disk.
+        let firstExisting = null;
+        for (const rel of configFiles) {
+            const abs = path.isAbsolute(rel) ? rel : path.join(ctx.projectRoot, rel);
+            if (await fileExists(abs)) {
+                firstExisting = rel;
+                break;
+            }
+        }
+        if (firstExisting === null) {
+            evidence.push({
+                id: comp.component_id,
+                ok: false,
+                reason: `none of ${configFiles.length} ${fromMetadata ? 'metadata' : 'config'} files exist on disk`,
+            });
+            continue;
+        }
+        // Run 4 F5: a type component must be declared in the file it names.
+        if (fromMetadata) {
+            const name = evidenceSymbol(comp);
+            if (name === null) {
+                evidence.push({
+                    id: comp.component_id,
+                    ok: true,
+                    unverifiable: true,
+                    reason: `name "${comp.name}" is not an identifier and no metadata.symbol / code_reference.symbol is recorded`,
+                });
+                continue;
+            }
+            const abs = path.isAbsolute(firstExisting) ? firstExisting : path.join(ctx.projectRoot, firstExisting);
+            const content = await readFileSafe(abs);
+            if (content === null) {
+                evidence.push({ id: comp.component_id, ok: true, unverifiable: true, reason: `could not read ${firstExisting}` });
+                continue;
+            }
+            if (!symbolAppearsIn(content, name)) {
+                evidence.push({ id: comp.component_id, ok: false, reason: `type name "${name}" not found in ${firstExisting}` });
+                continue;
+            }
+            evidence.push({ id: comp.component_id, ok: true });
+            continue;
+        }
+        // For code-level component types, check the symbol appears in the file.
+        // Skip cleanly if symbol is missing or generic.
+        if (CODE_COMPONENT_TYPES.has(comp.type) && configFiles[0]) {
+            const sym = comp.code_reference?.symbol;
+            // ArchitectureComponent doesn't carry code_reference directly; this is a
+            // permissive check — only fail if we can confidently say "symbol absent".
+            if (sym && sym.length > 1 && /^[A-Za-z_][\w$]*$/.test(sym)) {
+                const abs = path.join(ctx.projectRoot, configFiles[0]);
+                const content = await readFileSafe(abs);
+                if (content !== null && !content.includes(sym)) {
+                    evidence.push({
+                        id: comp.component_id,
+                        ok: false,
+                        reason: `symbol "${sym}" not found in ${configFiles[0]}`,
+                    });
+                    continue;
+                }
+            }
+        }
+        evidence.push({ id: comp.component_id, ok: true });
+    }
+    return {
+        class: 'HALLUCINATED_COMPONENT',
+        sampledCount: samples.length,
+        defectCount: evidence.filter((e) => !e.ok).length,
+        unverifiableCount: evidence.filter((e) => e.unverifiable).length,
+        samples: evidence,
+    };
+}
+// ============================================================================
+// V2 — HALLUCINATED_EDGE
+// ============================================================================
+export function verifyHallucinatedEdge(samples, ctx) {
+    const evidence = samples.map((conn) => {
+        const fromOk = ctx.componentById.has(conn.from?.component_id ?? '');
+        const toOk = ctx.componentById.has(conn.to?.component_id ?? '');
+        if (fromOk && toOk)
+            return { id: conn.connection_id, ok: true };
+        return {
+            id: conn.connection_id,
+            ok: false,
+            reason: !fromOk && !toOk
+                ? 'both endpoints unresolved'
+                : !fromOk
+                    ? `from.component_id "${conn.from?.component_id}" unresolved`
+                    : `to.component_id "${conn.to?.component_id}" unresolved`,
+        };
+    });
+    return {
+        class: 'HALLUCINATED_EDGE',
+        sampledCount: samples.length,
+        defectCount: evidence.filter((e) => !e.ok).length,
+        samples: evidence,
+    };
+}
+// ============================================================================
+// V3 — WRONG_ENDPOINT
+// ============================================================================
+/**
+ * Re-checks that the connection's recorded source file still contains a
+ * reference to the target component's name (or the symbol). Cheap grep —
+ * not a syntactic AST check.
+ */
+export async function verifyWrongEndpoint(samples, ctx) {
+    const evidence = [];
+    for (const conn of samples) {
+        const filePath = conn.code_reference?.file;
+        if (!filePath) {
+            evidence.push({ id: conn.connection_id, ok: true });
+            continue;
+        }
+        const abs = path.join(ctx.projectRoot, filePath);
+        const content = await readFileSafe(abs);
+        if (content === null) {
+            // File missing → covered by stale-ref or hallucinated-component;
+            // not a wrong-endpoint defect by our definition.
+            evidence.push({ id: conn.connection_id, ok: true });
+            continue;
+        }
+        const target = ctx.componentById.get(conn.to?.component_id ?? '');
+        const symbol = conn.code_reference?.symbol;
+        const targetName = target?.name;
+        // We need at least ONE positive signal. Try (in order):
+        //   1. recorded symbol appears in the file
+        //   2. target component name appears in the file
+        // Run 3 fix: use symbolAppearsIn() which handles both identifier-style and
+        // path-style symbols. The previous \b-only regex falsely failed on imports
+        // like './entity-analysis-service' because . and / are non-word chars and
+        // \b does not match around them.
+        let found = false;
+        const tried = [];
+        if (symbol && symbol.length > 1) {
+            tried.push(`symbol="${symbol}"`);
+            if (symbolAppearsIn(content, symbol))
+                found = true;
+            if (!found && fetchEndpointAppearsIn(content, symbol))
+                found = true;
+        }
+        if (!found && targetName && targetName.length > 1) {
+            tried.push(`name="${targetName}"`);
+            if (symbolAppearsIn(content, targetName))
+                found = true;
+        }
+        if (!found && tried.length > 0) {
+            evidence.push({
+                id: conn.connection_id,
+                ok: false,
+                reason: `no reference to ${tried.join(' or ')} in ${filePath}`,
+            });
+        }
+        else {
+            evidence.push({ id: conn.connection_id, ok: true });
+        }
+    }
+    return {
+        class: 'WRONG_ENDPOINT',
+        sampledCount: samples.length,
+        defectCount: evidence.filter((e) => !e.ok).length,
+        samples: evidence,
+    };
+}
+// ============================================================================
+// V4 — STALE_REFERENCE
+// ============================================================================
+export async function verifyStaleReference(
+/** Sampled FILES (relative paths), not components. */
+sampledFiles, ctx) {
+    const evidence = [];
+    if (!ctx.hashes || !ctx.hashes.files) {
+        return {
+            class: 'STALE_REFERENCE',
+            sampledCount: sampledFiles.length,
+            defectCount: 0,
+            samples: sampledFiles.map((f) => ({ id: f, ok: true })),
+        };
+    }
+    for (const rel of sampledFiles) {
+        const recorded = ctx.hashes.files[rel];
+        if (!recorded) {
+            // Not in hashes.json → can't compare; not stale by definition.
+            evidence.push({ id: rel, ok: true });
+            continue;
+        }
+        const abs = path.join(ctx.projectRoot, rel);
+        const current = await sha256File(abs);
+        if (current === null) {
+            // File deleted since scan → stale ref
+            evidence.push({ id: rel, ok: false, reason: 'file no longer exists on disk' });
+            continue;
+        }
+        if (current !== recorded.hash) {
+            evidence.push({
+                id: rel,
+                ok: false,
+                reason: `hash mismatch (recorded ${recorded.hash.slice(0, 8)}…, now ${current.slice(0, 8)}…)`,
+            });
+        }
+        else {
+            evidence.push({ id: rel, ok: true });
+        }
+    }
+    return {
+        class: 'STALE_REFERENCE',
+        sampledCount: sampledFiles.length,
+        defectCount: evidence.filter((e) => !e.ok).length,
+        samples: evidence,
+    };
+}
+// ============================================================================
+// V5 — DEDUP_COLLISION (regression check on Run 1.7 fix)
+// ============================================================================
+/**
+ * Scans ALL components (not a sample — this is a graph-wide invariant) for
+ * duplicate (type, name, primary-config-file) triples. Returns one evidence
+ * row per collision pair.
+ */
+export function verifyDedupCollision(allComponents) {
+    const seen = new Map();
+    const evidence = [];
+    for (const c of allComponents) {
+        const primary = c.source?.config_files?.[0] ?? '__none';
+        const key = `${c.type}|${c.name}|${primary}`;
+        const prior = seen.get(key);
+        if (prior) {
+            evidence.push({
+                id: c.component_id,
+                ok: false,
+                reason: `dedup-key collision with ${prior.component_id} on (${c.type}, ${c.name}, ${primary})`,
+            });
+        }
+        else {
+            seen.set(key, c);
+        }
+    }
+    // Don't generate ok-evidence for every component — only collisions.
+    return {
+        class: 'DEDUP_COLLISION',
+        sampledCount: allComponents.length,
+        defectCount: evidence.length,
+        samples: evidence,
+    };
+}
+/**
+ * Build a structured payload describing each sampled file's recorded outgoing
+ * edges, for an MCP-side LLM judge to set-diff against the file contents.
+ *
+ * In CLI mode we set `llm_skipped: true` and return zero defects; the audit
+ * report flags the skip but doesn't fail.
+ */
+export function verifyMissedEdge(sampledFiles, allConnections, ctx) {
+    if (!ctx.isMcpMode) {
+        return {
+            class: 'MISSED_EDGE',
+            sampledCount: sampledFiles.length,
+            defectCount: 0,
+            samples: sampledFiles.map((f) => ({ id: f, ok: true, reason: 'llm-skipped' })),
+            llm_skipped: true,
+        };
+    }
+    // Build per-file edge map.
+    const byFile = new Map();
+    for (const conn of allConnections) {
+        const f = conn.code_reference?.file;
+        if (!f)
+            continue;
+        let arr = byFile.get(f);
+        if (!arr) {
+            arr = [];
+            byFile.set(f, arr);
+        }
+        arr.push(conn);
+    }
+    const payload = {
+        instruction: 'For each file, list all outgoing dependencies (imports, API calls, db queries, queue producers, LLM calls). ' +
+            'Set-diff against `recorded_outgoing_edges`. Return any dependency in the file that is NOT in the recorded list.',
+        files: sampledFiles.map((rel) => ({
+            path: rel,
+            recorded_outgoing_edges: (byFile.get(rel) ?? []).map((c) => ({
+                connection_id: c.connection_id,
+                target_component_id: c.to?.component_id ?? '',
+                target_name: ctx.componentById.get(c.to?.component_id ?? '')?.name,
+                symbol: c.code_reference?.symbol,
+            })),
+        })),
+    };
+    // The LLM judge runs out-of-band; we mark all samples ok pending its reply.
+    // The MCP transport is responsible for re-injecting the verdict into the
+    // audit report on a follow-up tool call.
+    return {
+        class: 'MISSED_EDGE',
+        sampledCount: sampledFiles.length,
+        defectCount: 0,
+        samples: sampledFiles.map((f) => ({ id: f, ok: true, reason: 'awaiting-llm-verdict' })),
+        llm_payload: payload,
+    };
+}
+//# sourceMappingURL=verifiers.js.map

package/dist/audit/verifiers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifiers.js","sourceRoot":"","sources":["../../src/audit/verifiers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,MAAM,MAAM,QAAQ,CAAC;AACjC,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAsD7B,4EAA4E;AAC5E,4BAA4B;AAC5B,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAgB;IAClD,cAAc;IACd,QAAQ;IACR,QAAQ;IACR,WAAW;CACZ,CAAC,CAAC;AAEH,+EAA+E;AAC/E,UAAU;AACV,+EAA+E;AAE/E,KAAK,UAAU,YAAY,CAAC,OAAe;IACzC,IAAI,CAAC;QACH,OAAO,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACtD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,CAAS;IAC5B,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,gBAAgB,CAAC,CAAS;IACjC,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,OAAe,EAAE,GAAW;IACnD,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,MAAM,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnD,OAAO,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;GAKG;AACH,SAAS,sBAAsB,CAAC,OAAe,EAAE,MAAc;IAC7D,MAAM,QAAQ,GAAG,6CAA6C,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjF,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAE5B,MAAM,WAAW,GAAG,IAAI,MAAM,CAC5B,wEAAwE;QACtE,WAAW,CAAC,QAAQ,CAAC;QACrB,+BAA+B,CAClC,CAAC;IACF,OAAO,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACnC,CAAC;AAED,KAAK,UAAU,UAAU,CAAC,OAAe;IACvC,IAAI,CAAC;QACH,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,KAAK,UAAU,UAAU,CAAC,OAAe;IACvC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAChD,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,8BAA8B;AAC9B,+EAA+E;AAE/E;;;;;;;GAOG;AACH,SAAS,aAAa,CAAC,IAA2B;IAChD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,YAAY,IAAI,EAAE,CAAC;IAC5C,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;IAC/D,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAA4B,CAAC;IAC5D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,OAAO,EAAE,CAAC,MAAM,CAAC,KAAK,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IACzD,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QAAE,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC;YAAE,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpG,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;YACjC,MAAM,CAAC,GAAI,CAAwB,EAAE,IAAI,CAAC;YAC1C,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;AAC1D,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,IAA2B;IACjD,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAA4B,CAAC;IAC5D,IAAI,OAAO,EAAE,CAAC,QAAQ,CAAC,KAAK,QAAQ,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC;IACrF,MAAM,EAAE,GAAI,IAAiD,CAAC,cAAc,EAAE,MAAM,CAAC;IACrF,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACvD,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAClD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,OAA6C,EAC7C,GAAoB;IAEpB,MAAM,QAAQ,GAAqB,EAAE,CAAC;IAEtC,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACjE,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,sEAAsE;YACtE,6EAA6E;YAC7E,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,2CAA2C,EAAE,CAAC,CAAC;YAC5H,SAAS;QACX,CAAC;QAED,iDAAiD;QACjD,IAAI,aAAa,GAAkB,IAAI,CAAC;QACxC,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YACzE,IAAI,MAAM,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1B,aAAa,GAAG,GAAG,CAAC;gBACpB,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC;gBACZ,EAAE,EAAE,IAAI,CAAC,YAAY;gBACrB,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,WAAW,WAAW,CAAC,MAAM,IAAI,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,sBAAsB;aACpG,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,oEAAoE;QACpE,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,QAAQ,CAAC,IAAI,CAAC;oBACZ,EAAE,EAAE,IAAI,CAAC,YAAY;oBACrB,EAAE,EAAE,IAAI;oBACR,YAAY,EAAE,IAAI;oBAClB,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,mFAAmF;iBAC9G,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;YACvG,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,CAAC;YACxC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,aAAa,EAAE,EAAE,CAAC,CAAC;gBAClH,SAAS;YACX,CAAC;YACD,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,YAAY,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,IAAI,kBAAkB,aAAa,EAAE,EAAE,CAAC,CAAC;gBACjH,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;YACnD,SAAS;QACX,CAAC;QAED,wEAAwE;QACxE,gDAAgD;QAChD,IAAI,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1D,MAAM,GAAG,GAAI,IAAiD,CAAC,cAAc,EAAE,MAAM,CAAC;YACtF,yEAAyE;YACzE,0EAA0E;YAC1E,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3D,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvD,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,CAAC;gBACxC,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC/C,QAAQ,CAAC,IAAI,CAAC;wBACZ,EAAE,EAAE,IAAI,CAAC,YAAY;wBACrB,EAAE,EAAE,KAAK;wBACT,MAAM,EAAE,WAAW,GAAG,kBAAkB,WAAW,CAAC,CAAC,CAAC,EAAE;qBACzD,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;YACH,CAAC;QACH,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,OAAO;QACL,KAAK,EAAE,wBAAwB;QAC/B,YAAY,EAAE,OAAO,CAAC,MAAM;QAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM;QACjD,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM;QAChE,OAAO,EAAE,QAAQ;KAClB,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,yBAAyB;AACzB,+EAA+E;AAE/E,MAAM,UAAU,sBAAsB,CACpC,OAA8C,EAC9C,GAAoB;IAEpB,MAAM,QAAQ,GAAqB,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACtD,MAAM,MAAM,GAAG,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC;QAChE,IAAI,MAAM,IAAI,IAAI;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;QAChE,OAAO;YACL,EAAE,EAAE,IAAI,CAAC,aAAa;YACtB,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,CAAC,MAAM,IAAI,CAAC,IAAI;gBACtB,CAAC,CAAC,2BAA2B;gBAC7B,CAAC,CAAC,CAAC,MAAM;oBACT,CAAC,CAAC,sBAAsB,IAAI,CAAC,IAAI,EAAE,YAAY,cAAc;oBAC7D,CAAC,CAAC,oBAAoB,IAAI,CAAC,EAAE,EAAE,YAAY,cAAc;SAC5D,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,KAAK,EAAE,mBAAmB;QAC1B,YAAY,EAAE,OAAO,CAAC,MAAM;QAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM;QACjD,OAAO,EAAE,QAAQ;KAClB,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,sBAAsB;AACtB,+EAA+E;AAE/E;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,OAA8C,EAC9C,GAAoB;IAEpB,MAAM,QAAQ,GAAqB,EAAE,CAAC;IAEtC,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC;QAC3C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;YACpD,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,iEAAiE;YACjE,iDAAiD;YACjD,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;YACpD,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC;QAClE,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC;QAC3C,MAAM,UAAU,GAAG,MAAM,EAAE,IAAI,CAAC;QAEhC,wDAAwD;QACxD,2CAA2C;QAC3C,iDAAiD;QACjD,2EAA2E;QAC3E,2EAA2E;QAC3E,0EAA0E;QAC1E,iCAAiC;QACjC,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,GAAG,CAAC,CAAC;YACjC,IAAI,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC;gBAAE,KAAK,GAAG,IAAI,CAAC;YACnD,IAAI,CAAC,KAAK,IAAI,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC;gBAAE,KAAK,GAAG,IAAI,CAAC;QACtE,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,UAAU,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClD,KAAK,CAAC,IAAI,CAAC,SAAS,UAAU,GAAG,CAAC,CAAC;YACnC,IAAI,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC;gBAAE,KAAK,GAAG,IAAI,CAAC;QACzD,CAAC;QAED,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC;gBACZ,EAAE,EAAE,IAAI,CAAC,aAAa;gBACtB,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,mBAAmB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,QAAQ,EAAE;aAC/D,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,gBAAgB;QACvB,YAAY,EAAE,OAAO,CAAC,MAAM;QAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM;QACjD,OAAO,EAAE,QAAQ;KAClB,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E,MAAM,CAAC,KAAK,UAAU,oBAAoB;AACxC,sDAAsD;AACtD,YAAmC,EACnC,GAAoB;IAEpB,MAAM,QAAQ,GAAqB,EAAE,CAAC;IAEtC,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACrC,OAAO;YACL,KAAK,EAAE,iBAAiB;YACxB,YAAY,EAAE,YAAY,CAAC,MAAM;YACjC,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;SACxD,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,+DAA+D;YAC/D,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,sCAAsC;YACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,+BAA+B,EAAE,CAAC,CAAC;YAC/E,SAAS;QACX,CAAC;QACD,IAAI,OAAO,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC;gBACZ,EAAE,EAAE,GAAG;gBACP,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,2BAA2B,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI;aAC9F,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,iBAAiB;QACxB,YAAY,EAAE,YAAY,CAAC,MAAM;QACjC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM;QACjD,OAAO,EAAE,QAAQ;KAClB,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,yDAAyD;AACzD,+EAA+E;AAE/E;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,aAAmD;IAEnD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAiC,CAAC;IACtD,MAAM,QAAQ,GAAqB,EAAE,CAAC;IAEtC,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC;QACxD,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,OAAO,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,KAAK,EAAE,CAAC;YACV,QAAQ,CAAC,IAAI,CAAC;gBACZ,EAAE,EAAE,CAAC,CAAC,YAAY;gBAClB,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,4BAA4B,KAAK,CAAC,YAAY,QAAQ,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,KAAK,OAAO,GAAG;aAC/F,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,OAAO;QACL,KAAK,EAAE,iBAAiB;QACxB,YAAY,EAAE,aAAa,CAAC,MAAM;QAClC,WAAW,EAAE,QAAQ,CAAC,MAAM;QAC5B,OAAO,EAAE,QAAQ;KAClB,CAAC;AACJ,CAAC;AAoBD;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAC9B,YAAmC,EACnC,cAAqD,EACrD,GAAoB;IAEpB,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;QACnB,OAAO;YACL,KAAK,EAAE,aAAa;YACpB,YAAY,EAAE,YAAY,CAAC,MAAM;YACjC,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;YAC9E,WAAW,EAAE,IAAI;SAClB,CAAC;IACJ,CAAC;IAED,2BAA2B;IAC3B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC3D,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC;QACpC,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,IAAI,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,GAAG,GAAG,EAAE,CAAC;YACT,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACrB,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,OAAO,GAAsB;QACjC,WAAW,EACT,8GAA8G;YAC9G,iHAAiH;QACnH,KAAK,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAChC,IAAI,EAAE,GAAG;YACT,uBAAuB,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC3D,aAAa,EAAE,CAAC,CAAC,aAAa;gBAC9B,mBAAmB,EAAE,CAAC,CAAC,EAAE,EAAE,YAAY,IAAI,EAAE;gBAC7C,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,YAAY,IAAI,EAAE,CAAC,EAAE,IAAI;gBAClE,MAAM,EAAE,CAAC,CAAC,cAAc,EAAE,MAAM;aACjC,CAAC,CAAC;SACJ,CAAC,CAAC;KACJ,CAAC;IAEF,4EAA4E;IAC5E,yEAAyE;IACzE,yCAAyC;IACzC,OAAO;QACL,KAAK,EAAE,aAAa;QACpB,YAAY,EAAE,YAAY,CAAC,MAAM;QACjC,WAAW,EAAE,CAAC;QACd,OAAO,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC,CAAC;QACvF,WAAW,EAAE,OAAO;KACrB,CAAC;AACJ,CAAC"}

package/dist/classify.d.ts

@@ -0,0 +1,19 @@
+/**
+ * NavGator Semantic Connection Classification
+ * Classifies connections as production, admin, analytics, test, dev-only, migration, or unknown
+ */
+import { ArchitectureComponent, ArchitectureConnection } from './types.js';
+export type SemanticClassification = 'production' | 'admin' | 'analytics' | 'test' | 'dev-only' | 'migration' | 'unknown';
+export interface SemanticInfo {
+    classification: SemanticClassification;
+    confidence: number;
+}
+/**
+ * Classify a connection based on file path patterns of source and target components.
+ */
+export declare function classifyConnection(conn: ArchitectureConnection, fromComponent: ArchitectureComponent, toComponent: ArchitectureComponent): SemanticInfo;
+/**
+ * Classify all connections in a batch
+ */
+export declare function classifyAllConnections(connections: ArchitectureConnection[], components: ArchitectureComponent[]): Map<string, SemanticInfo>;
+//# sourceMappingURL=classify.d.ts.map

package/dist/classify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"classify.d.ts","sourceRoot":"","sources":["../src/classify.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAE3E,MAAM,MAAM,sBAAsB,GAAG,YAAY,GAAG,OAAO,GAAG,WAAW,GAAG,MAAM,GAAG,UAAU,GAAG,WAAW,GAAG,SAAS,CAAC;AAE1H,MAAM,WAAW,YAAY;IAC3B,cAAc,EAAE,sBAAsB,CAAC;IACvC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,sBAAsB,EAC5B,aAAa,EAAE,qBAAqB,EACpC,WAAW,EAAE,qBAAqB,GACjC,YAAY,CAiEd;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,sBAAsB,EAAE,EACrC,UAAU,EAAE,qBAAqB,EAAE,GAClC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CA2C3B"}