@reneturcios/greenlight 0.3.11 → 0.5.0

package/dist/verify-comment.js

@@ -0,0 +1,149 @@
+const GAP = (label) => `*${label}: not recorded*`;
+function section(title, body, gaps, gapName) {
+    if (body.trim().length === 0)
+        gaps.push(gapName);
+    return `## ${title}\n\n${body.trim().length > 0 ? body.trim() : GAP("not yet filled in")}\n`;
+}
+/**
+ * Assemble the verified comment. Everything comes from the contributor's
+ * inputs (or the --from-file parse); nothing is fetched and nothing is
+ * invented. The greenlight version in the footer is a real fact about the
+ * tool that assembled the comment, not a fact about the bug.
+ */
+export function buildVerifiedComment(issueUrl, fields, greenlightVersion) {
+    const gaps = [];
+    const f = (k) => fields[k] instanceof Array
+        ? fields[k].join("\n")
+        : (fields[k] ?? "").trim();
+    const parts = [];
+    parts.push(`<!-- greenlight-verified-comment v1 -->`);
+    parts.push(`# Verified finding for ${issueUrl}`);
+    parts.push(``);
+    parts.push(section("Claim of the problem", f("claim"), gaps, "claim"));
+    parts.push(section("Environment", f("environment"), gaps, "environment"));
+    const repro = fields.reproduction ?? [];
+    const reproBody = repro.length > 0
+        ? repro.map((s, i) => `${i + 1}. ${s.trim()}`).join("\n")
+        : `*Repro: not yet run*`;
+    if (repro.length === 0)
+        gaps.push("reproduction");
+    parts.push(`## Reproduction\n\n${reproBody}\n`);
+    parts.push(section("Observed vs expected", [f("observed"), f("expected")].some((s) => s.length > 0)
+        ? `**Observed:** ${f("observed") || "*not recorded*"}\n\n**Expected:** ${f("expected") || "*not recorded*"}`
+        : "", gaps, "observed/expected"));
+    parts.push(section("Root cause", f("rootCause"), gaps, "root-cause").replace("not yet filled in", "not yet isolated"));
+    parts.push(section("Proposed fix", f("fixSketch"), gaps, "fix-sketch").replace("not yet filled in", "not sketched yet"));
+    const ran = f("ran");
+    if (ran.length === 0)
+        gaps.push("verification");
+    const by = f("verifiedBy");
+    parts.push(`## Verification\n\n` +
+        `What was actually run: ${ran.length > 0 ? ran : "*not yet run*"}\n\n` +
+        `Verified by: ${by.length > 0 ? by : "*contributor not stated*"}\n\n` +
+        `---\n` +
+        `*Comment drafted with Greenlight v${greenlightVersion} (verified-comment mode). ` +
+        `Assembled locally from the contributor's notes; nothing here was posted automatically.*\n`);
+    return { markdown: parts.join("\n"), gaps };
+}
+/**
+ * True when the repo class is maintainer-only PRs: outside PRs are
+ * refused on sight, so the useful contribution is a verified comment.
+ * That is Greenlight's `collaborators_only` gate (inspector and servers
+ * both land there: their policy text is matched by the gate parser).
+ */
+export function suggestsVerifiedComment(gates) {
+    return gates.some((g) => g.detected && g.kind === "collaborators_only");
+}
+/** The suggestion line check_issue prints for maintainer-only repos. */
+export function verifiedCommentSuggestion(issueUrl) {
+    return `This repo takes verified comments instead of PRs: draft one with greenlight verify-comment ${issueUrl}`;
+}
+// ---------------------------------------------------------------------------
+// --from-file parsing: headings map onto sections, everything else is kept.
+// ---------------------------------------------------------------------------
+const HEADING_MAP = [
+    { match: /^(claim|problem|summary|title)$/i, field: "claim" },
+    { match: /^(environment|env|setup|context)$/i, field: "environment" },
+    { match: /^(repro|reproduction|reproduction steps|steps|how to reproduce)$/i, field: "reproduction" },
+    { match: /^(observed)$/i, field: "observed" },
+    { match: /^(expected)$/i, field: "expected" },
+    { match: /^(observed vs expected|observed\/expected|behavior)$/i, field: "observed" },
+    { match: /^(root cause|cause|analysis)$/i, field: "rootCause" },
+    { match: /^(fix|proposed fix|fix sketch|proposal|solution)$/i, field: "fixSketch" },
+    { match: /^(ran|verification|what was run|testing|test results)$/i, field: "ran" },
+    { match: /^(by|verified by|author|contributor)$/i, field: "verifiedBy" },
+];
+/**
+ * Parse a markdown notes file into comment fields. Lines under a heading
+ * map to that section; unmapped headings are preserved under
+ * "Additional notes" instead of being dropped, so contributor content is
+ * never silently lost. Unheaded text at the top of the file becomes the
+ * claim.
+ */
+export function parseNoteFile(text) {
+    const fields = {};
+    const extras = [];
+    const lines = text.split("\n");
+    let current = {
+        field: null,
+        extraTitle: null,
+    };
+    const buffers = new Map();
+    const push = (key, line) => {
+        const b = buffers.get(key) ?? [];
+        b.push(line);
+        buffers.set(key, b);
+    };
+    const flushExtra = () => {
+        if (current.extraTitle) {
+            const b = buffers.get(`extra:${current.extraTitle}`) ?? [];
+            if (b.join("\n").trim().length > 0) {
+                extras.push(`### ${current.extraTitle}\n\n${b.join("\n").trim()}`);
+            }
+            current.extraTitle = null;
+        }
+    };
+    for (const line of lines) {
+        const m = /^(#{1,3})\s+(.+?)\s*$/.exec(line);
+        if (m) {
+            flushExtra();
+            const title = m[2].trim();
+            const hit = HEADING_MAP.find((h) => h.match.test(title));
+            current = hit
+                ? { field: hit.field, extraTitle: null }
+                : { field: null, extraTitle: title };
+            if (!hit)
+                buffers.set(`extra:${title}`, []);
+            continue;
+        }
+        if (current.field) {
+            push(current.field, line);
+        }
+        else if (current.extraTitle) {
+            push(`extra:${current.extraTitle}`, line);
+        }
+        else {
+            // Unheaded leading text: treat as the claim of the problem.
+            push("claim", line);
+        }
+    }
+    flushExtra();
+    for (const [k, b] of buffers) {
+        if (k.startsWith("extra:"))
+            continue;
+        const value = b.join("\n").trim();
+        if (value.length === 0)
+            continue;
+        if (k === "reproduction") {
+            fields.reproduction = value
+                .split("\n")
+                .map((s) => s.replace(/^\s*(?:\d+[.)]|[-*])\s+/, "").trim())
+                .filter((s) => s.length > 0);
+        }
+        else {
+            fields[k] = value;
+        }
+    }
+    return { fields, additionalNotes: extras.join("\n\n") };
+}
+//# sourceMappingURL=verify-comment.js.map

