audit-tools 0.28.0

package/dist/audit/orchestrator/selectiveDeepening/index.js

@@ -0,0 +1,157 @@
+import { DEEPENING_TAG, LENS_VERIFICATION_FOLLOWUP_TAG, LENS_VERIFICATION_TAG, SEVERITY_RANK, intersects, isDeepeningTask, priorityRank, } from "./shared.js";
+import { buildFindingFollowupTask, findingContexts } from "./findingFollowup.js";
+import { buildConflictFollowupTask, conflictGroups } from "./conflict.js";
+import { buildHighRiskCleanFollowupTask, isHighRiskCleanResult, } from "./highRiskClean.js";
+import { buildRuntimeValidationFollowupTask, runtimeResultNeedsFollowup, runtimeValidationHasStrongStaticFinding, } from "./runtimeValidation.js";
+import { buildLensVerificationTasks } from "./lensVerification.js";
+import { buildVerificationFollowupTasks } from "./stewardFollowup.js";
+/**
+ * Build the self-bounding set of selective-deepening follow-up tasks. Each
+ * strategy (finding-followup, conflict, steward-followup, runtime-validation,
+ * lens-verification, high-risk-clean) lives in its own module under this
+ * directory; this entry sequences them and dedupes (via `pushIfNew`).
+ *
+ * There is no per-batch or total-count limit. Each strategy keys its task id off
+ * the finding/unit/lens it verifies, `pushIfNew` dedupes against tasks created in
+ * prior rounds, and no strategy deepens a deepening-sourced result (finding /
+ * conflict / lens-verification / high-risk-clean all filter `isDeepeningTask`;
+ * steward only fires on lens-verification results and its output is not itself a
+ * lens-verification task). The strategy chain is therefore a finite DAG that
+ * converges on its own — each qualifying item is deepened at most once — so the
+ * bound is the size of the qualifying set, never an arbitrary number.
+ */
+export function buildSelectiveDeepeningTasks(options) {
+    const taskById = new Map((options.existingTasks ?? []).map((task) => [task.task_id, task]));
+    const existingTasks = options.existingTasks ?? [];
+    const existingIds = new Set(taskById.keys());
+    const created = [];
+    // No cap: each qualifying item is deepened at most once. `pushIfNew` dedupes
+    // against tasks already created (this round or a prior one, via existingIds),
+    // and strategies never deepen a deepening-sourced result, so the qualifying
+    // set is finite and the chain converges on its own.
+    function pushIfNew(task) {
+        if (existingIds.has(task.task_id)) {
+            return;
+        }
+        existingIds.add(task.task_id);
+        created.push(task);
+    }
+    // FND-OBS-c8d43100: track per-strategy contribution counts so the summary log
+    // can report which strategies fired and whether budget-capping occurred.
+    const strategyContributions = {};
+    const contexts = findingContexts(options.results, taskById);
+    let beforeFindingFollowup = created.length;
+    for (const context of contexts) {
+        const triggers = [];
+        if (SEVERITY_RANK[context.finding.severity] >= SEVERITY_RANK.high) {
+            triggers.push("high_severity");
+        }
+        if (context.finding.confidence === "low") {
+            triggers.push("low_confidence");
+        }
+        if (triggers.length === 0) {
+            continue;
+        }
+        pushIfNew(buildFindingFollowupTask({
+            result: context.result,
+            task: context.task,
+            finding: context.finding,
+            triggers,
+            lineIndex: options.lineIndex,
+        }));
+    }
+    strategyContributions["finding_followup"] = created.length - beforeFindingFollowup;
+    let beforeConflict = created.length;
+    for (const [key, group] of [...conflictGroups(contexts).entries()].sort(([a], [b]) => a.localeCompare(b))) {
+        pushIfNew(buildConflictFollowupTask({
+            contexts: group,
+            conflictKey: key,
+            lineIndex: options.lineIndex,
+        }));
+    }
+    strategyContributions["conflict"] = created.length - beforeConflict;
+    let beforeSteward = created.length;
+    for (const result of options.results) {
+        const task = taskById.get(result.task_id);
+        for (const followupTask of buildVerificationFollowupTasks({
+            result,
+            task,
+            lineIndex: options.lineIndex,
+        })) {
+            pushIfNew(followupTask);
+        }
+    }
+    strategyContributions["steward_followup"] = created.length - beforeSteward;
+    const runtimeTaskById = new Map((options.runtimeValidationTasks?.tasks ?? []).map((task) => [
+        task.id,
+        task,
+    ]));
+    let beforeRuntimeValidation = created.length;
+    for (const result of [...(options.runtimeValidationReport?.results ?? [])].sort((a, b) => a.task_id.localeCompare(b.task_id))) {
+        if (!runtimeResultNeedsFollowup(result.status)) {
+            continue;
+        }
+        const runtimeTask = runtimeTaskById.get(result.task_id);
+        if (!runtimeTask || runtimeTask.target_paths.length === 0) {
+            continue;
+        }
+        if (runtimeValidationHasStrongStaticFinding(runtimeTask, contexts)) {
+            continue;
+        }
+        const relatedTasks = existingTasks.filter((task) => !isDeepeningTask(task) && intersects(task.file_paths, runtimeTask.target_paths));
+        pushIfNew(buildRuntimeValidationFollowupTask({
+            runtimeTask,
+            runtimeResultStatus: result.status,
+            relatedTasks,
+            results: options.results,
+            lineIndex: options.lineIndex,
+        }));
+    }
+    strategyContributions["runtime_validation"] = created.length - beforeRuntimeValidation;
+    let beforeLensVerification = created.length;
+    for (const task of buildLensVerificationTasks({
+        existingTasks,
+        results: options.results,
+        lineIndex: options.lineIndex,
+        externalAnalyzerResults: options.externalAnalyzerResults,
+    })) {
+        pushIfNew(task);
+    }
+    strategyContributions["lens_verification"] = created.length - beforeLensVerification;
+    const cleanResults = options.results
+        .map((result) => ({ result, task: taskById.get(result.task_id) }))
+        .filter(({ result, task }) => isHighRiskCleanResult(result, task))
+        .sort((a, b) => {
+        const priorityDelta = priorityRank(b.task?.priority) - priorityRank(a.task?.priority);
+        if (priorityDelta !== 0)
+            return priorityDelta;
+        return a.result.task_id.localeCompare(b.result.task_id);
+    });
+    let beforeHighRiskClean = created.length;
+    for (const { result, task } of cleanResults) {
+        pushIfNew(buildHighRiskCleanFollowupTask({
+            result,
+            task,
+            lineIndex: options.lineIndex,
+        }));
+    }
+    strategyContributions["high_risk_clean"] = created.length - beforeHighRiskClean;
+    // FND-OBS-c8d43100: emit a structured summary of which strategies fired so
+    // operators can understand deepening decisions. Deepening is self-bounding
+    // (each qualifying item deepened at most once), so there is no budget to report.
+    process.stderr.write(JSON.stringify({
+        ts: new Date().toISOString(),
+        source: "audit-code:selectiveDeepening",
+        event: "strategy_summary",
+        level: "info",
+        created: created.length,
+        strategy_contributions: strategyContributions,
+    }) + "\n");
+    return created;
+}
+export const selectiveDeepeningTestUtils = {
+    DEEPENING_TAG,
+    LENS_VERIFICATION_TAG,
+    LENS_VERIFICATION_FOLLOWUP_TAG,
+};
+//# sourceMappingURL=index.js.map

