@coldtea/abide 0.0.1

package/dist/hooks/stop.js

@@ -0,0 +1,227 @@
+import { existsSync } from "node:fs";
+import path from "node:path";
+import { createBlobId, isAbideError, stopInputSchema, turnIdOf, } from "@coldtea/abide-schema";
+import { mergeOutcomes, runCheck } from "../lib/checkRunner.js";
+import { MAX_STOP_CHECKS_PER_TURN, STOP_FALLBACK_DIFF_TIMEOUT_MS, STOP_GIT_TIMEOUT_MS, TURN_CHECK_TIMEOUT_MS, } from "../lib/constants.js";
+import { editsCoverFile } from "../lib/coverage.js";
+import { boundState, remainingMs, unifiedDiff } from "../lib/diff.js";
+import { appendEvent } from "../lib/events.js";
+import { blobIdsAt, diffTrees, snapshotTree, splitDiff } from "../lib/git.js";
+import { hasApiKey } from "../lib/credentials.js";
+import { loadRules } from "../lib/loadRules.js";
+import { debug } from "../lib/output.js";
+import { findRepoRoot, isExcludedPath, relativeToRoot } from "../lib/paths.js";
+import { readRegularFile, readRegularText } from "../lib/regularFile.js";
+import { flagNotice, repairReason } from "../lib/reason.js";
+import { clearTurn, hasTurnState, incrementStopChecks, readBaseline, readBlockedFiles, readBaselineStatus, readChecked, readFileStarts, readPrompt, stopCheckCount, turnDir, } from "../lib/session.js";
+import { lastUserPrompt } from "../lib/transcript.js";
+/**
+ * Everything the turn changed. With a baseline from turn-start it is the git
+ * diff between then and now, whichever tool made the change. Without one it
+ * is each file's start-of-turn content against the disk, which sees only what
+ * Edit and Write touched. Every diff here shares one budget, and a turn that
+ * did not fit in it is reported as incomplete rather than checked in part.
+ */
+export const turnDiff = (root, dir) => {
+    const status = readBaselineStatus(dir);
+    if (status === "failed" || status === "pending") {
+        return {
+            kind: "incomplete",
+            reason: "git could not snapshot the working tree at turn start",
+            missing: [],
+        };
+    }
+    const baseline = readBaseline(dir);
+    if (baseline !== undefined) {
+        const started = performance.now();
+        const now = snapshotTree(root, path.join(dir, "index"), STOP_GIT_TIMEOUT_MS);
+        const left = Math.floor(STOP_GIT_TIMEOUT_MS - (performance.now() - started));
+        const patch = now === undefined || left <= 0 ? undefined : diffTrees(root, baseline, now, left);
+        if (patch === undefined)
+            return {
+                kind: "incomplete",
+                reason: "git could not snapshot the working tree in time",
+                missing: [],
+            };
+        const fileDiffs = splitDiff(patch);
+        const files = fileDiffs.map((f) => f.file);
+        const stillLeft = Math.floor(STOP_GIT_TIMEOUT_MS - (performance.now() - started));
+        const ids = stillLeft <= 0 ? undefined : blobIdsAt(root, baseline, files, stillLeft);
+        return {
+            kind: "complete",
+            files,
+            fileDiffs,
+            source: "git",
+            startIds: ids === undefined ? undefined : new Map(files.map((f) => [f, ids.get(f) ?? null])),
+        };
+    }
+    const deadline = performance.now() + STOP_FALLBACK_DIFF_TIMEOUT_MS;
+    const fileDiffs = [];
+    const missing = [];
+    const startIds = new Map();
+    for (const start of readFileStarts(dir)) {
+        const relative = relativeToRoot(root, start.path);
+        if (relative.startsWith("..") || isExcludedPath(relative))
+            continue;
+        const after = readRegularText(start.path) ?? null;
+        if (after === null && existsSync(start.path)) {
+            missing.push(relative);
+            continue;
+        }
+        if (start.original === after)
+            continue;
+        const patch = unifiedDiff(relative, start.original ?? "", after ?? "", remainingMs(deadline));
+        if (patch === undefined) {
+            missing.push(relative);
+            continue;
+        }
+        fileDiffs.push(...splitDiff(patch));
+        startIds.set(relative, start.original === null ? null : createBlobId(start.original));
+    }
+    if (missing.length > 0) {
+        return {
+            kind: "incomplete",
+            reason: "some files changed this turn could not be diffed in time",
+            missing,
+        };
+    }
+    return {
+        kind: "complete",
+        files: fileDiffs.map((f) => f.file),
+        fileDiffs,
+        source: "files",
+        startIds,
+    };
+};
+export const handleStop = async (raw) => {
+    const parsed = stopInputSchema.safeParse(raw);
+    if (!parsed.success)
+        return { kind: "silent" };
+    const input = parsed.data;
+    const started = performance.now();
+    const at = new Date().toISOString();
+    const root = findRepoRoot(input.cwd);
+    const dir = turnDir(input.session_id, turnIdOf(input));
+    const finish = (output) => {
+        if (output.kind !== "block")
+            clearTurn(dir);
+        return output;
+    };
+    if (!hasTurnState(dir))
+        return finish({ kind: "silent" });
+    if (stopCheckCount(dir) >= MAX_STOP_CHECKS_PER_TURN)
+        return finish({ kind: "silent" });
+    const loaded = loadRules(root);
+    for (const problem of loaded.problems)
+        debug(problem);
+    if (loaded.rules.length === 0)
+        return finish({ kind: "silent" });
+    const turn = turnDiff(root, dir);
+    if (turn.kind === "incomplete") {
+        appendEvent(root, {
+            kind: "skip",
+            at,
+            phase: "turn",
+            sessionId: input.session_id,
+            reason: `turn diff incomplete: ${turn.reason}`,
+            files: turn.missing,
+        });
+        return finish({ kind: "silent" });
+    }
+    const { files, fileDiffs } = turn;
+    if (files.length === 0)
+        return finish({ kind: "silent" });
+    const bounded = fileDiffs.map((f) => ({
+        file: f.file,
+        text: boundState(f.text, 8_000).text,
+    }));
+    if (!hasApiKey(root)) {
+        appendEvent(root, {
+            kind: "skip",
+            at,
+            phase: "turn",
+            sessionId: input.session_id,
+            reason: "no api key",
+            files,
+        });
+    }
+    incrementStopChecks(dir);
+    // Edit-phase rules rerun on files the edit checks did not see whole, and on
+    // blocked ones: a block the agent ignored must not end the turn quietly.
+    const checked = readChecked(dir);
+    const blocked = readBlockedFiles(dir);
+    const covered = (file) => {
+        if (turn.startIds === undefined || blocked.has(file))
+            return false;
+        const now = readRegularFile(path.join(root, file));
+        if (now === undefined)
+            return false;
+        const start = turn.startIds.get(file) ?? null;
+        return editsCoverFile(start, checked.filter((e) => e.path === file), createBlobId(now));
+    };
+    const unchecked = bounded.filter((f) => !covered(f.file));
+    const task = lastUserPrompt(input.transcript_path ?? undefined) ?? readPrompt(dir);
+    let outcome;
+    try {
+        const turnOutcome = await runCheck({
+            phase: "turn",
+            fileDiffs: bounded,
+            task,
+            rules: loaded.rules,
+            thresholds: loaded.thresholds,
+            timeoutMs: TURN_CHECK_TIMEOUT_MS,
+        });
+        const editOutcomes = await Promise.all(unchecked.map((f) => runCheck({
+            phase: "edit",
+            fileDiffs: [f],
+            task,
+            rules: loaded.rules,
+            thresholds: loaded.thresholds,
+            timeoutMs: TURN_CHECK_TIMEOUT_MS,
+        })));
+        outcome = mergeOutcomes([turnOutcome, ...editOutcomes]);
+    }
+    catch (error) {
+        appendEvent(root, {
+            kind: "error",
+            at,
+            phase: "turn",
+            sessionId: input.session_id,
+            code: isAbideError(error) ? error.code : "CHECK_FAILED",
+            message: error instanceof Error ? error.message : String(error),
+            latencyMs: Math.round(performance.now() - started),
+        });
+        return finish({ kind: "silent" });
+    }
+    const byId = new Map(loaded.rules.map((r) => [r.id, r]));
+    const pairs = (band) => outcome.verdicts.flatMap((verdict) => {
+        const rule = byId.get(verdict.ruleId);
+        return rule !== undefined && verdict.band === band ? [{ rule, verdict }] : [];
+    });
+    const acting = pairs("act");
+    const flagged = pairs("flag");
+    appendEvent(root, {
+        kind: "check",
+        at,
+        phase: "turn",
+        sessionId: input.session_id,
+        promptId: turnIdOf(input),
+        files,
+        rules: outcome.modelRules.length,
+        latencyMs: Math.round(performance.now() - started),
+        modelLatencyMs: outcome.modelLatencyMs,
+        usage: outcome.usage,
+        verdicts: outcome.verdicts,
+        blocked: acting.length > 0,
+    });
+    const systemMessage = flagged.length > 0 ? flagNotice("turn", flagged, files) : undefined;
+    if (acting.length > 0) {
+        return finish({
+            kind: "block",
+            reason: repairReason("turn", acting, files),
+            ...(systemMessage === undefined ? {} : { systemMessage }),
+        });
+    }
+    return finish(systemMessage === undefined ? { kind: "silent" } : { kind: "notice", systemMessage });
+};
+//# sourceMappingURL=stop.js.map

