scai 0.1.178 → 1.0.0

package/dist/agents/evidenceVerifierStep.js

@@ -1,4 +1,15 @@
-// File: src/modules/evidenceVerifierStep.ts
+/**
+ * Verifies candidate files with deterministic evidence scoring.
+ *
+ * Why this file exists:
+ * - turn broad retrieval hits into grounded per-file evidence
+ * - favor exact file/symbol matches, but still surface good structural matches
+ * - keep verification explainable through scored evidence and rationale logs
+ *
+ * Example:
+ * - query "which method decides verify wave budget" should surface
+ *   `getGroundingWaveBudget` from structural data even if the query never names it
+ */
 import fs from "fs";
 import path from "path";
 import { logInputOutput } from "../utils/promptLogHelper.js";
@@ -21,6 +32,10 @@ const MAX_SENTENCE_TARGETS = 8;
 const MAX_SENTENCE_MATCHES_PER_TARGET = 2;
 const MAX_SENTENCE_EVIDENCE_PER_FILE = 16;
 const MAX_EVIDENCE_ITEMS_PER_FILE = 24;
+const FUNCTION_DECLARATION_REGEXES = [
+    /(?:^|\s)(?:export\s+)?function\s+([A-Za-z_][A-Za-z0-9_]*)\s*\(/gm,
+    /(?:^|\s)(?:export\s+)?const\s+([A-Za-z_][A-Za-z0-9_]*)\s*=\s*(?:async\s*)?\([^)]*\)\s*=>/gm,
+];
 function clamp(value, min = 0, max = 1) {
     return Math.max(min, Math.min(max, value));
 }