package/dist/audit/orchestrator/selectiveDeepening/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/audit/orchestrator/selectiveDeepening/index.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,aAAa,EACb,8BAA8B,EAC9B,qBAAqB,EACrB,aAAa,EACb,UAAU,EACV,eAAe,EACf,YAAY,GACb,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,wBAAwB,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACjF,OAAO,EAAE,yBAAyB,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC1E,OAAO,EACL,8BAA8B,EAC9B,qBAAqB,GACtB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,kCAAkC,EAClC,0BAA0B,EAC1B,uCAAuC,GACxC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AAItE;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,4BAA4B,CAC1C,OAA2C;IAE3C,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAClE,CAAC;IACF,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;IAClD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAgB,EAAE,CAAC;IAEhC,6EAA6E;IAC7E,8EAA8E;IAC9E,4EAA4E;IAC5E,oDAAoD;IACpD,SAAS,SAAS,CAAC,IAAe;QAChC,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAClC,OAAO;QACT,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IAED,8EAA8E;IAC9E,yEAAyE;IACzE,MAAM,qBAAqB,GAA2B,EAAE,CAAC;IAEzD,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC5D,IAAI,qBAAqB,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,IAAI,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,aAAa,CAAC,IAAI,EAAE,CAAC;YAClE,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACjC,CAAC;QACD,IAAI,OAAO,CAAC,OAAO,CAAC,UAAU,KAAK,KAAK,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,SAAS,CACP,wBAAwB,CAAC;YACvB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,QAAQ;YACR,SAAS,EAAE,OAAO,CAAC,SAAS;SAC7B,CAAC,CACH,CAAC;IACJ,CAAC;IACD,qBAAqB,CAAC,kBAAkB,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,qBAAqB,CAAC;IAEnF,IAAI,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC;IACpC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CACrE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CACjC,EAAE,CAAC;QACF,SAAS,CACP,yBAAyB,CAAC;YACxB,QAAQ,EAAE,KAAK;YACf,WAAW,EAAE,GAAG;YAChB,SAAS,EAAE,OAAO,CAAC,SAAS;SAC7B,CAAC,CACH,CAAC;IACJ,CAAC;IACD,qBAAqB,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,cAAc,CAAC;IAEpE,IAAI,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC;IACnC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC1C,KAAK,MAAM,YAAY,IAAI,8BAA8B,CAAC;YACxD,MAAM;YACN,IAAI;YACJ,SAAS,EAAE,OAAO,CAAC,SAAS;SAC7B,CAAC,EAAE,CAAC;YACH,SAAS,CAAC,YAAY,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,qBAAqB,CAAC,kBAAkB,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,aAAa,CAAC;IAE3E,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,CAAC,OAAO,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1D,IAAI,CAAC,EAAE;QACP,IAAI;KACL,CAAC,CACH,CAAC;IACF,IAAI,uBAAuB,GAAG,OAAO,CAAC,MAAM,CAAC;IAC7C,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,uBAAuB,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAC7E,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAC7C,EAAE,CAAC;QACF,IAAI,CAAC,0BAA0B,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/C,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACxD,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1D,SAAS;QACX,CAAC;QACD,IAAI,uCAAuC,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,CAAC;YACnE,SAAS;QACX,CAAC;QACD,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,CACvC,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,YAAY,CAAC,CAClF,CAAC;QACF,SAAS,CACP,kCAAkC,CAAC;YACjC,WAAW;YACX,mBAAmB,EAAE,MAAM,CAAC,MAAM;YAClC,YAAY;YACZ,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,SAAS,EAAE,OAAO,CAAC,SAAS;SAC7B,CAAC,CACH,CAAC;IACJ,CAAC;IACD,qBAAqB,CAAC,oBAAoB,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,uBAAuB,CAAC;IAEvF,IAAI,sBAAsB,GAAG,OAAO,CAAC,MAAM,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,0BAA0B,CAAC;QAC5C,aAAa;QACb,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,uBAAuB,EAAE,OAAO,CAAC,uBAAuB;KACzD,CAAC,EAAE,CAAC;QACH,SAAS,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IACD,qBAAqB,CAAC,mBAAmB,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,sBAAsB,CAAC;IAErF,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO;SACjC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SACjE,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;SACjE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACb,MAAM,aAAa,GACjB,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAClE,IAAI,aAAa,KAAK,CAAC;YAAE,OAAO,aAAa,CAAC;QAC9C,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEL,IAAI,mBAAmB,GAAG,OAAO,CAAC,MAAM,CAAC;IACzC,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,YAAY,EAAE,CAAC;QAC5C,SAAS,CACP,8BAA8B,CAAC;YAC7B,MAAM;YACN,IAAI;YACJ,SAAS,EAAE,OAAO,CAAC,SAAS;SAC7B,CAAC,CACH,CAAC;IACJ,CAAC;IACD,qBAAqB,CAAC,iBAAiB,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,mBAAmB,CAAC;IAEhF,2EAA2E;IAC3E,2EAA2E;IAC3E,iFAAiF;IACjF,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,IAAI,CAAC,SAAS,CAAC;QACb,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAC5B,MAAM,EAAE,+BAA+B;QACvC,KAAK,EAAE,kBAAkB;QACzB,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,OAAO,CAAC,MAAM;QACvB,sBAAsB,EAAE,qBAAqB;KAC9C,CAAC,GAAG,IAAI,CACV,CAAC;IAEF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,CAAC,MAAM,2BAA2B,GAAG;IACzC,aAAa;IACb,qBAAqB;IACrB,8BAA8B;CAC/B,CAAC"}

package/dist/audit/orchestrator/selectiveDeepening/lensVerification.d.ts