package/dist/hooks/stop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stop.js","sourceRoot":"","sources":["../../src/hooks/stop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,eAAe,EACf,QAAQ,GAIT,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAqB,MAAM,uBAAuB,CAAC;AACnF,OAAO,EACL,wBAAwB,EACxB,6BAA6B,EAC7B,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAiB,MAAM,eAAe,CAAC;AAC7F,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EACL,SAAS,EACT,YAAY,EACZ,mBAAmB,EACnB,YAAY,EACZ,gBAAgB,EAChB,kBAAkB,EAClB,WAAW,EACX,cAAc,EACd,UAAU,EACV,cAAc,EACd,OAAO,GACR,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AActD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,GAAW,EAAY,EAAE;IAC9D,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAChD,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,uDAAuD;YAC/D,OAAO,EAAE,EAAE;SACZ,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IACnC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,mBAAmB,CAAC,CAAC;QAC7E,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;QAC7E,MAAM,KAAK,GAAG,GAAG,KAAK,SAAS,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAChG,IAAI,KAAK,KAAK,SAAS;YACrB,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,iDAAiD;gBACzD,OAAO,EAAE,EAAE;aACZ,CAAC;QACJ,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;QAClF,MAAM,GAAG,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QACrF,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,KAAK;YACL,SAAS;YACT,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;SAC7F,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,6BAA6B,CAAC;IACnE,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;IAClD,KAAK,MAAM,KAAK,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC;YAAE,SAAS;QACpE,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAClD,IAAI,KAAK,KAAK,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK;YAAE,SAAS;QACvC,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,KAAK,IAAI,EAAE,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC9F,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QACpC,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,0DAA0D;YAClE,OAAO;SACR,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACnC,SAAS;QACT,MAAM,EAAE,OAAO;QACf,QAAQ;KACT,CAAC;AACJ,CAAC,CAAC;AAIF,MAAM,CAAC,MAAM,UAAU,GAAG,KAAK,EAAE,GAAY,EAAuB,EAAE;IACpE,MAAM,MAAM,GAAG,eAAe,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC;IAC1B,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IAClC,MAAM,EAAE,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACpC,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAEvD,MAAM,MAAM,GAAG,CAAC,MAAkB,EAAc,EAAE;QAChD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS,CAAC,GAAG,CAAC,CAAC;QAC5C,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC1D,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,wBAAwB;QAAE,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAEvF,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC/B,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ;QAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IACtD,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAEjE,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACjC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,WAAW,CAAC,IAAI,EAAE;YAChB,IAAI,EAAE,MAAM;YACZ,EAAE;YACF,KAAK,EAAE,MAAM;YACb,SAAS,EAAE,KAAK,CAAC,UAAU;YAC3B,MAAM,EAAE,yBAAyB,IAAI,CAAC,MAAM,EAAE;YAC9C,KAAK,EAAE,IAAI,CAAC,OAAO;SACpB,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC;IAClC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC1D,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACpC,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI;KACrC,CAAC,CAAC,CAAC;IAEJ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,WAAW,CAAC,IAAI,EAAE;YAChB,IAAI,EAAE,MAAM;YACZ,EAAE;YACF,KAAK,EAAE,MAAM;YACb,SAAS,EAAE,KAAK,CAAC,UAAU;YAC3B,MAAM,EAAE,YAAY;YACpB,KAAK;SACN,CAAC,CAAC;IACL,CAAC;IAED,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACzB,4EAA4E;IAC5E,yEAAyE;IACzE,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,CAAC,IAAY,EAAW,EAAE;QACxC,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACnE,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACnD,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAC9C,OAAO,cAAc,CACnB,KAAK,EACL,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EACtC,YAAY,CAAC,GAAG,CAAC,CAClB,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,eAAe,IAAI,SAAS,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;IACnF,IAAI,OAAqB,CAAC;IAC1B,IAAI,CAAC;QACH,MAAM,WAAW,GAAG,MAAM,QAAQ,CAAC;YACjC,KAAK,EAAE,MAAM;YACb,SAAS,EAAE,OAAO;YAClB,IAAI;YACJ,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,SAAS,EAAE,qBAAqB;SACjC,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,MAAM,OAAO,CAAC,GAAG,CACpC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAClB,QAAQ,CAAC;YACP,KAAK,EAAE,MAAM;YACb,SAAS,EAAE,CAAC,CAAC,CAAC;YACd,IAAI;YACJ,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,SAAS,EAAE,qBAAqB;SACjC,CAAC,CACH,CACF,CAAC;QACF,OAAO,GAAG,aAAa,CAAC,CAAC,WAAW,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC;IAC1D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,WAAW,CAAC,IAAI,EAAE;YAChB,IAAI,EAAE,OAAO;YACb,EAAE;YACF,KAAK,EAAE,MAAM;YACb,SAAS,EAAE,KAAK,CAAC,UAAU;YAC3B,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc;YACvD,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;YAC/D,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC;SACnD,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IACpC,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,KAAK,GAAG,CAAC,IAAqB,EAAU,EAAE,CAC9C,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACtC,OAAO,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChF,CAAC,CAAC,CAAC;IACL,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAE9B,WAAW,CAAC,IAAI,EAAE;QAChB,IAAI,EAAE,OAAO;QACb,EAAE;QACF,KAAK,EAAE,MAAM;QACb,SAAS,EAAE,KAAK,CAAC,UAAU;QAC3B,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC;QACzB,KAAK;QACL,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM;QAChC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC;QAClD,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,OAAO,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC;KAC3B,CAAC,CAAC;IAEH,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1F,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC;YACZ,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC;YAC3C,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC;SAC1D,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CACX,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CACrF,CAAC;AACJ,CAAC,CAAC"}

