labre-mcp 0.1.0

package/dist/work-on-evolution/pipeline/concurrent-verification.mjs

@@ -0,0 +1,317 @@
+// Concurrent dual-verification orchestrator
+//
+// Extracted from dual-verification-orchestrator.mjs to enforce
+// single-responsibility: this module handles launching LLM and web search
+// verification signals in parallel, with per-signal timeouts and
+// reconciliation of the concurrent pair.
+//
+// Usage:
+//   import { verifyConcurrent, verifyConcurrentFull } from './concurrent-verification.mjs';
+import { detectComponentType, COMPONENT_TYPE, } from '../../lib/component-detection.mjs';
+import { classifySolutionLLM } from '../routing/detect-solution.mjs';
+import { verifyViaWebSearch } from '../routing/web-search-verification.mjs';
+import { logDebug } from '../../lib/mcp-notifications.mjs';
+import { raceWithTimeout, buildSuccessSignal, buildTimeoutSignal, buildErrorSignal, buildSkippedSignal, } from './verification-signals.mjs';
+import { toIntermediateResult, reconcileTwoTiers, reconcileSignalPair, buildResult, } from './verification-reconciliation.mjs';
+// Re-import thresholds from the orchestrator to avoid circular dependency —
+// we define our own copy of the constants we need.
+import { CONFIDENCE_THRESHOLD } from '../../lib/component-detection.mjs';
+// ─── Constants ────────────────────────────────────────────────────────────────
+/**
+ * Confidence thresholds for concurrent verification tiers.
+ * Mirrors the THRESHOLDS from the sequential orchestrator.
+ */
+export const THRESHOLDS = {
+    NAMING_SKIP: CONFIDENCE_THRESHOLD, // 0.90
+    LLM_SKIP: 0.85,
+    MIN_VERIFIED: 0.70,
+};
+const TOOL = 'dual-verification';
+/** Default timeout per verification signal (ms). Overridable via context. */
+export const DEFAULT_SIGNAL_TIMEOUT_MS = 15_000;
+// ─── Type Definitions ────────────────────────────────────────────────────────
+/**
+ * @typedef {Object} VerificationSignal
+ * @property {'solution'|'capability'|null} classification
+ * @property {number}    confidence
+ * @property {string}    method
+ * @property {string}    reasoning
+ * @property {'success'|'timeout'|'error'|'skipped'} status
+ * @property {number}    durationMs
+ * @property {Object}    [raw]
+ * @property {string}    [error]
+ */
+/**
+ * @typedef {Object} DualSignalPair
+ * @property {VerificationSignal}       llmSignal
+ * @property {VerificationSignal}       webSearchSignal
+ * @property {'solution'|'capability'}  classification
+ * @property {number}                   confidence
+ * @property {string}                   method
+ * @property {string}                   reasoning
+ * @property {boolean}                  verified
+ * @property {number}                   totalDurationMs
+ * @property {Object}                   [namingResult]
+ */
+// ─── verifyConcurrent ─────────────────────────────────────────────────────────
+/**
+ * Concurrent dual-verification orchestrator.
+ *
+ * Runs LLM verification and web search verification **in parallel** using
+ * `Promise.allSettled` with per-signal timeouts. This minimizes total latency
+ * compared to the sequential `verifyClassification` pipeline.
+ *
+ * Lifecycle:
+ *   1. (Optional) Tier 1 naming convention check — if confidence >= 90%, returns
+ *      immediately without invoking LLM or web search (cost optimization).
+ *   2. Launches LLM and web search concurrently (each with independent timeout).
+ *   3. Collects both signals (success / timeout / error / skipped).
+ *   4. Reconciles the pair into a single classification.
+ *   5. Returns structured DualSignalPair with both raw signals and reconciled result.
+ *
+ * @param {string} componentName - Component name to classify
+ * @param {Object} [context={}]
+ * @param {string}   [context.description]
+ * @param {function} [context.llmCall]
+ * @param {function} [context.webSearchCall]
+ * @param {boolean}  [context.skipLLM=false]
+ * @param {boolean}  [context.skipWebSearch=false]
+ * @param {boolean}  [context.skipNamingPrecheck=false]
+ * @param {number}   [context.llmTimeoutMs]
+ * @param {number}   [context.webSearchTimeoutMs]
+ * @returns {Promise<DualSignalPair>}
+ */
+// any: context bag carries description, llmCall, webSearchCall, timeoutMs, useLlmFallback, useWebSearch, etc.
+export async function verifyConcurrent(componentName, context = {}) {
+    const name = (componentName || '').trim();
+    const concurrentStart = Date.now();
+    if (!name) {
+        const skippedSignal = buildSkippedSignal('llm', 'Empty component name');
+        const skippedWeb = buildSkippedSignal('web-search', 'Empty component name');
+        const reconciled = reconcileSignalPair(skippedSignal, skippedWeb);
+        return {
+            llmSignal: skippedSignal,
+            webSearchSignal: skippedWeb,
+            ...reconciled,
+            verified: false,
+            totalDurationMs: Date.now() - concurrentStart,
+        };
+    }
+    const description = context.description || '';
+    // ── Optional Tier 1: Naming convention pre-check ──────────────────────
+    if (!context.skipNamingPrecheck) {
+        const namingResult = detectComponentType(name, description);
+        logDebug(TOOL, `Concurrent: Tier 1 (naming) for "${name}" → ` +
+            `type=${namingResult.type}, confidence=${namingResult.confidence}`);
+        if (namingResult.confidence >= THRESHOLDS.NAMING_SKIP) {
+            logDebug(TOOL, `Concurrent: Tier 1 sufficient — skipping concurrent verification`);
+            const llmSkipped = buildSkippedSignal('llm', 'Naming confidence sufficient');
+            const webSkipped = buildSkippedSignal('web-search', 'Naming confidence sufficient');
+            return {
+                llmSignal: llmSkipped,
+                webSearchSignal: webSkipped,
+                classification: namingResult.type,
+                confidence: namingResult.confidence,
+                method: 'naming',
+                reasoning: namingResult.reason,
+                verified: true,
+                totalDurationMs: Date.now() - concurrentStart,
+                namingResult,
+            };
+        }
+    }
+    // ── Prepare concurrent verification promises ──────────────────────────
+    const llmTimeoutMs = context.llmTimeoutMs || DEFAULT_SIGNAL_TIMEOUT_MS;
+    const webSearchTimeoutMs = context.webSearchTimeoutMs || DEFAULT_SIGNAL_TIMEOUT_MS;
+    // Build LLM promise (or skip)
+    const canUseLLM = !context.skipLLM && typeof context.llmCall === 'function';
+    const llmPromise = canUseLLM
+        ? (async () => {
+            const t0 = Date.now();
+            const raced = await raceWithTimeout(classifySolutionLLM(name, context.llmCall, { context: description }), llmTimeoutMs, 'LLM');
+            const elapsed = Date.now() - t0;
+            if (raced.timedOut) {
+                return buildTimeoutSignal('llm', llmTimeoutMs, elapsed);
+            }
+            if (raced.error) {
+                return buildErrorSignal('llm', raced.error, elapsed);
+            }
+            return buildSuccessSignal(raced.value, 'llm', elapsed);
+        })()
+        : Promise.resolve(buildSkippedSignal('llm', context.skipLLM ? 'Forced skip' : 'No llmCall provided'));
+    // Build web search promise (or skip)
+    const canUseWebSearch = !context.skipWebSearch &&
+        (typeof context.webSearchCall === 'function' || canUseLLM);
+    const webSearchPromise = canUseWebSearch
+        ? (async () => {
+            const t0 = Date.now();
+            // any: web search options (Claude Agent SDK loose shape)
+            const webSearchOptions = {};
+            if (typeof context.webSearchCall === 'function') {
+                webSearchOptions.webSearchCall = context.webSearchCall;
+            }
+            if (description) {
+                webSearchOptions.context = description;
+            }
+            const raced = await raceWithTimeout(verifyViaWebSearch(name, webSearchOptions), webSearchTimeoutMs, 'web-search');
+            const elapsed = Date.now() - t0;
+            if (raced.timedOut) {
+                return buildTimeoutSignal('web-search', webSearchTimeoutMs, elapsed);
+            }
+            if (raced.error) {
+                return buildErrorSignal('web-search', raced.error, elapsed);
+            }
+            return buildSuccessSignal(raced.value, 'web-search', elapsed);
+        })()
+        : Promise.resolve(buildSkippedSignal('web-search', context.skipWebSearch ? 'Forced skip' : 'No web search backend'));
+    // ── Launch both concurrently ──────────────────────────────────────────
+    logDebug(TOOL, `Concurrent: Launching LLM (${canUseLLM ? 'active' : 'skipped'}) and ` +
+        `web search (${canUseWebSearch ? 'active' : 'skipped'}) for "${name}"...`);
+    const [llmSettled, webSearchSettled] = await Promise.allSettled([llmPromise, webSearchPromise]);
+    const llmSignal = llmSettled.status === 'fulfilled'
+        ? llmSettled.value
+        : buildErrorSignal('llm', new Error(llmSettled.reason?.message || 'Unknown error'), 0);
+    const webSearchSignal = webSearchSettled.status === 'fulfilled'
+        ? webSearchSettled.value
+        : buildErrorSignal('web-search', new Error(webSearchSettled.reason?.message || 'Unknown error'), 0);
+    logDebug(TOOL, `Concurrent: LLM signal → status=${llmSignal.status}, ` +
+        `classification=${llmSignal.classification}, confidence=${llmSignal.confidence}, ` +
+        `duration=${llmSignal.durationMs}ms`);
+    logDebug(TOOL, `Concurrent: Web signal → status=${webSearchSignal.status}, ` +
+        `classification=${webSearchSignal.classification}, confidence=${webSearchSignal.confidence}, ` +
+        `duration=${webSearchSignal.durationMs}ms`);
+    // ── Reconcile the pair ────────────────────────────────────────────────
+    const reconciled = reconcileSignalPair(llmSignal, webSearchSignal);
+    const totalDurationMs = Date.now() - concurrentStart;
+    logDebug(TOOL, `Concurrent: Reconciled → ${reconciled.classification} ` +
+        `(confidence=${reconciled.confidence}, method=${reconciled.method}, ` +
+        `totalMs=${totalDurationMs})`);
+    return {
+        llmSignal,
+        webSearchSignal,
+        classification: reconciled.classification,
+        confidence: reconciled.confidence,
+        method: reconciled.method,
+        reasoning: reconciled.reasoning,
+        verified: reconciled.confidence >= THRESHOLDS.MIN_VERIFIED,
+        totalDurationMs,
+    };
+}
+// ─── verifyConcurrentFull ──────────────────────────────────────────────────────
+/**
+ * Full concurrent verification with Tier 1 pre-check and routing target computation.
+ *
+ * This is the high-level integration point for estimate-evolution.mjs.
+ * It combines:
+ *   1. Tier 1 naming convention check (optional short-circuit)
+ *   2. Concurrent LLM + web search verification
+ *   3. Reconciliation of all available signals (naming + pair)
+ *   4. Routing target computation from the final classification
+ *
+ * Returns a VerifiedClassificationResult compatible with the existing
+ * `verifyClassification` contract, enriched with the DualSignalPair detail.
+ *
+ * @param {string} componentName - Component name to classify
+ * @param {Object} [context={}]  - Same context shape as verifyConcurrent
+ * @returns {Promise<Object>}
+ */
+// any: same loose context bag as verifyConcurrent — full result includes raw signals
+export async function verifyConcurrentFull(componentName, context = {}) {
+    const name = (componentName || '').trim();
+    if (!name) {
+        const emptyResult = buildResult({
+            classification: COMPONENT_TYPE.CAPABILITY,
+            confidence: 0,
+            method: 'error',
+            reasoning: 'Empty or invalid component name',
+            verified: false,
+            tiersUsed: [],
+            routingDetection: detectComponentType('', ''),
+        });
+        const emptyPair = await verifyConcurrent('', context);
+        return { ...emptyResult, dualSignals: emptyPair };
+    }
+    const description = context.description || '';
+    // ── Tier 1: Naming convention ──────────────────────────────────────────
+    const namingResult = detectComponentType(name, description);
+    const tiersUsed = ['naming'];
+    // Short-circuit: naming alone is sufficient
+    if (namingResult.confidence >= THRESHOLDS.NAMING_SKIP) {
+        const emptyPair = {
+            llmSignal: buildSkippedSignal('llm', 'Naming confidence sufficient'),
+            webSearchSignal: buildSkippedSignal('web-search', 'Naming confidence sufficient'),
+            classification: namingResult.type,
+            confidence: namingResult.confidence,
+            method: 'naming',
+            reasoning: namingResult.reason,
+            verified: true,
+            totalDurationMs: 0,
+            namingResult,
+        };
+        return {
+            ...buildResult({
+                classification: namingResult.type,
+                confidence: namingResult.confidence,
+                method: 'naming',
+                reasoning: namingResult.reason,
+                verified: true,
+                tiersUsed,
+                routingDetection: namingResult,
+                namingResult,
+            }),
+            dualSignals: emptyPair,
+        };
+    }
+    // ── Tier 2+3 concurrent: LLM + web search in parallel ─────────────────
+    const dualSignals = await verifyConcurrent(name, {
+        ...context,
+        skipNamingPrecheck: true, // already done
+    });
+    // Build the tiersUsed array from active signals
+    if (dualSignals.llmSignal.status !== 'skipped')
+        tiersUsed.push('llm');
+    if (dualSignals.webSearchSignal.status !== 'skipped')
+        tiersUsed.push('web-search');
+    // ── Tier 4: Reconcile naming + concurrent pair ─────────────────────────
+    const namingIntermediate = toIntermediateResult(namingResult);
+    let finalClassification;
+    let finalConfidence;
+    let finalReasoning;
+    let finalMethod;
+    if (dualSignals.confidence > 0) {
+        // Reconcile naming with the concurrent pair result
+        const reconciled = reconcileTwoTiers(namingIntermediate, {
+            classification: dualSignals.classification,
+            confidence: dualSignals.confidence,
+            method: dualSignals.method,
+            reasoning: dualSignals.reasoning,
+        });
+        finalClassification = reconciled.classification;
+        finalConfidence = reconciled.confidence;
+        finalReasoning = reconciled.reasoning;
+        finalMethod = tiersUsed.join('+');
+    }
+    else {
+        // Concurrent pair failed — fall back to naming
+        finalClassification = namingIntermediate.classification;
+        finalConfidence = namingIntermediate.confidence;
+        finalReasoning = `${namingIntermediate.reasoning} (concurrent verification unavailable)`;
+        finalMethod = 'naming';
+    }
+    return {
+        ...buildResult({
+            classification: finalClassification,
+            confidence: finalConfidence,
+            method: finalMethod,
+            reasoning: finalReasoning,
+            verified: finalConfidence >= THRESHOLDS.MIN_VERIFIED,
+            tiersUsed,
+            routingDetection: namingResult,
+            namingResult,
+            llmResult: dualSignals.llmSignal.status === 'success' ? dualSignals.llmSignal.raw : undefined,
+            webSearchResult: dualSignals.webSearchSignal.status === 'success' ? dualSignals.webSearchSignal.raw : undefined,
+        }),
+        dualSignals,
+    };
+}
+//# sourceMappingURL=concurrent-verification.mjs.map