@@ -0,0 +1,13 @@
+import type { AuditResult, AuditTask } from "../../types.js";
+import type { ExternalAnalyzerResults } from "../../types/externalAnalyzer.js";
+export interface LensVerificationSource {
+    result: AuditResult;
+    task?: AuditTask;
+}
+export declare function buildLensVerificationTasks(params: {
+    existingTasks: AuditTask[];
+    results: AuditResult[];
+    lineIndex?: Record<string, number>;
+    externalAnalyzerResults?: ExternalAnalyzerResults;
+}): AuditTask[];
+//# sourceMappingURL=lensVerification.d.ts.map

package/dist/audit/orchestrator/selectiveDeepening/lensVerification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lensVerification.d.ts","sourceRoot":"","sources":["../../../../src/audit/orchestrator/selectiveDeepening/lensVerification.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAQ,MAAM,gBAAgB,CAAC;AACnE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAgC/E,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,WAAW,CAAC;IACpB,IAAI,CAAC,EAAE,SAAS,CAAC;CAClB;AA+UD,wBAAgB,0BAA0B,CAAC,MAAM,EAAE;IACjD,aAAa,EAAE,SAAS,EAAE,CAAC;IAC3B,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,uBAAuB,CAAC,EAAE,uBAAuB,CAAC;CACnD,GAAG,SAAS,EAAE,CA6Cd"}

package/dist/audit/orchestrator/selectiveDeepening/lensVerification.js

