llm-relay 0.54.0 → 0.55.2

package/dist/delegate-gate/cast-necessity.js

@@ -0,0 +1,150 @@
+import ts from "typescript";
+import { reportedPath } from "./diff-parser.js";
+import { reconstructPostImage } from "./post-image.js";
+const TS_FILE = /\.(ts|tsx|mts|cts)$/;
+const PRIMITIVE_KEYWORD_TO_LITERAL_KIND = new Map([
+    [ts.SyntaxKind.StringKeyword, [ts.SyntaxKind.StringLiteral, ts.SyntaxKind.NoSubstitutionTemplateLiteral]],
+    [ts.SyntaxKind.NumberKeyword, [ts.SyntaxKind.NumericLiteral]],
+    [ts.SyntaxKind.BooleanKeyword, [ts.SyntaxKind.TrueKeyword, ts.SyntaxKind.FalseKeyword]],
+]);
+/** `x as unknown as T` (or any AsExpression whose own expression is itself an AsExpression to
+ * `unknown`) — a double cast that exists only to defeat the type checker. */
+function isDoubleUnknownCast(node) {
+    const inner = node.expression;
+    if (!ts.isAsExpression(inner))
+        return false;
+    return ts.isTypeReferenceNode(inner.type) === false
+        && inner.type.kind === ts.SyntaxKind.UnknownKeyword;
+}
+function isAnyCast(node) {
+    return node.type.kind === ts.SyntaxKind.AnyKeyword;
+}
+/** `"x" as string`, `5 as number`, `true as boolean` — a cast of a literal to the primitive type
+ * it already trivially has. Deliberately narrow: this is a syntactic check, not a type-checker
+ * one, so it only fires on the unambiguous literal-vs-keyword-type case and never guesses about
+ * an identifier's inferred type. */
+function isTriviallyRedundantLiteralCast(node) {
+    const allowedKinds = PRIMITIVE_KEYWORD_TO_LITERAL_KIND.get(node.type.kind);
+    if (allowedKinds === undefined)
+        return false;
+    return allowedKinds.includes(node.expression.kind);
+}
+function findAsExpressionsOnAddedLines(sourceFile, addedLines) {
+    const found = [];
+    const visit = (node) => {
+        if (ts.isAsExpression(node)) {
+            const { line } = sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile));
+            if (addedLines.has(line + 1))
+                found.push(node);
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(sourceFile);
+    return found;
+}
+function describeCast(node) {
+    if (isAnyCast(node)) {
+        return { detail: `\`${node.getText()}\` casts to \`any\`, discarding type safety`, autoFixable: false };
+    }
+    if (isDoubleUnknownCast(node)) {
+        return { detail: `\`${node.getText()}\` is a double cast through \`unknown\` — it exists only to bypass the type checker`, autoFixable: false };
+    }
+    if (isTriviallyRedundantLiteralCast(node)) {
+        return { detail: `\`${node.getText()}\` casts a literal to the primitive type it already has — the cast adds nothing`, autoFixable: true };
+    }
+    return null;
+}
+/**
+ * Flag `as` casts introduced by the diff that add nothing.
+ *
+ * Always flagged: `as any` and `x as unknown as T` double casts. Best-effort beyond that: a
+ * literal cast to the primitive type it already trivially has (`"x" as string`). Deciding
+ * necessity in the general case needs a full type-checker `Program` over the whole repo — slow,
+ * and only as good as whether the diff's target compiles in isolation — so this deliberately stays
+ * syntactic rather than risk a false positive on a cast that genuinely narrows or widens a type.
+ */
+function findingsForFile(file, path, readOriginal) {
+    const original = file.isNew ? null : readOriginal(path);
+    const { lines, addedLines } = reconstructPostImage(original, file);
+    if (addedLines.size === 0)
+        return [];
+    const content = lines.join("\n");
+    const sourceFile = ts.createSourceFile(path, content, ts.ScriptTarget.Latest, true, path.endsWith(".tsx") ? ts.ScriptKind.TSX : ts.ScriptKind.TS);
+    const findings = [];
+    for (const node of findAsExpressionsOnAddedLines(sourceFile, addedLines)) {
+        const described = describeCast(node);
+        if (described === null)
+            continue;
+        const { line } = sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile));
+        findings.push({
+            class: "unnecessary-cast",
+            file: path,
+            line: line + 1,
+            detail: described.detail,
+            autoFixable: described.autoFixable,
+        });
+    }
+    return findings;
+}
+export function analyzeCastNecessity(files, readOriginal) {
+    const findings = [];
+    for (const file of files) {
+        const path = reportedPath(file);
+        if (!TS_FILE.test(path) || file.hunks.length === 0)
+            continue;
+        findings.push(...findingsForFile(file, path, readOriginal));
+    }
+    return findings;
+}
+/** The diff's own `add` line at post-image line `newLine`, or undefined if none matches — used to
+ * translate an AST node's line number back into the raw diff line the auto-fix edits. */
+function addedDiffLine(file, newLine) {
+    for (const hunk of file.hunks) {
+        for (const line of hunk.lines) {
+            if (line.kind === "add" && line.newLine === newLine)
+                return line;
+        }
+    }
+    return undefined;
+}
+function castEditsForFile(file, path, readOriginal) {
+    const original = file.isNew ? null : readOriginal(path);
+    const { lines, addedLines } = reconstructPostImage(original, file);
+    if (addedLines.size === 0)
+        return [];
+    const content = lines.join("\n");
+    const sourceFile = ts.createSourceFile(path, content, ts.ScriptTarget.Latest, true, path.endsWith(".tsx") ? ts.ScriptKind.TSX : ts.ScriptKind.TS);
+    const edits = [];
+    for (const node of findAsExpressionsOnAddedLines(sourceFile, addedLines)) {
+        if (!isTriviallyRedundantLiteralCast(node))
+            continue; // the only auto-fixable cast shape
+        const start = node.getStart(sourceFile);
+        const { line: lineIndex, character: startCol } = sourceFile.getLineAndCharacterOfPosition(start);
+        const endCol = sourceFile.getLineAndCharacterOfPosition(node.getEnd()).character;
+        const lineText = lines[lineIndex];
+        if (lineText === undefined)
+            continue;
+        const diffLine = addedDiffLine(file, lineIndex + 1);
+        if (diffLine === undefined)
+            continue;
+        const replacementText = node.expression.getText(sourceFile);
+        const newContent = lineText.slice(0, startCol) + replacementText + lineText.slice(endCol);
+        edits.push({ rawIndex: diffLine.rawIndex, newContent });
+    }
+    return edits;
+}
+/** Mechanical corrections for the `unnecessary-cast` findings this module can safely apply on its
+ * own: only the trivially-redundant-literal-cast shape (`"x" as string` -> `"x"`). `as any` and
+ * the double-unknown cast are never auto-fixed — removing them changes what the surrounding code
+ * type-checks as, which is a judgment call for a human, not a mechanical rewrite. */
+export function findFixableCastEdits(files, readOriginal) {
+    const edits = [];
+    for (const file of files) {
+        const path = reportedPath(file);
+        if (!TS_FILE.test(path) || file.hunks.length === 0)
+            continue;
+        edits.push(...castEditsForFile(file, path, readOriginal));
+    }
+    return edits;
+}
+//# sourceMappingURL=cast-necessity.js.map