package/dist/hooks/turnStart.d.ts

@@ -0,0 +1,8 @@
+import { type HookOutput } from "@coldtea/abide-schema";
+/**
+ * The turn is about to begin: remember what the working tree looks like now,
+ * so the Stop check can diff the whole turn, whichever tool made the changes.
+ * Prints nothing: on this event plain stdout would become context.
+ */
+export declare const handleTurnStart: (raw: unknown) => Promise<HookOutput>;
+//# sourceMappingURL=turnStart.d.ts.map

package/dist/hooks/turnStart.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"turnStart.d.ts","sourceRoot":"","sources":["../../src/hooks/turnStart.ts"],"names":[],"mappings":"AACA,OAAO,EAAkC,KAAK,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAMxF;;;;GAIG;AACH,eAAO,MAAM,eAAe,QAAe,OAAO,KAAG,OAAO,CAAC,UAAU,CAuBtE,CAAC"}

package/dist/hooks/turnStart.js

@@ -0,0 +1,40 @@
+import path from "node:path";
+import { turnIdOf, turnStartInputSchema } from "@coldtea/abide-schema";
+import { TURN_START_TIMEOUT_MS } from "../lib/constants.js";
+import { isGitRepo, snapshotTree } from "../lib/git.js";
+import { findRepoRoot } from "../lib/paths.js";
+import { clearTurn, markBaseline, turnDir, writeBaseline, writePrompt } from "../lib/session.js";
+/**
+ * The turn is about to begin: remember what the working tree looks like now,
+ * so the Stop check can diff the whole turn, whichever tool made the changes.
+ * Prints nothing: on this event plain stdout would become context.
+ */
+export const handleTurnStart = async (raw) => {
+    const parsed = turnStartInputSchema.safeParse(raw);
+    if (!parsed.success)
+        return { kind: "silent" };
+    const input = parsed.data;
+    const root = findRepoRoot(input.cwd);
+    const turnId = turnIdOf(input);
+    const dir = turnDir(input.session_id, turnId);
+    // Without a turn id every turn shares one directory, so the last turn's
+    // records go before this one's start.
+    if (turnId === undefined)
+        clearTurn(dir);
+    if (input.prompt !== undefined)
+        writePrompt(dir, input.prompt);
+    if (!isGitRepo(root))
+        return { kind: "silent" };
+    // Written before the attempt: a hook that dies mid-snapshot leaves "pending"
+    // behind, and the Stop check reads that as a turn it cannot see whole.
+    markBaseline(dir, "pending");
+    const tree = snapshotTree(root, path.join(dir, "index"), TURN_START_TIMEOUT_MS);
+    if (tree === undefined) {
+        markBaseline(dir, "failed");
+        return { kind: "silent" };
+    }
+    writeBaseline(dir, tree);
+    markBaseline(dir, "ok");
+    return { kind: "silent" };
+};
+//# sourceMappingURL=turnStart.js.map