@@ -0,0 +1,269 @@
+import { isHighRiskCleanResult } from "./highRiskClean.js";
+import { DEEPENING_TAG, IMPORTANT_LENS_VERIFICATION_LENSES, LENS_VERIFICATION_TAG, MAX_LENS_VERIFICATION_FILES, MAX_LENS_VERIFICATION_RESULT_SUMMARIES, SEVERITY_RANK, formatList, getExternalAnalyzerPaths, isDeepeningTask, isLensVerificationTask, lineCountForPath, lineCountFromSources, priorityLabel, priorityRank, taskIdFor, uniqueSorted, } from "./shared.js";
+/** Score boost for files touched by a critical-flow task — highest semantic signal. */
+const SCORE_CRITICAL_FLOW = 6;
+/** Score boost for files flagged by an external analyzer tool — treated equally to critical-flow signal. */
+const SCORE_EXTERNAL_ANALYZER_SIGNAL = 6;
+/** Score boost for files from a large-file task — moderately elevated scrutiny. */
+const SCORE_LARGE_FILE = 4;
+/** Score boost for a high-risk task whose result was suspiciously clean — warrants re-examination. */
+const SCORE_HIGH_RISK_CLEAN = 5;
+/** Score boost for files directly matched by an external-analyzer path set — strongest single boost, above tag signals. */
+const SCORE_EXTERNAL_ANALYZER_PATH_MATCH = 8;
+function sourceTaskIds(sources) {
+    return uniqueSorted(sources.map((source) => source.result.task_id));
+}
+function resultFiles(source) {
+    return uniqueSorted(source.task?.file_paths && source.task.file_paths.length > 0
+        ? source.task.file_paths
+        : source.result.file_coverage.map((coverage) => coverage.path));
+}
+function lensVerificationTriggers(params) {
+    const filePaths = uniqueSorted(params.sources.flatMap(resultFiles));
+    const findingPaths = new Set(params.sources.flatMap((source) => source.result.findings.flatMap((finding) => finding.affected_files.map((file) => file.path))));
+    const externalPathsInScope = filePaths.filter((path) => params.externalAnalyzerPaths.has(path));
+    const unresolvedExternalPaths = externalPathsInScope.filter((path) => !findingPaths.has(path));
+    const cleanResults = params.sources.filter((source) => source.result.findings.length === 0 &&
+        source.result.requires_followup !== false);
+    const highRiskCleanResults = params.sources.filter((source) => isHighRiskCleanResult(source.result, source.task));
+    const pathOwnerMap = new Map();
+    for (const source of params.sources) {
+        for (const path of resultFiles(source)) {
+            if (!pathOwnerMap.has(path))
+                pathOwnerMap.set(path, source);
+        }
+    }
+    const totalLines = filePaths.reduce((sum, path) => {
+        const owner = pathOwnerMap.get(path);
+        return sum + (owner ? lineCountForPath(path, owner.task, owner.result) : 0);
+    }, 0);
+    const triggers = [];
+    if (params.sources.some((source) => source.task?.priority === "high")) {
+        triggers.push("high_priority_lens");
+    }
+    if (params.sources.some((source) => source.task?.tags?.some((tag) => tag === "critical_flow" || tag.startsWith("critical_flow:")))) {
+        triggers.push("critical_flow");
+    }
+    if (params.sources.some((source) => source.task?.tags?.some((tag) => tag === "external_analyzer_signal" ||
+        tag.startsWith("external_tool:"))) ||
+        externalPathsInScope.length > 0) {
+        triggers.push("external_analyzer_signal");
+    }
+    if (unresolvedExternalPaths.length > 0) {
+        triggers.push("unresolved_external_signal");
+    }
+    if (params.sources.length >= 3 ||
+        filePaths.length >= 4 ||
+        totalLines >= 2000) {
+        triggers.push("large_lens_surface");
+    }
+    if (cleanResults.length >= 2 && cleanResults.length >= params.sources.length / 2) {
+        triggers.push("many_no_finding_results");
+    }
+    if (highRiskCleanResults.length > 0) {
+        triggers.push("high_risk_clean_result");
+    }
+    if (params.sources.some((source) => source.task?.tags?.some((tag) => tag === "large_file"))) {
+        triggers.push("large_file_reviewed");
+    }
+    return uniqueSorted(triggers);
+}
+function hasPendingBaseTaskForLens(lens, tasks, completedResultIds) {
+    return tasks.some((task) => task.lens === lens &&
+        !isDeepeningTask(task) &&
+        !completedResultIds.has(task.task_id) &&
+        task.status !== "complete");
+}
+function shouldBuildLensVerificationTask(params) {
+    if (!IMPORTANT_LENS_VERIFICATION_LENSES.has(params.lens)) {
+        return false;
+    }
+    if (params.sources.length === 0 || params.triggers.length === 0) {
+        return false;
+    }
+    const explicitlyClosedCleanScope = params.sources.every((source) => source.result.findings.length === 0 &&
+        source.result.requires_followup === false);
+    if (explicitlyClosedCleanScope &&
+        !params.triggers.some((trigger) => ["external_analyzer_signal", "unresolved_external_signal"].includes(trigger))) {
+        return false;
+    }
+    if (hasPendingBaseTaskForLens(params.lens, params.existingTasks, params.completedResultIds)) {
+        return false;
+    }
+    const enoughSurface = params.sources.length >= 2 ||
+        params.triggers.some((trigger) => [
+            "critical_flow",
+            "external_analyzer_signal",
+            "unresolved_external_signal",
+            "large_lens_surface",
+        ].includes(trigger));
+    if (!enoughSurface) {
+        return false;
+    }
+    const sourceSignature = sourceTaskIds(params.sources);
+    const candidateId = taskIdFor("steward", [params.lens, ...sourceSignature]);
+    return !params.existingTasks.some((task) => task.task_id === candidateId);
+}
+function selectLensVerificationFiles(sources, externalAnalyzerPaths, lens) {
+    const scores = new Map();
+    function add(path, score, lines) {
+        const current = scores.get(path) ?? { score: 0, lines };
+        current.score += score;
+        current.lines = Math.max(current.lines, lines);
+        scores.set(path, current);
+    }
+    for (const source of sources) {
+        const priorityScore = priorityRank(source.task?.priority);
+        const highRiskClean = isHighRiskCleanResult(source.result, source.task);
+        for (const path of resultFiles(source)) {
+            add(path, priorityScore, lineCountForPath(path, source.task, source.result));
+            if (source.task?.tags?.includes("critical_flow"))
+                add(path, SCORE_CRITICAL_FLOW, 0);
+            if (source.task?.tags?.includes("external_analyzer_signal"))
+                add(path, SCORE_EXTERNAL_ANALYZER_SIGNAL, 0);
+            if (source.task?.tags?.includes("large_file"))
+                add(path, SCORE_LARGE_FILE, 0);
+            if (highRiskClean)
+                add(path, SCORE_HIGH_RISK_CLEAN, 0);
+        }
+        for (const finding of source.result.findings) {
+            for (const file of finding.affected_files) {
+                add(file.path, SEVERITY_RANK[finding.severity], 0);
+            }
+        }
+    }
+    for (const path of externalAnalyzerPaths) {
+        if (scores.has(path)) {
+            add(path, SCORE_EXTERNAL_ANALYZER_PATH_MATCH, 0);
+        }
+    }
+    const ranked = [...scores.entries()].sort((a, b) => {
+        const scoreDelta = b[1].score - a[1].score;
+        if (scoreDelta !== 0)
+            return scoreDelta;
+        const lineDelta = b[1].lines - a[1].lines;
+        if (lineDelta !== 0)
+            return lineDelta;
+        return a[0].localeCompare(b[0]);
+    });
+    if (ranked.length > MAX_LENS_VERIFICATION_FILES) {
+        process.stderr.write(JSON.stringify({
+            level: "warn",
+            source: "audit-code:selectiveDeepening",
+            event: "truncated_verification_file_list",
+            lens,
+            kept: MAX_LENS_VERIFICATION_FILES,
+            total: ranked.length,
+            ts: new Date().toISOString(),
+        }) + "\n");
+    }
+    return ranked.slice(0, MAX_LENS_VERIFICATION_FILES).map(([path]) => path);
+}
+function summarizeLensVerificationSource(source) {
+    const findings = source.result.findings.length === 0
+        ? "findings=none"
+        : `findings=${source.result.findings
+            .slice(0, 3)
+            .map((finding) => `${finding.id} ${finding.severity}/${finding.confidence} ${finding.category}: ${finding.title}`)
+            .join("; ")}${source.result.findings.length > 3 ? "; ..." : ""}`;
+    const tags = source.task?.tags?.length
+        ? ` tags=${source.task.tags.join(",")}`
+        : "";
+    return (`- ${source.result.task_id} priority=${priorityLabel(source.task?.priority)}` +
+        `${tags} files=${formatList(resultFiles(source), 4)} ${findings}` +
+        (source.result.requires_followup === true ? " requires_followup=true" : ""));
+}
+function buildLensVerificationTask(params) {
+    const sourceIds = sourceTaskIds(params.sources);
+    const selectedPaths = selectLensVerificationFiles(params.sources, params.externalAnalyzerPaths, params.lens);
+    const allPaths = uniqueSorted(params.sources.flatMap(resultFiles));
+    const omittedPathCount = Math.max(0, allPaths.length - selectedPaths.length);
+    const externalPathsInScope = allPaths.filter((path) => params.externalAnalyzerPaths.has(path));
+    if (params.sources.length > MAX_LENS_VERIFICATION_RESULT_SUMMARIES) {
+        process.stderr.write(JSON.stringify({
+            level: "warn",
+            source: "audit-code:selectiveDeepening",
+            event: "truncated_result_summary_list",
+            lens: params.lens,
+            kept: MAX_LENS_VERIFICATION_RESULT_SUMMARIES,
+            total: params.sources.length,
+            ts: new Date().toISOString(),
+        }) + "\n");
+    }
+    const summaries = params.sources
+        .sort((a, b) => a.result.task_id.localeCompare(b.result.task_id))
+        .slice(0, MAX_LENS_VERIFICATION_RESULT_SUMMARIES)
+        .map(summarizeLensVerificationSource);
+    return {
+        task_id: taskIdFor("steward", [params.lens, ...sourceIds]),
+        unit_id: `lens-steward:${params.lens}`,
+        pass_id: `lens-steward:${params.lens}`,
+        lens: params.lens,
+        file_paths: selectedPaths,
+        file_line_counts: Object.fromEntries(selectedPaths.map((path) => [
+            path,
+            lineCountFromSources(path, params.sources.map((source) => source.task).filter((task) => task !== undefined), params.sources.map((source) => source.result), params.lineIndex),
+        ])),
+        inputs: {
+            source_task_ids: sourceIds.join(","),
+            trigger_summary: params.triggers.join(","),
+        },
+        rationale: `Lens steward verification for ${params.lens} after ${params.sources.length} completed base result(s) across ${allPaths.length} file(s). ` +
+            `Triggers: ${params.triggers.join(", ")}. ` +
+            "Review whether high-risk packets are suspiciously clean, severity/confidence levels are consistent, external analyzer signals were resolved rather than hand-waved, cross-packet issues are visible, no-finding conclusions are believable, and related-file findings contradict each other. " +
+            "Do not write direct findings from this verification task; return findings: [] plus verification metadata with bounded follow-up AuditTask suggestions when needed.\n" +
+            `Selected verification files: ${formatList(selectedPaths, 8)}${omittedPathCount > 0 ? `; omitted ${omittedPathCount} lower-priority file(s) from direct source checks` : ""}.\n` +
+            (externalPathsInScope.length > 0
+                ? `External analyzer paths in scope: ${formatList(externalPathsInScope, 8)}.\n`
+                : "") +
+            "Source result summary:\n" +
+            summaries.join("\n") +
+            (params.sources.length > MAX_LENS_VERIFICATION_RESULT_SUMMARIES
+                ? `\n- ... (+${params.sources.length - MAX_LENS_VERIFICATION_RESULT_SUMMARIES} more result summaries omitted)`
+                : ""),
+        priority: "high",
+        tags: [
+            DEEPENING_TAG,
+            LENS_VERIFICATION_TAG,
+            `lens:${params.lens}`,
+            ...params.triggers.map((trigger) => `trigger:${trigger}`),
+        ],
+        status: "pending",
+    };
+}
+export function buildLensVerificationTasks(params) {
+    const taskById = new Map(params.existingTasks.map((task) => [task.task_id, task]));
+    const completedResultIds = new Set(params.results.map((result) => result.task_id));
+    const externalAnalyzerPaths = getExternalAnalyzerPaths(params.externalAnalyzerResults);
+    const tasks = [];
+    for (const lens of [...IMPORTANT_LENS_VERIFICATION_LENSES].sort((a, b) => a.localeCompare(b))) {
+        const sources = params.results
+            .map((result) => ({ result, task: taskById.get(result.task_id) }))
+            .filter((source) => source.result.lens === lens &&
+            !isDeepeningTask(source.task) &&
+            !isLensVerificationTask(source.task));
+        const triggers = lensVerificationTriggers({
+            lens,
+            sources,
+            externalAnalyzerPaths,
+        });
+        if (!shouldBuildLensVerificationTask({
+            lens,
+            sources,
+            triggers,
+            existingTasks: params.existingTasks,
+            completedResultIds,
+        })) {
+            continue;
+        }
+        tasks.push(buildLensVerificationTask({
+            lens,
+            sources,
+            triggers,
+            externalAnalyzerPaths,
+            lineIndex: params.lineIndex,
+        }));
+    }
+    return tasks;
+}
+//# sourceMappingURL=lensVerification.js.map

