@reneturcios/greenlight 0.4.0 → 0.5.0

package/dist/verify.d.ts

@@ -0,0 +1,52 @@
+export interface VerifyOptions {
+    /** Base ref for the comparison (default: merge-base with upstream, or origin/main). */
+    base?: string;
+    /** Override the detected test command. */
+    cmd?: string;
+    /** Override the parser choice (parser name, e.g. "node:test", "pytest"). */
+    parser?: string;
+    /** Per-run timeout in seconds. */
+    timeoutSecs?: number;
+    /** Run even when the working tree has uncommitted changes. */
+    allowDirty?: boolean;
+}
+export interface VerifyDelta {
+    newlyFailing: string[];
+    newlyPassing: string[];
+    stillFailing: string[];
+    baseTotal: {
+        passed: number;
+        failed: number;
+    };
+    headTotal: {
+        passed: number;
+        failed: number;
+    };
+}
+export interface VerifyResult {
+    ok: boolean;
+    /** Machine form of the outcome. */
+    outcome: "fixed" | "broke" | "clean" | "no-change" | "unverifiable";
+    /** "unverifiable" only: why the comparison could not be made. */
+    reason?: string;
+    command?: string;
+    parser?: string;
+    base?: string;
+    delta?: VerifyDelta;
+    markdown: string;
+}
+/**
+ * Detect the repo's test command from its manifest files. Returns null
+ * when nothing is detectable; the caller must then report unverifiable
+ * rather than guess a command.
+ */
+export declare function detectTestCommand(dir: string): string | null;
+/** Resolve the default base ref: upstream merge-base, else local origin/main. */
+export declare function defaultBase(dir: string): string | null;
+export declare function renderVerifyMarkdown(r: VerifyResult): string;
+/**
+ * Run the red-green comparison. All failure paths are explicit: this
+ * function would rather say "unverifiable" with a reason than report a
+ * delta it cannot defend.
+ */
+export declare function verifyRepo(dir: string, opts?: VerifyOptions): VerifyResult;

package/dist/verify.js

