supercov 0.0.6 → 0.0.8

package/dist/query.js

@@ -271,7 +271,7 @@ function obligationSatisfied(obligation, selected) {
     return obligation.options.some((option) => option.every((test) => selected.has(test)));
 }
 /** Exact branch-and-bound solver; MC/DC obligations retain their witness-pair structure. */
-export function minimumTestSet(report, target = 100, metric = "all") {
+export function minimumTestSet(report, target = 100, metric = "all", maxStates = 5_000) {
     const unattributed = report.tests.filter((test) => test.role === "background" &&
         (test.hits.length > 0 || test.decisions.some((decision) => decision.vectors.length > 0)));
     if (unattributed.length > 0) {
@@ -307,6 +307,18 @@ export function minimumTestSet(report, target = 100, metric = "all") {
     const seen = new Set();
     const search = (selected, skipped, skippedByMetric) => {
         exploredStates += 1;
+        if (exploredStates > maxStates) {
+            throw new SupercovError("MINIMIZATION_COMPLEXITY_LIMIT", `Exact minimization exceeded its ${maxStates.toLocaleString()}-state safety budget. Narrow the test view with --kind or --runner, or request a different target.`, {
+                details: {
+                    candidateTests: candidateTests.length,
+                    obligations: obligations.length,
+                    exploredStates,
+                    maxStates,
+                    target,
+                    metric,
+                },
+            });
+        }
         if (selected.size >= best.size)
             return;
         const stateKey = `${[...selected].sort().join(",")}|${[...skipped].sort().join(",")}`;
@@ -361,6 +373,7 @@ function coverageCommand(runId, options, child) {
         options.filter !== "all" ? `--filter ${options.filter}` : undefined,
         options.kind ? `--kind ${shellQuote(options.kind)}` : undefined,
         options.runner ? `--runner ${shellQuote(options.runner)}` : undefined,
+        options.metric !== "all" ? `--metric ${options.metric}` : undefined,
     ]
         .filter(Boolean)
         .join(" ");
@@ -480,6 +493,54 @@ function attribution(report, selected) {
         serverFallback: phases.reduce((sum, phase) => sum + phase.inferredServerEvents, 0),
     };
 }
+function coverageDiagnostics(report, selected) {
+    const observed = attribution(report, selected);
+    const diagnostics = [];
+    if ((report.transport?.corruptRecords ?? 0) > 0) {
+        diagnostics.push({
+            code: "CORRUPT_EVIDENCE_RECORDS",
+            severity: "error",
+            message: `${report.transport.corruptRecords} malformed evidence record(s) in ` +
+                `${report.transport.corruptFiles} file(s) were excluded; coverage is incomplete.`,
+        });
+    }
+    if ((report.transport?.remoteLaunches ?? 0) > 0 &&
+        (report.transport?.scopedServerRecords ?? 0) === 0 &&
+        observed.serverExplicit === 0 &&
+        observed.serverFallback === 0) {
+        diagnostics.push({
+            code: "REMOTE_SERVER_EVIDENCE_MISSING",
+            severity: "warning",
+            message: "Remote launches were supervised, but no server evidence returned. Coverage may describe only browser/test processes; inspect how the application server is launched.",
+        });
+    }
+    return diagnostics;
+}
+function gapMetricValue(gap, metric) {
+    if (metric === "all")
+        return gap.score;
+    if (metric === "lines")
+        return gap.uncoveredLines;
+    if (metric === "statements")
+        return gap.uncoveredStatements;
+    if (metric === "functions")
+        return gap.uncoveredFunctions;
+    if (metric === "branches")
+        return gap.missingBranches;
+    return gap.missingMcdcConditions;
+}
+function obligationMatchesMetric(obligation, metric) {
+    if (metric === "all")
+        return true;
+    const kindByMetric = {
+        lines: "line",
+        statements: "statement",
+        functions: "function",
+        branches: "branch",
+        mcdc: "mcdc",
+    };
+    return obligation.kind === kindByMetric[metric];
+}
 export function fileGaps(report, selected) {
     const files = new Map();
     const get = (file) => {
@@ -595,6 +656,7 @@ function findFile(report, selector) {
 }
 export function coverageMeasurement(report) {
     const limitations = report.limitations ?? [];
+    const evidenceCorruptions = report.transport?.corruptRecords ?? 0;
     const byKind = {
         "dynamic-code": 0,
         "semantic-safety": 0,
@@ -603,11 +665,13 @@ export function coverageMeasurement(report) {
     for (const limitation of limitations)
         byKind[limitation.kind] += 1;
     return {
-        complete: limitations.length === 0,
+        complete: limitations.length === 0 && evidenceCorruptions === 0,
         limitations: limitations.length,
+        evidenceCorruptions,
         // Every current limitation removes source from the measured denominator.
-        blocking: limitations.length,
-        files: new Set(limitations.map((limitation) => limitation.file)).size,
+        blocking: limitations.length + evidenceCorruptions,
+        files: new Set(limitations.map((limitation) => limitation.file)).size +
+            (report.transport?.corruptFiles ?? 0),
         byKind,
     };
 }
@@ -628,9 +692,9 @@ const helpText = `Agent-oriented local coverage queries:
   supercov runs <run-id> coverage kinds [--json]
   supercov runs <run-id> coverage runners [--json]
   supercov runs <run-id> coverage scope [--limit N] [--offset N] [--json]
-  supercov runs <run-id> coverage files [--filter all|passed|failed] [--limit N] [--offset N] [--json]
-  supercov runs <run-id> coverage gaps [--filter all|passed|failed] [--kind e2e] [--limit N] [--offset N] [--json]
-  supercov runs <run-id> coverage file <source-file> [--kind e2e] [--limit N] [--offset N] [--json]
+  supercov runs <run-id> coverage files [--metric all|lines|statements|functions|branches|mcdc] [--filter all|passed|failed] [--limit N] [--offset N] [--json]
+  supercov runs <run-id> coverage gaps [--metric all|lines|statements|functions|branches|mcdc] [--filter all|passed|failed] [--kind e2e] [--limit N] [--offset N] [--json]
+  supercov runs <run-id> coverage file <source-file> [--metric all|lines|statements|functions|branches|mcdc] [--kind e2e] [--limit N] [--offset N] [--json]
   supercov runs <run-id> coverage decision <id|source-file:line> [--kind e2e] [--json]
   supercov runs <run-id> coverage covers <source-file:line> [--kind e2e] [--json]
   supercov runs <run-id> coverage test <id|name-fragment> [--kind e2e] [--limit N] [--json]
@@ -857,6 +921,7 @@ export async function runQueryCommand(command, args, root = process.cwd()) {
             outcome,
             selectedTests.filter((test) => test.role === "test" && test.outcome === outcome).length,
         ]));
+        const diagnostics = coverageDiagnostics(report, selectedTestSet);
         const result = {
             run: run.id,
             filters: queryFilters(options),
@@ -875,6 +940,8 @@ export async function runQueryCommand(command, args, root = process.cwd()) {
             coverageByKind: report.coverageByKind,
             coverageByRunner: report.coverageByRunner,
             attribution: attribution(report, selectedTestSet),
+            transport: report.transport,
+            diagnostics,
             ...(!selectedTestSet
                 ? {
                     confidence: {
@@ -907,7 +974,7 @@ export async function runQueryCommand(command, args, root = process.cwd()) {
                 }
                 : undefined,
         };
-        return output(result, options, `run ${run.id}${filterLabel(options) ? ` (${filterLabel(options)})` : ""}${run.metadata?.testExitCode !== 0 ? ` [INVALID: test exit ${run.metadata?.testExitCode ?? "unknown"}]` : ""}${report.integrity?.stale ? ` [STALE: ${(report.integrity.staleReasons ?? []).join(", ")}]` : ""}\nlines ${pct(summary.lines.percentage)} (${summary.lines.covered}/${summary.lines.total})\nbranches ${pct(summary.branches.percentage)} (${summary.branches.covered}/${summary.branches.total})\nMC/DC ${pct(summary.conditionCoveragePct)} (${summary.coveredConditions}/${summary.conditions})\nmeasurement: ${measurement.complete ? "complete" : `incomplete — ${measurement.blocking} blocking limitation(s) in ${measurement.files} file(s)`}${!selectedTestSet ? `\nconfidence: ${report.lines.filter((line) => line.confidence?.level === "asserted").length} asserted lines, ${report.lines.filter((line) => line.confidence?.level === "action").length} action-linked, ${report.lines.filter((line) => line.confidence?.level === "executed").length} execution-only; ${report.decisions.reduce((total, decision) => total + decision.conditions.filter((condition) => condition.assertionCovered).length, 0)} assertion-linked MC/DC conditions` : ""}\n${testCount} test(s)${setupCount ? ` + ${setupCount} setup scope(s)` : ""}; outcomes ${Object.entries(testOutcomes).filter(([, count]) => count > 0).map(([outcome, count]) => `${outcome}=${count}`).join(", ") || "none"}; ${gaps.length} file(s) have unresolved coverage or measurement gaps`);
+        return output(result, options, `run ${run.id}${filterLabel(options) ? ` (${filterLabel(options)})` : ""}${run.metadata?.testExitCode !== 0 ? ` [INVALID: test exit ${run.metadata?.testExitCode ?? "unknown"}]` : ""}${report.integrity?.stale ? ` [STALE: ${(report.integrity.staleReasons ?? []).join(", ")}]` : ""}\nlines ${pct(summary.lines.percentage)} (${summary.lines.covered}/${summary.lines.total})\nbranches ${pct(summary.branches.percentage)} (${summary.branches.covered}/${summary.branches.total})\nMC/DC ${pct(summary.conditionCoveragePct)} (${summary.coveredConditions}/${summary.conditions})\nmeasurement: ${measurement.complete ? "complete" : `incomplete — ${measurement.blocking} blocking limitation(s) in ${measurement.files} file(s)`}${diagnostics.length ? `\ndiagnostic: ${diagnostics.map((item) => `${item.code}: ${item.message}`).join("; ")}` : ""}${!selectedTestSet ? `\nconfidence: ${report.lines.filter((line) => line.confidence?.level === "asserted").length} asserted lines, ${report.lines.filter((line) => line.confidence?.level === "action").length} action-linked, ${report.lines.filter((line) => line.confidence?.level === "executed").length} execution-only; ${report.decisions.reduce((total, decision) => total + decision.conditions.filter((condition) => condition.assertionCovered).length, 0)} assertion-linked MC/DC conditions` : ""}\n${testCount} test(s)${setupCount ? ` + ${setupCount} setup scope(s)` : ""}; outcomes ${Object.entries(testOutcomes).filter(([, count]) => count > 0).map(([outcome, count]) => `${outcome}=${count}`).join(", ") || "none"}; ${gaps.length} file(s) have unresolved coverage or measurement gaps`);
     }
     if (command === "minimize") {
         const solverReport = selectedTestSet
@@ -928,7 +995,7 @@ export async function runQueryCommand(command, args, root = process.cwd()) {
             };
         });
         const selectedPage = page(selectedDetails, options);
-        const base = `${coverageCommand(run.id, options, "minimize")} --target ${options.target}${options.metric !== "all" ? ` --metric ${options.metric}` : ""}`;
+        const base = `${coverageCommand(run.id, options, "minimize")} --target ${options.target}`;
         const next = nextPageCommand(base, selectedDetails.length, selectedPage.length, options);
         return output({
             run: run.id,
@@ -996,7 +1063,13 @@ export async function runQueryCommand(command, args, root = process.cwd()) {
     }
     if (command === "files" || command === "gaps") {
         const files = fileGaps(report, selectedTestSet);
-        const all = command === "gaps" ? files.filter((gap) => gap.score > 0) : files;
+        const all = files
+            .filter((gap) => command === "files" ||
+            gapMetricValue(gap, options.metric) > 0 ||
+            gap.measurementLimitations > 0)
+            .sort((left, right) => gapMetricValue(right, options.metric) - gapMetricValue(left, options.metric) ||
+            right.measurementLimitations - left.measurementLimitations ||
+            left.file.localeCompare(right.file));
         const selectedFiles = page(all, options);
         const pageStart = all.length === 0 ? 0 : options.offset + 1;
         const pageEnd = Math.min(options.offset + selectedFiles.length, all.length);
@@ -1007,6 +1080,7 @@ export async function runQueryCommand(command, args, root = process.cwd()) {
         return output({
             run: run.id,
             filters: queryFilters(options),
+            metric: options.metric,
             [command]: selectedFiles,
         }, options, selectedFiles
             .map((gap) => {
@@ -1094,7 +1168,7 @@ export async function runQueryCommand(command, args, root = process.cwd()) {
             ...functions,
             ...branches,
             ...mcdc,
-        ].sort((left, right) => left.line - right.line || left.kind.localeCompare(right.kind));
+        ].filter((obligation) => obligationMatchesMetric(obligation, options.metric)).sort((left, right) => left.line - right.line || left.kind.localeCompare(right.kind));
         const allFileLimitations = (report.limitations ?? [])
             .filter((limitation) => limitation.file === file)
             .map((limitation) => ({
@@ -1126,6 +1200,7 @@ export async function runQueryCommand(command, args, root = process.cwd()) {
             run: run.id,
             filters: queryFilters(options),
             file,
+            metric: options.metric,
             counts: {
                 uncoveredLines: uncoveredLines.length,
                 uncoveredStatements: statements.length,
@@ -1185,9 +1260,15 @@ export async function runQueryCommand(command, args, root = process.cwd()) {
         matches = matches.map((decision) => filterDecision(decision, selectedTestSet));
         const totalDecisionEvidence = Math.max(0, ...matches.map((decision) => Math.max(decision.vectorObservations.length, decision.conditions.length, decision.tests.length)));
         matches = matches.map((decision) => {
+            const totals = {
+                conditions: decision.conditions.length,
+                vectorObservations: decision.vectorObservations.length,
+                tests: decision.tests.length,
+            };
             const vectorObservations = page(decision.vectorObservations, options);
             return {
                 ...decision,
+                totals,
                 vectors: vectorObservations.map((observation) => observation.vector),
                 vectorObservations,
                 conditions: page(decision.conditions, options),
@@ -1199,6 +1280,7 @@ export async function runQueryCommand(command, args, root = process.cwd()) {
         const result = {
             run: run.id,
             filters: queryFilters(options),
+            paginationAppliesTo: "conditions, vectorObservations, and tests independently within each decision",
             decisions: matches,
         };
         return output(result, options, matches
@@ -1282,6 +1364,40 @@ export async function runQueryCommand(command, args, root = process.cwd()) {
             }, options, `${matchingTests.map((test) => `${test.name} [${test.id}] — ${test.outcome}`).join("\n")}\n${pageLabel(matches.length, matchingTests.length, options)} matching tests${matchesNext ? `\nnext page: ${matchesNext}` : ""}`, queryPagination(matches.length, matchingTests.length, options));
         }
         const test = matches[0];
+        const pointById = new Map(report.points.map((point) => [point.meta.id, point.meta]));
+        const branchAlternativeById = new Map(report.branches.flatMap((branch) => branch.alternatives.map((alternative) => [
+            alternative.id,
+            {
+                ...branch.meta,
+                id: alternative.id,
+                alternative: alternative.label,
+            },
+        ])));
+        const allHitDetails = test.hits.map((id) => {
+            const point = pointById.get(id);
+            if (point)
+                return {
+                    id: point.id,
+                    obligation: point.kind,
+                    file: point.file,
+                    line: point.line,
+                    column: point.column,
+                    label: point.label,
+                };
+            const branch = branchAlternativeById.get(id);
+            if (branch)
+                return {
+                    id: branch.id,
+                    obligation: "branch",
+                    branchKind: branch.kind,
+                    file: branch.file,
+                    line: branch.line,
+                    column: branch.column,
+                    alternative: branch.alternative,
+                };
+            return { id, obligation: "unknown" };
+        });
+        const decisionById = new Map(report.decisions.map((decision) => [decision.meta.id, decision.meta]));
         const allPhases = report.phases
             .filter((phase) => phase.test === test.id)
             .map((phase) => ({
@@ -1299,7 +1415,11 @@ export async function runQueryCommand(command, args, root = process.cwd()) {
             ...test,
             lines: page(test.lines, options),
             hits: page(test.hits, options),
-            decisions: page(test.decisions, options),
+            hitDetails: page(allHitDetails, options),
+            decisions: page(test.decisions, options).map((decision) => ({
+                ...decision,
+                meta: decisionById.get(decision.id),
+            })),
             phases: page(allPhases, options),
             totals: {
                 lines: test.lines.length,
@@ -1313,6 +1433,7 @@ export async function runQueryCommand(command, args, root = process.cwd()) {
         return output({
             run: run.id,
             filters: queryFilters(options),
+            paginationAppliesTo: "lines, hits/hitDetails, decisions, and phases independently within the test",
             tests: [selected],
         }, options, `${selected.name}\noutcome ${selected.outcome}${selected.attempts.length ? `; ${selected.attempts.map((attempt) => `retry ${attempt.retry}=${attempt.status}`).join(", ")}` : ""}\n${selected.totals.lines} lines, ${selected.totals.hits} hits, ${selected.totals.decisions} decisions, ${selected.totals.phases} phases\n${selected.lines.map((line) => `line: ${line.file}:${line.line}`).join("\n")}${selected.lines.length && selected.phases.length ? "\n" : ""}${selected.phases.map((phase) => `${phase.kind}: ${phase.operation}${phase.source ? ` at ${phase.source}` : ""}`).join("\n")}\n${pageLabel(testTotal, testReturned, options)} per evidence category${testNext ? `\nnext page: ${testNext}` : ""}`, queryPagination(testTotal, testReturned, options));
     }