package/dist/work-on-evolution/pipeline/concurrent-verification.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"concurrent-verification.mjs","sourceRoot":"","sources":["../../../src/work-on-evolution/pipeline/concurrent-verification.mts"],"names":[],"mappings":"AAAA,4CAA4C;AAC5C,EAAE;AACF,+DAA+D;AAC/D,0EAA0E;AAC1E,iEAAiE;AACjE,yCAAyC;AACzC,EAAE;AACF,SAAS;AACT,4FAA4F;AAE5F,OAAO,EACL,mBAAmB,EACnB,cAAc,GACf,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAA0B,MAAM,wCAAwC,CAAC;AACpG,OAAO,EAAE,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAC3D,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,WAAW,GACZ,MAAM,mCAAmC,CAAC;AAE3C,4EAA4E;AAC5E,mDAAmD;AACnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AAEzE,iFAAiF;AAEjF;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,WAAW,EAAE,oBAAoB,EAAG,OAAO;IAC3C,QAAQ,EAAE,IAAI;IACd,YAAY,EAAE,IAAI;CACnB,CAAC;AAEF,MAAM,IAAI,GAAG,mBAAmB,CAAC;AAEjC,6EAA6E;AAC7E,MAAM,CAAC,MAAM,yBAAyB,GAAG,MAAM,CAAC;AAEhD,gFAAgF;AAEhF;;;;;;;;;;GAUG;AAEH;;;;;;;;;;;GAWG;AAEH,iFAAiF;AAEjF;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,8GAA8G;AAC9G,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,aAAqB,EAAE,UAAe,EAAE;IAC7E,MAAM,IAAI,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAEnC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,aAAa,GAAG,kBAAkB,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC;QACxE,MAAM,UAAU,GAAG,kBAAkB,CAAC,YAAY,EAAE,sBAAsB,CAAC,CAAC;QAC5E,MAAM,UAAU,GAAG,mBAAmB,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;QAElE,OAAO;YACL,SAAS,EAAE,aAAa;YACxB,eAAe,EAAE,UAAU;YAC3B,GAAG,UAAU;YACb,QAAQ,EAAE,KAAK;YACf,eAAe,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,eAAe;SAC9C,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC;IAE9C,yEAAyE;IACzE,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,CAAC;QAChC,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAE5D,QAAQ,CAAC,IAAI,EAAE,oCAAoC,IAAI,MAAM;YAC3D,QAAQ,YAAY,CAAC,IAAI,gBAAgB,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC;QAEtE,IAAI,YAAY,CAAC,UAAU,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YACtD,QAAQ,CAAC,IAAI,EAAE,kEAAkE,CAAC,CAAC;YAEnF,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,8BAA8B,CAAC,CAAC;YAC7E,MAAM,UAAU,GAAG,kBAAkB,CAAC,YAAY,EAAE,8BAA8B,CAAC,CAAC;YAEpF,OAAO;gBACL,SAAS,EAAE,UAAU;gBACrB,eAAe,EAAE,UAAU;gBAC3B,cAAc,EAAE,YAAY,CAAC,IAAI;gBACjC,UAAU,EAAE,YAAY,CAAC,UAAU;gBACnC,MAAM,EAAE,QAAQ;gBAChB,SAAS,EAAE,YAAY,CAAC,MAAM;gBAC9B,QAAQ,EAAE,IAAI;gBACd,eAAe,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,eAAe;gBAC7C,YAAY;aACb,CAAC;QACJ,CAAC;IACH,CAAC;IAED,yEAAyE;IAEzE,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,yBAAyB,CAAC;IACvE,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,IAAI,yBAAyB,CAAC;IAEnF,8BAA8B;IAC9B,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,UAAU,CAAC;IAC5E,MAAM,UAAU,GAAG,SAAS;QAC1B,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE;YACV,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,MAAM,eAAe,CACjC,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,EACpE,YAAY,EACZ,KAAK,CACN,CAAC;YACF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;YAEhC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACnB,OAAO,kBAAkB,CAAC,KAAK,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;YAC1D,CAAC;YACD,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAChB,OAAO,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACvD,CAAC;YACD,OAAO,kBAAkB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACzD,CAAC,CAAC,EAAE;QACN,CAAC,CAAC,OAAO,CAAC,OAAO,CACb,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,qBAAqB,CAAC,CACnF,CAAC;IAEN,qCAAqC;IACrC,MAAM,eAAe,GAAG,CAAC,OAAO,CAAC,aAAa;QAC5C,CAAC,OAAO,OAAO,CAAC,aAAa,KAAK,UAAU,IAAI,SAAS,CAAC,CAAC;IAC7D,MAAM,gBAAgB,GAAG,eAAe;QACtC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE;YACV,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACtB,yDAAyD;YACzD,MAAM,gBAAgB,GAAQ,EAAE,CAAC;YACjC,IAAI,OAAO,OAAO,CAAC,aAAa,KAAK,UAAU,EAAE,CAAC;gBAChD,gBAAgB,CAAC,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC;YACzD,CAAC;YACD,IAAI,WAAW,EAAE,CAAC;gBAChB,gBAAgB,CAAC,OAAO,GAAG,WAAW,CAAC;YACzC,CAAC;YAED,MAAM,KAAK,GAAG,MAAM,eAAe,CACjC,kBAAkB,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAC1C,kBAAkB,EAClB,YAAY,CACb,CAAC;YACF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;YAEhC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACnB,OAAO,kBAAkB,CAAC,YAAY,EAAE,kBAAkB,EAAE,OAAO,CAAC,CAAC;YACvE,CAAC;YACD,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAChB,OAAO,gBAAgB,CAAC,YAAY,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAC9D,CAAC;YACD,OAAO,kBAAkB,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QAChE,CAAC,CAAC,EAAE;QACN,CAAC,CAAC,OAAO,CAAC,OAAO,CACb,kBAAkB,CAAC,YAAY,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAClG,CAAC;IAEN,yEAAyE;IAEzE,QAAQ,CAAC,IAAI,EAAE,8BAA8B,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,QAAQ;QACnF,eAAe,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,UAAU,IAAI,MAAM,CAAC,CAAC;IAE7E,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAAC,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAEhG,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,KAAK,WAAW;QACjD,CAAC,CAAC,UAAU,CAAC,KAAK;QAClB,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,IAAI,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC;IAEzF,MAAM,eAAe,GAAG,gBAAgB,CAAC,MAAM,KAAK,WAAW;QAC7D,CAAC,CAAC,gBAAgB,CAAC,KAAK;QACxB,CAAC,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,EAAE,OAAO,IAAI,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC;IAEtG,QAAQ,CAAC,IAAI,EAAE,mCAAmC,SAAS,CAAC,MAAM,IAAI;QACpE,kBAAkB,SAAS,CAAC,cAAc,gBAAgB,SAAS,CAAC,UAAU,IAAI;QAClF,YAAY,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,mCAAmC,eAAe,CAAC,MAAM,IAAI;QAC1E,kBAAkB,eAAe,CAAC,cAAc,gBAAgB,eAAe,CAAC,UAAU,IAAI;QAC9F,YAAY,eAAe,CAAC,UAAU,IAAI,CAAC,CAAC;IAE9C,yEAAyE;IAEzE,MAAM,UAAU,GAAG,mBAAmB,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;IACnE,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,eAAe,CAAC;IAErD,QAAQ,CAAC,IAAI,EAAE,4BAA4B,UAAU,CAAC,cAAc,GAAG;QACrE,eAAe,UAAU,CAAC,UAAU,YAAY,UAAU,CAAC,MAAM,IAAI;QACrE,WAAW,eAAe,GAAG,CAAC,CAAC;IAEjC,OAAO;QACL,SAAS;QACT,eAAe;QACf,cAAc,EAAE,UAAU,CAAC,cAAc;QACzC,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,QAAQ,EAAE,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,YAAY;QAC1D,eAAe;KAChB,CAAC;AACJ,CAAC;AAED,kFAAkF;AAElF;;;;;;;;;;;;;;;;GAgBG;AACH,qFAAqF;AACrF,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,aAAqB,EAAE,UAAe,EAAE;IACjF,MAAM,IAAI,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAE1C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,WAAW,GAAG,WAAW,CAAC;YAC9B,cAAc,EAAE,cAAc,CAAC,UAAU;YACzC,UAAU,EAAE,CAAC;YACb,MAAM,EAAE,OAAO;YACf,SAAS,EAAE,iCAAiC;YAC5C,QAAQ,EAAE,KAAK;YACf,SAAS,EAAE,EAAE;YACb,gBAAgB,EAAE,mBAAmB,CAAC,EAAE,EAAE,EAAE,CAAC;SAC9C,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,MAAM,gBAAgB,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACtD,OAAO,EAAE,GAAG,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC;IAE9C,0EAA0E;IAC1E,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,CAAC;IAE7B,4CAA4C;IAC5C,IAAI,YAAY,CAAC,UAAU,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;QACtD,MAAM,SAAS,GAAG;YAChB,SAAS,EAAE,kBAAkB,CAAC,KAAK,EAAE,8BAA8B,CAAC;YACpE,eAAe,EAAE,kBAAkB,CAAC,YAAY,EAAE,8BAA8B,CAAC;YACjF,cAAc,EAAE,YAAY,CAAC,IAAI;YACjC,UAAU,EAAE,YAAY,CAAC,UAAU;YACnC,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,YAAY,CAAC,MAAM;YAC9B,QAAQ,EAAE,IAAI;YACd,eAAe,EAAE,CAAC;YAClB,YAAY;SACb,CAAC;QAEF,OAAO;YACL,GAAG,WAAW,CAAC;gBACb,cAAc,EAAE,YAAY,CAAC,IAAI;gBACjC,UAAU,EAAE,YAAY,CAAC,UAAU;gBACnC,MAAM,EAAE,QAAQ;gBAChB,SAAS,EAAE,YAAY,CAAC,MAAM;gBAC9B,QAAQ,EAAE,IAAI;gBACd,SAAS;gBACT,gBAAgB,EAAE,YAAY;gBAC9B,YAAY;aACb,CAAC;YACF,WAAW,EAAE,SAAS;SACvB,CAAC;IACJ,CAAC;IAED,yEAAyE;IACzE,MAAM,WAAW,GAAG,MAAM,gBAAgB,CAAC,IAAI,EAAE;QAC/C,GAAG,OAAO;QACV,kBAAkB,EAAE,IAAI,EAAG,eAAe;KAC3C,CAAC,CAAC;IAEH,gDAAgD;IAChD,IAAI,WAAW,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS;QAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,IAAI,WAAW,CAAC,eAAe,CAAC,MAAM,KAAK,SAAS;QAAE,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAEnF,0EAA0E;IAC1E,MAAM,kBAAkB,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC;IAC9D,IAAI,mBAAmB,CAAC;IACxB,IAAI,eAAe,CAAC;IACpB,IAAI,cAAc,CAAC;IACnB,IAAI,WAAW,CAAC;IAEhB,IAAI,WAAW,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QAC/B,mDAAmD;QACnD,MAAM,UAAU,GAAG,iBAAiB,CAAC,kBAAkB,EAAE;YACvD,cAAc,EAAE,WAAW,CAAC,cAAc;YAC1C,UAAU,EAAE,WAAW,CAAC,UAAU;YAClC,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,SAAS,EAAE,WAAW,CAAC,SAAS;SACjC,CAAC,CAAC;QACH,mBAAmB,GAAG,UAAU,CAAC,cAAc,CAAC;QAChD,eAAe,GAAG,UAAU,CAAC,UAAU,CAAC;QACxC,cAAc,GAAG,UAAU,CAAC,SAAS,CAAC;QACtC,WAAW,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC;SAAM,CAAC;QACN,+CAA+C;QAC/C,mBAAmB,GAAG,kBAAkB,CAAC,cAAc,CAAC;QACxD,eAAe,GAAG,kBAAkB,CAAC,UAAU,CAAC;QAChD,cAAc,GAAG,GAAG,kBAAkB,CAAC,SAAS,wCAAwC,CAAC;QACzF,WAAW,GAAG,QAAQ,CAAC;IACzB,CAAC;IAED,OAAO;QACL,GAAG,WAAW,CAAC;YACb,cAAc,EAAE,mBAAmB;YACnC,UAAU,EAAE,eAAe;YAC3B,MAAM,EAAE,WAAW;YACnB,SAAS,EAAE,cAAc;YACzB,QAAQ,EAAE,eAAe,IAAI,UAAU,CAAC,YAAY;YACpD,SAAS;YACT,gBAAgB,EAAE,YAAY;YAC9B,YAAY;YACZ,SAAS,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS;YAC7F,eAAe,EAAE,WAAW,CAAC,eAAe,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS;SAChH,CAAC;QACF,WAAW;KACZ,CAAC;AACJ,CAAC"}