package/dist/audit/orchestrator/selectiveDeepening/lensVerification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lensVerification.js","sourceRoot":"","sources":["../../../../src/audit/orchestrator/selectiveDeepening/lensVerification.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EACL,aAAa,EACb,kCAAkC,EAClC,qBAAqB,EACrB,2BAA2B,EAC3B,sCAAsC,EACtC,aAAa,EACb,UAAU,EACV,wBAAwB,EACxB,eAAe,EACf,sBAAsB,EACtB,gBAAgB,EAChB,oBAAoB,EACpB,aAAa,EACb,YAAY,EACZ,SAAS,EACT,YAAY,GACb,MAAM,aAAa,CAAC;AAErB,uFAAuF;AACvF,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAC9B,4GAA4G;AAC5G,MAAM,8BAA8B,GAAG,CAAC,CAAC;AACzC,mFAAmF;AACnF,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAC3B,sGAAsG;AACtG,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAChC,2HAA2H;AAC3H,MAAM,kCAAkC,GAAG,CAAC,CAAC;AAO7C,SAAS,aAAa,CAAC,OAAiC;IACtD,OAAO,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,WAAW,CAAC,MAA8B;IACjD,OAAO,YAAY,CACjB,MAAM,CAAC,IAAI,EAAE,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QAC1D,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU;QACxB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CACjE,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,MAIjC;IACC,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACpE,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAChC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACzC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAChD,CACF,CACF,CAAC;IACF,MAAM,oBAAoB,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACrD,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CACvC,CAAC;IACF,MAAM,uBAAuB,GAAG,oBAAoB,CAAC,MAAM,CACzD,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAClC,CAAC;IACF,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CACxC,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,iBAAiB,KAAK,KAAK,CAC5C,CAAC;IACF,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5D,qBAAqB,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAClD,CAAC;IACF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkC,CAAC;IAC/D,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;QAChD,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9E,CAAC,EAAE,CAAC,CAAC,CAAC;IAEN,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,KAAK,MAAM,CAAC,EAAE,CAAC;QACtE,QAAQ,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACtC,CAAC;IACD,IACE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7B,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CACrB,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,eAAe,IAAI,GAAG,CAAC,UAAU,CAAC,gBAAgB,CAAC,CACrE,CACF,EACD,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACjC,CAAC;IACD,IACE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7B,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CACrB,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,KAAK,0BAA0B;QAClC,GAAG,CAAC,UAAU,CAAC,gBAAgB,CAAC,CACnC,CACF;QACD,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAC/B,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,QAAQ,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC9C,CAAC;IACD,IACE,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC;QAC1B,SAAS,CAAC,MAAM,IAAI,CAAC;QACrB,UAAU,IAAI,IAAI,EAClB,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,IAAI,CAAC,IAAI,YAAY,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjF,QAAQ,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC1C,CAAC;IACD,IACE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7B,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,YAAY,CAAC,CACvD,EACD,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACvC,CAAC;IAED,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAU,EACV,KAAkB,EAClB,kBAA+B;IAE/B,OAAO,KAAK,CAAC,IAAI,CACf,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,KAAK,IAAI;QAClB,CAAC,eAAe,CAAC,IAAI,CAAC;QACtB,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;QACrC,IAAI,CAAC,MAAM,KAAK,UAAU,CAC7B,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CAAC,MAMxC;IACC,IAAI,CAAC,kCAAkC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,0BAA0B,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CACrD,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,iBAAiB,KAAK,KAAK,CAC5C,CAAC;IACF,IACE,0BAA0B;QAC1B,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAChC,CAAC,0BAA0B,EAAE,4BAA4B,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAC7E,EACD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,yBAAyB,CACvB,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,aAAa,EACpB,MAAM,CAAC,kBAAkB,CAC1B,EACD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,aAAa,GACjB,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC;QAC1B,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAC/B;YACE,eAAe;YACf,0BAA0B;YAC1B,4BAA4B;YAC5B,oBAAoB;SACrB,CAAC,QAAQ,CAAC,OAAO,CAAC,CACpB,CAAC;IACJ,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,eAAe,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,WAAW,GAAG,SAAS,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC;IAC5E,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,2BAA2B,CAClC,OAAiC,EACjC,qBAAkC,EAClC,IAAU;IAEV,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4C,CAAC;IACnE,SAAS,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,KAAa;QACrD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;QACxD,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC;QACvB,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5B,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,aAAa,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC1D,MAAM,aAAa,GAAG,qBAAqB,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QACxE,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,GAAG,CAAC,IAAI,EAAE,aAAa,EAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7E,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,eAAe,CAAC;gBAAE,GAAG,CAAC,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;YACpF,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,0BAA0B,CAAC;gBAAE,GAAG,CAAC,IAAI,EAAE,8BAA8B,EAAE,CAAC,CAAC,CAAC;YAC1G,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,YAAY,CAAC;gBAAE,GAAG,CAAC,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC;YAC9E,IAAI,aAAa;gBAAE,GAAG,CAAC,IAAI,EAAE,qBAAqB,EAAE,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC7C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;gBAC1C,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,qBAAqB,EAAE,CAAC;QACzC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,GAAG,CAAC,IAAI,EAAE,kCAAkC,EAAE,CAAC,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjD,MAAM,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3C,IAAI,UAAU,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC;QACxC,MAAM,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1C,IAAI,SAAS,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACtC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,MAAM,GAAG,2BAA2B,EAAE,CAAC;QAChD,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,IAAI,CAAC,SAAS,CAAC;YACb,KAAK,EAAE,MAAM;YACb,MAAM,EAAE,+BAA+B;YACvC,KAAK,EAAE,kCAAkC;YACzC,IAAI;YACJ,IAAI,EAAE,2BAA2B;YACjC,KAAK,EAAE,MAAM,CAAC,MAAM;YACpB,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SAC7B,CAAC,GAAG,IAAI,CACV,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,2BAA2B,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,+BAA+B,CAAC,MAA8B;IACrE,MAAM,QAAQ,GACZ,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QACjC,CAAC,CAAC,eAAe;QACjB,CAAC,CAAC,YAAY,MAAM,CAAC,MAAM,CAAC,QAAQ;aAC/B,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;aACX,GAAG,CACF,CAAC,OAAO,EAAE,EAAE,CACV,GAAG,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,KAAK,EAAE,CAClG;aACA,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACzE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM;QACpC,CAAC,CAAC,SAAS,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QACvC,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,CACL,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,aAAa,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE;QAC7E,GAAG,IAAI,UAAU,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ,EAAE;QACjE,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC,CAC5E,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,MAMlC;IACC,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,aAAa,GAAG,2BAA2B,CAC/C,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,qBAAqB,EAC5B,MAAM,CAAC,IAAI,CACZ,CAAC;IACF,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACnE,MAAM,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IAC7E,MAAM,oBAAoB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACpD,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CACvC,CAAC;IACF,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,sCAAsC,EAAE,CAAC;QACnE,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,IAAI,CAAC,SAAS,CAAC;YACb,KAAK,EAAE,MAAM;YACb,MAAM,EAAE,+BAA+B;YACvC,KAAK,EAAE,+BAA+B;YACtC,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,IAAI,EAAE,sCAAsC;YAC5C,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM;YAC5B,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SAC7B,CAAC,GAAG,IAAI,CACV,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO;SAC7B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;SAChE,KAAK,CAAC,CAAC,EAAE,sCAAsC,CAAC;SAChD,GAAG,CAAC,+BAA+B,CAAC,CAAC;IAExC,OAAO;QACL,OAAO,EAAE,SAAS,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,SAAS,CAAC,CAAC;QAC1D,OAAO,EAAE,gBAAgB,MAAM,CAAC,IAAI,EAAE;QACtC,OAAO,EAAE,gBAAgB,MAAM,CAAC,IAAI,EAAE;QACtC,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,UAAU,EAAE,aAAa;QACzB,gBAAgB,EAAE,MAAM,CAAC,WAAW,CAClC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAC1B,IAAI;YACJ,oBAAoB,CAClB,IAAI,EACJ,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAqB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,EACnG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAC7C,MAAM,CAAC,SAAS,CACjB;SACF,CAAC,CACH;QACD,MAAM,EAAE;YACN,eAAe,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC;YACpC,eAAe,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC;SAC3C;QACD,SAAS,EACP,iCAAiC,MAAM,CAAC,IAAI,UAAU,MAAM,CAAC,OAAO,CAAC,MAAM,oCAAoC,QAAQ,CAAC,MAAM,YAAY;YAC1I,aAAa,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAC3C,+RAA+R;YAC/R,sKAAsK;YACtK,gCAAgC,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC,GAAG,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,gBAAgB,mDAAmD,CAAC,CAAC,CAAC,EAAE,KAAK;YAChL,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;gBAC9B,CAAC,CAAC,qCAAqC,UAAU,CAAC,oBAAoB,EAAE,CAAC,CAAC,KAAK;gBAC/E,CAAC,CAAC,EAAE,CAAC;YACP,0BAA0B;YAC1B,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;YACpB,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,sCAAsC;gBAC7D,CAAC,CAAC,aAAa,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,sCAAsC,iCAAiC;gBAC9G,CAAC,CAAC,EAAE,CAAC;QACT,QAAQ,EAAE,MAAM;QAChB,IAAI,EAAE;YACJ,aAAa;YACb,qBAAqB;YACrB,QAAQ,MAAM,CAAC,IAAI,EAAE;YACrB,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,OAAO,EAAE,CAAC;SAC1D;QACD,MAAM,EAAE,SAAS;KAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,MAK1C;IACC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACnF,MAAM,qBAAqB,GAAG,wBAAwB,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC;IACvF,MAAM,KAAK,GAAgB,EAAE,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,kCAAkC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACvE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CACnB,EAAE,CAAC;QACF,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO;aAC3B,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;aACjE,MAAM,CACL,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI;YAC3B,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC;YAC7B,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,CACvC,CAAC;QACJ,MAAM,QAAQ,GAAG,wBAAwB,CAAC;YACxC,IAAI;YACJ,OAAO;YACP,qBAAqB;SACtB,CAAC,CAAC;QACH,IACE,CAAC,+BAA+B,CAAC;YAC/B,IAAI;YACJ,OAAO;YACP,QAAQ;YACR,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,kBAAkB;SACnB,CAAC,EACF,CAAC;YACD,SAAS;QACX,CAAC;QACD,KAAK,CAAC,IAAI,CACR,yBAAyB,CAAC;YACxB,IAAI;YACJ,OAAO;YACP,QAAQ;YACR,qBAAqB;YACrB,SAAS,EAAE,MAAM,CAAC,SAAS;SAC5B,CAAC,CACH,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/audit/orchestrator/selectiveDeepening/runtimeValidation.d.ts