@@ -0,0 +1,276 @@
+/**
+ * Honest verify: the red-green runner.
+ *
+ * `greenlight verify` answers one question with evidence: did my change
+ * fix the failing test, break something new, or neither? It runs the
+ * repo's test command on a base worktree and on the current tree, parses
+ * both runs into test identities with verify-parsers, and reports the
+ * DELTA: newly failing (yours), newly passing (fixed), still failing
+ * (pre-existing, not yours). Counts come from parsed output, never raw
+ * log lines.
+ *
+ * CLI only, on purpose: this runs test suites on the machine where the
+ * code lives, and suites can take minutes. The MCP server is for agents
+ * on other machines; the thing that runs your tests belongs in the CLI.
+ */
+import { execFileSync, spawnSync } from "node:child_process";
+import { existsSync, mkdtempSync, readFileSync, rmSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { parserForCommand, RUNNER_PARSERS } from "./verify-parsers.js";
+function sh(dir, args) {
+    return execFileSync("git", args, { cwd: dir, encoding: "utf8" }).trim();
+}
+function isGitRepo(dir) {
+    try {
+        sh(dir, ["rev-parse", "--git-dir"]);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+function isTreeClean(dir) {
+    try {
+        return sh(dir, ["status", "--porcelain"]).length === 0;
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Detect the repo's test command from its manifest files. Returns null
+ * when nothing is detectable; the caller must then report unverifiable
+ * rather than guess a command.
+ */
+export function detectTestCommand(dir) {
+    const pkg = join(dir, "package.json");
+    if (existsSync(pkg)) {
+        try {
+            const doc = JSON.parse(readFileSync(pkg, "utf8"));
+            // Return the script itself, not "npm test": the parser needs to see
+            // the real runner (node --test, vitest, pytest) to claim the output.
+            if (doc.scripts?.test)
+                return doc.scripts.test;
+        }
+        catch {
+            // fall through
+        }
+    }
+    if (existsSync(join(dir, "pyproject.toml")) || existsSync(join(dir, "pytest.ini")) || existsSync(join(dir, "setup.cfg"))) {
+        return "pytest -q";
+    }
+    if (existsSync(join(dir, "go.mod")))
+        return "go test ./...";
+    if (existsSync(join(dir, "Cargo.toml")))
+        return "cargo test";
+    return null;
+}
+/** Resolve the default base ref: upstream merge-base, else local origin/main. */
+export function defaultBase(dir) {
+    try {
+        const upstream = sh(dir, ["rev-parse", "--abbrev-ref", "--symbolic-full-name", "@{u}"]);
+        return sh(dir, ["merge-base", "HEAD", upstream]);
+    }
+    catch {
+        // no upstream tracking
+    }
+    for (const cand of ["origin/main", "origin/master"]) {
+        try {
+            sh(dir, ["rev-parse", "--verify", cand]);
+            return sh(dir, ["merge-base", "HEAD", cand]);
+        }
+        catch {
+            // try next
+        }
+    }
+    return null;
+}
+/** Run a shell command in dir with a timeout, capturing merged output. */
+function runCommand(dir, command, timeoutMs) {
+    try {
+        const r = spawnSync("sh", ["-c", command], {
+            cwd: dir,
+            encoding: "utf8",
+            timeout: timeoutMs,
+            maxBuffer: 64 * 1024 * 1024,
+        });
+        if (r.error) {
+            const err = r.error;
+            if (err.code === "ENOENT")
+                return { output: "", exitCode: -1, timedOut: false, spawnFailed: true };
+            if (err.killed)
+                return { output: r.stdout + r.stderr, exitCode: -1, timedOut: true, spawnFailed: false };
+            return { output: String(err.message), exitCode: -1, timedOut: false, spawnFailed: true };
+        }
+        return {
+            output: (r.stdout ?? "") + (r.stderr ?? ""),
+            exitCode: r.status ?? -1,
+            timedOut: false,
+            spawnFailed: false,
+        };
+    }
+    catch (err) {
+        return { output: String(err), exitCode: -1, timedOut: false, spawnFailed: true };
+    }
+}
+function deltaOf(baseFailed, headFailed) {
+    const b = new Set(baseFailed);
+    const h = new Set(headFailed);
+    return {
+        newlyFailing: [...h].filter((t) => !b.has(t)),
+        newlyPassing: [...b].filter((t) => !h.has(t)),
+        stillFailing: [...h].filter((t) => b.has(t)),
+        baseTotal: { passed: 0, failed: baseFailed.length },
+        headTotal: { passed: 0, failed: headFailed.length },
+    };
+}
+export function renderVerifyMarkdown(r) {
+    if (r.outcome === "unverifiable") {
+        return `## Verify: unverifiable\n\n${r.reason ?? "no reason given"}\n`;
+    }
+    const d = r.delta;
+    const lines = [
+        `## Verify: base \`${r.base}\` vs working tree`,
+        ``,
+        `Test command: \`${r.command}\` (parsed with ${r.parser})`,
+        `Base: ${d.baseTotal.failed} failing | Head: ${d.headTotal.failed} failing`,
+        ``,
+    ];
+    if (d.newlyPassing.length > 0) {
+        lines.push(`### Fixed by your change (${d.newlyPassing.length})`);
+        for (const t of d.newlyPassing)
+            lines.push(`- ${t}`);
+        lines.push(``);
+    }
+    if (d.newlyFailing.length > 0) {
+        lines.push(`### Newly failing: these are yours (${d.newlyFailing.length})`);
+        for (const t of d.newlyFailing)
+            lines.push(`- ${t}`);
+        lines.push(``);
+    }
+    if (d.stillFailing.length > 0) {
+        lines.push(`### Still failing: pre-existing, not yours (${d.stillFailing.length})`);
+        for (const t of d.stillFailing)
+            lines.push(`- ${t}`);
+        lines.push(``);
+    }
+    if (d.newlyPassing.length === 0 && d.newlyFailing.length === 0 && d.stillFailing.length === 0) {
+        lines.push(`No failing tests on either side; nothing to report.`);
+    }
+    return lines.join("\n");
+}
+/**
+ * Run the red-green comparison. All failure paths are explicit: this
+ * function would rather say "unverifiable" with a reason than report a
+ * delta it cannot defend.
+ */
+export function verifyRepo(dir, opts = {}) {
+    const timeoutMs = (opts.timeoutSecs ?? 600) * 1000;
+    if (!isGitRepo(dir)) {
+        return { ok: false, outcome: "unverifiable", reason: `${dir} is not a git repository`, markdown: "" };
+    }
+    if (!opts.allowDirty && !isTreeClean(dir)) {
+        return {
+            ok: false,
+            outcome: "unverifiable",
+            reason: "working tree has uncommitted changes; commit or stash first, or re-run with --allow-dirty (the head run will then include your uncommitted changes)",
+            markdown: "",
+        };
+    }
+    const base = opts.base ?? defaultBase(dir);
+    if (!base) {
+        return {
+            ok: false,
+            outcome: "unverifiable",
+            reason: "could not determine a base ref (no upstream tracking branch, no local origin/main); pass --base <ref>",
+            markdown: "",
+        };
+    }
+    const command = opts.cmd ?? detectTestCommand(dir);
+    if (!command) {
+        return {
+            ok: false,
+            outcome: "unverifiable",
+            reason: "no test command detected (checked package.json scripts.test, pytest, go, cargo); pass --cmd \"<test command>\"",
+            markdown: "",
+        };
+    }
+    const parser = opts.parser
+        ? (RUNNER_PARSERS.find((p) => p.name === opts.parser) ?? null)
+        : parserForCommand(command);
+    if (!parser) {
+        return {
+            ok: false,
+            outcome: "unverifiable",
+            reason: `no output parser claims "${command}" (parsers: ${["node:test", "pytest"].join(", ")}); pass --cmd with a supported runner`,
+            markdown: "",
+        };
+    }
+    // Base runs in a detached temp worktree so the working tree is never
+    // touched. Removed afterwards even on failure.
+    const baseDir = mkdtempSync(join(tmpdir(), "greenlight-verify-base-"));
+    try {
+        try {
+            sh(dir, ["worktree", "add", "--detach", baseDir, base]);
+        }
+        catch (err) {
+            return { ok: false, outcome: "unverifiable", reason: `could not create base worktree: ${err instanceof Error ? err.message : String(err)}`, markdown: "" };
+        }
+        const baseRun = runCommand(baseDir, command, timeoutMs);
+        const headRun = runCommand(dir, command, timeoutMs);
+        for (const [name, run] of [["base", baseRun], ["head", headRun]]) {
+            if (run.spawnFailed) {
+                return { ok: false, outcome: "unverifiable", reason: `could not run the test command on ${name}: ${run.output || "spawn failed"}`, markdown: "" };
+            }
+            if (run.timedOut) {
+                return { ok: false, outcome: "unverifiable", reason: `test command timed out on ${name} after ${opts.timeoutSecs ?? 600}s`, markdown: "" };
+            }
+        }
+        const baseParsed = parser.parse(baseRun.output);
+        const headParsed = parser.parse(headRun.output);
+        if (baseParsed.passed.length + baseParsed.failed.length === 0 || headParsed.passed.length + headParsed.failed.length === 0) {
+            return {
+                ok: false,
+                outcome: "unverifiable",
+                reason: `parsed zero tests from the ${parser.name} output (base: ${baseParsed.passed.length + baseParsed.failed.length}, head: ${headParsed.passed.length + headParsed.failed.length}); the parser may not understand this runner's output format`,
+                markdown: "",
+            };
+        }
+        const delta = deltaOf(baseParsed.failed, headParsed.failed);
+        delta.baseTotal = { passed: baseParsed.passed.length, failed: baseParsed.failed.length };
+        delta.headTotal = { passed: headParsed.passed.length, failed: headParsed.failed.length };
+        const outcome = delta.newlyFailing.length > 0
+            ? "broke"
+            : delta.newlyPassing.length > 0
+                ? "fixed"
+                : delta.stillFailing.length > 0
+                    ? "no-change"
+                    : "clean";
+        const result = {
+            ok: true,
+            outcome,
+            command,
+            parser: parser.name,
+            base,
+            delta,
+            markdown: "",
+        };
+        result.markdown = renderVerifyMarkdown(result);
+        return result;
+    }
+    finally {
+        try {
+            sh(dir, ["worktree", "remove", "--force", baseDir]);
+        }
+        catch {
+            try {
+                rmSync(baseDir, { recursive: true, force: true });
+            }
+            catch {
+                // best effort; a stale worktree dir is cleaned by git gc
+            }
+        }
+    }
+}
+//# sourceMappingURL=verify.js.map

package/dist/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACxE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAyB,MAAM,qBAAqB,CAAC;AAoC9F,SAAS,EAAE,CAAC,GAAW,EAAE,IAAc;IACrC,OAAO,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1E,CAAC;AAED,SAAS,SAAS,CAAC,GAAW;IAC5B,IAAI,CAAC;QACH,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,GAAW;IAC9B,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAW;IAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IACtC,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAyC,CAAC;YAC1F,oEAAoE;YACpE,qEAAqE;YACrE,IAAI,GAAG,CAAC,OAAO,EAAE,IAAI;gBAAE,OAAO,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;QACjD,CAAC;QAAC,MAAM,CAAC;YACP,eAAe;QACjB,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;QACzH,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAAE,OAAO,eAAe,CAAC;IAC5D,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QAAE,OAAO,YAAY,CAAC;IAC7D,OAAO,IAAI,CAAC;AACd,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,WAAW,CAAC,GAAW;IACrC,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC,CAAC;QACxF,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,YAAY,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IACnD,CAAC;IAAC,MAAM,CAAC;QACP,uBAAuB;IACzB,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC;YACH,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;YACzC,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/C,CAAC;QAAC,MAAM,CAAC;YACP,WAAW;QACb,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AASD,0EAA0E;AAC1E,SAAS,UAAU,CAAC,GAAW,EAAE,OAAe,EAAE,SAAiB;IACjE,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE;YACzC,GAAG,EAAE,GAAG;YACR,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,SAAS;YAClB,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;SAC5B,CAAC,CAAC;QACH,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACZ,MAAM,GAAG,GAAG,CAAC,CAAC,KAAqD,CAAC;YACpE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;YACnG,IAAI,GAAG,CAAC,MAAM;gBAAE,OAAO,EAAE,MAAM,EAAG,CAAC,CAAC,MAAiB,GAAI,CAAC,CAAC,MAAiB,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;YACjI,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QAC3F,CAAC;QACD,OAAO;YACL,MAAM,EAAE,CAAE,CAAC,CAAC,MAAiB,IAAI,EAAE,CAAC,GAAG,CAAE,CAAC,CAAC,MAAiB,IAAI,EAAE,CAAC;YACnE,QAAQ,EAAE,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;YACxB,QAAQ,EAAE,KAAK;YACf,WAAW,EAAE,KAAK;SACnB,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IACnF,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,UAAoB,EAAE,UAAoB;IACzD,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IAC9B,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IAC9B,OAAO;QACL,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE;QACnD,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE;KACpD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,CAAe;IAClD,IAAI,CAAC,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACjC,OAAO,8BAA8B,CAAC,CAAC,MAAM,IAAI,iBAAiB,IAAI,CAAC;IACzE,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAM,CAAC;IACnB,MAAM,KAAK,GAAG;QACZ,qBAAqB,CAAC,CAAC,IAAI,oBAAoB;QAC/C,EAAE;QACF,mBAAmB,CAAC,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,GAAG;QAC1D,SAAS,CAAC,CAAC,SAAS,CAAC,MAAM,oBAAoB,CAAC,CAAC,SAAS,CAAC,MAAM,UAAU;QAC3E,EAAE;KACH,CAAC;IACF,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;QAClE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;QAC5E,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;QACpF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9F,KAAK,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,GAAW,EAAE,OAAsB,EAAE;IAC9D,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,WAAW,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC;IAEnD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,GAAG,GAAG,0BAA0B,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACxG,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1C,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,cAAc;YACvB,MAAM,EACJ,qJAAqJ;YACvJ,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,cAAc;YACvB,MAAM,EACJ,uGAAuG;YACzG,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,IAAI,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,cAAc;YACvB,MAAM,EAAE,gHAAgH;YACxH,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAA4B,IAAI,CAAC,MAAM;QACjD,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;QAC9D,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,cAAc;YACvB,MAAM,EAAE,4BAA4B,OAAO,eAAe,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,uCAAuC;YACnI,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IAED,qEAAqE;IACrE,+CAA+C;IAC/C,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,yBAAyB,CAAC,CAAC,CAAC;IACvE,IAAI,CAAC;QACH,IAAI,CAAC;YACH,EAAE,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1D,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,mCAAmC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QAC7J,CAAC;QACD,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QAEpD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAU,EAAE,CAAC;YAC1E,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;gBACpB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,qCAAqC,IAAI,KAAK,GAAG,CAAC,MAAM,IAAI,cAAc,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;YACpJ,CAAC;YACD,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,6BAA6B,IAAI,UAAU,IAAI,CAAC,WAAW,IAAI,GAAG,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;YAC7I,CAAC;QACH,CAAC;QAED,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3H,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,8BAA8B,MAAM,CAAC,IAAI,kBAAkB,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,WAAW,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,8DAA8D;gBAClP,QAAQ,EAAE,EAAE;aACb,CAAC;QACJ,CAAC;QAED,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QAC5D,KAAK,CAAC,SAAS,GAAG,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACzF,KAAK,CAAC,SAAS,GAAG,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAEzF,MAAM,OAAO,GACX,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;YAC3B,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;gBAC7B,CAAC,CAAC,OAAO;gBACT,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;oBAC7B,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,OAAO,CAAC;QAClB,MAAM,MAAM,GAAiB;YAC3B,EAAE,EAAE,IAAI;YACR,OAAO;YACP,OAAO;YACP,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,IAAI;YACJ,KAAK;YACL,QAAQ,EAAE,EAAE;SACb,CAAC;QACF,MAAM,CAAC,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;QAC/C,OAAO,MAAM,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,IAAI,CAAC;YACH,EAAE,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;QACtD,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,CAAC;gBACH,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACpD,CAAC;YAAC,MAAM,CAAC;gBACP,yDAAyD;YAC3D,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/integrations/README.md

@@ -29,7 +29,7 @@ without it the tools still work but share the small anonymous budget.
 ## Verify it worked
 
 Ask the agent: "list your MCP tools." You should see the `greenlight`
-server with all 12 tools:
+server with all 13 tools:
 
 - `check_issue` — verdict on whether an issue is landable (GO / RISKY / TAKEN / GATED / STALE)
 - `scan_repo` — find starter issues worth working in a repo
@@ -43,6 +43,7 @@ server with all 12 tools:
 - `repo_digest` — repo-level maintainer report: PR races with first-claim arbitration, claimed-by-other conflicts, stale claims, assignment-gate conflicts (never posts)
 - `claim_status` — Claim Protocol pre-flight for one issue: who holds it, until when, who is queued, competing PRs, gates, whether the repo honors the protocol
 - `preflight` — the one-call answer: claim_status plus the repo friction summary
+- `verify_comment` — draft the verified-finding comment for maintainer-only repos (draft only, never posts)
 
 ## Format notes
 

package/integrations/claude-code/CLAUDE.snippet.md

@@ -1,14 +1,15 @@
 # Greenlight rules for Claude Code
 
-Paste this file's contents into your project's CLAUDE.md (or keep the file
-and reference it from CLAUDE.md). It teaches the agent the Greenlight
-workflow through the greenlight MCP tools.
+Drop-in rules for the Greenlight workflow through the greenlight MCP tools.
+Installed by `greenlight init --agent claude-code`, or paste manually into
+your project's CLAUDE.md (or keep the file and reference it from CLAUDE.md).
 
 ## Greenlight: check before you open a PR
 
 You have the Greenlight MCP server connected (server name: greenlight,
-8 tools: check_issue, scan_repo, repo_friction, claim_issue, prep_issue,
-open_pr, ci_triage, review_triage). It answers one question at every step:
+12 tools: check_issue, scan_repo, repo_friction, claim_issue, prep_issue,
+open_pr, ci_triage, review_triage, guard_pr, repo_digest, claim_status,
+preflight). It answers one question at every step:
 is this contribution worth doing, and is the problem mine?
 
 Rules:

package/integrations/cline/README.md

@@ -7,7 +7,7 @@ file form is:
 
 Copy the `cline_mcp_settings.json` file in this folder there (merging with
 any servers you already have), then check the Cline "MCP Servers" panel:
-the `greenlight` server should list 8 tools. The `disabled: false` field is
+the `greenlight` server should list 12 tools. The `disabled: false` field is
 Cline's way of keeping the server enabled without deleting it.
 
 Workflow: see the integrations README — your agent checks Greenlight

package/integrations/copilot/copilot-instructions.snippet.md

@@ -1,13 +1,16 @@
 # Greenlight instructions for GitHub Copilot / VS Code
 
-Paste this file's contents into your project's
-`.github/copilot-instructions.md` (create the folder if it does not exist).
+Drop-in instructions for the Greenlight workflow through the greenlight MCP
+tools. Installed by `greenlight init --agent copilot`, or paste manually
+into your project's `.github/copilot-instructions.md` (create the folder if
+it does not exist).
 
 ## Greenlight: check before you open a PR
 
 You have the Greenlight MCP server connected (server `greenlight`, tools:
 check_issue, scan_repo, repo_friction, claim_issue, prep_issue, open_pr,
-ci_triage, review_triage). Apply these instructions whenever working on a
+ci_triage, review_triage, guard_pr, repo_digest, claim_status, preflight).
+Apply these instructions whenever working on a
 pull request to an open source project:
 
 1. Before writing any code for a GitHub issue, call `check_issue` with the

package/integrations/cursor/greenlight.mdc

@@ -7,7 +7,8 @@ alwaysApply: false
 
 You have the Greenlight MCP server connected (server `greenlight`, tools:
 check_issue, scan_repo, repo_friction, claim_issue, prep_issue, open_pr,
-ci_triage, review_triage). Apply these rules whenever the user is working on
+ci_triage, review_triage, guard_pr, repo_digest, claim_status, preflight).
+Apply these rules whenever the user is working on
 a pull request to an open source project:
 
 1. Before writing any code for a GitHub issue, call `check_issue` with the

package/integrations/windsurf/README.md

@@ -6,7 +6,7 @@ Windsurf's global MCP config lives at:
 
 Copy the `mcp_config.json` file in this folder there (merging with any
 servers you already have), then restart Windsurf and check its MCP panel:
-the `greenlight` server should list 8 tools. Newer Windsurf versions also
+the `greenlight` server should list 12 tools. Newer Windsurf versions also
 accept a project-level `.windsurf/mcp.json` file using the same
 `mcpServers` format.
 

package/package.json

@@ -25,7 +25,7 @@
     "test": "tsx --test test/*.test.ts"
   },
   "type": "module",
-  "version": "0.4.0",
+  "version": "0.5.0",
   "mcpName": "io.github.CloudCorpRecords/greenlight",
   "publishConfig": {
     "access": "public"

package/server.json

@@ -6,13 +6,13 @@
     "url": "https://github.com/CloudCorpRecords/greenlight",
     "source": "github"
   },
-  "version": "0.4.0",
+  "version": "0.5.0",
   "packages": [
     {
       "registryType": "npm",
       "registryBaseUrl": "https://registry.npmjs.org",
       "identifier": "@reneturcios/greenlight",
-      "version": "0.4.0",
+      "version": "0.5.0",
       "runtimeHint": "npx",
       "packageArguments": [
         {