package/dist/delegate-gate/cast-necessity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cast-necessity.js","sourceRoot":"","sources":["../../src/delegate-gate/cast-necessity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAUvD,MAAM,OAAO,GAAG,qBAAqB,CAAC;AAEtC,MAAM,iCAAiC,GAAyD,IAAI,GAAG,CAAC;IACtG,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,EAAE,CAAC,UAAU,CAAC,6BAA6B,CAAC,CAAC;IACzG,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;IAC7D,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;CACxF,CAAC,CAAC;AAEH;6EAC6E;AAC7E,SAAS,mBAAmB,CAAC,IAAqB;IAChD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;IAC9B,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5C,OAAO,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK;WAC9C,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC;AACxD,CAAC;AAED,SAAS,SAAS,CAAC,IAAqB;IACtC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;AACrD,CAAC;AAED;;;oCAGoC;AACpC,SAAS,+BAA+B,CAAC,IAAqB;IAC5D,MAAM,YAAY,GAAG,iCAAiC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7C,OAAO,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,6BAA6B,CAAC,UAAyB,EAAE,UAA+B;IAC/F,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;YACrF,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,IAAqB;IACzC,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI,CAAC,OAAO,EAAE,6CAA6C,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAC1G,CAAC;IACD,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI,CAAC,OAAO,EAAE,qFAAqF,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAClJ,CAAC;IACD,IAAI,+BAA+B,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI,CAAC,OAAO,EAAE,iFAAiF,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IAC7I,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,eAAe,CAAC,IAAc,EAAE,IAAY,EAAE,YAA6C;IAClG,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACnE,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAElJ,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,6BAA6B,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;QACzE,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,SAAS,KAAK,IAAI;YAAE,SAAS;QACjC,MAAM,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QACrF,QAAQ,CAAC,IAAI,CAAC;YACZ,KAAK,EAAE,kBAAkB;YACzB,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,IAAI,GAAG,CAAC;YACd,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,WAAW,EAAE,SAAS,CAAC,WAAW;SACnC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAA0B,EAAE,YAA6C;IAC5G,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC7D,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;yFACyF;AACzF,SAAS,aAAa,CAAC,IAAc,EAAE,OAAe;IACpD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAC;QACnE,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAc,EAAE,IAAY,EAAE,YAA6C;IACnG,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACnE,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAElJ,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,6BAA6B,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;QACzE,IAAI,CAAC,+BAA+B,CAAC,IAAI,CAAC;YAAE,SAAS,CAAC,mCAAmC;QACzF,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,CAAC;QACjG,MAAM,MAAM,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC;QACjF,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;QAClC,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QACrC,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;QACpD,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QACrC,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC5D,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,eAAe,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1F,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;qFAGqF;AACrF,MAAM,UAAU,oBAAoB,CAAC,KAA0B,EAAE,YAA6C;IAC5G,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC7D,KAAK,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/delegate-gate/cli.d.ts