package/dist/hooks/turnStart.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"turnStart.js","sourceRoot":"","sources":["../../src/hooks/turnStart.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,QAAQ,EAAE,oBAAoB,EAAmB,MAAM,uBAAuB,CAAC;AACxF,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEjG;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,KAAK,EAAE,GAAY,EAAuB,EAAE;IACzE,MAAM,MAAM,GAAG,oBAAoB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC;IAC1B,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC9C,wEAAwE;IACxE,sCAAsC;IACtC,IAAI,MAAM,KAAK,SAAS;QAAE,SAAS,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC/D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAChD,6EAA6E;IAC7E,uEAAuE;IACvE,YAAY,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,qBAAqB,CAAC,CAAC;IAChF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,YAAY,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC5B,CAAC;IACD,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzB,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC,CAAC"}

package/dist/lib/applyPatch.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Codex edits files through `apply_patch`, whose input is its own patch
+ * dialect: one `*** Begin Patch` block holding `*** Add File:`,
+ * `*** Update File:` (optionally followed by `*** Move to:`) and
+ * `*** Delete File:` sections. Update sections carry hunks that are already
+ * diff-shaped, so the text the judge sees is the section itself.
+ */
+export type PatchedFile = {
+    kind: "add";
+    path: string;
+    text: string;
+} | {
+    kind: "update";
+    path: string;
+    text: string;
+    movedTo?: string;
+} | {
+    kind: "delete";
+    path: string;
+};
+export declare const parseApplyPatch: (command: string) => PatchedFile[];
+//# sourceMappingURL=applyPatch.d.ts.map