package/dist/verify-comment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-comment.js","sourceRoot":"","sources":["../src/verify-comment.ts"],"names":[],"mappings":"AAkDA,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,IAAI,KAAK,iBAAiB,CAAC;AAE1D,SAAS,OAAO,CAAC,KAAa,EAAE,IAAY,EAAE,IAAc,EAAE,OAAe;IAC3E,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjD,OAAO,MAAM,KAAK,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC;AAC/F,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,QAAgB,EAChB,MAA4B,EAC5B,iBAAyB;IAEzB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,CAAC,GAAG,CAAC,CAA8B,EAAU,EAAE,CAClD,MAAM,CAAC,CAAC,CAAmC,YAAY,KAAK;QAC3D,CAAC,CAAE,MAAM,CAAC,CAAC,CAAc,CAAC,IAAI,CAAC,IAAI,CAAC;QACpC,CAAC,CAAC,CAAE,MAAM,CAAC,CAAC,CAAwB,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAEvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,0BAA0B,QAAQ,EAAE,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CACR,OAAO,CACL,sBAAsB,EACtB,CAAC,CAAC,OAAO,CAAC,EACV,IAAI,EACJ,OAAO,CACR,CACF,CAAC;IACF,KAAK,CAAC,IAAI,CACR,OAAO,CACL,aAAa,EACb,CAAC,CAAC,aAAa,CAAC,EAChB,IAAI,EACJ,aAAa,CACd,CACF,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC;IACxC,MAAM,SAAS,GACb,KAAK,CAAC,MAAM,GAAG,CAAC;QACd,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACzD,CAAC,CAAC,sBAAsB,CAAC;IAC7B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,sBAAsB,SAAS,IAAI,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CACR,OAAO,CACL,sBAAsB,EACtB,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QACtD,CAAC,CAAC,iBAAiB,CAAC,CAAC,UAAU,CAAC,IAAI,gBAAgB,qBAAqB,CAAC,CAAC,UAAU,CAAC,IAAI,gBAAgB,EAAE;QAC5G,CAAC,CAAC,EAAE,EACN,IAAI,EACJ,mBAAmB,CACpB,CACF,CAAC;IACF,KAAK,CAAC,IAAI,CACR,OAAO,CACL,YAAY,EACZ,CAAC,CAAC,WAAW,CAAC,EACd,IAAI,EACJ,YAAY,CACb,CAAC,OAAO,CAAC,mBAAmB,EAAE,kBAAkB,CAAC,CACnD,CAAC;IACF,KAAK,CAAC,IAAI,CACR,OAAO,CACL,cAAc,EACd,CAAC,CAAC,WAAW,CAAC,EACd,IAAI,EACJ,YAAY,CACb,CAAC,OAAO,CAAC,mBAAmB,EAAE,kBAAkB,CAAC,CACnD,CAAC;IACF,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACrB,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAChD,MAAM,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC;IAC3B,KAAK,CAAC,IAAI,CACR,qBAAqB;QACnB,0BAA0B,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe,MAAM;QACtE,gBAAgB,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,0BAA0B,MAAM;QACrE,OAAO;QACP,qCAAqC,iBAAiB,4BAA4B;QAClF,2FAA2F,CAC9F,CAAC;IACF,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC;AAC9C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAa;IACnD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC;AAC1E,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,yBAAyB,CAAC,QAAgB;IACxD,OAAO,8FAA8F,QAAQ,EAAE,CAAC;AAClH,CAAC;AAED,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAE9E,MAAM,WAAW,GAAiE;IAChF,EAAE,KAAK,EAAE,kCAAkC,EAAE,KAAK,EAAE,OAAO,EAAE;IAC7D,EAAE,KAAK,EAAE,oCAAoC,EAAE,KAAK,EAAE,aAAa,EAAE;IACrE,EAAE,KAAK,EAAE,mEAAmE,EAAE,KAAK,EAAE,cAAc,EAAE;IACrG,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,EAAE;IAC7C,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,EAAE;IAC7C,EAAE,KAAK,EAAE,uDAAuD,EAAE,KAAK,EAAE,UAAU,EAAE;IACrF,EAAE,KAAK,EAAE,gCAAgC,EAAE,KAAK,EAAE,WAAW,EAAE;IAC/D,EAAE,KAAK,EAAE,oDAAoD,EAAE,KAAK,EAAE,WAAW,EAAE;IACnF,EAAE,KAAK,EAAE,yDAAyD,EAAE,KAAK,EAAE,KAAK,EAAE;IAClF,EAAE,KAAK,EAAE,wCAAwC,EAAE,KAAK,EAAE,YAAY,EAAE;CACzE,CAAC;AAQF;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,OAAO,GAA6E;QACtF,KAAK,EAAE,IAAI;QACX,UAAU,EAAE,IAAI;KACjB,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC5C,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,IAAY,EAAE,EAAE;QACzC,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACjC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACtB,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,GAAG,EAAE;QACtB,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACvB,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,CAAC;YAC3D,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,UAAU,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACrE,CAAC;YACD,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;QAC5B,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,EAAE,CAAC;YACN,UAAU,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YACzD,OAAO,GAAG,GAAG;gBACX,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE;gBACxC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;YACvC,IAAI,CAAC,GAAG;gBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YAC5C,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAClB,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC;aAAM,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YAC9B,IAAI,CAAC,SAAS,OAAO,CAAC,UAAU,EAAE,EAAE,IAAI,CAAC,CAAC;QAC5C,CAAC;aAAM,CAAC;YACN,4DAA4D;YAC5D,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,UAAU,EAAE,CAAC;IAEb,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;YAAE,SAAS;QACrC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACjC,IAAI,CAAC,KAAK,cAAc,EAAE,CAAC;YACzB,MAAM,CAAC,YAAY,GAAG,KAAK;iBACxB,KAAK,CAAC,IAAI,CAAC;iBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,yBAAyB,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;iBAC3D,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjC,CAAC;aAAM,CAAC;YACL,MAAiC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;QAChD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;AAC1D,CAAC"}