@@ -0,0 +1,20 @@
+export interface DelegateGateCliOptions {
+    readonly diffPath: string | undefined;
+    readonly repoRoot: string | undefined;
+    readonly fix: boolean;
+}
+export interface DelegateGateCliResult {
+    readonly exitCode: 0 | 1;
+    readonly stdout: string;
+    readonly stderr: string;
+}
+/**
+ * `llm-relay delegate-gate <diff-file> --repo <root> [--fix]`
+ *
+ * Pure over injected IO so the contract tests can drive it without touching the real filesystem.
+ * `readFile`/`writeFile` default to Node's `fs`; a caller only overrides them in tests.
+ */
+export declare function runDelegateGateCli(options: DelegateGateCliOptions, io?: {
+    readonly readFile?: (path: string) => string;
+    readonly writeFile?: (path: string, content: string) => void;
+}): DelegateGateCliResult;

package/dist/delegate-gate/cli.js

@@ -0,0 +1,51 @@
+import { readFileSync, writeFileSync } from "node:fs";
+import { resolve } from "node:path";
+import { evaluateDiffText, repoFileReader } from "./gate.js";
+import { autoRepairDiff } from "./fix.js";
+/**
+ * `llm-relay delegate-gate <diff-file> --repo <root> [--fix]`
+ *
+ * Pure over injected IO so the contract tests can drive it without touching the real filesystem.
+ * `readFile`/`writeFile` default to Node's `fs`; a caller only overrides them in tests.
+ */
+export function runDelegateGateCli(options, io = {}) {
+    const readFile = io.readFile ?? ((path) => readFileSync(path, "utf8"));
+    const writeFile = io.writeFile ?? ((path, content) => writeFileSync(path, content, "utf8"));
+    if (options.diffPath === undefined) {
+        return { exitCode: 1, stdout: "", stderr: "delegate-gate: missing required <diff-file> argument\n" };
+    }
+    if (options.repoRoot === undefined) {
+        return { exitCode: 1, stdout: "", stderr: "delegate-gate: --repo <root> is required\n" };
+    }
+    let diffText;
+    try {
+        diffText = readFile(options.diffPath);
+    }
+    catch (e) {
+        return { exitCode: 1, stdout: "", stderr: `delegate-gate: could not read "${options.diffPath}": ${e.message}\n` };
+    }
+    const repoRoot = resolve(options.repoRoot);
+    const readOriginal = repoFileReader(repoRoot);
+    let verdict;
+    try {
+        verdict = evaluateDiffText(diffText, readOriginal);
+    }
+    catch (e) {
+        return { exitCode: 1, stdout: "", stderr: `delegate-gate: could not analyze the diff: ${e.message}\n` };
+    }
+    let stderr = "";
+    if (options.fix) {
+        const repaired = autoRepairDiff(diffText, readOriginal);
+        if (repaired.fixedCount > 0) {
+            const fixedPath = `${options.diffPath}.fixed.patch`;
+            writeFile(fixedPath, repaired.fixedText);
+            stderr += `delegate-gate: wrote ${repaired.fixedCount} mechanical fix(es) to ${fixedPath}\n`;
+        }
+        else {
+            stderr += "delegate-gate: no mechanically fixable findings; no .fixed.patch written\n";
+        }
+    }
+    const stdout = `${JSON.stringify(verdict, null, 2)}\n`;
+    return { exitCode: verdict.pass ? 0 : 1, stdout, stderr };
+}
+//# sourceMappingURL=cli.js.map