package/dist/work-on-evolution/pipeline/dual-verification-orchestrator.d.mts

@@ -0,0 +1,99 @@
+import { COMPONENT_TYPE, CONFIDENCE_THRESHOLD } from '../../lib/component-detection.mjs';
+import { raceWithTimeout, buildSuccessSignal, buildTimeoutSignal, buildErrorSignal, buildSkippedSignal } from './verification-signals.mjs';
+import { reconcileSignalPair } from './verification-reconciliation.mjs';
+/**
+ * Confidence thresholds for each tier transition.
+ *
+ * - NAMING_SKIP: If naming convention confidence >= this, skip LLM tier.
+ *   Reuses the CONFIDENCE_THRESHOLD from solution-capability-router (0.90).
+ * - LLM_SKIP: If combined naming+LLM confidence >= this, skip web search tier.
+ * - MIN_VERIFIED: Minimum confidence to consider the classification "verified".
+ */
+export declare const THRESHOLDS: {
+    NAMING_SKIP: number;
+    LLM_SKIP: number;
+    MIN_VERIFIED: number;
+};
+/**
+ * @typedef {Object} ClassificationContext
+ * @property {string}  [description]    - Business/usage context for the component
+ * @property {string}  [type]           - OWM DSL type hint (component, pipeline, anchor, etc.)
+ * @property {string}  [capability]     - Already-identified underlying capability (if any)
+ * @property {string}  [nature]         - Already-identified capability nature (if any)
+ * @property {function(string): Promise<string>} [llmCall]
+ *   LLM call function for Tier 2 fallback (from llm-call.mjs).
+ *   If not provided, the pipeline stops after Tier 1 naming convention.
+ * @property {function(string): Promise<string>} [webSearchCall]
+ *   Web search call function for Tier 3 evidence (from web-search-verification.mjs).
+ *   If not provided, the pipeline stops after Tier 2 LLM.
+ * @property {boolean} [skipLLM=false]  - Force-skip the LLM tier (e.g. for cost control)
+ * @property {boolean} [skipWebSearch=false] - Force-skip the web search tier
+ */
+/**
+ * @typedef {Object} VerifiedClassificationResult
+ * @property {'solution'|'capability'} classification - Verified component type
+ * @property {number}  confidence      - Final confidence score (0-1)
+ * @property {string}  method          - Detection method chain used:
+ *   'naming' | 'naming+llm' | 'naming+web-search' | 'naming+llm+web-search'
+ * @property {string}  reasoning       - Human-readable explanation of the final classification
+ * @property {boolean} isSolution      - Convenience flag: classification === 'solution'
+ * @property {boolean} verified        - true if at least two tiers agreed or a single tier had >= 90% confidence
+ * @property {string[]} tiersUsed      - Which tiers were actually invoked: ['naming'], ['naming', 'llm'], etc.
+ * @property {import('../routing/solution-capability-router.mjs').ComponentTypeDetection} routingDetection
+ *   - Full detection result from Tier 1 (solution-capability-router), preserved for downstream routing
+ * @property {{ useSolutionStrategies: boolean, useCapabilityStrategies: boolean, mode: string }} routingTargets
+ *   - Pre-computed routing targets based on the verified classification
+ * @property {Object}  [namingResult]  - Raw result from Tier 1 naming convention
+ * @property {Object}  [llmResult]     - Raw result from Tier 2 LLM (if invoked)
+ * @property {Object}  [webSearchResult] - Raw result from Tier 3 web search (if invoked)
+ */
+/**
+ * Dual-verification orchestrator: classify a component as solution or capability
+ * using a multi-tier verification pipeline.
+ *
+ * The pipeline short-circuits at the earliest tier that produces a high-confidence
+ * result, minimizing cost. Each subsequent tier adds evidence to increase
+ * confidence or resolve ambiguity.
+ *
+ * Verification logic:
+ *   - Tier 1 alone at >= 90% confidence → verified = true (dictionary match)
+ *   - Tier 1 + Tier 2 agree → verified = true (boosted confidence)
+ *   - Tier 1 + Tier 2 disagree → Tier 3 invoked as tiebreaker (if available)
+ *   - Any final confidence >= MIN_VERIFIED (0.70) → verified = true
+ *
+ * @param {string} componentName - Component name to classify
+ * @param {ClassificationContext} [context={}] - Partial classification context
+ * @returns {Promise<VerifiedClassificationResult>} Verified classification result
+ */
+export declare function verifyClassification(componentName: string, context?: any): Promise<any>;
+import { verifyConcurrent, verifyConcurrentFull } from './concurrent-verification.mjs';
+export { verifyConcurrent, verifyConcurrentFull };
+/**
+ * Quick classification using only Tier 1 naming convention (no LLM, no web search).
+ *
+ * This is a thin wrapper around detectComponentType() that returns the same
+ * VerifiedClassificationResult shape for API consistency.
+ *
+ * Useful for hot paths where cost must be zero and the caller can tolerate
+ * lower confidence on unknown components.
+ *
+ * @param {string} componentName - Component name to classify
+ * @param {string} [description] - Optional business context
+ * @returns {VerifiedClassificationResult}
+ */
+export declare function classifyNamingOnly(componentName: string, description?: string): any;
+export { COMPONENT_TYPE, CONFIDENCE_THRESHOLD };
+/**
+ * Exported for testing: signal builders and reconciliation.
+ * These are implementation details exposed to enable thorough unit testing.
+ */
+export declare const _internal: {
+    buildSuccessSignal: typeof buildSuccessSignal;
+    buildTimeoutSignal: typeof buildTimeoutSignal;
+    buildErrorSignal: typeof buildErrorSignal;
+    buildSkippedSignal: typeof buildSkippedSignal;
+    reconcileSignalPair: typeof reconcileSignalPair;
+    raceWithTimeout: typeof raceWithTimeout;
+    DEFAULT_SIGNAL_TIMEOUT_MS: number;
+};
+//# sourceMappingURL=dual-verification-orchestrator.d.mts.map

package/dist/work-on-evolution/pipeline/dual-verification-orchestrator.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dual-verification-orchestrator.d.mts","sourceRoot":"","sources":["../../../src/work-on-evolution/pipeline/dual-verification-orchestrator.mts"],"names":[],"mappings":"AAmCA,OAAO,EAEL,cAAc,EACd,oBAAoB,EACrB,MAAM,mCAAmC,CAAC;AAO3C,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EACnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAGL,mBAAmB,EAEpB,MAAM,mCAAmC,CAAC;AAM3C;;;;;;;GAOG;AACH,eAAO,MAAM,UAAU;;;;CAItB,CAAC;AAIF;;;;;;;;;;;;;;GAcG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AAIH;;;;;;;;;;;;;;;;;GAiBG;AAEH,wBAAsB,oBAAoB,CAAC,aAAa,EAAE,MAAM,EAAE,OAAO,GAAE,GAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CA2JjG;AAUD,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EAErB,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,CAAC;AAIlD;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAAC,aAAa,EAAE,MAAM,EAAE,WAAW,GAAE,MAAW,OAcjF;AAID,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,CAAC;AAEhD;;;GAGG;AACH,eAAO,MAAM,SAAS;;;;;;;;CAQrB,CAAC"}