@@ -0,0 +1,14 @@
+import type { AuditResult, AuditTask, Lens } from "../../types.js";
+import type { RuntimeValidationStatus, RuntimeValidationTask } from "../../types/runtimeValidation.js";
+import { type FindingContext } from "./shared.js";
+export declare function runtimeResultNeedsFollowup(status: RuntimeValidationStatus): boolean;
+export declare function pickRuntimeFollowupLens(relatedTasks: AuditTask[]): Lens;
+export declare function runtimeValidationHasStrongStaticFinding(runtimeTask: RuntimeValidationTask, contexts: FindingContext[]): boolean;
+export declare function buildRuntimeValidationFollowupTask(params: {
+    runtimeTask: RuntimeValidationTask;
+    runtimeResultStatus: RuntimeValidationStatus;
+    relatedTasks: AuditTask[];
+    results: AuditResult[];
+    lineIndex?: Record<string, number>;
+}): AuditTask;
+//# sourceMappingURL=runtimeValidation.d.ts.map

package/dist/audit/orchestrator/selectiveDeepening/runtimeValidation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtimeValidation.d.ts","sourceRoot":"","sources":["../../../../src/audit/orchestrator/selectiveDeepening/runtimeValidation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AACnE,OAAO,KAAK,EACV,uBAAuB,EACvB,qBAAqB,EACtB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAEL,KAAK,cAAc,EAOpB,MAAM,aAAa,CAAC;AAErB,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,uBAAuB,GAC9B,OAAO,CAET;AAED,wBAAgB,uBAAuB,CAAC,YAAY,EAAE,SAAS,EAAE,GAAG,IAAI,CAmBvE;AAED,wBAAgB,uCAAuC,CACrD,WAAW,EAAE,qBAAqB,EAClC,QAAQ,EAAE,cAAc,EAAE,GACzB,OAAO,CAMT;AAED,wBAAgB,kCAAkC,CAAC,MAAM,EAAE;IACzD,WAAW,EAAE,qBAAqB,CAAC;IACnC,mBAAmB,EAAE,uBAAuB,CAAC;IAC7C,YAAY,EAAE,SAAS,EAAE,CAAC;IAC1B,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC,GAAG,SAAS,CAsCZ"}