@@ -33,6 +48,19 @@ function uniq(values) {
 function normalizeToken(token) {
     return token.toLowerCase();
 }
+/**
+ * Splits identifiers into searchable word parts.
+ * Example: "getGroundingWaveBudget" -> ["get", "grounding", "wave", "budget"].
+ */
+function splitIdentifierParts(identifier) {
+    const spaced = identifier
+        .replace(/([a-z0-9])([A-Z])/g, "$1 $2")
+        .replace(/[_-]+/g, " ");
+    return uniq(spaced
+        .split(/\s+/)
+        .map(normalizeToken)
+        .filter((part) => part.length >= 3));
+}
 function stemToken(token) {
     if (token.endsWith("ies") && token.length > 4) {
         return `${token.slice(0, -3)}y`;
@@ -78,6 +106,29 @@ function buildSnippet(lines, lineIndex) {
         .slice(Math.max(0, lineIndex - 1), Math.min(lines.length, lineIndex + 2))
         .join("\n");
 }
+/**
+ * Finds likely function identifiers directly from code when structural preload did not
+ * record them yet.
+ * Example: `export function getGroundingWaveBudget()` -> identifier `getGroundingWaveBudget`.
+ */
+function extractFunctionLikeDeclarations(code) {
+    const matches = [];
+    for (const regex of FUNCTION_DECLARATION_REGEXES) {
+        regex.lastIndex = 0;
+        for (const match of code.matchAll(regex)) {
+            const name = match[1]?.trim();
+            if (!name)
+                continue;
+            const offset = match.index ?? 0;
+            const line = code.slice(0, offset).split("\n").length;
+            matches.push({ name, line });
+        }
+    }
+    return uniq(matches.map(item => `${item.name}:${item.line}`)).map(key => {
+        const [name, line] = key.split(":");
+        return { name, line: Number(line) || 0 };
+    });
+}
 function isCommentLikeOrStringOnly(line) {
     const trimmed = line.trim();
     if (!trimmed)
@@ -195,6 +246,28 @@ function computeSymbolConfidence(symbol, sentenceTargets) {
     }
     return 0.85;
 }
+/**
+ * Allows structural names to match by informative identifier parts.
+ * Example:
+ * - query tokens ["verify","wave","budget"] and symbol `getGroundingWaveBudget`
+ *   overlap on ["wave","budget"], so the symbol should still count as structural evidence.
+ */
+function computeStructuralSymbolMatch(symbol, queryTokenSet) {
+    const normalized = normalizeToken(symbol);
+    if (queryTokenSet.has(normalized)) {
+        return { matched: true, confidence: WEAK_TOKENS.has(normalized) ? 0.6 : 0.85 };
+    }
+    const informativeParts = splitIdentifierParts(symbol).filter((part) => !STOPWORDS.has(part) && !WEAK_TOKENS.has(part) && !GENERIC_TOKENS.has(part));
+    const overlap = informativeParts.filter((part) => queryTokenSet.has(part));
+    if (overlap.length < 2) {
+        return { matched: false, confidence: 0 };
+    }
+    const overlapRatio = overlap.length / Math.max(informativeParts.length, 1);
+    return {
+        matched: true,
+        confidence: clamp(0.72 + overlapRatio * 0.18, 0.72, 0.9),
+    };
+}
 function dedupeEvidence(items) {
     const bestByKey = new Map();
     for (const item of items) {
@@ -473,15 +546,15 @@ export const evidenceVerifierStep = {
                 (struct.functions ?? []).forEach((fn) => {
                     if (!fn.name)
                         return;
-                    const normalized = normalizeToken(fn.name);
-                    if (!queryTokenSet.has(normalized))
+                    const symbolMatch = computeStructuralSymbolMatch(fn.name, queryTokenSet);
+                    if (!symbolMatch.matched)
                         return;
                     const ev = {
-                        claim: `Function name matches query: "${fn.name}"`,
+                        claim: `Function name matches query intent: "${fn.name}"`,
                         type: "structural",
                         excerpt: fn.name,
                         span: { startLine: fn.start ?? 0, endLine: fn.end ?? 0 },
-                        confidence: WEAK_TOKENS.has(normalized) ? 0.6 : 0.85
+                        confidence: symbolMatch.confidence
                     };
                     structuralEvidence.push(ev);
                     addEvidence(ev, fn.start ?? 0, fn.name);
@@ -489,15 +562,15 @@ export const evidenceVerifierStep = {
                 (struct.classes ?? []).forEach((cls) => {
                     if (!cls.name)
                         return;
-                    const normalized = normalizeToken(cls.name);
-                    if (!queryTokenSet.has(normalized))
+                    const symbolMatch = computeStructuralSymbolMatch(cls.name, queryTokenSet);
+                    if (!symbolMatch.matched)
                         return;
                     const ev = {
-                        claim: `Class name matches query: "${cls.name}"`,
+                        claim: `Class name matches query intent: "${cls.name}"`,
                         type: "structural",
                         excerpt: cls.name,
                         span: { startLine: cls.start ?? 0, endLine: cls.end ?? 0 },
-                        confidence: WEAK_TOKENS.has(normalized) ? 0.6 : 0.85
+                        confidence: symbolMatch.confidence
                     };
                     structuralEvidence.push(ev);
                     addEvidence(ev, cls.start ?? 0, cls.name);
@@ -505,15 +578,15 @@ export const evidenceVerifierStep = {
                 [...(struct.imports ?? []), ...(struct.exports ?? [])].forEach((symbol) => {
                     if (!symbol)
                         return;
-                    const normalized = normalizeToken(symbol);
-                    if (!queryTokenSet.has(normalized))
+                    const symbolMatch = computeStructuralSymbolMatch(symbol, queryTokenSet);
+                    if (!symbolMatch.matched)
                         return;
                     const ev = {
-                        claim: `Import/Export matches query: "${symbol}"`,
+                        claim: `Import/Export matches query intent: "${symbol}"`,
                         type: "structural",
                         excerpt: symbol,
                         span: { startLine: 0, endLine: 0 },
-                        confidence: WEAK_TOKENS.has(normalized) ? 0.55 : 0.8
+                        confidence: clamp(symbolMatch.confidence - 0.05, 0.55, 0.85)
                     };
                     structuralEvidence.push(ev);
                     addEvidence(ev, 0, symbol);
@@ -530,6 +603,23 @@ export const evidenceVerifierStep = {
                     });
                 }
             }
+            if (structuralEvidence.length === 0 && code) {
+                const fallbackDeclarations = extractFunctionLikeDeclarations(code);
+                for (const declaration of fallbackDeclarations) {
+                    const symbolMatch = computeStructuralSymbolMatch(declaration.name, queryTokenSet);
+                    if (!symbolMatch.matched)
+                        continue;
+                    const ev = {
+                        claim: `Function-like declaration matches query intent: "${declaration.name}"`,
+                        type: "structural",
+                        excerpt: declaration.name,
+                        span: { startLine: declaration.line, endLine: declaration.line },
+                        confidence: clamp(symbolMatch.confidence + 0.04, 0.75, 0.94)
+                    };
+                    structuralEvidence.push(ev);
+                    addEvidence(ev, declaration.line, declaration.name);
+                }
+            }
             const dedupedEvidence = capEvidence(dedupeEvidence(rawEvidence));
             const evidenceItems = dedupedEvidence.map((item) => item.evidence);
             const score = computeFileConfidence(dedupedEvidence, symbolTargets);
@@ -646,3 +736,4 @@ export const evidenceVerifierStep = {
         return output;
     }
 };
+//# sourceMappingURL=evidenceVerifierStep.js.map

package/dist/agents/evidenceVerifierStep.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidenceVerifierStep.js","sourceRoot":"","sources":["../../src/agents/evidenceVerifierStep.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,MAAM,IAAI,CAAC;AACpB,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAG7D,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACtB,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM;IACzE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM;IAC7E,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;IAC1E,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM;IAC1E,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;IACzE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK;CACzE,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;IACxB,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM;CAChF,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC3B,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM;CAC3D,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,gCAAgC,CAAC;AACxD,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAC/B,MAAM,+BAA+B,GAAG,CAAC,CAAC;AAC1C,MAAM,8BAA8B,GAAG,EAAE,CAAC;AAC1C,MAAM,2BAA2B,GAAG,EAAE,CAAC;AACvC,MAAM,4BAA4B,GAAG;IACjC,kEAAkE;IAClE,4FAA4F;CAC/F,CAAC;AAqBF,SAAS,KAAK,CAAC,KAAa,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC;IAC1C,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAC9B,OAAO,KAAK,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,IAAI,CAAC,MAAgB;IAC1B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACjC,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC;AAC/B,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAAC,UAAkB;IAC5C,MAAM,MAAM,GAAG,UAAU;SACpB,OAAO,CAAC,oBAAoB,EAAE,OAAO,CAAC;SACtC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAE5B,OAAO,IAAI,CACP,MAAM;SACD,KAAK,CAAC,KAAK,CAAC;SACZ,GAAG,CAAC,cAAc,CAAC;SACnB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAC1C,CAAC;AACN,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC5B,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IACpC,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAC9B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,gCAAgC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAC9B,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IAExD,IAAI,UAAU,KAAK,UAAU,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;QACtD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnB,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvB,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpB,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;IACD,IAAI,UAAU,KAAK,OAAO,IAAI,UAAU,KAAK,SAAS,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QAC5E,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpB,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvB,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvB,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvB,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvB,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACzB,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,UAAU,KAAK,SAAS,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACnD,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACzB,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,YAAY,CAAC,KAAe,EAAE,SAAiB;IACpD,OAAO,KAAK;SACP,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;SACxE,IAAI,CAAC,IAAI,CAAC,CAAC;AACpB,CAAC;AAED;;;;GAIG;AACH,SAAS,+BAA+B,CAAC,IAAY;IACjD,MAAM,OAAO,GAA0C,EAAE,CAAC;IAE1D,KAAK,MAAM,KAAK,IAAI,4BAA4B,EAAE,CAAC;QAC/C,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;QACpB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;YAChC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;YACtD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACjC,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QACpE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAY;IAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAE3B,IACI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;QACxB,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;QACxB,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;QACvB,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EACzB,CAAC;QACC,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,cAAc,CAAC,KAAa,EAAE,iBAA2B,EAAE;IAShE,MAAM,sBAAsB,GAAG,CAAC,MAAc,EAAW,EAAE;QACvD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACrC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAEtC,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CACnC,CAAC,KAAK,EAAE,EAAE,CACN,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;YACrB,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;YAC1B,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAC9B,CAAC;QACF,OAAO,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;IACxC,CAAC,CAAC;IAEF,MAAM,qBAAqB,GAAa,EAAE,CAAC;IAC3C,MAAM,WAAW,GAAG,kBAAkB,CAAC;IACvC,IAAI,UAAkC,CAAC;IAEvC,OAAO,CAAC,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACrD,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACpC,IAAI,sBAAsB,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvC,CAAC;IACL,CAAC;IAED,MAAM,wBAAwB,GAAa,EAAE,CAAC;IAC9C,IAAI,CAAC,qBAAqB,CAAC,MAAM,EAAE,CAAC;QAChC,KAAK;aACA,KAAK,CAAC,QAAQ,CAAC;aACf,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;aAChC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,EAAE,CAAC;aACxC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,+BAA+B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;aACnE,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC;aACpD,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,CAAC,CAAC,GAAG,qBAAqB,EAAE,GAAG,wBAAwB,CAAC,CAAC,CAAC,KAAK,CACvF,CAAC,EACD,oBAAoB,CACvB,CAAC;IAEF,MAAM,eAAe,GAAG,IAAI,CACxB,KAAK;SACA,KAAK,CAAC,KAAK,CAAC;SACZ,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;SAC3D,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CACnD,CAAC;IAEF,MAAM,mBAAmB,GAAG,IAAI,CAC5B,eAAe;SACV,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;SACjE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CACnD,CAAC;IAEF,MAAM,eAAe,GAAG,IAAI,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,CAAC,CACjF,CAAC;IAEF,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;IACxE,MAAM,wBAAwB,GAAG,cAAc;SAC1C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;SACrC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;IAC1C,MAAM,YAAY,GAAG,IAAI,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,wBAAwB,CAAC,CAAC,CAAC;IACpE,MAAM,cAAc,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACjF,MAAM,aAAa,GAAG,IAAI,CACtB,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QAC1B,MAAM,UAAU,GAAG,KAAK,CAAC;QACzB,IAAI,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC;QAC5C,IACI,qBAAqB,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CACpC,QAAQ,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAC9C,EACH,CAAC;YACC,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,IAAI,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAClD,IAAI,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAClD,OAAO,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CACL,CAAC;IAEF,MAAM,aAAa,GAAG,IAAI,GAAG,CACzB,cAAc;SACT,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAChD,CAAC;IAEF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAC9B,cAAc,CAAC,MAAM,CACjB,CAAC,KAAK,EAAE,EAAE,CACN,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;QACrB,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;QACvB,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;QAC1B,KAAK,CAAC,MAAM,IAAI,CAAC,CACxB,CACJ,CAAC;IAEF,OAAO;QACH,eAAe;QACf,eAAe;QACf,mBAAmB;QACnB,eAAe;QACf,aAAa;QACb,aAAa;QACb,kBAAkB;KACrB,CAAC;AACN,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAa;IAC3C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,yBAAyB,CAAC,IAAI,EAAE,CAAC;IAE/D,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC/B,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS;QACzC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS;QACpC,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3C,CAAC;IAED,OAAO,WAAW,CAAC;AACvB,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAc,EAAE,eAAyB;IACtE,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAE1C,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QAC9E,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,SAAS,4BAA4B,CAAC,MAAc,EAAE,aAA0B;IAI5E,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACnF,CAAC;IAED,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,MAAM,CACxD,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CACxF,CAAC;IACF,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;IAC7C,CAAC;IAED,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC3E,OAAO;QACH,OAAO,EAAE,IAAI;QACb,UAAU,EAAE,KAAK,CAAC,IAAI,GAAG,YAAY,GAAG,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;KAC3D,CAAC;AACN,CAAC;AAED,SAAS,cAAc,CAAC,KAAyB;IAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,EAA4B,CAAC;IAEtD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC;QACzB,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC,IAAI,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QACtE,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,OAAO,EAAE,CAAC;QAC9D,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAEpC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,IAAI,CAAC,CAAC,EAAE,CAAC;YAC1E,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC7B,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,WAAW,CAAC,KAAyB;IAC1C,MAAM,YAAY,GAAyC;QACvD,QAAQ,EAAE,CAAC;QACX,UAAU,EAAE,CAAC;QACb,MAAM,EAAE,CAAC;QACT,QAAQ,EAAE,CAAC;QACX,iBAAiB,EAAE,CAAC;KACvB,CAAC;IAEF,OAAO,CAAC,GAAG,KAAK,CAAC;SACZ,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACX,MAAM,aAAa,GAAG,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACpF,IAAI,aAAa,KAAK,CAAC;YAAE,OAAO,aAAa,CAAC;QAE9C,MAAM,eAAe,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC;QACpF,IAAI,eAAe,KAAK,CAAC;YAAE,OAAO,eAAe,CAAC;QAElD,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;IAC3B,CAAC,CAAC;SACD,KAAK,CAAC,CAAC,EAAE,2BAA2B,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAe;IAC/C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IAE/B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACzF,IAAI,MAAM,GAAG,MAAM,CAAC,iBAAiB,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,MAAM,IAAI,CAAC;QAAE,UAAU,IAAI,IAAI,CAAC;SAC/B,IAAI,MAAM,IAAI,CAAC;QAAE,UAAU,IAAI,IAAI,CAAC;SACpC,IAAI,MAAM,IAAI,EAAE;QAAE,UAAU,IAAI,IAAI,CAAC;SACrC,IAAI,MAAM,GAAG,EAAE;QAAE,UAAU,IAAI,IAAI,CAAC;IAEzC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,IAAI,MAAM,GAAG,GAAG,EAAE,CAAC;QACrC,UAAU,IAAI,IAAI,CAAC;IACvB,CAAC;IAED,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,SAAS,qBAAqB,CAC1B,gBAAoC,EACpC,aAAuB;IAEvB,MAAM,OAAO,GAAyC;QAClD,QAAQ,EAAE,GAAG;QACb,QAAQ,EAAE,GAAG;QACb,MAAM,EAAE,GAAG;QACX,UAAU,EAAE,IAAI;QAChB,iBAAiB,EAAE,GAAG;KACzB,CAAC;IAEF,MAAM,IAAI,GAAyC;QAC/C,QAAQ,EAAE,GAAG;QACb,QAAQ,EAAE,GAAG;QACb,MAAM,EAAE,GAAG;QACX,UAAU,EAAE,GAAG;QACf,iBAAiB,EAAE,GAAG;KACzB,CAAC;IAEF,MAAM,OAAO,GAAG,IAAI,GAAG,EAA4C,CAAC;IACpE,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAED,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAC1B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,IAAI,CAAC,CAAC,CACxE,CAAC;QAEF,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YAC3B,MAAM,WAAW,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,GAAG,GAAG,CAAC,CAAC;YAC5D,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,IAAI,GAAG,CAAC,CAAC;YACvD,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,GAAG,WAAW,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC;IAE3D,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3F,MAAM,aAAa,GACf,iBAAiB,IAAI,CAAC;QAClB,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,iBAAiB,KAAK,CAAC;YACrB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,iBAAiB,KAAK,CAAC;gBACrB,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,IAAI,CAAC;IAEvB,MAAM,cAAc,GAAG,IAAI,GAAG,CAC1B,gBAAgB;SACX,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC;SACxG,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,KAAe,CAAC,CAAC,CAC3D,CAAC;IACF,MAAM,kBAAkB,GACpB,aAAa,CAAC,MAAM,GAAG,CAAC;QACpB,CAAC,CAAC,IAAI,GAAG,CAAC,cAAc,CAAC,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC;QACrD,CAAC,CAAC,CAAC,CAAC;IAEZ,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,MAAM,CAC9C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CACnF,CAAC;IACF,MAAM,iBAAiB,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;IACrF,MAAM,cAAc,GAChB,kBAAkB,CAAC,MAAM,GAAG,CAAC;QACzB,CAAC,CAAC,GAAG,GAAG,CAAC,iBAAiB,GAAG,kBAAkB,CAAC,MAAM,CAAC;QACvD,CAAC,CAAC,CAAC,CAAC;IAEZ,MAAM,sBAAsB,GAAG,gBAAgB,CAAC,MAAM,CAClD,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,WAAW,CAChE,CAAC,MAAM,CAAC;IACT,MAAM,cAAc,GAChB,kBAAkB,CAAC,MAAM,GAAG,CAAC;QACzB,CAAC,CAAC,IAAI,GAAG,CAAC,sBAAsB,GAAG,kBAAkB,CAAC,MAAM,CAAC;QAC7D,CAAC,CAAC,CAAC,CAAC;IAEZ,MAAM,cAAc,GAAG,gBAAgB;SAClC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;SACxB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAChC,MAAM,mBAAmB,GAAG,0BAA0B,CAAC,cAAc,CAAC,CAAC;IAEvE,MAAM,KAAK,GAAG,KAAK,CACf,cAAc;QACd,aAAa;QACb,kBAAkB;QAClB,mBAAmB;QACnB,cAAc;QACd,cAAc,CACjB,CAAC;IAEF,OAAO;QACH,OAAO;QACP,cAAc;QACd,aAAa;QACb,kBAAkB;QAClB,mBAAmB;QACnB,cAAc;QACd,cAAc;QACd,KAAK;KACR,CAAC;AACN,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa,EAAE,QAAgB,EAAE,QAAgB;IACzE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtF,OAAO,GAAG,CAAC;IACf,CAAC;IACD,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACxB,OAAO,GAAG,CAAC;IACf,CAAC;IACD,uEAAuE;IACvE,OAAO,KAAK,CAAC,CAAC,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAW;IACxC,IAAI,EAAE,kBAAkB;IACxB,WAAW,EAAE,8GAA8G;IAC3H,MAAM,EAAE,CAAC,UAAU,CAAC;IAEpB,GAAG,EAAE,KAAK,EAAE,KAAe,EAAqB,EAAE;;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,KAAK,CAAC,OAA4B,CAAC;QAEnD,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;QACxE,CAAC;QAED,MAAA,OAAO,CAAC,QAAQ,EAAC,YAAY,QAAZ,YAAY,GAAK,EAAE,EAAC;QACrC,MAAA,OAAO,CAAC,QAAQ,EAAC,MAAM,QAAN,MAAM,GAAK,EAAE,MAAM,EAAE,EAAE,EAAE,EAAC;QAC3C,MAAA,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAC,MAAM,QAAN,MAAM,GAAK,EAAE,EAAC;QAEtC,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACzE,MAAM,iBAAiB,GAAG,OAAO,CAAC,WAAW,EAAE,iBAAiB,IAAI,EAAE,CAAC;QACvE,MAAM,SAAS,GAAG,WAAW;aACxB,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;aAC9C,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7F,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAChE,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAEhE,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;YAC/D,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC/B,CAAC;QAED,MAAM,EACF,eAAe,EACf,eAAe,EACf,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,aAAa,EACb,kBAAkB,EACrB,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,WAAW,EAAE,mBAAmB,IAAI,EAAE,CAAC,CAAC;QAC1E,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;QAE1D,KAAK,MAAM,QAAQ,IAAI,WAAW,EAAE,CAAC;YACjC,IAAI,IAAI,GAAG,EAAE,CAAC;YACd,IAAI,CAAC;gBACD,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC9C,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACX,OAAO,CAAC,IAAI,CACR,qCAAqC,QAAQ,KAAM,GAAa,CAAC,OAAO,EAAE,CAC7E,CAAC;YACN,CAAC;YAED,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3C,MAAM,WAAW,GAAuB,EAAE,CAAC;YAE3C,MAAM,WAAW,GAAG,CAChB,QAAsB,EACtB,IAAY,EACZ,KAAc,EACd,WAAqB,EACvB,EAAE;gBACA,WAAW,CAAC,IAAI,CAAC;oBACb,QAAQ;oBACR,IAAI;oBACJ,KAAK;oBACL,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;oBACjE,WAAW;iBACd,CAAC,CAAC;YACP,CAAC,CAAC;YAEF,MAAM,sBAAsB,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;YACrF,MAAM,yBAAyB,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC5D,IAAI,qBAAqB,GAAG,CAAC,CAAC;YAC9B,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;gBACxB,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;gBACvC,sBAAsB,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE;oBACnD,IAAI,qBAAqB,IAAI,8BAA8B,EAAE,CAAC;wBAC1D,OAAO;oBACX,CAAC;oBACD,MAAM,YAAY,GAAG,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBAChE,IAAI,YAAY,IAAI,+BAA+B,EAAE,CAAC;wBAClD,OAAO;oBACX,CAAC;oBACD,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;wBACrD,MAAM,cAAc,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;wBACpD,WAAW,CACP;4BACI,KAAK,EAAE,oBAAoB,cAAc,GAAG;4BAC5C,IAAI,EAAE,UAAU;4BAChB,OAAO,EAAE,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC;4BACjC,IAAI,EAAE,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC,EAAE;4BAC9C,UAAU,EAAE,CAAC;yBAChB,EACD,GAAG,GAAG,CAAC,CACV,CAAC;wBACF,yBAAyB,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,GAAG,CAAC,CAAC,CAAC;wBACxD,qBAAqB,IAAI,CAAC,CAAC;oBAC/B,CAAC;gBACL,CAAC,CAAC,CAAC;YACP,CAAC,CAAC,CAAC;YAEH,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;gBACjC,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC9D,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;oBAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;oBACxB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;wBAAE,SAAS;oBAEhC,WAAW,CACP;wBACI,KAAK,EAAE,4BAA4B,MAAM,GAAG;wBAC5C,IAAI,EAAE,QAAQ;wBACd,OAAO,EAAE,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC;wBACjC,IAAI,EAAE,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC,EAAE;wBAC9C,UAAU,EAAE,uBAAuB,CAAC,MAAM,EAAE,eAAe,CAAC;qBAC/D,EACD,GAAG,GAAG,CAAC,EACP,MAAM,EACN,yBAAyB,CAAC,IAAI,CAAC,CAClC,CAAC;oBACF,MAAM;gBACV,CAAC;YACL,CAAC;YAED,MAAM,kBAAkB,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACxD,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAC7C,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;YAC9D,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC5F,MAAM,cAAc,GAAG,mBAAmB,CAAC,IAAI,CAC3C,CAAC,MAAM,EAAE,EAAE,CACP,kBAAkB,KAAK,MAAM;gBAC7B,kBAAkB,CAAC,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC,CAChD,CAAC;YACF,MAAM,aAAa,GACf,cAAc;gBACd,mBAAmB,CAAC,GAAG,CAAC,YAAY,CAAC;gBACrC,eAAe,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;YAC3C,IAAI,aAAa,EAAE,CAAC;gBAChB,WAAW,CACP;oBACI,KAAK,EAAE,cAAc;wBACjB,CAAC,CAAC,4CAA4C,YAAY,GAAG;wBAC7D,CAAC,CAAC,mCAAmC,YAAY,GAAG;oBACxD,IAAI,EAAE,UAAU;oBAChB,OAAO,EAAE,SAAS,QAAQ,EAAE;oBAC5B,IAAI,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;oBAClC,UAAU,EAAE,CAAC;iBAChB,EACD,CAAC,EACD,YAAY,CACf,CAAC;YACN,CAAC;YAED,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC9F,MAAM,kBAAkB,GAAG,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YACvG,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChC,MAAM,cAAc,GAAG,KAAK,CAAC,GAAG,GAAG,kBAAkB,CAAC,MAAM,GAAG,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;gBAChF,WAAW,CACP;oBACI,KAAK,EAAE,wCAAwC,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;oBAC1F,IAAI,EAAE,iBAAiB;oBACvB,OAAO,EAAE,SAAS,QAAQ,EAAE;oBAC5B,IAAI,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;oBAClC,UAAU,EAAE,cAAc;iBAC7B,EACD,CAAC,EACD,kBAAkB,CAAC,CAAC,CAAC,CACxB,CAAC;YACN,CAAC;YAED,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,UAAU,CAAC;YACnE,MAAM,kBAAkB,GAAmB,EAAE,CAAC;YAC9C,IAAI,MAAM,EAAE,CAAC;gBACT,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;oBACpC,IAAI,CAAC,EAAE,CAAC,IAAI;wBAAE,OAAO;oBACrB,MAAM,WAAW,GAAG,4BAA4B,CAAC,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;oBACzE,IAAI,CAAC,WAAW,CAAC,OAAO;wBAAE,OAAO;oBAEjC,MAAM,EAAE,GAAiB;wBACrB,KAAK,EAAE,wCAAwC,EAAE,CAAC,IAAI,GAAG;wBACzD,IAAI,EAAE,YAAY;wBAClB,OAAO,EAAE,EAAE,CAAC,IAAI;wBAChB,IAAI,EAAE,EAAE,SAAS,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;wBACxD,UAAU,EAAE,WAAW,CAAC,UAAU;qBACrC,CAAC;oBACF,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBAC5B,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;gBAC5C,CAAC,CAAC,CAAC;gBAEH,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;oBACnC,IAAI,CAAC,GAAG,CAAC,IAAI;wBAAE,OAAO;oBACtB,MAAM,WAAW,GAAG,4BAA4B,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;oBAC1E,IAAI,CAAC,WAAW,CAAC,OAAO;wBAAE,OAAO;oBAEjC,MAAM,EAAE,GAAiB;wBACrB,KAAK,EAAE,qCAAqC,GAAG,CAAC,IAAI,GAAG;wBACvD,IAAI,EAAE,YAAY;wBAClB,OAAO,EAAE,GAAG,CAAC,IAAI;wBACjB,IAAI,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,KAAK,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE;wBAC1D,UAAU,EAAE,WAAW,CAAC,UAAU;qBACrC,CAAC;oBACF,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBAC5B,WAAW,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC9C,CAAC,CAAC,CAAC;gBAEH,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;oBACtE,IAAI,CAAC,MAAM;wBAAE,OAAO;oBACpB,MAAM,WAAW,GAAG,4BAA4B,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;oBACxE,IAAI,CAAC,WAAW,CAAC,OAAO;wBAAE,OAAO;oBAEjC,MAAM,EAAE,GAAiB;wBACrB,KAAK,EAAE,wCAAwC,MAAM,GAAG;wBACxD,IAAI,EAAE,YAAY;wBAClB,OAAO,EAAE,MAAM;wBACf,IAAI,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;wBAClC,UAAU,EAAE,KAAK,CAAC,WAAW,CAAC,UAAU,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;qBAC/D,CAAC;oBACF,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBAC5B,WAAW,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC/B,CAAC,CAAC,CAAC;gBAEH,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAChC,cAAc,CAAC,kBAAkB,EAAE,QAAQ,EAAE;wBACzC,IAAI,EAAE,QAAQ;wBACd,KAAK,EAAE,kBAAkB,CAAC,MAAM;wBAChC,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;4BAClD,KAAK,EAAE,EAAE,CAAC,KAAK;4BACf,OAAO,EAAE,EAAE,CAAC,OAAO;4BACnB,UAAU,EAAE,EAAE,CAAC,UAAU;yBAC5B,CAAC,CAAC;qBACN,CAAC,CAAC;gBACP,CAAC;YACL,CAAC;YAED,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;gBAC1C,MAAM,oBAAoB,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;gBACnE,KAAK,MAAM,WAAW,IAAI,oBAAoB,EAAE,CAAC;oBAC7C,MAAM,WAAW,GAAG,4BAA4B,CAAC,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;oBAClF,IAAI,CAAC,WAAW,CAAC,OAAO;wBAAE,SAAS;oBAEnC,MAAM,EAAE,GAAiB;wBACrB,KAAK,EAAE,oDAAoD,WAAW,CAAC,IAAI,GAAG;wBAC9E,IAAI,EAAE,YAAY;wBAClB,OAAO,EAAE,WAAW,CAAC,IAAI;wBACzB,IAAI,EAAE,EAAE,SAAS,EAAE,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE;wBAChE,UAAU,EAAE,KAAK,CAAC,WAAW,CAAC,UAAU,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;qBAC/D,CAAC;oBACF,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBAC5B,WAAW,CAAC,EAAE,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;gBACxD,CAAC;YACL,CAAC;YAED,MAAM,eAAe,GAAG,WAAW,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC,CAAC;YACjE,MAAM,aAAa,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACnE,MAAM,KAAK,GAAG,qBAAqB,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;YACpE,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;YAC1E,MAAM,qBAAqB,GACvB,iBAAiB,CAAC,IAAI,GAAG,CAAC;gBAC1B,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;oBAC1B,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;wBACzE,OAAO,KAAK,CAAC;oBACjB,CAAC;oBACD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC;oBAC3D,OAAO,iBAAiB,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAC3D,CAAC,CAAC,CAAC;YACP,MAAM,OAAO,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YAC5C,MAAM,cAAc,GAChB,OAAO,OAAO,KAAK,QAAQ;gBACvB,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC;gBAC/C,CAAC,CAAC,GAAG,CAAC;YACd,4CAA4C;YAC5C,MAAM,SAAS,GAAG,OAAO,OAAO,KAAK,QAAQ;gBACzC,CAAC,CAAC,CAAC,cAAc,GAAG,GAAG,CAAC,GAAG,GAAG;gBAC9B,CAAC,CAAC,CAAC,CAAC;YACR,MAAM,cAAc,GAAG,CAAC,cAAc,IAAI,qBAAqB,CAAC;gBAC5D,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,SAAS,CAAC,CAAC;YAErC,MAAM,YAAY,GAAG,IAAI,CACrB,eAAe;iBACV,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;iBAC1D,MAAM,CAAC,OAAO,CAAC,CACvB,CAAC;YAEF,MAAM,WAAW,GACb,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC;YAEvE,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;YAC7C,MAAM,sBAAsB,GAAG,cAAc,IAAI,IAAI,CAAC;YACtD,MAAM,UAAU,GAAG,WAAW,IAAI,sBAAsB,CAAC;YAEzD,IAAI,UAAU,IAAI,WAAW,EAAE,CAAC;gBAC5B,MAAM,eAAe,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAClD,MAAM,eAAe,GAAG,eAAe,eAAe,KAAK,aAAa,CAAC,MAAM,oCAAoC,WAAW,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC,CAAC,EAChK,qBAAqB,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,aAAa,GAAG,KAAK,CAAC,kBAAkB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,KAAK,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,cAAc,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBAEjS,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG;oBACvC,cAAc;oBACd,IAAI,EAAE,SAAS;oBACf,UAAU,EAAE,IAAI;oBAChB,SAAS,EAAE,eAAe;oBAC1B,QAAQ,EAAE,aAAa;oBACvB,WAAW,EAAE;wBACT,OAAO;wBACP,cAAc;wBACd,SAAS;qBACZ;iBACJ,CAAC;gBAEF,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG;oBACtC,GAAG,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC;oBAC1C,MAAM,EAAE,UAAU;oBAClB,oBAAoB,EAAE,eAAe;oBACrC,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE;wBACJ,UAAU,EAAE,IAAI;wBAChB,YAAY,EAAE,WAAW;qBAC5B;oBACD,eAAe,EAAE,WAAW;wBACxB,CAAC,CAAC;4BACE,OAAO,EAAE,wBAAwB;4BACjC,KAAK,EAAE,OAAO;4BACd,OAAO,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS;4BACvD,SAAS,EAAE,yBAAyB,eAAe,EAAE;yBACxD;wBACD,CAAC,CAAC;4BACE,OAAO,EAAE,mBAAmB;4BAC5B,KAAK,EAAE,MAAM;yBAChB;oBACL,gBAAgB,EAAE,KAAK;oBACvB,KAAK,EAAE,WAAW;wBACd,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,CAAC,wDAAwD,CAAC;iBACnE,CAAC;YACN,CAAC;iBAAM,CAAC;gBACJ,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG;oBACvC,cAAc;oBACd,IAAI,EAAE,YAAY;oBAClB,UAAU,EAAE,KAAK;oBACjB,SAAS,EAAE,6CAA6C;oBACxD,QAAQ,EAAE,aAAa;oBACvB,WAAW,EAAE;wBACT,OAAO;wBACP,cAAc;wBACd,SAAS;qBACZ;iBACJ,CAAC;gBAEF,MAAA,OAAO,CAAC,QAAQ,CAAC,YAAY,EAAC,QAAQ,SAAR,QAAQ,IAAM;oBACxC,MAAM,EAAE,YAAY;oBACpB,MAAM,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE;oBAClD,eAAe,EAAE;wBACb,OAAO,EAAE,mBAAmB;wBAC5B,KAAK,EAAE,MAAM;qBAChB;oBACD,gBAAgB,EAAE,KAAK;iBAC1B,EAAC;YACN,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAAa;YACrB,KAAK;YACL,IAAI,EAAE,EAAE,YAAY,EAAE,OAAO,CAAC,QAAQ,CAAC,YAAY,EAAE;SACxD,CAAC;QAEF,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CACvE,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE;YACnB,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC;YACnD,MAAM,eAAe,GAAG,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,2BAA2B,CAAC,CAAC;YAC7E,MAAM,UAAU,GAAG,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;YAElD,OAAO;gBACH,IAAI,EAAE,QAAQ;gBACd,UAAU;gBACV,OAAO,EAAE,MAAM,CAAC,WAAW,EAAE,OAAO;gBACpC,SAAS,EAAE,MAAM,CAAC,WAAW,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;gBACpD,aAAa;gBACb,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,KAAK;aACzC,CAAC;QACN,CAAC,CACJ,CAAC;QAEF,cAAc,CAAC,kBAAkB,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;QACzD,OAAO,MAAM,CAAC;IAClB,CAAC;CACJ,CAAC","sourcesContent":["/**\n * Verifies candidate files with deterministic evidence scoring.\n *\n * Why this file exists:\n * - turn broad retrieval hits into grounded per-file evidence\n * - favor exact file/symbol matches, but still surface good structural matches\n * - keep verification explainable through scored evidence and rationale logs\n *\n * Example:\n * - query \"which method decides verify wave budget\" should surface\n *   `getGroundingWaveBudget` from structural data even if the query never names it\n */\nimport fs from \"fs\";\nimport path from \"path\";\nimport { logInputOutput } from \"../utils/promptLogHelper.js\";\nimport type { FileEvidence, Module, ModuleIO, StructuredContext } from \"../types.js\";\n\nconst STOPWORDS = new Set([\n    \"the\", \"and\", \"for\", \"with\", \"from\", \"that\", \"this\", \"are\", \"was\", \"were\",\n    \"has\", \"have\", \"had\", \"not\", \"but\", \"can\", \"could\", \"should\", \"would\", \"into\",\n    \"onto\", \"about\", \"above\", \"below\", \"under\", \"over\", \"then\", \"else\", \"when\",\n    \"where\", \"what\", \"which\", \"while\", \"return\", \"const\", \"let\", \"var\", \"true\",\n    \"false\", \"null\", \"undefined\", \"new\", \"set\", \"get\", \"in\", \"to\", \"of\", \"on\",\n    \"at\", \"by\", \"how\", \"does\", \"here\", \"work\", \"works\", \"or\", \"and\", \"not\"\n]);\n\nconst WEAK_TOKENS = new Set([\n    \"file\", \"line\", \"move\", \"update\", \"change\", \"modify\", \"readme\", \"fix\", \"code\"\n]);\n\nconst GENERIC_TOKENS = new Set([\n    \"defined\", \"define\", \"location\", \"where\", \"find\", \"code\"\n]);\n\nconst FILE_EXT_REGEX = /\\.(ts|tsx|js|jsx|mjs|cjs|md)$/i;\nconst MAX_SENTENCE_TARGETS = 8;\nconst MAX_SENTENCE_MATCHES_PER_TARGET = 2;\nconst MAX_SENTENCE_EVIDENCE_PER_FILE = 16;\nconst MAX_EVIDENCE_ITEMS_PER_FILE = 24;\nconst FUNCTION_DECLARATION_REGEXES = [\n    /(?:^|\\s)(?:export\\s+)?function\\s+([A-Za-z_][A-Za-z0-9_]*)\\s*\\(/gm,\n    /(?:^|\\s)(?:export\\s+)?const\\s+([A-Za-z_][A-Za-z0-9_]*)\\s*=\\s*(?:async\\s*)?\\([^)]*\\)\\s*=>/gm,\n];\n\ntype EvidenceWithMeta = {\n    evidence: FileEvidence;\n    line: number;\n    token?: string;\n    weakToken?: boolean;\n    commentLike?: boolean;\n};\n\ntype ScoreBreakdown = {\n    baseSum: number;\n    normalizedBase: number;\n    coverageBoost: number;\n    tokenCoverageBoost: number;\n    proximityAdjustment: number;\n    genericPenalty: number;\n    commentPenalty: number;\n    final: number;\n};\n\nfunction clamp(value: number, min = 0, max = 1): number {\n    return Math.max(min, Math.min(max, value));\n}\n\nfunction escapeRegex(value: string): string {\n    return value.replace(/[.*+?^${}()|[\\]\\\\]/g, \"\\\\$&\");\n}\n\nfunction uniq(values: string[]): string[] {\n    return Array.from(new Set(values));\n}\n\nfunction normalizeToken(token: string): string {\n    return token.toLowerCase();\n}\n\n/**\n * Splits identifiers into searchable word parts.\n * Example: \"getGroundingWaveBudget\" -> [\"get\", \"grounding\", \"wave\", \"budget\"].\n */\nfunction splitIdentifierParts(identifier: string): string[] {\n    const spaced = identifier\n        .replace(/([a-z0-9])([A-Z])/g, \"$1 $2\")\n        .replace(/[_-]+/g, \" \");\n\n    return uniq(\n        spaced\n            .split(/\\s+/)\n            .map(normalizeToken)\n            .filter((part) => part.length >= 3)\n    );\n}\n\nfunction stemToken(token: string): string {\n    if (token.endsWith(\"ies\") && token.length > 4) {\n        return `${token.slice(0, -3)}y`;\n    }\n    if (token.endsWith(\"es\") && token.length > 4) {\n        return token.slice(0, -2);\n    }\n    if (token.endsWith(\"s\") && token.length > 3) {\n        return token.slice(0, -1);\n    }\n    return token;\n}\n\nfunction tokenizeText(text: string): string[] {\n    return (text.match(/\\b[a-zA-Z_][a-zA-Z0-9_]{1,}\\b/g) ?? []).map(normalizeToken);\n}\n\nfunction expandToken(token: string): string[] {\n    const normalized = normalizeToken(token);\n    const stemmed = stemToken(normalized);\n    const variants = new Set<string>([normalized, stemmed]);\n\n    if (normalized === \"database\" || stemmed === \"database\") {\n        variants.add(\"db\");\n        variants.add(\"sqlite\");\n        variants.add(\"sql\");\n        variants.add(\"schema\");\n    }\n    if (normalized === \"query\" || normalized === \"queries\" || stemmed === \"query\") {\n        variants.add(\"sql\");\n        variants.add(\"select\");\n        variants.add(\"insert\");\n        variants.add(\"update\");\n        variants.add(\"delete\");\n        variants.add(\"template\");\n        variants.add(\"templates\");\n    }\n    if (normalized === \"defined\" || stemmed === \"define\") {\n        variants.add(\"template\");\n        variants.add(\"schema\");\n    }\n\n    return Array.from(variants).filter((value) => value.length >= 2);\n}\n\nfunction buildSnippet(lines: string[], lineIndex: number): string {\n    return lines\n        .slice(Math.max(0, lineIndex - 1), Math.min(lines.length, lineIndex + 2))\n        .join(\"\\n\");\n}\n\n/**\n * Finds likely function identifiers directly from code when structural preload did not\n * record them yet.\n * Example: `export function getGroundingWaveBudget()` -> identifier `getGroundingWaveBudget`.\n */\nfunction extractFunctionLikeDeclarations(code: string): Array<{ name: string; line: number }> {\n    const matches: Array<{ name: string; line: number }> = [];\n\n    for (const regex of FUNCTION_DECLARATION_REGEXES) {\n        regex.lastIndex = 0;\n        for (const match of code.matchAll(regex)) {\n            const name = match[1]?.trim();\n            if (!name) continue;\n            const offset = match.index ?? 0;\n            const line = code.slice(0, offset).split(\"\\n\").length;\n            matches.push({ name, line });\n        }\n    }\n\n    return uniq(matches.map(item => `${item.name}:${item.line}`)).map(key => {\n        const [name, line] = key.split(\":\");\n        return { name, line: Number(line) || 0 };\n    });\n}\n\nfunction isCommentLikeOrStringOnly(line: string): boolean {\n    const trimmed = line.trim();\n    if (!trimmed) return false;\n\n    if (\n        trimmed.startsWith(\"//\") ||\n        trimmed.startsWith(\"/*\") ||\n        trimmed.startsWith(\"*\") ||\n        trimmed.startsWith(\"#\")\n    ) {\n        return true;\n    }\n\n    if (/^['\"`].*['\"`][,;]?$/.test(trimmed)) {\n        return true;\n    }\n\n    return false;\n}\n\nfunction extractTargets(query: string, expansionTerms: string[] = []): {\n    sentenceTargets: string[];\n    filenameTargets: string[];\n    explicitPathTargets: string[];\n    baseNameTargets: string[];\n    symbolTargets: string[];\n    queryTokenSet: Set<string>;\n    pathSignalTokenSet: Set<string>;\n} {\n    const isLikelySentenceTarget = (target: string): boolean => {\n        const trimmed = target.trim();\n        if (trimmed.length < 8) return false;\n        if (!/\\s/.test(trimmed)) return false;\n\n        const tokens = tokenizeText(trimmed);\n        if (tokens.length === 0) return false;\n        const informativeTokens = tokens.filter(\n            (token) =>\n                !STOPWORDS.has(token) &&\n                !GENERIC_TOKENS.has(token) &&\n                !WEAK_TOKENS.has(token)\n        );\n        return informativeTokens.length > 0;\n    };\n\n    const quotedSentenceTargets: string[] = [];\n    const quotedRegex = /['\"`](.+?)['\"`]/g;\n    let quoteMatch: RegExpExecArray | null;\n\n    while ((quoteMatch = quotedRegex.exec(query)) !== null) {\n        const target = quoteMatch[1].trim();\n        if (isLikelySentenceTarget(target)) {\n            quotedSentenceTargets.push(target);\n        }\n    }\n\n    const heuristicSentenceTargets: string[] = [];\n    if (!quotedSentenceTargets.length) {\n        query\n            .split(/[\\.\\n]/)\n            .map((segment) => segment.trim())\n            .filter((segment) => segment.length > 12)\n            .filter((segment) => !/^[\\s{[]*[\"'`][^\"'`]+[\"'`]\\s*:/.test(segment))\n            .filter((segment) => isLikelySentenceTarget(segment))\n            .forEach((segment) => heuristicSentenceTargets.push(segment));\n    }\n\n    const sentenceTargets = uniq([...quotedSentenceTargets, ...heuristicSentenceTargets]).slice(\n        0,\n        MAX_SENTENCE_TARGETS\n    );\n\n    const filenameTargets = uniq(\n        query\n            .split(/\\s+/)\n            .map((word) => word.replace(/^['\"`]|[,'\"`)]+$/g, \"\").trim())\n            .filter((word) => FILE_EXT_REGEX.test(word))\n    );\n\n    const explicitPathTargets = uniq(\n        filenameTargets\n            .filter((target) => target.includes(\"/\") || target.includes(\"\\\\\"))\n            .map((target) => target.replace(/\\\\/g, \"/\"))\n    );\n\n    const baseNameTargets = uniq(\n        filenameTargets.map((name) => path.basename(name.replace(FILE_EXT_REGEX, \"\")))\n    );\n\n    const tokens = tokenizeText(query).filter((token) => token.length >= 3);\n    const normalizedExpansionTerms = expansionTerms\n        .map((token) => normalizeToken(token))\n        .filter((token) => token.length >= 3);\n    const mergedTokens = uniq([...tokens, ...normalizedExpansionTerms]);\n    const expandedTokens = uniq(mergedTokens.flatMap((token) => expandToken(token)));\n    const symbolTargets = uniq(\n        mergedTokens.filter((token) => {\n            const normalized = token;\n            if (STOPWORDS.has(normalized)) return false;\n            if (\n                quotedSentenceTargets.some((sentence) =>\n                    sentence.toLowerCase().includes(normalized)\n                )\n            ) {\n                return false;\n            }\n            if (filenameTargets.includes(token)) return false;\n            if (baseNameTargets.includes(token)) return false;\n            return token.length >= 3;\n        })\n    );\n\n    const queryTokenSet = new Set(\n        expandedTokens\n            .filter((token) => !STOPWORDS.has(token))\n    );\n\n    const pathSignalTokenSet = new Set(\n        expandedTokens.filter(\n            (token) =>\n                !STOPWORDS.has(token) &&\n                !WEAK_TOKENS.has(token) &&\n                !GENERIC_TOKENS.has(token) &&\n                token.length >= 2\n        )\n    );\n\n    return {\n        sentenceTargets,\n        filenameTargets,\n        explicitPathTargets,\n        baseNameTargets,\n        symbolTargets,\n        queryTokenSet,\n        pathSignalTokenSet\n    };\n}\n\nfunction extractIdentifierTargets(query: string): Set<string> {\n    const identifiers = new Set<string>();\n    const rawTokens = query.match(/[a-zA-Z_][a-zA-Z0-9_]*/g) ?? [];\n\n    for (const token of rawTokens) {\n        if (token.length < 3) continue;\n        if (FILE_EXT_REGEX.test(token)) continue;\n        if (!/[A-Z_]/.test(token)) continue;\n        identifiers.add(normalizeToken(token));\n    }\n\n    return identifiers;\n}\n\nfunction computeSymbolConfidence(symbol: string, sentenceTargets: string[]): number {\n    const normalized = normalizeToken(symbol);\n\n    if (sentenceTargets.some((target) => target.toLowerCase().includes(normalized))) {\n        return 0.95;\n    }\n    if (WEAK_TOKENS.has(normalized)) {\n        return 0.45;\n    }\n    return 0.85;\n}\n\n/**\n * Allows structural names to match by informative identifier parts.\n * Example:\n * - query tokens [\"verify\",\"wave\",\"budget\"] and symbol `getGroundingWaveBudget`\n *   overlap on [\"wave\",\"budget\"], so the symbol should still count as structural evidence.\n */\nfunction computeStructuralSymbolMatch(symbol: string, queryTokenSet: Set<string>): {\n    matched: boolean;\n    confidence: number;\n} {\n    const normalized = normalizeToken(symbol);\n    if (queryTokenSet.has(normalized)) {\n        return { matched: true, confidence: WEAK_TOKENS.has(normalized) ? 0.6 : 0.85 };\n    }\n\n    const informativeParts = splitIdentifierParts(symbol).filter(\n        (part) => !STOPWORDS.has(part) && !WEAK_TOKENS.has(part) && !GENERIC_TOKENS.has(part)\n    );\n    const overlap = informativeParts.filter((part) => queryTokenSet.has(part));\n    if (overlap.length < 2) {\n        return { matched: false, confidence: 0 };\n    }\n\n    const overlapRatio = overlap.length / Math.max(informativeParts.length, 1);\n    return {\n        matched: true,\n        confidence: clamp(0.72 + overlapRatio * 0.18, 0.72, 0.9),\n    };\n}\n\nfunction dedupeEvidence(items: EvidenceWithMeta[]): EvidenceWithMeta[] {\n    const bestByKey = new Map<string, EvidenceWithMeta>();\n\n    for (const item of items) {\n        const ev = item.evidence;\n        const spanKey = `${ev.span?.startLine ?? 0}:${ev.span?.endLine ?? 0}`;\n        const key = `${ev.type}|${ev.claim.toLowerCase()}|${spanKey}`;\n        const existing = bestByKey.get(key);\n\n        if (!existing || (ev.confidence ?? 0) > (existing.evidence.confidence ?? 0)) {\n            bestByKey.set(key, item);\n        }\n    }\n\n    return Array.from(bestByKey.values());\n}\n\nfunction capEvidence(items: EvidenceWithMeta[]): EvidenceWithMeta[] {\n    const typePriority: Record<FileEvidence[\"type\"], number> = {\n        filename: 5,\n        structural: 4,\n        symbol: 3,\n        sentence: 2,\n        \"keyword-cluster\": 1\n    };\n\n    return [...items]\n        .sort((a, b) => {\n            const priorityDelta = typePriority[b.evidence.type] - typePriority[a.evidence.type];\n            if (priorityDelta !== 0) return priorityDelta;\n\n            const confidenceDelta = (b.evidence.confidence ?? 0) - (a.evidence.confidence ?? 0);\n            if (confidenceDelta !== 0) return confidenceDelta;\n\n            return a.line - b.line;\n        })\n        .slice(0, MAX_EVIDENCE_ITEMS_PER_FILE);\n}\n\nfunction computeProximityAdjustment(lines: number[]): number {\n    if (lines.length < 2) return 0;\n\n    const sorted = uniq(lines.map((line) => String(line))).map(Number).sort((a, b) => a - b);\n    let minGap = Number.POSITIVE_INFINITY;\n    for (let i = 1; i < sorted.length; i++) {\n        minGap = Math.min(minGap, sorted[i] - sorted[i - 1]);\n    }\n\n    let adjustment = 0;\n    if (minGap <= 2) adjustment += 0.08;\n    else if (minGap <= 5) adjustment += 0.05;\n    else if (minGap <= 10) adjustment += 0.02;\n    else if (minGap > 30) adjustment -= 0.06;\n\n    const spread = sorted[sorted.length - 1] - sorted[0];\n    if (sorted.length >= 3 && spread > 120) {\n        adjustment -= 0.04;\n    }\n\n    return adjustment;\n}\n\nfunction computeFileConfidence(\n    evidenceWithMeta: EvidenceWithMeta[],\n    symbolTargets: string[]\n): ScoreBreakdown {\n    const weights: Record<FileEvidence[\"type\"], number> = {\n        sentence: 1.0,\n        filename: 0.9,\n        symbol: 0.7,\n        structural: 0.75,\n        \"keyword-cluster\": 0.4\n    };\n\n    const caps: Record<FileEvidence[\"type\"], number> = {\n        sentence: 1.3,\n        filename: 0.9,\n        symbol: 1.1,\n        structural: 1.1,\n        \"keyword-cluster\": 0.5\n    };\n\n    const grouped = new Map<FileEvidence[\"type\"], EvidenceWithMeta[]>();\n    for (const item of evidenceWithMeta) {\n        const type = item.evidence.type;\n        if (!grouped.has(type)) grouped.set(type, []);\n        grouped.get(type)?.push(item);\n    }\n\n    let baseSum = 0;\n    for (const [type, items] of grouped.entries()) {\n        const sorted = [...items].sort(\n            (a, b) => (b.evidence.confidence ?? 0) - (a.evidence.confidence ?? 0)\n        );\n\n        let typeScore = 0;\n        sorted.forEach((item, index) => {\n            const diminishing = index === 0 ? 1 : 1 / (1 + index * 1.4);\n            const quality = clamp(item.evidence.confidence ?? 0.8);\n            typeScore += weights[type] * quality * diminishing;\n        });\n\n        baseSum += Math.min(typeScore, caps[type]);\n    }\n\n    const normalizedBase = clamp(1 - Math.exp(-baseSum / 1.8));\n\n    const distinctTypeCount = new Set(evidenceWithMeta.map((item) => item.evidence.type)).size;\n    const coverageBoost =\n        distinctTypeCount <= 1\n            ? 0\n            : distinctTypeCount === 2\n                ? 0.05\n                : distinctTypeCount === 3\n                    ? 0.1\n                    : 0.14;\n\n    const matchedSymbols = new Set(\n        evidenceWithMeta\n            .filter((item) => (item.evidence.type === \"symbol\" || item.evidence.type === \"structural\") && item.token)\n            .map((item) => normalizeToken(item.token as string))\n    );\n    const tokenCoverageBoost =\n        symbolTargets.length > 0\n            ? 0.12 * (matchedSymbols.size / symbolTargets.length)\n            : 0;\n\n    const symbolLikeEvidence = evidenceWithMeta.filter(\n        (item) => item.evidence.type === \"symbol\" || item.evidence.type === \"structural\"\n    );\n    const weakEvidenceCount = symbolLikeEvidence.filter((item) => item.weakToken).length;\n    const genericPenalty =\n        symbolLikeEvidence.length > 0\n            ? 0.2 * (weakEvidenceCount / symbolLikeEvidence.length)\n            : 0;\n\n    const commentLikeSymbolCount = evidenceWithMeta.filter(\n        (item) => item.evidence.type === \"symbol\" && item.commentLike\n    ).length;\n    const commentPenalty =\n        symbolLikeEvidence.length > 0\n            ? 0.15 * (commentLikeSymbolCount / symbolLikeEvidence.length)\n            : 0;\n\n    const proximityLines = evidenceWithMeta\n        .map((item) => item.line)\n        .filter((line) => line > 0);\n    const proximityAdjustment = computeProximityAdjustment(proximityLines);\n\n    const final = clamp(\n        normalizedBase +\n        coverageBoost +\n        tokenCoverageBoost +\n        proximityAdjustment -\n        genericPenalty -\n        commentPenalty\n    );\n\n    return {\n        baseSum,\n        normalizedBase,\n        coverageBoost,\n        tokenCoverageBoost,\n        proximityAdjustment,\n        genericPenalty,\n        commentPenalty,\n        final\n    };\n}\n\nfunction normalizeBm25Score(score: number, minScore: number, maxScore: number): number {\n    if (!Number.isFinite(score) || !Number.isFinite(minScore) || !Number.isFinite(maxScore)) {\n        return 0.5;\n    }\n    if (maxScore === minScore) {\n        return 0.5;\n    }\n    // SQLite BM25 lower is better. Normalize to [0,1] with 1 = best score.\n    return clamp((maxScore - score) / (maxScore - minScore), 0, 1);\n}\n\n/**\n * Deterministic evidence verification:\n * - Scans candidate files for concrete sentence/symbol/filename/structural matches.\n * - Uses identifier-boundary matching to reduce substring false positives.\n * - Deduplicates evidence globally per file.\n * - Computes confidence with bounded weighted scoring + proximity/coverage/penalties.\n */\nexport const evidenceVerifierStep: Module = {\n    name: \"evidenceVerifier\",\n    description: \"Deterministic evidence-first scan over candidate files to populate fileAnalysis, with calibrated confidence.\",\n    groups: [\"analysis\"],\n\n    run: async (input: ModuleIO): Promise<ModuleIO> => {\n        const query = input.query ?? \"\";\n        const context = input.context as StructuredContext;\n\n        if (!context?.analysis) {\n            throw new Error(\"[evidenceVerifier] context.analysis is required.\");\n        }\n\n        context.analysis.fileAnalysis ??= {};\n        context.analysis.verify ??= { byFile: {} };\n        context.analysis.verify.byFile ??= {};\n\n        const uniquePaths = uniq([...(context.initContext?.relatedFiles ?? [])]);\n        const relatedFileScores = context.initContext?.relatedFileScores ?? {};\n        const scorePool = uniquePaths\n            .map((filePath) => relatedFileScores[filePath])\n            .filter((value): value is number => typeof value === \"number\" && Number.isFinite(value));\n        const bm25Min = scorePool.length ? Math.min(...scorePool) : NaN;\n        const bm25Max = scorePool.length ? Math.max(...scorePool) : NaN;\n\n        if (!uniquePaths.length) {\n            console.warn(\"[evidenceVerifier] No candidate files to scan.\");\n            return { query, data: {} };\n        }\n\n        const {\n            sentenceTargets,\n            filenameTargets,\n            explicitPathTargets,\n            baseNameTargets,\n            symbolTargets,\n            queryTokenSet,\n            pathSignalTokenSet\n        } = extractTargets(query, context.initContext?.queryExpansionTerms ?? []);\n        const identifierTargets = extractIdentifierTargets(query);\n\n        for (const filePath of uniquePaths) {\n            let code = \"\";\n            try {\n                code = fs.readFileSync(filePath, \"utf-8\");\n            } catch (err) {\n                console.warn(\n                    `[evidenceVerifier] Failed to read ${filePath}: ${(err as Error).message}`\n                );\n            }\n\n            const lines = code ? code.split(\"\\n\") : [];\n            const rawEvidence: EvidenceWithMeta[] = [];\n\n            const addEvidence = (\n                evidence: FileEvidence,\n                line: number,\n                token?: string,\n                commentLike?: boolean\n            ) => {\n                rawEvidence.push({\n                    evidence,\n                    line,\n                    token,\n                    weakToken: token ? WEAK_TOKENS.has(normalizeToken(token)) : false,\n                    commentLike\n                });\n            };\n\n            const loweredSentenceTargets = sentenceTargets.map((target) => target.toLowerCase());\n            const sentenceTargetMatchCounts = new Map<string, number>();\n            let sentenceEvidenceCount = 0;\n            lines.forEach((line, idx) => {\n                const loweredLine = line.toLowerCase();\n                loweredSentenceTargets.forEach((target, targetIndex) => {\n                    if (sentenceEvidenceCount >= MAX_SENTENCE_EVIDENCE_PER_FILE) {\n                        return;\n                    }\n                    const currentCount = sentenceTargetMatchCounts.get(target) ?? 0;\n                    if (currentCount >= MAX_SENTENCE_MATCHES_PER_TARGET) {\n                        return;\n                    }\n                    if (target.length >= 3 && loweredLine.includes(target)) {\n                        const originalTarget = sentenceTargets[targetIndex];\n                        addEvidence(\n                            {\n                                claim: `Sentence match: \"${originalTarget}\"`,\n                                type: \"sentence\",\n                                excerpt: buildSnippet(lines, idx),\n                                span: { startLine: idx + 1, endLine: idx + 1 },\n                                confidence: 1\n                            },\n                            idx + 1\n                        );\n                        sentenceTargetMatchCounts.set(target, currentCount + 1);\n                        sentenceEvidenceCount += 1;\n                    }\n                });\n            });\n\n            for (const symbol of symbolTargets) {\n                const regex = new RegExp(`\\\\b${escapeRegex(symbol)}\\\\b`, \"i\");\n                for (let idx = 0; idx < lines.length; idx++) {\n                    const line = lines[idx];\n                    if (!regex.test(line)) continue;\n\n                    addEvidence(\n                        {\n                            claim: `Symbol reference found: \"${symbol}\"`,\n                            type: \"symbol\",\n                            excerpt: buildSnippet(lines, idx),\n                            span: { startLine: idx + 1, endLine: idx + 1 },\n                            confidence: computeSymbolConfidence(symbol, sentenceTargets)\n                        },\n                        idx + 1,\n                        symbol,\n                        isCommentLikeOrStringOnly(line)\n                    );\n                    break;\n                }\n            }\n\n            const normalizedFilePath = filePath.replace(/\\\\/g, \"/\");\n            const fullFileName = path.basename(filePath);\n            const baseFileName = fullFileName.replace(FILE_EXT_REGEX, \"\");\n            const fileNameTargetNames = new Set(filenameTargets.map((target) => path.basename(target)));\n            const exactPathMatch = explicitPathTargets.some(\n                (target) =>\n                    normalizedFilePath === target ||\n                    normalizedFilePath.endsWith(`/${target}`)\n            );\n            const fileNameMatch =\n                exactPathMatch ||\n                fileNameTargetNames.has(fullFileName) ||\n                baseNameTargets.includes(baseFileName);\n            if (fileNameMatch) {\n                addEvidence(\n                    {\n                        claim: exactPathMatch\n                            ? `File path exactly matches query target: \"${fullFileName}\"`\n                            : `Filename matches query target: \"${fullFileName}\"`,\n                        type: \"filename\",\n                        excerpt: `Path: ${filePath}`,\n                        span: { startLine: 0, endLine: 0 },\n                        confidence: 1\n                    },\n                    0,\n                    fullFileName\n                );\n            }\n\n            const filePathTokens = new Set(tokenizeText(filePath).flatMap((token) => expandToken(token)));\n            const matchingPathTokens = Array.from(pathSignalTokenSet).filter((token) => filePathTokens.has(token));\n            if (matchingPathTokens.length > 0) {\n                const pathConfidence = clamp(0.5 + matchingPathTokens.length * 0.08, 0.5, 0.86);\n                addEvidence(\n                    {\n                        claim: `Path tokens align with query intent: ${matchingPathTokens.slice(0, 5).join(\", \")}`,\n                        type: \"keyword-cluster\",\n                        excerpt: `Path: ${filePath}`,\n                        span: { startLine: 0, endLine: 0 },\n                        confidence: pathConfidence\n                    },\n                    0,\n                    matchingPathTokens[0]\n                );\n            }\n\n            const struct = context.analysis.fileAnalysis[filePath]?.structural;\n            const structuralEvidence: FileEvidence[] = [];\n            if (struct) {\n                (struct.functions ?? []).forEach((fn) => {\n                    if (!fn.name) return;\n                    const symbolMatch = computeStructuralSymbolMatch(fn.name, queryTokenSet);\n                    if (!symbolMatch.matched) return;\n\n                    const ev: FileEvidence = {\n                        claim: `Function name matches query intent: \"${fn.name}\"`,\n                        type: \"structural\",\n                        excerpt: fn.name,\n                        span: { startLine: fn.start ?? 0, endLine: fn.end ?? 0 },\n                        confidence: symbolMatch.confidence\n                    };\n                    structuralEvidence.push(ev);\n                    addEvidence(ev, fn.start ?? 0, fn.name);\n                });\n\n                (struct.classes ?? []).forEach((cls) => {\n                    if (!cls.name) return;\n                    const symbolMatch = computeStructuralSymbolMatch(cls.name, queryTokenSet);\n                    if (!symbolMatch.matched) return;\n\n                    const ev: FileEvidence = {\n                        claim: `Class name matches query intent: \"${cls.name}\"`,\n                        type: \"structural\",\n                        excerpt: cls.name,\n                        span: { startLine: cls.start ?? 0, endLine: cls.end ?? 0 },\n                        confidence: symbolMatch.confidence\n                    };\n                    structuralEvidence.push(ev);\n                    addEvidence(ev, cls.start ?? 0, cls.name);\n                });\n\n                [...(struct.imports ?? []), ...(struct.exports ?? [])].forEach((symbol) => {\n                    if (!symbol) return;\n                    const symbolMatch = computeStructuralSymbolMatch(symbol, queryTokenSet);\n                    if (!symbolMatch.matched) return;\n\n                    const ev: FileEvidence = {\n                        claim: `Import/Export matches query intent: \"${symbol}\"`,\n                        type: \"structural\",\n                        excerpt: symbol,\n                        span: { startLine: 0, endLine: 0 },\n                        confidence: clamp(symbolMatch.confidence - 0.05, 0.55, 0.85)\n                    };\n                    structuralEvidence.push(ev);\n                    addEvidence(ev, 0, symbol);\n                });\n\n                if (structuralEvidence.length > 0) {\n                    logInputOutput(\"evidenceVerifier\", \"output\", {\n                        file: filePath,\n                        count: structuralEvidence.length,\n                        examples: structuralEvidence.slice(0, 5).map((ev) => ({\n                            claim: ev.claim,\n                            excerpt: ev.excerpt,\n                            confidence: ev.confidence\n                        }))\n                    });\n                }\n            }\n\n            if (structuralEvidence.length === 0 && code) {\n                const fallbackDeclarations = extractFunctionLikeDeclarations(code);\n                for (const declaration of fallbackDeclarations) {\n                    const symbolMatch = computeStructuralSymbolMatch(declaration.name, queryTokenSet);\n                    if (!symbolMatch.matched) continue;\n\n                    const ev: FileEvidence = {\n                        claim: `Function-like declaration matches query intent: \"${declaration.name}\"`,\n                        type: \"structural\",\n                        excerpt: declaration.name,\n                        span: { startLine: declaration.line, endLine: declaration.line },\n                        confidence: clamp(symbolMatch.confidence + 0.04, 0.75, 0.94)\n                    };\n                    structuralEvidence.push(ev);\n                    addEvidence(ev, declaration.line, declaration.name);\n                }\n            }\n\n            const dedupedEvidence = capEvidence(dedupeEvidence(rawEvidence));\n            const evidenceItems = dedupedEvidence.map((item) => item.evidence);\n            const score = computeFileConfidence(dedupedEvidence, symbolTargets);\n            const hasFilenameHit = evidenceItems.some((ev) => ev.type === \"filename\");\n            const hasExactIdentifierHit =\n                identifierTargets.size > 0 &&\n                dedupedEvidence.some((item) => {\n                    if (item.evidence.type !== \"symbol\" && item.evidence.type !== \"structural\") {\n                        return false;\n                    }\n                    const rawToken = item.token ?? item.evidence.excerpt ?? \"\";\n                    return identifierTargets.has(normalizeToken(rawToken));\n                });\n            const bm25Raw = relatedFileScores[filePath];\n            const bm25Normalized =\n                typeof bm25Raw === \"number\"\n                    ? normalizeBm25Score(bm25Raw, bm25Min, bm25Max)\n                    : 0.5;\n            // Keep BM25 as a weak retrieval prior only.\n            const bm25Prior = typeof bm25Raw === \"number\"\n                ? (bm25Normalized - 0.5) * 0.2\n                : 0;\n            const fileConfidence = (hasFilenameHit || hasExactIdentifierHit)\n                ? 1\n                : clamp(score.final + bm25Prior);\n\n            const matchedLines = uniq(\n                dedupedEvidence\n                    .map((item) => (item.line > 0 ? lines[item.line - 1] : \"\"))\n                    .filter(Boolean)\n            );\n\n            const isFocusFile =\n                context.analysis.focus?.selectedFiles?.includes(filePath) ?? false;\n\n            const hasEvidence = evidenceItems.length > 0;\n            const isRelevantByConfidence = fileConfidence >= 0.25;\n            const isRelevant = isFocusFile || isRelevantByConfidence;\n\n            if (isRelevant && hasEvidence) {\n                const confidenceLabel = fileConfidence.toFixed(2);\n                const verifyRationale = `[confidence:${confidenceLabel}] ${evidenceItems.length} evidence item(s) match the query${isFocusFile ? \" (focus file already selected)\" : \"\"\n                    }; components base=${score.normalizedBase.toFixed(2)}, coverage=${(score.coverageBoost + score.tokenCoverageBoost).toFixed(2)}, proximity=${score.proximityAdjustment.toFixed(2)}, penalties=${(score.genericPenalty + score.commentPenalty).toFixed(2)}, bm25Prior=${bm25Prior.toFixed(2)}`;\n\n                context.analysis.verify.byFile[filePath] = {\n                    fileConfidence,\n                    role: \"primary\",\n                    isRelevant: true,\n                    rationale: verifyRationale,\n                    evidence: evidenceItems,\n                    searchScore: {\n                        bm25Raw,\n                        bm25Normalized,\n                        bm25Prior,\n                    }\n                };\n\n                context.analysis.fileAnalysis[filePath] = {\n                    ...context.analysis.fileAnalysis[filePath],\n                    intent: \"relevant\",\n                    relevanceExplanation: verifyRationale,\n                    role: \"primary\",\n                    action: {\n                        isRelevant: true,\n                        shouldModify: hasEvidence\n                    },\n                    proposedChanges: hasEvidence\n                        ? {\n                            summary: \"Evidence found in file\",\n                            scope: \"minor\",\n                            targets: matchedLines.length ? matchedLines : undefined,\n                            rationale: `calibrated-confidence=${confidenceLabel}`\n                        }\n                        : {\n                            summary: \"No evidence found\",\n                            scope: \"none\"\n                        },\n                    semanticAnalyzed: false,\n                    risks: hasEvidence\n                        ? []\n                        : [\"No concrete evidence found; modification not permitted\"],\n                };\n            } else {\n                context.analysis.verify.byFile[filePath] = {\n                    fileConfidence,\n                    role: \"contextual\",\n                    isRelevant: false,\n                    rationale: \"Insufficient verify evidence for relevance.\",\n                    evidence: evidenceItems,\n                    searchScore: {\n                        bm25Raw,\n                        bm25Normalized,\n                        bm25Prior,\n                    }\n                };\n\n                context.analysis.fileAnalysis[filePath] ||= {\n                    intent: \"irrelevant\",\n                    action: { isRelevant: false, shouldModify: false },\n                    proposedChanges: {\n                        summary: \"No evidence found\",\n                        scope: \"none\"\n                    },\n                    semanticAnalyzed: false,\n                };\n            }\n        }\n\n        const output: ModuleIO = {\n            query,\n            data: { fileAnalysis: context.analysis.fileAnalysis }\n        };\n\n        const logSummary = Object.entries(context.analysis.verify.byFile ?? {}).map(\n            ([filePath, verify]) => {\n                const evidenceCount = verify.evidence?.length ?? 0;\n                const confidenceMatch = verify.rationale?.match(/\\[confidence:(\\d+\\.\\d+)\\]/);\n                const confidence = confidenceMatch?.[1] ?? \"0.00\";\n\n                return {\n                    file: filePath,\n                    confidence,\n                    bm25Raw: verify.searchScore?.bm25Raw,\n                    bm25Prior: verify.searchScore?.bm25Prior?.toFixed(2),\n                    evidenceCount,\n                    isRelevant: verify.isRelevant ?? false\n                };\n            }\n        );\n\n        logInputOutput(\"evidenceVerifier\", \"output\", logSummary);\n        return output;\n    }\n};\n"]}