package/dist/delegate-gate/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/delegate-gate/cli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACtD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAe1C;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAA+B,EAC/B,KAGI,EAAE;IAEN,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAC/E,MAAM,SAAS,GAAG,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,IAAY,EAAE,OAAe,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IAE5G,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,wDAAwD,EAAE,CAAC;IACvG,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,4CAA4C,EAAE,CAAC;IAC3F,CAAC;IAED,IAAI,QAAgB,CAAC;IACrB,IAAI,CAAC;QACH,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,kCAAkC,OAAO,CAAC,QAAQ,MAAO,CAAW,CAAC,OAAO,IAAI,EAAE,CAAC;IAC/H,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,YAAY,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IAE9C,IAAI,OAAgB,CAAC;IACrB,IAAI,CAAC;QACH,OAAO,GAAG,gBAAgB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IACrD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,8CAA+C,CAAW,CAAC,OAAO,IAAI,EAAE,CAAC;IACrH,CAAC;IAED,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QAChB,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QACxD,IAAI,QAAQ,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,SAAS,GAAG,GAAG,OAAO,CAAC,QAAQ,cAAc,CAAC;YACpD,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;YACzC,MAAM,IAAI,wBAAwB,QAAQ,CAAC,UAAU,0BAA0B,SAAS,IAAI,CAAC;QAC/F,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,4EAA4E,CAAC;QACzF,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;IACvD,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5D,CAAC"}

package/dist/delegate-gate/diff-parser.d.ts

@@ -0,0 +1,59 @@
+/**
+ * A minimal unified-diff parser (git's `diff --git` dialect) — just enough structure for the
+ * detectors in this module: per-file hunks, each line typed context/add/remove and carrying its
+ * line number in whichever image it belongs to.
+ *
+ * Deliberately narrow: this is not a general patch-apply library. It accepts the shape `git diff`
+ * / `git format-patch` produce and refuses (throws `DiffParseError`) rather than guess on anything
+ * else — the same "refuse, don't mangle" rule `documents.ts` and `openai-request.ts` follow
+ * elsewhere in this repo.
+ */
+export type DiffLineKind = "context" | "add" | "remove";
+export interface DiffLine {
+    readonly kind: DiffLineKind;
+    /** Line content, WITHOUT the leading `+`/`-`/` ` marker and without a trailing newline. */
+    readonly content: string;
+    /** 1-based line number in the pre-image; undefined for an added line. */
+    readonly oldLine: number | undefined;
+    /** 1-based line number in the post-image; undefined for a removed line. */
+    readonly newLine: number | undefined;
+    /** Index of this line's raw (marker-included) text in the diff's full line array. The
+     * auto-repair pass edits/removes raw lines by this index rather than re-deriving offsets — the
+     * ONE place the diff's own text layout is exposed outside this parser. */
+    readonly rawIndex: number;
+}
+export interface DiffHunk {
+    readonly oldStart: number;
+    readonly oldLines: number;
+    readonly newStart: number;
+    readonly newLines: number;
+    readonly lines: readonly DiffLine[];
+    /** Raw-line index of this hunk's `@@ ... @@` header. */
+    readonly headerRawIndex: number;
+    /** Raw-line index one past this hunk's last body line — `[headerRawIndex, endRawIndex)` is the
+     * whole hunk, header included, safe to delete as a unit. */
+    readonly endRawIndex: number;
+}
+export interface DiffFile {
+    /** Pre-image path (`a/...` with the prefix stripped), or null for a newly created file. */
+    readonly oldPath: string | null;
+    /** Post-image path (`b/...` with the prefix stripped), or null for a deleted file. */
+    readonly newPath: string | null;
+    readonly isNew: boolean;
+    readonly isDeleted: boolean;
+    readonly hunks: readonly DiffHunk[];
+}
+export declare class DiffParseError extends Error {
+}
+/**
+ * Parse a unified diff into per-file hunks.
+ *
+ * Accepts multiple `diff --git` sections. Each file section must open with a `diff --git a/X b/Y`
+ * line; `---`/`+++`/`@@` lines follow standard git conventions. A file section with no hunks
+ * (e.g. a pure rename or mode change) is skipped — there is nothing here for a line-level
+ * detector to look at.
+ */
+export declare function parseUnifiedDiff(text: string): readonly DiffFile[];
+/** The path a detector should report findings under — the post-image path, falling back to the
+ * pre-image path for a deletion (which carries no post-image). */
+export declare function reportedPath(file: DiffFile): string;

package/dist/delegate-gate/diff-parser.js