package/dist/audit/orchestrator/selectiveDeepening/runtimeValidation.js

@@ -0,0 +1,58 @@
+import { DEEPENING_TAG, SEVERITY_RANK, intersects, lineCountFromSources, sanitizeSegment, taskIdFor, uniqueSorted, } from "./shared.js";
+export function runtimeResultNeedsFollowup(status) {
+    return status === "not_confirmed" || status === "inconclusive";
+}
+export function pickRuntimeFollowupLens(relatedTasks) {
+    const preference = [
+        "security",
+        "data_integrity",
+        "reliability",
+        "correctness",
+        "tests",
+        "operability",
+        "config_deployment",
+        "performance",
+        "architecture",
+        "maintainability",
+    ];
+    for (const lens of preference) {
+        if (relatedTasks.some((task) => task.lens === lens)) {
+            return lens;
+        }
+    }
+    return "correctness";
+}
+export function runtimeValidationHasStrongStaticFinding(runtimeTask, contexts) {
+    return contexts.some((context) => intersects(context.paths, runtimeTask.target_paths) &&
+        SEVERITY_RANK[context.finding.severity] >= SEVERITY_RANK.high);
+}
+export function buildRuntimeValidationFollowupTask(params) {
+    const paths = uniqueSorted(params.runtimeTask.target_paths);
+    const lens = pickRuntimeFollowupLens(params.relatedTasks);
+    const firstRelated = params.relatedTasks[0];
+    return {
+        task_id: taskIdFor("runtime", [params.runtimeTask.id]),
+        unit_id: firstRelated?.unit_id ?? `runtime:${sanitizeSegment(params.runtimeTask.id)}`,
+        pass_id: `deepening:runtime:${sanitizeSegment(params.runtimeTask.id)}`,
+        lens,
+        file_paths: paths,
+        file_line_counts: Object.fromEntries(paths.map((path) => [
+            path,
+            lineCountFromSources(path, params.relatedTasks, params.results, params.lineIndex),
+        ])),
+        rationale: `Reconcile runtime validation ${params.runtimeTask.id} (${params.runtimeResultStatus}) with semantic audit output. ` +
+            "Verify the failing or inconclusive runtime evidence, map it to source behavior, and decide whether a finding should be added or escalated.",
+        priority: params.runtimeTask.priority === "high" ||
+            params.runtimeResultStatus === "not_confirmed"
+            ? "high"
+            : "medium",
+        tags: [
+            DEEPENING_TAG,
+            "trigger:runtime_validation_disagreement",
+            `runtime_task:${sanitizeSegment(params.runtimeTask.id)}`,
+            `runtime_status:${params.runtimeResultStatus}`,
+        ],
+        status: "pending",
+    };
+}
+//# sourceMappingURL=runtimeValidation.js.map

package/dist/audit/orchestrator/selectiveDeepening/runtimeValidation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtimeValidation.js","sourceRoot":"","sources":["../../../../src/audit/orchestrator/selectiveDeepening/runtimeValidation.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,aAAa,EAEb,aAAa,EACb,UAAU,EACV,oBAAoB,EACpB,eAAe,EACf,SAAS,EACT,YAAY,GACb,MAAM,aAAa,CAAC;AAErB,MAAM,UAAU,0BAA0B,CACxC,MAA+B;IAE/B,OAAO,MAAM,KAAK,eAAe,IAAI,MAAM,KAAK,cAAc,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,YAAyB;IAC/D,MAAM,UAAU,GAAW;QACzB,UAAU;QACV,gBAAgB;QAChB,aAAa;QACb,aAAa;QACb,OAAO;QACP,aAAa;QACb,mBAAmB;QACnB,aAAa;QACb,cAAc;QACd,iBAAiB;KAClB,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACpD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,uCAAuC,CACrD,WAAkC,EAClC,QAA0B;IAE1B,OAAO,QAAQ,CAAC,IAAI,CAClB,CAAC,OAAO,EAAE,EAAE,CACV,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,YAAY,CAAC;QACnD,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,aAAa,CAAC,IAAI,CAChE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kCAAkC,CAAC,MAMlD;IACC,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAE5C,OAAO;QACL,OAAO,EAAE,SAAS,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACtD,OAAO,EAAE,YAAY,EAAE,OAAO,IAAI,WAAW,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE;QACrF,OAAO,EAAE,qBAAqB,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE;QACtE,IAAI;QACJ,UAAU,EAAE,KAAK;QACjB,gBAAgB,EAAE,MAAM,CAAC,WAAW,CAClC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAClB,IAAI;YACJ,oBAAoB,CAClB,IAAI,EACJ,MAAM,CAAC,YAAY,EACnB,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,SAAS,CACjB;SACF,CAAC,CACH;QACD,SAAS,EACP,gCAAgC,MAAM,CAAC,WAAW,CAAC,EAAE,KAAK,MAAM,CAAC,mBAAmB,gCAAgC;YACpH,4IAA4I;QAC9I,QAAQ,EACN,MAAM,CAAC,WAAW,CAAC,QAAQ,KAAK,MAAM;YACtC,MAAM,CAAC,mBAAmB,KAAK,eAAe;YAC5C,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,QAAQ;QACd,IAAI,EAAE;YACJ,aAAa;YACb,yCAAyC;YACzC,gBAAgB,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE;YACxD,kBAAkB,MAAM,CAAC,mBAAmB,EAAE;SAC/C;QACD,MAAM,EAAE,SAAS;KAClB,CAAC;AACJ,CAAC"}