package/dist/verify-parsers.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Test-output parsers for `greenlight verify`.
+ *
+ * The delta (base vs head) is only honest if it is derived from parsed
+ * test identities, never from raw log lines. Each parser turns one
+ * runner's output into the same shape: named passing tests and named
+ * failing tests. Runners slot in by implementing TestRunnerParser; the
+ * pipeline picks the first parser whose canParse matches the test
+ * command.
+ */
+export interface ParsedTests {
+    passed: string[];
+    failed: string[];
+}
+export interface TestRunnerParser {
+    /** Human name, e.g. "node:test". */
+    name: string;
+    /** True when this parser claims the given test command. */
+    canParse(command: string): boolean;
+    /** Parse one full run's stdout+stderr. */
+    parse(output: string): ParsedTests;
+}
+export declare const RUNNER_PARSERS: TestRunnerParser[];
+/** Pick the parser for a test command, or null when none claims it. */
+export declare function parserForCommand(command: string): TestRunnerParser | null;

package/dist/verify-parsers.js

@@ -0,0 +1,56 @@
+function dedupe(xs) {
+    return [...new Set(xs)];
+}
+const nodeTest = {
+    name: "node:test",
+    canParse: (cmd) => /(^|\s)(node\s+--test|tsx?\s+--test)/.test(cmd) || /\bvitest\b/.test(cmd),
+    parse(output) {
+        const passed = [];
+        const failed = [];
+        for (const line of output.split("\n")) {
+            // node --test: "✔ name (1.23ms)" / "✖ name (1.23ms)"; leading spaces ok.
+            // The summary headers "✖ failing tests:" / "✔ passing tests:" are not
+            // tests (the live greenlight-verify run on 2026-10-16 caught "failing
+            // tests:" being counted as a failure).
+            const ok = /^\s*✔\s+(.+?)(?:\s+\(\d[\d.,]*m?s\))?\s*$/.exec(line);
+            if (ok && !/^(passing|failing) tests:?$/i.test(ok[1].trim())) {
+                passed.push(ok[1].trim());
+                continue;
+            }
+            const bad = /^\s*✖\s+(.+?)(?:\s+\(\d[\d.,]*m?s\))?\s*$/.exec(line);
+            if (bad && !/^(passing|failing) tests:?$/i.test(bad[1].trim())) {
+                failed.push(bad[1].trim());
+                continue;
+            }
+            // vitest run: "✓ src/foo.test.ts (3 tests)" is file-level; real
+            // per-test lines come from node --test above. Skip to avoid mixing
+            // granularities.
+        }
+        return { passed: dedupe(passed), failed: dedupe(failed) };
+    },
+};
+const pytest = {
+    name: "pytest",
+    canParse: (cmd) => /(^|\s)pytest(\s|$)/.test(cmd),
+    parse(output) {
+        const passed = [];
+        const failed = [];
+        for (const line of output.split("\n")) {
+            // -v output: "tests/x.py::TestY::test_z PASSED" / FAILED / ERROR
+            const m = /^(\S+::\S+)\s+(PASSED|FAILED|ERROR)\b/.exec(line.trim());
+            if (!m)
+                continue;
+            if (m[2] === "PASSED")
+                passed.push(m[1]);
+            else
+                failed.push(m[1]);
+        }
+        return { passed: dedupe(passed), failed: dedupe(failed) };
+    },
+};
+export const RUNNER_PARSERS = [nodeTest, pytest];
+/** Pick the parser for a test command, or null when none claims it. */
+export function parserForCommand(command) {
+    return RUNNER_PARSERS.find((p) => p.canParse(command)) ?? null;
+}
+//# sourceMappingURL=verify-parsers.js.map