@@ -0,0 +1,147 @@
+/**
+ * A minimal unified-diff parser (git's `diff --git` dialect) — just enough structure for the
+ * detectors in this module: per-file hunks, each line typed context/add/remove and carrying its
+ * line number in whichever image it belongs to.
+ *
+ * Deliberately narrow: this is not a general patch-apply library. It accepts the shape `git diff`
+ * / `git format-patch` produce and refuses (throws `DiffParseError`) rather than guess on anything
+ * else — the same "refuse, don't mangle" rule `documents.ts` and `openai-request.ts` follow
+ * elsewhere in this repo.
+ */
+export class DiffParseError extends Error {
+}
+const HUNK_HEADER = /^@@ -(\d+)(?:,(\d+))? \+(\d+)(?:,(\d+))? @@/;
+/** Strip a single leading `a/` or `b/` path prefix, the form git always emits. */
+function stripPrefix(path) {
+    if (path.startsWith("a/") || path.startsWith("b/"))
+        return path.slice(2);
+    return path;
+}
+function pathFromHeaderLine(line, marker) {
+    const rest = line.slice(marker.length + 1);
+    // A trailing tab introduces a timestamp in some diff dialects; git's own output never does,
+    // but tolerate it rather than folding it into the path.
+    const tabAt = rest.indexOf("\t");
+    const raw = (tabAt === -1 ? rest : rest.slice(0, tabAt)).trim();
+    if (raw === "/dev/null")
+        return null;
+    return stripPrefix(raw);
+}
+/** Consume the file-header block (index/mode/rename/similarity lines, then `---`/`+++`) starting
+ * at `rawLines[start]`. Returns the parsed header and the index of the first line after it. */
+function parseFileHeader(rawLines, start) {
+    let isNew = false;
+    let isDeleted = false;
+    let oldPath = null;
+    let newPath = null;
+    let i = start;
+    while (i < rawLines.length) {
+        const line = rawLines[i];
+        if (line.startsWith("diff --git ") || line.startsWith("@@"))
+            break;
+        if (line.startsWith("new file mode"))
+            isNew = true;
+        else if (line.startsWith("deleted file mode"))
+            isDeleted = true;
+        else if (line.startsWith("--- "))
+            oldPath = pathFromHeaderLine(line, "---");
+        else if (line.startsWith("+++ "))
+            newPath = pathFromHeaderLine(line, "+++");
+        i += 1;
+        if (line.startsWith("+++ "))
+            break;
+    }
+    return { header: { isNew, isDeleted, oldPath, newPath }, next: i };
+}
+/** Classify one hunk body line and advance the pre/post cursors it carries. */
+function classifyHunkBodyLine(body, oldCursor, newCursor, rawIndex) {
+    const marker = body.charAt(0);
+    if (marker === "+")
+        return { kind: "add", content: body.slice(1), oldLine: undefined, newLine: newCursor, rawIndex };
+    if (marker === "-")
+        return { kind: "remove", content: body.slice(1), oldLine: oldCursor, newLine: undefined, rawIndex };
+    // A context line always starts with a single space in a conforming diff; an empty string (a
+    // blank context line some tools emit unmarked) is accepted the same way.
+    const content = marker === " " ? body.slice(1) : body;
+    return { kind: "context", content, oldLine: oldCursor, newLine: newCursor, rawIndex };
+}
+/** Parse one `@@ -l,s +l,s @@` hunk starting at `rawLines[start]`. Returns the hunk and the
+ * index of the first line after it. */
+function parseHunk(rawLines, start) {
+    const headerLine = rawLines[start];
+    const match = HUNK_HEADER.exec(headerLine);
+    if (!match)
+        throw new DiffParseError(`malformed hunk header: ${headerLine}`);
+    const oldStart = Number(match[1]);
+    const oldLines = match[2] === undefined ? 1 : Number(match[2]);
+    const newStart = Number(match[3]);
+    const newLines = match[4] === undefined ? 1 : Number(match[4]);
+    const lines = [];
+    let oldCursor = oldStart;
+    let newCursor = newStart;
+    let consumedOld = 0;
+    let consumedNew = 0;
+    let i = start + 1;
+    while (consumedOld < oldLines || consumedNew < newLines) {
+        if (i >= rawLines.length)
+            break;
+        const body = rawLines[i];
+        if (body.startsWith("diff --git ") || body.startsWith("@@"))
+            break;
+        // A bare "" marker carries no content of its own.
+        if (body.startsWith("\\ ")) {
+            i += 1;
+            continue;
+        }
+        const line = classifyHunkBodyLine(body, oldCursor, newCursor, i);
+        lines.push(line);
+        if (line.kind !== "remove") {
+            newCursor += 1;
+            consumedNew += 1;
+        }
+        if (line.kind !== "add") {
+            oldCursor += 1;
+            consumedOld += 1;
+        }
+        i += 1;
+    }
+    return { hunk: { oldStart, oldLines, newStart, newLines, lines, headerRawIndex: start, endRawIndex: i }, next: i };
+}
+/**
+ * Parse a unified diff into per-file hunks.
+ *
+ * Accepts multiple `diff --git` sections. Each file section must open with a `diff --git a/X b/Y`
+ * line; `---`/`+++`/`@@` lines follow standard git conventions. A file section with no hunks
+ * (e.g. a pure rename or mode change) is skipped — there is nothing here for a line-level
+ * detector to look at.
+ */
+export function parseUnifiedDiff(text) {
+    // Normalize line endings so a CRLF-authored diff parses identically to LF.
+    const rawLines = text.replace(/\r\n/g, "\n").split("\n");
+    const files = [];
+    let i = 0;
+    while (i < rawLines.length) {
+        if (!rawLines[i].startsWith("diff --git ")) {
+            i += 1;
+            continue;
+        }
+        const { header, next: afterHeader } = parseFileHeader(rawLines, i + 1);
+        i = afterHeader;
+        const hunks = [];
+        while (i < rawLines.length && rawLines[i].startsWith("@@")) {
+            const { hunk, next } = parseHunk(rawLines, i);
+            hunks.push(hunk);
+            i = next;
+        }
+        if (hunks.length > 0 || header.isNew || header.isDeleted) {
+            files.push({ oldPath: header.oldPath, newPath: header.newPath, isNew: header.isNew, isDeleted: header.isDeleted, hunks });
+        }
+    }
+    return files;
+}
+/** The path a detector should report findings under — the post-image path, falling back to the
+ * pre-image path for a deletion (which carries no post-image). */
+export function reportedPath(file) {
+    return file.newPath ?? file.oldPath ?? "(unknown)";
+}
+//# sourceMappingURL=diff-parser.js.map