package/dist/lib/applyPatch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"applyPatch.d.ts","sourceRoot":"","sources":["../../src/lib/applyPatch.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GAChE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAYrC,eAAO,MAAM,eAAe,YAAa,MAAM,KAAG,WAAW,EAoD5D,CAAC"}

package/dist/lib/applyPatch.js

@@ -0,0 +1,63 @@
+const ADD = "*** Add File: ";
+const UPDATE = "*** Update File: ";
+const DELETE = "*** Delete File: ";
+const MOVE = "*** Move to: ";
+const hunkHeader = (line) => {
+    const context = line.slice(2).trim();
+    return context === "" ? "@@" : `@@ ${context}`;
+};
+export const parseApplyPatch = (command) => {
+    const files = [];
+    let open;
+    const close = () => {
+        if (open === undefined)
+            return;
+        const text = open.lines.join("\n");
+        files.push(open.kind === "add"
+            ? { kind: "add", path: open.path, text }
+            : {
+                kind: "update",
+                path: open.path,
+                text,
+                ...(open.movedTo === undefined ? {} : { movedTo: open.movedTo }),
+            });
+        open = undefined;
+    };
+    for (const line of command.split("\n")) {
+        if (line === "*** Begin Patch" || line === "*** End Patch") {
+            close();
+            continue;
+        }
+        if (line.startsWith(ADD)) {
+            close();
+            open = { kind: "add", path: line.slice(ADD.length).trim(), lines: [] };
+            continue;
+        }
+        if (line.startsWith(UPDATE)) {
+            close();
+            open = { kind: "update", path: line.slice(UPDATE.length).trim(), lines: [] };
+            continue;
+        }
+        if (line.startsWith(DELETE)) {
+            close();
+            files.push({ kind: "delete", path: line.slice(DELETE.length).trim() });
+            continue;
+        }
+        if (open === undefined)
+            continue;
+        if (line.startsWith(MOVE)) {
+            open.movedTo = line.slice(MOVE.length).trim();
+            continue;
+        }
+        if (line.startsWith("@@")) {
+            open.lines.push(hunkHeader(line));
+            continue;
+        }
+        if (line === "*** End of File")
+            continue;
+        open.lines.push(open.kind === "add" && !line.startsWith("+") ? `+${line}` : line);
+    }
+    close();
+    return files;
+};
+//# sourceMappingURL=applyPatch.js.map

