verifika 0.0.2 → 0.0.3

package/dist/runner.js

@@ -1,6 +1,7 @@
 import { constants } from "node:os";
 import path from "node:path";
 import { formatSeconds } from "./format.js";
+import { LastLine } from "./preview.js";
 import { execCheck } from "./process.js";
 import { createRun, logPath, pruneRuns, readLatest, releaseRun, writeRunResult } from "./runs.js";
 import { schedule } from "./scheduler.js";
@@ -47,6 +48,7 @@ export async function runVerification(options) {
         selection,
         selected: selected.map((check) => check.name),
         concurrency: options.concurrency,
+        dependsOn: Object.fromEntries(selected.map((check) => [check.name, check.dependsOn])),
     });
     const env = { ...(options.env ?? process.env), VERIFIKA: "1", VERIFIKA_RUN_ID: runId };
     let firstFailure = null;
@@ -54,6 +56,11 @@ export async function runVerification(options) {
         const check = byName.get(task.name);
         reporter.onCheckStart?.(check.name);
         const log = logPath(runId, check.name);
+        const onCheckOutput = reporter.onCheckOutput?.bind(reporter);
+        const followers = onCheckOutput && {
+            stdout: new LastLine((line) => onCheckOutput(check.name, line)),
+            stderr: new LastLine((line) => onCheckOutput(check.name, line)),
+        };
         const outcome = await execCheck({
             command: check.command,
             cwd: root,
@@ -62,6 +69,7 @@ export async function runVerification(options) {
             logFile: path.join(root, log),
             previewLines: options.previewLines,
             signal,
+            ...(followers ? { onOutput: (stream, text) => followers[stream].write(text) } : {}),
         });
         const checkResult = completedResult(results.get(check.name), check, outcome, log);
         results.set(check.name, checkResult);
@@ -172,7 +180,12 @@ function completedResult(base, check, outcome, log) {
 }
 function notRunResult(base, outcome, interrupted, firstFailure) {
     if (outcome.state === "blocked") {
-        return { ...base, status: "blocked", reason: `dependency ${outcome.dependency} did not pass` };
+        return {
+            ...base,
+            status: "blocked",
+            reason: `dependency ${outcome.dependency} did not pass`,
+            blockedBy: outcome.dependency,
+        };
     }
     if (outcome.state !== "not_started")
         return null;

package/dist/runs.js

@@ -155,6 +155,45 @@ function isProcessAlive(pid) {
         return error.code === "EPERM";
     }
 }
+/**
+ * Estimates the time saved by skipping `names`: each check's duration in the most
+ * recent retained run where it ran to completion (passed or failed).
+ */
+export async function estimateSkipped(root, names) {
+    const found = new Map();
+    let runs = [];
+    try {
+        runs = (await readdir(path.join(root, STATE_DIR, RUNS_DIR)))
+            .filter((name) => RUN_ID_PATTERN.test(name))
+            .sort()
+            .reverse();
+    }
+    catch {
+        // No runs yet: nothing is known.
+    }
+    const wanted = new Set(names);
+    for (const id of runs) {
+        if (found.size === wanted.size)
+            break;
+        let run;
+        try {
+            run = JSON.parse(await readFile(path.join(runDirectory(root, id), RESULT_FILE), "utf8"));
+        }
+        catch {
+            continue;
+        }
+        for (const check of run.checks ?? []) {
+            if (wanted.has(check.name) &&
+                !found.has(check.name) &&
+                (check.status === "passed" || check.status === "failed") &&
+                typeof check.durationMs === "number") {
+                found.set(check.name, check.durationMs);
+            }
+        }
+    }
+    const knownMs = [...found.values()].reduce((total, ms) => total + ms, 0);
+    return { knownMs, unknown: wanted.size - found.size };
+}
 export async function readRun(root, runId) {
     const id = runId ?? (await readLatest(root));
     if (id === null) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "verifika",
-  "version": "0.0.2",
+  "version": "0.0.3",
   "description": "Deterministic, agent-friendly repository verification: run the checks your changes need, concurrently, with minimal output.",
   "keywords": [
     "verify",
@@ -51,8 +51,8 @@
     "test": "vitest run",
     "test:pack": "node scripts/pack-smoke.mjs",
     "check:skill": "node scripts/check-skill.mjs",
-    "verifika": "node src/cli.ts",
-    "verify": "node src/cli.ts --all",
+    "verify": "node src/cli.ts",
+    "verify:ci": "node src/cli.ts --all",
     "prepack": "npm run build"
   },
   "dependencies": {

package/skills/verifika/SKILL.md

@@ -10,7 +10,7 @@ Verifika runs a repository's configured checks (lint, typecheck, tests, build, .
 
 ## Is it set up here?
 
-Look for `verifika.config.json` in the repository root (or the package directory in a monorepo). Its `checks` object lists every check name and command. Run the CLI the way the repository does: `npx vfk` when it is a devDependency, `vfk` when installed globally, or a documented wrapper script such as `npm run verify`. `vfk` is short for `verifika`; both commands are identical. The examples below write `vfk`.
+Look for `verifika.config.json` in the repository root (or the package directory in a monorepo). Its `checks` object lists every check name and command. Run the CLI the way the repository does: `npx vfk` when it is a devDependency, `vfk` when installed globally, or the repository's scripts. Projects set up with the init command have `npm run verify` (runs `vfk`: selective) and `npm run verify:ci` (runs `vfk --all`: the full gate). `npm run verify` is not the full gate. `vfk` is short for `verifika`; both commands are identical. The examples below write `vfk`.
 
 ## Workflow
 
@@ -34,7 +34,7 @@ Look for `verifika.config.json` in the repository root (or the package directory
    vfk --check typecheck
    ```
 
-4. **Before claiming the task is complete, committing, or opening a pull request**, always run the full suite:
+4. **Before claiming the task is complete, committing, or opening a pull request**, always run the full suite (`npm run verify:ci` where that script exists):
 
    ```sh
    vfk --all
@@ -59,7 +59,22 @@ On failure, one line per problem, a short preview, and the command for full logs
 FAIL 3/4 (3.2s) full run (--all)
 typecheck: exit 2
   src/cart.ts(14,7): error TS2322: Type 'string' is not assignable to type 'number'.
-Run: verifika logs typecheck
+Run: vfk logs typecheck
+```
+
+Previews are shown for at most three failed checks. Any further failed check says where its output is instead:
+
+```text
+FAIL 1/5 (9.8s) full run (--all)
+format: exit 1
+  [warn] src/cart.ts
+lint: exit 1
+  /repo/src/cart.ts
+    12:9  error  'total' is assigned a value but never used  no-unused-vars
+typecheck: exit 2
+  src/cart.ts(14,7): error TS2322: Type 'string' is not assignable to type 'number'.
+test: exit 1 (preview omitted: vfk logs test)
+Run: vfk logs --failed
 ```
 
 | Exit code | Meaning                                                                |
@@ -83,7 +98,7 @@ Check statuses: `passed`, `failed`, `timed_out`, `error` (could not start, or le
 ## Rules
 
 - Do not claim success unless you saw `PASS` and exit code 0 from a finished run. Say what ran: "selective verification passed (2 checks)" is not "all checks pass".
-- A selective `PASS` only covers the checks it selected. Skipped checks were not verified. Run `vfk --all` before delivery, every time.
+- A selective `PASS` only covers the checks it selected. Skipped checks were not verified. Run `vfk --all` (or `npm run verify:ci`) before delivery, every time; `npm run verify` is selective and does not count.
 - `PASS 0/0` means nothing matched your changes and nothing was verified.
 - Do not read logs of passing checks or use `vfk logs` after a `PASS`; there is nothing to diagnose.
 - Do not edit `verifika.config.json`, remove checks, narrow `paths`, raise timeouts, or pass `--check` to dodge a failing check, unless the user asked for that change.