package/dist/delegate-gate/diff-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff-parser.js","sourceRoot":"","sources":["../../src/delegate-gate/diff-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAyCH,MAAM,OAAO,cAAe,SAAQ,KAAK;CAAG;AAE5C,MAAM,WAAW,GAAG,6CAA6C,CAAC;AAElE,kFAAkF;AAClF,SAAS,WAAW,CAAC,IAAY;IAC/B,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACzE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY,EAAE,MAAqB;IAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3C,4FAA4F;IAC5F,wDAAwD;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChE,IAAI,GAAG,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC;AAC1B,CAAC;AASD;+FAC+F;AAC/F,SAAS,eAAe,CAAC,QAA2B,EAAE,KAAa;IACjE,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,OAAO,GAAkB,IAAI,CAAC;IAClC,IAAI,OAAO,GAAkB,IAAI,CAAC;IAElC,IAAI,CAAC,GAAG,KAAK,CAAC;IACd,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,MAAM;QACnE,IAAI,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;aAC9C,IAAI,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC;YAAE,SAAS,GAAG,IAAI,CAAC;aAC3D,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,OAAO,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;aACvE,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,OAAO,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5E,CAAC,IAAI,CAAC,CAAC;QACP,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,MAAM;IACrC,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACrE,CAAC;AAED,+EAA+E;AAC/E,SAAS,oBAAoB,CAAC,IAAY,EAAE,SAAiB,EAAE,SAAiB,EAAE,QAAgB;IAChG,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,MAAM,KAAK,GAAG;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IACrH,IAAI,MAAM,KAAK,GAAG;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IACxH,4FAA4F;IAC5F,yEAAyE;IACzE,MAAM,OAAO,GAAG,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AACxF,CAAC;AAED;uCACuC;AACvC,SAAS,SAAS,CAAC,QAA2B,EAAE,KAAa;IAC3D,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAE,CAAC;IACpC,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC3C,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,cAAc,CAAC,0BAA0B,UAAU,EAAE,CAAC,CAAC;IAC7E,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/D,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,IAAI,SAAS,GAAG,QAAQ,CAAC;IACzB,IAAI,SAAS,GAAG,QAAQ,CAAC;IACzB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IAClB,OAAO,WAAW,GAAG,QAAQ,IAAI,WAAW,GAAG,QAAQ,EAAE,CAAC;QACxD,IAAI,CAAC,IAAI,QAAQ,CAAC,MAAM;YAAE,MAAM;QAChC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,MAAM;QACnE,6EAA6E;QAC7E,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3B,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAAC,SAAS,IAAI,CAAC,CAAC;YAAC,WAAW,IAAI,CAAC,CAAC;QAAC,CAAC;QACjE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAAC,SAAS,IAAI,CAAC,CAAC;YAAC,WAAW,IAAI,CAAC,CAAC;QAAC,CAAC;QAC9D,CAAC,IAAI,CAAC,CAAC;IACT,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACrH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,2EAA2E;IAC3E,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzD,MAAM,KAAK,GAAe,EAAE,CAAC;IAE7B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;YAC5C,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,eAAe,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACvE,CAAC,GAAG,WAAW,CAAC;QAEhB,MAAM,KAAK,GAAe,EAAE,CAAC;QAC7B,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5D,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,CAAC,GAAG,IAAI,CAAC;QACX,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5H,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;kEACkE;AAClE,MAAM,UAAU,YAAY,CAAC,IAAc;IACzC,OAAO,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,IAAI,WAAW,CAAC;AACrD,CAAC"}

package/dist/delegate-gate/fix.d.ts