package/dist/lib/applyPatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"applyPatch.js","sourceRoot":"","sources":["../../src/lib/applyPatch.ts"],"names":[],"mappings":"AAYA,MAAM,GAAG,GAAG,gBAAgB,CAAC;AAC7B,MAAM,MAAM,GAAG,mBAAmB,CAAC;AACnC,MAAM,MAAM,GAAG,mBAAmB,CAAC;AACnC,MAAM,IAAI,GAAG,eAAe,CAAC;AAE7B,MAAM,UAAU,GAAG,CAAC,IAAY,EAAU,EAAE;IAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,OAAO,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,OAAO,EAAE,CAAC;AACjD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAAe,EAAiB,EAAE;IAChE,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,IAAI,IAA6F,CAAC;IAClG,MAAM,KAAK,GAAG,GAAS,EAAE;QACvB,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,KAAK,CAAC,IAAI,CACR,IAAI,CAAC,IAAI,KAAK,KAAK;YACjB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE;YACxC,CAAC,CAAC;gBACE,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI;gBACJ,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;aACjE,CACN,CAAC;QACF,IAAI,GAAG,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,IAAI,IAAI,KAAK,iBAAiB,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;YAC3D,KAAK,EAAE,CAAC;YACR,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,EAAE,CAAC;YACR,IAAI,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YACvE,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,KAAK,EAAE,CAAC;YACR,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YAC7E,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,KAAK,EAAE,CAAC;YACR,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACvE,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;YAC9C,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,iBAAiB;YAAE,SAAS;QACzC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACpF,CAAC;IACD,KAAK,EAAE,CAAC;IACR,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/dist/lib/audit.d.ts

@@ -0,0 +1,40 @@
+import type { Rule, Thresholds, Verdict } from "@coldtea/abide-schema";
+/** Every tracked or untracked-but-not-ignored file under the given paths, repo-relative. */
+export declare const listRepoFiles: (root: string, paths: readonly string[]) => string[];
+/** The files at least one active edit-phase model rule applies to; audits judge nothing else. */
+export declare const auditableFiles: (root: string, files: readonly string[], rules: readonly Rule[]) => {
+    files: string[];
+    skipped: {
+        tooBig: string[];
+        outOfScope: number;
+    };
+};
+/** A whole file as one hunk of added lines: how an audit shows a judge a file that was never "changed". */
+export declare const fileAsAdded: (content: string) => string;
+/** Lines per chunk. A judge asked about a 900 line file answers about the average of it; asked about 150 lines it answers about those lines. */
+export declare const AUDIT_CHUNK_LINES = 150;
+/** A file as consecutive hunks of added lines, each small enough to be judged on its own. */
+export declare const fileAsChunks: (content: string, size?: number) => string[];
+export type AuditFileResult = {
+    file: string;
+    verdicts: Verdict[];
+    rules: number;
+    latencyMs: number;
+    costUsd: number;
+    /** Chunks the gateway never answered, so the file was judged in part or not at all. */
+    chunksFailed?: number;
+    chunks?: number;
+    error?: string;
+};
+export type AuditProgress = (done: number, total: number, spendUsd: number) => void;
+export declare const pool: <T>(items: readonly T[], size: number, work: (item: T) => Promise<void>) => Promise<void>;
+export declare const auditFiles: (root: string, files: readonly string[], rules: readonly Rule[], thresholds: Thresholds, concurrency: number, progress: AuditProgress) => Promise<AuditFileResult[]>;
+export type RuleTally = {
+    ruleId: string;
+    broken: string[];
+    flagged: string[];
+    checked: number;
+};
+/** Per rule: which files break it, which are uncertain, how many it saw. Loudest first. */
+export declare const tallyByRule: (results: readonly AuditFileResult[]) => RuleTally[];
+//# sourceMappingURL=audit.d.ts.map

package/dist/lib/audit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit.d.ts","sourceRoot":"","sources":["../../src/lib/audit.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAcvE,4FAA4F;AAC5F,eAAO,MAAM,aAAa,SAAU,MAAM,SAAS,SAAS,MAAM,EAAE,KAAG,MAAM,EAoB5E,CAAC;AAeF,iGAAiG;AACjG,eAAO,MAAM,cAAc,SACnB,MAAM,SACL,SAAS,MAAM,EAAE,SACjB,SAAS,IAAI,EAAE,KACrB;IAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE;QAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAA;CA2BtE,CAAC;AAEF,2GAA2G;AAC3G,eAAO,MAAM,WAAW,YAAa,MAAM,KAAG,MAI7C,CAAC;AAEF,gJAAgJ;AAChJ,eAAO,MAAM,iBAAiB,MAAM,CAAC;AAErC,6FAA6F;AAC7F,eAAO,MAAM,YAAY,YAAa,MAAM,oBAA6B,MAAM,EAU9E,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,uFAAuF;IACvF,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,IAAI,CAAC;AAEpF,eAAO,MAAM,IAAI,GAAU,CAAC,SACnB,SAAS,CAAC,EAAE,QACb,MAAM,QACN,CAAC,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,KAC/B,OAAO,CAAC,IAAI,CAYd,CAAC;AAkDF,eAAO,MAAM,UAAU,SACf,MAAM,SACL,SAAS,MAAM,EAAE,SACjB,SAAS,IAAI,EAAE,cACV,UAAU,eACT,MAAM,YACT,aAAa,KACtB,OAAO,CAAC,eAAe,EAAE,CA6C3B,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjG,2FAA2F;AAC3F,eAAO,MAAM,WAAW,YAAa,SAAS,eAAe,EAAE,KAAG,SAAS,EAiB1E,CAAC"}

