@halecraft/verify 1.2.0 → 1.3.1

package/README.md

@@ -40,7 +40,7 @@ import { defineConfig } from "@halecraft/verify";
 
 export default defineConfig({
   tasks: [
-    { key: "format", run: "biome check ." },
+    { key: "format", run: "biome check .", fix: "biome check --write ." },
     { key: "types", run: "tsc --noEmit" },
     { key: "test", run: "vitest run" },
   ],
@@ -73,6 +73,12 @@ pnpm exec verify --verbose
 
 # Output JSON (for CI)
 pnpm exec verify --json
+
+# Run fix commands where defined
+pnpm exec verify --fix
+
+# Fix a specific task
+pnpm exec verify format --fix
 ```
 
 Or you can add `"verify": "verify"` to package.json scripts and run:
@@ -108,6 +114,10 @@ interface VerificationNode {
         timeout?: number;
       };
 
+  // Command to run in fix mode (leaf nodes only)
+  // Falls back to run when not specified
+  fix?: string | { cmd: string; args: string[]; cwd?: string; env?: Record<string, string | null>; timeout?: number };
+
   // Child tasks (for grouping)
   children?: VerificationNode[];
 
@@ -135,9 +145,9 @@ interface VerificationNode {
 }
 ```
 
-### Smart Output Suppression with `reportingDependsOn`
+### Dependency-Aware Failure Reporting with `reportingDependsOn`
 
-When a syntax error occurs, multiple tools often report the same underlying issue (Biome, tsc, esbuild all complaining about the same missing comma). The `reportingDependsOn` option reduces this noise by suppressing redundant failure output.
+When a syntax error occurs, multiple tools often report the same underlying issue (Biome, tsc, esbuild all complaining about the same missing comma). The `reportingDependsOn` option reduces this noise by marking dependent failures as blocked.
 
 ```typescript
 import { defineConfig } from "@halecraft/verify";
@@ -156,17 +166,17 @@ export default defineConfig({
 
 - All tasks still execute in parallel (no speed regression)
 - When a dependency fails (e.g., `format`), dependent tasks are terminated early for faster feedback
-- Dependent tasks that also fail are marked as "suppressed"
+- Dependent tasks that also fail are marked as "blocked"
 - Only the root cause failure shows detailed logs
-- Suppressed tasks show `⊘ suppressed` instead of `✗ failed`
+- Blocked tasks show `⊘ blocked` instead of `✗ failed`
 
 **Before (noisy):**
 
 ```
-✗ format (syntax error at line 14)
-✗ types (syntax error at line 14)
-✗ logic (syntax error at line 14)
-✗ build (syntax error at line 14)
+✗ format failed (syntax error at line 14)
+✗ types failed (syntax error at line 14)
+✗ logic failed (syntax error at line 14)
+✗ build failed (syntax error at line 14)
 
 ==== FORMAT FAIL ====
 [50 lines of biome output]
@@ -184,10 +194,10 @@ export default defineConfig({
 **After (clean):**
 
 ```
-✗ format (syntax error at line 14)
-⊘ types (suppressed - format failed)
-⊘ logic (suppressed - format failed)
-⊘ build (suppressed - format failed)
+✗ format failed (syntax error at line 14)
+⊘ types blocked (by format, 120ms)
+⊘ logic blocked (by format, 150ms)
+⊘ build blocked (by format, 130ms)
 
 ==== FORMAT FAIL ====
 [50 lines of biome output]
@@ -277,6 +287,52 @@ When a command exceeds its timeout:
 
 **Note:** For object commands, the `timeout` on the command takes precedence over the node-level `timeout`.
 
+### Fix Mode
+
+Many verification tools have a dual nature: a check mode that reports problems and a fix mode that auto-corrects them. The `fix` property lets you declare the fix variant alongside `run`:
+
+```typescript
+import { defineConfig } from "@halecraft/verify";
+
+export default defineConfig({
+  tasks: [
+    { key: "format", run: "biome check .", fix: "biome check --write ." },
+    { key: "lint", run: "eslint .", fix: "eslint . --fix" },
+    { key: "types", run: "tsc --noEmit" },  // No fix mode for type-checking
+    { key: "test", run: "vitest run" },
+  ],
+});
+```
+
+Run fix commands with the `--fix` flag:
+
+```bash
+# Fix all tasks that define a fix command (others run normally)
+verify --fix
+
+# Fix a specific task
+verify format --fix
+
+# Combine with passthrough args
+verify format --fix -- --extra-arg
+```
+
+When a normal `verify` run fails and at least one failed task has a `fix` command defined, the output includes a hint:
+
+```
+✗ format failed (2 errors in 24 files)
+✓ types verified (no errors, 150ms)
+
+== verification: Failed ==
+
+💡 Tip: run "verify --fix" to attempt auto-fixes
+```
+
+**Behavior:**
+- Tasks without `fix` run their normal `run` command even with `--fix`
+- Passthrough args, timeouts, env inheritance, and `reportingDependsOn` all work identically with fix commands
+- Fix mode is a simple command swap — there's no automatic re-check after fixing
+
 ### Environment Variables
 
 Set environment variables at the config level (applies to all tasks) or at the task level (inherits to children):
@@ -347,6 +403,7 @@ Flags:
   --init              Initialize a new verify.config.ts file
   --force             Overwrite existing config file (with --init)
   --yes, -y           Skip interactive prompts, auto-accept detected tasks
+  --fix               Run fix commands instead of check commands where available
   --help, -h          Show this help message
 ```
 
@@ -459,6 +516,7 @@ interface VerifyResult {
   finishedAt: string; // ISO timestamp when run finished
   durationMs: number; // Total duration in milliseconds
   tasks: TaskResult[]; // Individual task results
+  fixAvailable?: boolean;  // True when at least one failed task defines a fix command
 }
 
 interface TaskResult {
@@ -469,8 +527,8 @@ interface TaskResult {
   durationMs: number; // Duration in milliseconds
   output: string; // Raw output
   summaryLine: string; // Parsed summary
-  suppressed?: boolean; // True if output was suppressed
-  suppressedBy?: string; // Path of dependency that caused suppression
+  blocked?: boolean; // True if blocked by a dependency failure
+  blockedBy?: string; // Path of dependency that caused the block
   timedOut?: boolean; // True if task exceeded its timeout
   children?: TaskResult[]; // Child results (for group nodes)
 }

package/bin/verify.mjs

@@ -1,5 +1,8 @@
 #!/usr/bin/env node
 
+// JSON import requires Node 18.20+ (engines permits 18.0+ but this is theoretical;
+// Node 18 is EOL since April 2025 and real-world users are on 18.20+ or newer.)
+import pkg from "../package.json" with { type: "json" }
 import { cli } from "cleye"
 import {
   AmbiguousTaskError,
@@ -11,7 +14,7 @@ import {
 const argv = cli(
   {
     name: "verify",
-    version: "1.0.0",
+    version: pkg.version,
     description: "Hierarchical verification runner with parallel execution",
 
     parameters: [
@@ -63,6 +66,11 @@ const argv = cli(
         description: "Initialize a new verify.config.ts file",
         default: false,
       },
+      fix: {
+        type: Boolean,
+        description: "Run fix commands instead of check commands where available",
+        default: false,
+      },
       force: {
         type: Boolean,
         description: "Overwrite existing config file (with --init)",
@@ -85,6 +93,8 @@ const argv = cli(
         "verify --top-level        Show only top-level tasks",
         "verify --json             Output JSON for CI",
         "verify --logs=all         Show all output",
+        "verify --fix               Run auto-fix commands where defined",
+        "verify format --fix         Fix a specific task",
         "verify --init             Create config interactively",
         "verify --init -y          Create config with all detected tasks",
         "verify --init --force     Overwrite existing config",
@@ -138,6 +148,8 @@ async function main() {
     cwd: flags.config,
     topLevelOnly: flags.topLevel,
     noTty: flags.noTty,
+    quiet: flags.quiet,
+    fix: flags.fix,
     passthrough: passthrough && passthrough.length > 0 ? passthrough : undefined,
   }
 

package/dist/index.d.ts

@@ -26,6 +26,7 @@ interface ParsedResult {
     metrics?: {
         passed?: number;
         failed?: number;
+        skipped?: number;
         total?: number;
         duration?: string;
         errors?: number;
@@ -55,6 +56,8 @@ interface VerificationNode {
     name?: string;
     /** Command to run (leaf nodes only) - string commands are executed via shell */
     run?: VerificationCommand | string;
+    /** Command to run in fix mode (leaf nodes only). Falls back to run when not specified. */
+    fix?: VerificationCommand | string;
     /** Child verification nodes */
     children?: VerificationNode[];
     /** Execution strategy for children (default: parallel) */
@@ -67,7 +70,7 @@ interface VerificationNode {
     failureLabel?: string;
     /**
      * Tasks that must pass for this task's failure to be reported.
-     * If any dependency fails, this task's failure output is suppressed.
+     * If any dependency fails, this task's failure is marked as blocked.
      * Can specify task keys (e.g., "format") or full paths (e.g., "types:tsc").
      */
     reportingDependsOn?: string[];
@@ -104,8 +107,12 @@ interface VerifyOptions {
     topLevelOnly?: boolean;
     /** Force sequential output (disable live dashboard) */
     noTty?: boolean;
+    /** Suppress in-progress output, show only final summary */
+    quiet?: boolean;
     /** Arguments to pass through to the underlying command (requires single task filter) */
     passthrough?: string[];
+    /** Run fix commands instead of check commands where available */
+    fix?: boolean;
 }
 /**
  * Package discovery options for monorepos
@@ -158,15 +165,15 @@ interface TaskResult {
     /** Child results (for group nodes) */
     children?: TaskResult[];
     /**
-     * Whether this task's failure output was suppressed due to a dependency failure.
-     * The task still ran and failed, but its output is hidden to reduce noise.
+     * Whether this task's failure was blocked by a dependency failure.
+     * The task ran but its failure output is hidden because the root cause is the dependency.
      */
-    suppressed?: boolean;
+    blocked?: boolean;
     /**
-     * The path of the dependency task that caused this task to be suppressed.
-     * Only set when suppressed is true.
+     * The path of the dependency task that caused this task to be blocked.
+     * Only set when blocked is true.
      */
-    suppressedBy?: string;
+    blockedBy?: string;
     /**
      * Whether this task was terminated due to timeout.
      * Only set when the task exceeded its configured timeout.
@@ -187,6 +194,8 @@ interface VerifyResult {
     durationMs: number;
     /** Individual task results */
     tasks: TaskResult[];
+    /** True when at least one failed task defines a fix command */
+    fixAvailable?: boolean;
 }
 
 /**
@@ -320,6 +329,8 @@ interface DetectedTask {
      * Auto-populated based on category (types/logic/build depend on format).
      */
     reportingDependsOn?: string[];
+    /** Command to run in fix mode (auto-detected for known tools) */
+    fixCommand?: string;
 }
 /**
  * Detect tasks with proper package manager commands
@@ -468,6 +479,16 @@ interface Reporter {
     outputLogs(results: TaskResult[], logsMode: "all" | "failed" | "none"): void;
     /** Called to output final summary */
     outputSummary(result: VerifyResult): void;
+    /** Called to hint that fix commands are available */
+    outputFixHint?(result: VerifyResult): void;
+}
+/**
+ * Terminal capability context — the single point where globals are read.
+ * Passed to pure decision functions for testability.
+ */
+interface TerminalContext {
+    isTTY: boolean;
+    env: Record<string, string | undefined>;
 }
 /**
  * Base Reporter - common functionality for all reporters
@@ -476,7 +497,7 @@ declare abstract class BaseReporter implements Reporter {
     protected colorEnabled: boolean;
     protected stream: NodeJS.WriteStream;
     protected taskDepths: Map<string, number>;
-    constructor(options?: VerifyOptions);
+    constructor(options?: VerifyOptions, ctx?: TerminalContext);
     /**
      * Apply ANSI color code to string (if colors enabled)
      */
@@ -490,9 +511,9 @@ declare abstract class BaseReporter implements Reporter {
      */
     protected failMark(): string;
     /**
-     * Get suppressed mark (⊘ or SUPPRESSED)
+     * Get blocked mark (⊘ or BLOCK)
      */
-    protected suppressedMark(): string;
+    protected blockedMark(): string;
     /**
      * Get arrow symbol (→ or ->)
      */
@@ -509,6 +530,11 @@ declare abstract class BaseReporter implements Reporter {
      * Collect task depths from verification tree using walkNodes
      */
     protected collectTaskDepths(nodes: VerificationNode[]): void;
+    /**
+     * Format a completed task result line in name-first format.
+     * Shared by LiveDashboardReporter and SequentialReporter.
+     */
+    protected formatResultLine(name: string, result: TaskResult): string;
     /**
      * Extract summary from task result
      */
@@ -525,6 +551,7 @@ declare abstract class BaseReporter implements Reporter {
      * Output final summary
      */
     outputSummary(result: VerifyResult): void;
+    outputFixHint(result: VerifyResult): void;
     abstract onStart(tasks: VerificationNode[]): void;
     abstract onTaskStart(path: string, key: string): void;
     abstract onTaskComplete(result: TaskResult): void;
@@ -539,7 +566,7 @@ declare class LiveDashboardReporter extends BaseReporter {
     private taskOrder;
     private spinner;
     private lineCount;
-    constructor(options?: VerifyOptions);
+    constructor(options?: VerifyOptions, ctx?: TerminalContext);
     /**
      * Initialize task list from verification nodes
      */
@@ -574,7 +601,7 @@ declare class LiveDashboardReporter extends BaseReporter {
  */
 declare class SequentialReporter extends BaseReporter {
     private topLevelOnly;
-    constructor(options?: VerifyOptions);
+    constructor(options?: VerifyOptions, ctx?: TerminalContext);
     onStart(tasks: VerificationNode[]): void;
     /**
      * Check if task should be displayed based on topLevelOnly flag
@@ -606,12 +633,21 @@ declare class QuietReporter extends BaseReporter {
     onFinish(): void;
     outputLogs(_results: TaskResult[], _logsMode: "all" | "failed" | "none"): void;
     outputSummary(result: VerifyResult): void;
+    outputFixHint(result: VerifyResult): void;
 }
 /**
- * Create appropriate reporter based on options
+ * Create appropriate reporter based on options.
+ *
+ * Decision tree: JSON → Quiet → LiveDashboard → Sequential
  */
 declare function createReporter(options: VerifyOptions): Reporter;
 
+/**
+ * Resolve which command to execute for a node based on fix mode.
+ * Returns `node.fix` when in fix mode and a fix command is defined,
+ * otherwise falls back to `node.run`.
+ */
+declare function resolveCommand(node: VerificationNode, fix: boolean): VerificationCommand | string | undefined;
 interface RunnerCallbacks {
     onTaskStart?: (path: string, key: string) => void;
     onTaskComplete?: (result: TaskResult) => void;
@@ -665,6 +701,12 @@ declare function walkNodes(nodes: VerificationNode[], visitor: NodeVisitor, pare
  * Collect all task paths from a verification tree
  */
 declare function collectPaths(nodes: VerificationNode[]): string[];
+/**
+ * Check whether at least one failed (non-blocked) task defines a fix command.
+ * Only considers tasks that actually ran and failed — filtered-out tasks
+ * won't appear in results and can't trigger a false positive.
+ */
+declare function hasFixAvailable(tasks: VerificationNode[], results: TaskResult[]): boolean;
 
 /**
  * Run verification with the given config and options
@@ -675,4 +717,4 @@ declare function verify(config: VerifyConfig, cliOptions?: Partial<VerifyOptions
  */
 declare function verifyFromConfig(cwd?: string, cliOptions?: Partial<VerifyOptions>): Promise<VerifyResult>;
 
-export { AmbiguousTaskError, ConfigError, type DetectedTask, type DiscoveredPackage, type ExecutionStrategy, type InitOptions, type InitResult, JSONReporter, LiveDashboardReporter, type NodeVisitor, type OutputFormat, type OutputParser, PATH_SEPARATOR, type PackageDiscoveryOptions, type ParsedResult, type ParserId, ParserRegistry, QuietReporter, type Reporter, type ResolvedFilter, type RunnerCallbacks, SequentialReporter, SequentialReporter as TTYReporter, TaskNotFoundError, type TaskResult, type VerificationCommand, type VerificationNode, VerificationRunner, type VerifyConfig, type VerifyOptions, type VerifyResult, biomeParser, buildTaskPath, collectPaths, createReporter, defaultRegistry, defineConfig, defineTask, detectTasks, discoverPackages, findBestSuggestion, findConfigFile, generateConfigContent, genericParser, gotestParser, hasPackageChanged, loadConfig, loadConfigFromCwd, mergeOptions, parsers, resolveFilters, runInit, tscParser, validateConfig, verify, verifyFromConfig, vitestParser, walkNodes };
+export { AmbiguousTaskError, ConfigError, type DetectedTask, type DiscoveredPackage, type ExecutionStrategy, type InitOptions, type InitResult, JSONReporter, LiveDashboardReporter, type NodeVisitor, type OutputFormat, type OutputParser, PATH_SEPARATOR, type PackageDiscoveryOptions, type ParsedResult, type ParserId, ParserRegistry, QuietReporter, type Reporter, type ResolvedFilter, type RunnerCallbacks, SequentialReporter, SequentialReporter as TTYReporter, TaskNotFoundError, type TaskResult, type TerminalContext, type VerificationCommand, type VerificationNode, VerificationRunner, type VerifyConfig, type VerifyOptions, type VerifyResult, biomeParser, buildTaskPath, collectPaths, createReporter, defaultRegistry, defineConfig, defineTask, detectTasks, discoverPackages, findBestSuggestion, findConfigFile, generateConfigContent, genericParser, gotestParser, hasFixAvailable, hasPackageChanged, loadConfig, loadConfigFromCwd, mergeOptions, parsers, resolveCommand, resolveFilters, runInit, tscParser, validateConfig, verify, verifyFromConfig, vitestParser, walkNodes };