@@ -0,0 +1,16 @@
+import type { ReadOriginal } from "./gate.js";
+export interface AutoRepairResult {
+    readonly fixedText: string;
+    readonly fixedCount: number;
+}
+/**
+ * Produce a corrected diff for the two MECHANICAL finding classes: pure indentation-churn hunks
+ * (dropped whole) and trivially-redundant literal casts (rewritten in place). Every other finding
+ * class is a judgment call and is left in the verdict for a human/reviewer to act on — this
+ * function never touches the target repo, only the diff text itself.
+ *
+ * Both transforms are line-count-preserving or hunk-boundary-preserving by construction (see
+ * `isPureIndentationChurnHunk` and `findFixableCastEdits`), so no other hunk's `@@` header ever
+ * needs recomputing.
+ */
+export declare function autoRepairDiff(diffText: string, readOriginal: ReadOriginal): AutoRepairResult;

package/dist/delegate-gate/fix.js

@@ -0,0 +1,43 @@
+import { parseUnifiedDiff } from "./diff-parser.js";
+import { isPureIndentationChurnHunk } from "./minimality.js";
+import { findFixableCastEdits } from "./cast-necessity.js";
+/**
+ * Produce a corrected diff for the two MECHANICAL finding classes: pure indentation-churn hunks
+ * (dropped whole) and trivially-redundant literal casts (rewritten in place). Every other finding
+ * class is a judgment call and is left in the verdict for a human/reviewer to act on — this
+ * function never touches the target repo, only the diff text itself.
+ *
+ * Both transforms are line-count-preserving or hunk-boundary-preserving by construction (see
+ * `isPureIndentationChurnHunk` and `findFixableCastEdits`), so no other hunk's `@@` header ever
+ * needs recomputing.
+ */
+export function autoRepairDiff(diffText, readOriginal) {
+    const normalized = diffText.replace(/\r\n/g, "\n");
+    const rawLines = normalized.split("\n");
+    const files = parseUnifiedDiff(normalized);
+    const dropped = new Set();
+    let fixedCount = 0;
+    for (const file of files) {
+        for (const hunk of file.hunks) {
+            if (!isPureIndentationChurnHunk(hunk))
+                continue;
+            for (let i = hunk.headerRawIndex; i < hunk.endRawIndex; i++)
+                dropped.add(i);
+            fixedCount += 1;
+        }
+    }
+    const replacements = new Map();
+    for (const edit of findFixableCastEdits(files, readOriginal)) {
+        replacements.set(edit.rawIndex, edit.newContent);
+        fixedCount += 1;
+    }
+    const out = [];
+    for (let i = 0; i < rawLines.length; i++) {
+        if (dropped.has(i))
+            continue;
+        const replacement = replacements.get(i);
+        out.push(replacement === undefined ? rawLines[i] : `+${replacement}`);
+    }
+    return { fixedText: out.join("\n"), fixedCount };
+}
+//# sourceMappingURL=fix.js.map

package/dist/delegate-gate/fix.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fix.js","sourceRoot":"","sources":["../../src/delegate-gate/fix.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAQ3D;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,QAAgB,EAAE,YAA0B;IACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAE3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBAAE,SAAS;YAChD,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5E,UAAU,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,oBAAoB,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC;QAC7D,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACjD,UAAU,IAAI,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC7B,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxC,GAAG,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,CAAC;IACzE,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC;AACnD,CAAC"}

package/dist/delegate-gate/gate.d.ts

@@ -0,0 +1,18 @@
+import { type DiffFile } from "./diff-parser.js";
+import type { Verdict } from "./types.js";
+export type ReadOriginal = (path: string) => string | null;
+/** Read a file the diff modifies from `--repo` — the PRE-image every AST detector reconstructs
+ * the post-image against. Absent/unreadable is a legitimate outcome (a file the diff claims to
+ * modify but that does not exist at this repo root — quarantine to "no finding", never throw:
+ * the gate must still report on every OTHER file). */
+export declare function repoFileReader(repoRoot: string): ReadOriginal;
+/**
+ * Run every detector over a parsed diff and fold the results into one verdict.
+ *
+ * Each detector is independent and pure over (files, readOriginal); a detector throwing is a
+ * detector bug, not a caller concern, so callers should treat any throw here as "the gate could
+ * not evaluate this diff" rather than catch and silently drop a class.
+ */
+export declare function evaluateDiff(files: readonly DiffFile[], readOriginal: ReadOriginal): Verdict;
+/** Parse a unified diff and evaluate it in one call — the entry point the CLI and tests use. */
+export declare function evaluateDiffText(diffText: string, readOriginal: ReadOriginal): Verdict;

package/dist/delegate-gate/gate.js