package/dist/lib/audit.js

@@ -0,0 +1,215 @@
+import { lstatSync, realpathSync } from "node:fs";
+import path from "node:path";
+import { spawnSync } from "node:child_process";
+import { loudestVerdicts, runCheck } from "./checkRunner.js";
+import { MAX_DIFF_INPUT_CHARS } from "./constants.js";
+import { isExcludedPath, relativeToRoot } from "./paths.js";
+import { readRegularText } from "./regularFile.js";
+/** An audit is not on the agent's clock: a call may wait out a rate limit rather than count as a miss. */
+const AUDIT_CALL_TIMEOUT_MS = 30_000;
+import { isModelRule } from "./jev.js";
+import { ruleAppliesTo } from "./scope.js";
+const SKIP_FILE = /(^|\/)(package-lock\.json|pnpm-lock\.yaml|yarn\.lock|bun\.lockb?|Cargo\.lock|go\.sum)$|\.(min\.js|min\.css|map|svg|png|jpg|jpeg|gif|ico|woff2?|ttf|pdf|lock|snap|jsonl)$/;
+/** Every tracked or untracked-but-not-ignored file under the given paths, repo-relative. */
+export const listRepoFiles = (root, paths) => {
+    const args = [
+        "ls-files",
+        "--cached",
+        "--others",
+        "--exclude-standard",
+        "-z",
+        "--",
+        ...(paths.length ? paths : ["."]),
+    ];
+    const result = spawnSync("git", args, {
+        cwd: root,
+        encoding: "utf8",
+        maxBuffer: 64 * 1024 * 1024,
+        timeout: 20_000,
+    });
+    if (result.status !== 0)
+        return [];
+    return result.stdout
+        .split("\0")
+        .filter((f) => f !== "" && !SKIP_FILE.test(f) && !isExcludedPath(f));
+};
+/** Real path of a file, or nothing if any link on the way leads out of the repo or to an excluded file. */
+const insideRepo = (root, file) => {
+    if (isExcludedPath(file))
+        return undefined;
+    try {
+        const base = realpathSync(root);
+        const real = realpathSync(path.join(root, file));
+        if (!real.startsWith(`${base}${path.sep}`))
+            return undefined;
+        return isExcludedPath(relativeToRoot(base, real)) ? undefined : real;
+    }
+    catch {
+        return undefined;
+    }
+};
+/** The files at least one active edit-phase model rule applies to; audits judge nothing else. */
+export const auditableFiles = (root, files, rules) => {
+    const editRules = rules.filter((r) => isModelRule(r) && r.status === "active" && r.when === "edit");
+    const kept = [];
+    const tooBig = [];
+    let outOfScope = 0;
+    for (const file of files) {
+        if (!editRules.some((r) => ruleAppliesTo(r, file))) {
+            outOfScope += 1;
+            continue;
+        }
+        const real = insideRepo(root, file);
+        if (real === undefined)
+            continue;
+        try {
+            const stat = lstatSync(real);
+            if (!stat.isFile())
+                continue;
+            if (stat.size > MAX_DIFF_INPUT_CHARS) {
+                tooBig.push(file);
+                continue;
+            }
+        }
+        catch {
+            continue;
+        }
+        kept.push(file);
+    }
+    return { files: kept, skipped: { tooBig, outOfScope } };
+};
+/** A whole file as one hunk of added lines: how an audit shows a judge a file that was never "changed". */
+export const fileAsAdded = (content) => {
+    const lines = content.split("\n");
+    if (lines.at(-1) === "")
+        lines.pop();
+    return `@@ -0,0 +1,${lines.length} @@\n${lines.map((l) => `+${l}`).join("\n")}`;
+};
+/** Lines per chunk. A judge asked about a 900 line file answers about the average of it; asked about 150 lines it answers about those lines. */
+export const AUDIT_CHUNK_LINES = 150;
+/** A file as consecutive hunks of added lines, each small enough to be judged on its own. */
+export const fileAsChunks = (content, size = AUDIT_CHUNK_LINES) => {
+    const lines = content.split("\n");
+    if (lines.at(-1) === "")
+        lines.pop();
+    if (lines.length === 0)
+        return [];
+    const chunks = [];
+    for (let start = 0; start < lines.length; start += size) {
+        const part = lines.slice(start, start + size);
+        chunks.push(`@@ -0,0 +${start + 1},${part.length} @@\n${part.map((l) => `+${l}`).join("\n")}`);
+    }
+    return chunks;
+};
+export const pool = async (items, size, work) => {
+    let next = 0;
+    const workers = Array.from({ length: Math.max(1, Math.min(size, items.length)) }, async () => {
+        for (;;) {
+            const index = next;
+            next += 1;
+            const item = items[index];
+            if (item === undefined)
+                return;
+            await work(item);
+        }
+    });
+    await Promise.all(workers);
+};
+const judge = async (file, chunks, rules, thresholds) => {
+    const outs = [];
+    const failed = [];
+    for (const text of chunks) {
+        try {
+            outs.push(await runCheck({
+                phase: "edit",
+                fileDiffs: [{ file, text }],
+                rules,
+                thresholds,
+                timeoutMs: AUDIT_CALL_TIMEOUT_MS,
+                retries: 3,
+            }));
+        }
+        catch (error) {
+            failed.push({ text, error: error instanceof Error ? error.message : String(error) });
+        }
+    }
+    return { outs, failed, chunks: chunks.length };
+};
+const summarize = (file, judged) => {
+    const costUsd = judged.outs.reduce((s, o) => s + (o.usage.costUsd ?? 0), 0);
+    const last = judged.failed.at(-1);
+    return {
+        file,
+        verdicts: loudestVerdicts(judged.outs.flatMap((o) => o.verdicts)),
+        rules: judged.outs[0]?.modelRules.length ?? 0,
+        latencyMs: judged.outs.reduce((s, o) => s + o.modelLatencyMs, 0),
+        costUsd,
+        chunks: judged.chunks,
+        ...(judged.failed.length > 0
+            ? {
+                chunksFailed: judged.failed.length,
+                error: `${judged.failed.length} of ${judged.chunks} chunks not judged: ${last?.error ?? "unknown"}`,
+            }
+            : {}),
+    };
+};
+export const auditFiles = async (root, files, rules, thresholds, concurrency, progress) => {
+    const judgedByFile = new Map();
+    const unreadable = [];
+    let done = 0;
+    let spendUsd = 0;
+    await pool(files, concurrency, async (file) => {
+        const real = insideRepo(root, file);
+        const content = real === undefined ? undefined : readRegularText(real, { followSymlinks: false });
+        if (content === undefined) {
+            unreadable.push({
+                file,
+                verdicts: [],
+                rules: 0,
+                latencyMs: 0,
+                costUsd: 0,
+                error: "not a regular file inside the repository, or could not be read",
+            });
+            return;
+        }
+        const judged = await judge(file, fileAsChunks(content), rules, thresholds);
+        judgedByFile.set(file, judged);
+        spendUsd += judged.outs.reduce((s, o) => s + (o.usage.costUsd ?? 0), 0);
+        done += 1;
+        progress(done, files.length, spendUsd);
+    });
+    // A second pass, one at a time, for chunks the gateway turned away while it
+    // was busy with the rest of the pool. Most of them go through on their own.
+    for (const [file, judged] of judgedByFile) {
+        if (judged.failed.length === 0)
+            continue;
+        const retried = await judge(file, judged.failed.map((f) => f.text), rules, thresholds);
+        judged.outs.push(...retried.outs);
+        judged.failed = retried.failed;
+        spendUsd += retried.outs.reduce((s, o) => s + (o.usage.costUsd ?? 0), 0);
+        progress(done, files.length, spendUsd);
+    }
+    return [
+        ...unreadable,
+        ...[...judgedByFile].map(([file, judged]) => summarize(file, judged)),
+    ].sort((a, b) => a.file.localeCompare(b.file));
+};
+/** Per rule: which files break it, which are uncertain, how many it saw. Loudest first. */
+export const tallyByRule = (results) => {
+    const byRule = new Map();
+    for (const r of results) {
+        for (const v of r.verdicts) {
+            const t = byRule.get(v.ruleId) ?? { ruleId: v.ruleId, broken: [], flagged: [], checked: 0 };
+            t.checked += 1;
+            if (v.band === "act")
+                t.broken.push(r.file);
+            else if (v.band === "flag")
+                t.flagged.push(r.file);
+            byRule.set(v.ruleId, t);
+        }
+    }
+    return [...byRule.values()].sort((a, b) => b.broken.length - a.broken.length ||
+        b.flagged.length - a.flagged.length ||
+        a.ruleId.localeCompare(b.ruleId));
+};
+//# sourceMappingURL=audit.js.map