package/dist/audit/orchestrator/selectiveDeepening/shared.d.ts

@@ -0,0 +1,42 @@
+import type { AuditResult, AuditTask, Finding, Lens } from "../../types.js";
+import type { ExternalAnalyzerResults } from "../../types/externalAnalyzer.js";
+export declare const DEEPENING_TAG = "selective_deepening";
+export declare const LENS_VERIFICATION_TAG = "lens_verification";
+export declare const LENS_VERIFICATION_FOLLOWUP_TAG = "lens_verification_followup";
+export declare const MAX_LENS_VERIFICATION_FILES = 12;
+export declare const MAX_LENS_VERIFICATION_RESULT_SUMMARIES = 12;
+export declare const MAX_VERIFICATION_FOLLOWUP_TASKS_PER_RESULT = 4;
+export declare const IMPORTANT_LENS_VERIFICATION_LENSES: Set<Lens>;
+export declare const SEVERITY_RANK: Record<Finding["severity"], number>;
+export declare const CONFIDENCE_RANK: Record<Finding["confidence"], number>;
+export declare function priorityRank(priority: AuditTask["priority"]): number;
+export interface BuildSelectiveDeepeningTaskOptions {
+    existingTasks?: AuditTask[];
+    results: AuditResult[];
+    lineIndex?: Record<string, number>;
+    runtimeValidationTasks?: import("../../types/runtimeValidation.js").RuntimeValidationTaskManifest;
+    runtimeValidationReport?: import("../../types/runtimeValidation.js").RuntimeValidationReport;
+    externalAnalyzerResults?: ExternalAnalyzerResults;
+}
+export interface FindingContext {
+    result: AuditResult;
+    task?: AuditTask;
+    finding: Finding;
+    paths: string[];
+}
+export declare function isDeepeningTask(task: AuditTask | undefined): boolean;
+export declare function isLensVerificationTask(task: AuditTask | undefined): boolean;
+export declare function sanitizeSegment(value: string): string;
+export declare function shortHash(value: string): string;
+export declare function lineCountForPath(path: string, task: AuditTask | undefined, result: AuditResult, lineIndex?: Record<string, number>): number;
+export declare function uniqueSorted(values: Iterable<string>): string[];
+export declare function intersects(left: string[], right: string[]): boolean;
+export declare function pathsForFinding(finding: Finding, result: AuditResult, task: AuditTask | undefined): string[];
+export declare function taskIdFor(prefix: string, values: string[]): string;
+export declare function lineCountFromSources(path: string, tasks: AuditTask[], results: AuditResult[], lineIndex?: Record<string, number>): number;
+export declare function formatList(values: string[], maxItems: number): string;
+export declare function priorityLabel(priority: AuditTask["priority"]): NonNullable<AuditTask["priority"]>;
+export declare function getExternalAnalyzerPaths(externalAnalyzerResults?: ExternalAnalyzerResults): Set<string>;
+export declare function isRecord(value: unknown): value is Record<string, unknown>;
+export declare function normalizedSuggestedPriority(value: unknown, fallback?: NonNullable<AuditTask["priority"]>): NonNullable<AuditTask["priority"]>;
+//# sourceMappingURL=shared.d.ts.map

package/dist/audit/orchestrator/selectiveDeepening/shared.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../../../src/audit/orchestrator/selectiveDeepening/shared.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAC5E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAO/E,eAAO,MAAM,aAAa,wBAAwB,CAAC;AACnD,eAAO,MAAM,qBAAqB,sBAAsB,CAAC;AACzD,eAAO,MAAM,8BAA8B,+BAA+B,CAAC;AAC3E,eAAO,MAAM,2BAA2B,KAAK,CAAC;AAC9C,eAAO,MAAM,sCAAsC,KAAK,CAAC;AACzD,eAAO,MAAM,0CAA0C,IAAI,CAAC;AAC5D,eAAO,MAAM,kCAAkC,WAI7C,CAAC;AAKH,eAAO,MAAM,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,MAAM,CAI3D,CAAC;AAEJ,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,MAAM,CAI/D,CAAC;AAEJ,wBAAgB,YAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC,GAAG,MAAM,CAUpE;AAED,MAAM,WAAW,kCAAkC;IACjD,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC;IAC5B,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,sBAAsB,CAAC,EAAE,OAAO,kCAAkC,EAAE,6BAA6B,CAAC;IAClG,uBAAuB,CAAC,EAAE,OAAO,kCAAkC,EAAE,uBAAuB,CAAC;IAC7F,uBAAuB,CAAC,EAAE,uBAAuB,CAAC;CACnD;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,WAAW,CAAC;IACpB,IAAI,CAAC,EAAE,SAAS,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,CAEpE;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,CAE3E;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAKrD;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE/C;AAWD,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,GAAG,SAAS,EAC3B,MAAM,EAAE,WAAW,EACnB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACjC,MAAM,CAOR;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAE/D;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAGnE;AAED,wBAAgB,eAAe,CAC7B,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,WAAW,EACnB,IAAI,EAAE,SAAS,GAAG,SAAS,GAC1B,MAAM,EAAE,CAaV;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAElE;AAED,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,EAAE,EAClB,OAAO,EAAE,WAAW,EAAE,EACtB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACjC,MAAM,CAgBR;AAED,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAKrE;AAED,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC,GAC9B,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAEpC;AAED,wBAAgB,wBAAwB,CACtC,uBAAuB,CAAC,EAAE,uBAAuB,GAChD,GAAG,CAAC,MAAM,CAAC,CAUb;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEzE;AAED,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,OAAO,EACd,QAAQ,GAAE,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAY,GACtD,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAIpC"}