@@ -0,0 +1,42 @@
+import { readFileSync } from "node:fs";
+import { join } from "node:path";
+import { parseUnifiedDiff } from "./diff-parser.js";
+import { analyzeDiffMinimality } from "./minimality.js";
+import { analyzeTestAssertions } from "./test-assertions.js";
+import { analyzeCastNecessity } from "./cast-necessity.js";
+import { analyzeSharedStateMutation } from "./shared-state.js";
+/** Read a file the diff modifies from `--repo` — the PRE-image every AST detector reconstructs
+ * the post-image against. Absent/unreadable is a legitimate outcome (a file the diff claims to
+ * modify but that does not exist at this repo root — quarantine to "no finding", never throw:
+ * the gate must still report on every OTHER file). */
+export function repoFileReader(repoRoot) {
+    return (path) => {
+        try {
+            return readFileSync(join(repoRoot, path), "utf8");
+        }
+        catch {
+            return null;
+        }
+    };
+}
+/**
+ * Run every detector over a parsed diff and fold the results into one verdict.
+ *
+ * Each detector is independent and pure over (files, readOriginal); a detector throwing is a
+ * detector bug, not a caller concern, so callers should treat any throw here as "the gate could
+ * not evaluate this diff" rather than catch and silently drop a class.
+ */
+export function evaluateDiff(files, readOriginal) {
+    const findings = [
+        ...analyzeDiffMinimality(files),
+        ...analyzeTestAssertions(files, readOriginal),
+        ...analyzeCastNecessity(files, readOriginal),
+        ...analyzeSharedStateMutation(files, readOriginal),
+    ];
+    return { pass: findings.length === 0, findings };
+}
+/** Parse a unified diff and evaluate it in one call — the entry point the CLI and tests use. */
+export function evaluateDiffText(diffText, readOriginal) {
+    return evaluateDiff(parseUnifiedDiff(diffText), readOriginal);
+}
+//# sourceMappingURL=gate.js.map

package/dist/delegate-gate/gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.js","sourceRoot":"","sources":["../../src/delegate-gate/gate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAiB,MAAM,kBAAkB,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAK/D;;;sDAGsD;AACtD,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,OAAO,CAAC,IAAY,EAAiB,EAAE;QACrC,IAAI,CAAC;YACH,OAAO,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;QACpD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,KAA0B,EAAE,YAA0B;IACjF,MAAM,QAAQ,GAAc;QAC1B,GAAG,qBAAqB,CAAC,KAAK,CAAC;QAC/B,GAAG,qBAAqB,CAAC,KAAK,EAAE,YAAY,CAAC;QAC7C,GAAG,oBAAoB,CAAC,KAAK,EAAE,YAAY,CAAC;QAC5C,GAAG,0BAA0B,CAAC,KAAK,EAAE,YAAY,CAAC;KACnD,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;AACnD,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,gBAAgB,CAAC,QAAgB,EAAE,YAA0B;IAC3E,OAAO,YAAY,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC,CAAC;AAChE,CAAC"}

package/dist/delegate-gate/minimality.d.ts

@@ -0,0 +1,30 @@
+import type { DiffFile, DiffHunk } from "./diff-parser.js";
+import type { Finding } from "./types.js";
+/**
+ * Is this hunk PURE indentation churn: every removed and every added line accounted for by a
+ * whitespace-only pair, with nothing left unpaired?
+ *
+ * The "fully paired" requirement (every remove and every add line in the hunk is consumed by a
+ * 1:1 pair) is what makes the auto-fix in `fix.ts` safe: dropping a fully-paired churn hunk
+ * removes an equal number of old-side and new-side lines, so it can never shift another hunk's
+ * line numbers. A hunk containing an unequal-length remove/add run alongside pure churn is NOT
+ * flagged here — `pairedRemoveAddRuns` silently skips unequal runs, and treating the REST of the
+ * hunk as "100% churn" while ignoring lines it could not pair would both misreport the hunk and
+ * make an auto-fix unsafe.
+ */
+export declare function isPureIndentationChurnHunk(hunk: DiffHunk): boolean;
+/**
+ * Flag indentation-only churn and count changed lines with no semantic delta.
+ *
+ * Two finding shapes:
+ *  - `indentation-churn`: a hunk whose every line is accounted for by a whitespace-only
+ *    remove/add pair — the hunk changed formatting and nothing else. Auto-fixable: dropping the
+ *    whole hunk is safe (see `isPureIndentationChurnHunk`).
+ *  - `non-minimal-diff`: a hunk that is NOT pure churn but where at least half its PAIRED changed
+ *    lines (≥6 of them) carry no semantic delta — evidence of a diff that reformats lines it did
+ *    not need to touch alongside a real change, i.e. class (e), "non-minimal diffs touching
+ *    unrelated lines". Not auto-fixable: a partial hunk mixes a real edit with the noise, and
+ *    removing only the noise without re-deriving the hunk boundaries risks corrupting the real
+ *    change.
+ */
+export declare function analyzeDiffMinimality(files: readonly DiffFile[]): Finding[];