package/dist/verify-parsers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-parsers.js","sourceRoot":"","sources":["../src/verify-parsers.ts"],"names":[],"mappings":"AAwBA,SAAS,MAAM,CAAC,EAAY;IAC1B,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,QAAQ,GAAqB;IACjC,IAAI,EAAE,WAAW;IACjB,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,qCAAqC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC;IAC5F,KAAK,CAAC,MAAM;QACV,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,yEAAyE;YACzE,sEAAsE;YACtE,sEAAsE;YACtE,uCAAuC;YACvC,MAAM,EAAE,GAAG,2CAA2C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClE,IAAI,EAAE,IAAI,CAAC,8BAA8B,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC7D,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC1B,SAAS;YACX,CAAC;YACD,MAAM,GAAG,GAAG,2CAA2C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnE,IAAI,GAAG,IAAI,CAAC,8BAA8B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC/D,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC3B,SAAS;YACX,CAAC;YACD,gEAAgE;YAChE,mEAAmE;YACnE,iBAAiB;QACnB,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;IAC5D,CAAC;CACF,CAAC;AAEF,MAAM,MAAM,GAAqB;IAC/B,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC;IACjD,KAAK,CAAC,MAAM;QACV,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,iEAAiE;YACjE,MAAM,CAAC,GAAG,uCAAuC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACpE,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ;gBAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;;gBACpC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;IAC5D,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAuB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAErE,uEAAuE;AACvE,MAAM,UAAU,gBAAgB,CAAC,OAAe;IAC9C,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC;AACjE,CAAC"}

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 10 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
@@ -41,6 +41,9 @@ server with all 10 tools:
 - `review_triage` — classify review findings and draft replies (never posts)
 - `guard_pr` — maintainer-side: competing fix, prior claims, missing artifacts, first-time contributor (never posts)
 - `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