audit-tools 0.32.20 → 0.32.22

package/dist/remediate/steps/dispatch/common.d.ts

@@ -0,0 +1,123 @@
+export interface DispatchOptions {
+    root: string;
+    artifactsDir: string;
+}
+/** Normalize a declared path (absolute, repo-relative, or back-slashed) to a repo-relative forward-slash string. */
+export declare function toRepoRelative(p: string, root: string): string;
+export declare function uniquePaths(paths: string[]): string[];
+export declare function runDir(artifactsDir: string, runId: string, phase: string): string;
+export declare function dispatchPlanPath(artifactsDir: string, runId: string, phase: string): string;
+/**
+ * Canonical comparison key for a filesystem path. `realpathSync` resolves
+ * symlinks and platform short-names so it matches git's `--show-toplevel`
+ * output (macOS TMPDIR `/var`→`/private/var`, Windows 8.3 names); falls back to
+ * `resolve` for paths that don't exist on disk (e.g. mocked unit tests).
+ */
+export declare function canonicalPathKey(p: string): string;
+/**
+ * Deterministic name of the dedicated remediation branch for a run. Derived from
+ * the stable run id (= the plan id, constant for the whole remediation) so every
+ * wave and the final report resolve the SAME branch without persisting it. Ref-safe:
+ * any character outside [A-Za-z0-9._-] collapses to '-'. Distinct from the per-node
+ * worktree branches (`remediate-<blockId>-<runId>`) — this uses a `remediation/` ref
+ * namespace so the two never collide.
+ */
+export declare function refSafeSegment(s: string, fallback: string): string;
+/**
+ * The git top-level directory containing `cwd`, or `null` when `cwd` is not
+ * inside a git working tree (or git is unavailable). `git rev-parse
+ * --show-toplevel` emits a forward-slash absolute path on every platform.
+ */
+export declare function gitTopLevel(cwd: string): string | null;
+/** True when `root` is inside a git work tree (the git tool is present and it's a repo). */
+export declare function isGitWorkTree(root: string): boolean;
+/** True when `branch` resolves to a commit in the repo at `root`. */
+export declare function gitBranchExists(root: string, branch: string): boolean;
+/** Branch name a block's isolated worktree is created on (mirrors `worktreePath`). */
+export declare function worktreeBranchForBlock(blockId: string, runId: string): string;
+/** Outcome of resolving the worker's ACTUAL edited files from git. */
+export type GitEditedFiles = {
+    available: true;
+    files: Set<string>;
+}
+/** git is present but a probe failed against a real repo → fail closed. */
+ | {
+    available: false;
+    reason: "probe_failed";
+    error: string;
+}
+/** root is not under version control at all → no ground truth, gate is skipped. */
+ | {
+    available: false;
+    reason: "not_a_repo";
+    error: string;
+};
+/**
+ * The files a worker's worktree branch changed relative to HEAD — the ground
+ * truth for write-scope enforcement. Diffs `HEAD...<branch>` (the branch's own
+ * commits). Fail-closed / not-a-repo semantics mirror `gitEditedFiles`.
+ */
+export declare function gitEditedFilesForBranch(root: string, branch: string): GitEditedFiles;
+/** A single edited hunk on the NEW side of a branch diff (repo-relative path). */
+export interface GitBranchHunk {
+    /** Repo-relative forward-slash path the hunk belongs to. */
+    file: string;
+    /** 1-based first line of the hunk on the new side. */
+    startLine: number;
+    /** Number of new-side lines the hunk spans (a pure deletion has 0). */
+    lineCount: number;
+}
+/**
+ * Outcome of resolving a branch's ACTUAL edited HUNKS from git. Fail-closed like
+ * {@link gitEditedFilesForBranch}: on a non-repo, a failed probe, or a diff we
+ * cannot parse, `available` is false and callers MUST treat hunk info as absent
+ * (conservatively assume same-file blocks overlap — never silently drop a
+ * collision).
+ */
+export type GitBranchHunks = {
+    available: true;
+    hunks: GitBranchHunk[];
+} | {
+    available: false;
+    reason: "not_a_repo";
+    error: string;
+} | {
+    available: false;
+    reason: "probe_failed";
+    error: string;
+};
+/**
+ * Parse `git diff HEAD...<branch>` into per-hunk NEW-side line ranges — the
+ * ground truth for whether two same-file edits actually touch disjoint regions.
+ * Mirrors {@link gitEditedFilesForBranch}'s fail-closed / not-a-repo semantics:
+ * never throws; on a non-repo / failed probe / malformed diff returns a
+ * discriminated result marking hunks unavailable so the caller can fail closed.
+ *
+ * Paths are normalised to repo-relative forward-slash (the same scheme
+ * {@link gitEditedFilesForBranch} emits) so hunk files compare like-for-like
+ * with the file set.
+ */
+export declare function gitHunksForBranch(root: string, branch: string): GitBranchHunks;
+/**
+ * Parse a unified-diff body into NEW-side hunk ranges. Extracted for testability
+ * (no git spawn). Recognises `+++ b/<path>` file headers and
+ * `@@ -a,b +c,d @@` hunk headers; a header we cannot parse fails the whole probe
+ * closed (returns `probe_failed`) rather than silently producing partial hunks
+ * that would let a real overlap slip through.
+ */
+export declare function parseUnifiedDiffHunks(diffText: string): GitBranchHunks;
+/**
+ * Files the worker edited (from git) that fall OUTSIDE the block's declared
+ * write scope. Result-file artifacts and the agent-feedback file are excluded
+ * (they are sanctioned side outputs, never source edits). Returns the offending
+ * repo-relative paths (empty when the edits are fully within scope).
+ */
+export declare function writeScopeViolations(declaredWritePaths: string[], editedFiles: Set<string>, root: string): string[];
+/** Fixed prompt overhead per dispatch slot (prompt instructions, JSON schema, etc.). */
+export declare const PROMPT_OVERHEAD_TOKENS = 2000;
+/** Estimate slot tokens for an implement dispatch slot from readFiles byte sizes. */
+export declare function estimateImplementSlotTokens(readFiles: string[], root: string): number;
+/** Module-level cache: repo root → formatted conventions string. */
+export declare const detectRepoConventionsCache: Map<string, string>;
+export declare function getCachedConventions(root: string): string;
+//# sourceMappingURL=common.d.ts.map

package/dist/remediate/steps/dispatch/common.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"common.d.ts","sourceRoot":"","sources":["../../../../src/remediate/steps/dispatch/common.ts"],"names":[],"mappings":"AAaA,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;CACtB;AAMD,oHAAoH;AACpH,wBAAgB,cAAc,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAO9D;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAErD;AAED,wBAAgB,MAAM,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAEjF;AAED,wBAAgB,gBAAgB,CAC9B,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,GACZ,MAAM,CAER;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAMlD;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAOlE;AAMD;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAStD;AAED,4FAA4F;AAC5F,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAOnD;AAED,qEAAqE;AACrE,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAOrE;AAED,sFAAsF;AACtF,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAE7E;AAMD,sEAAsE;AACtE,MAAM,MAAM,cAAc,GACtB;IAAE,SAAS,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAAE;AACzC,2EAA2E;GACzE;IAAE,SAAS,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AAC7D,mFAAmF;GACjF;IAAE,SAAS,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9D;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc,CAmBpF;AAED,kFAAkF;AAClF,MAAM,WAAW,aAAa;IAC5B,4DAA4D;IAC5D,IAAI,EAAE,MAAM,CAAC;IACb,sDAAsD;IACtD,SAAS,EAAE,MAAM,CAAC;IAClB,uEAAuE;IACvE,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,GACtB;IAAE,SAAS,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,aAAa,EAAE,CAAA;CAAE,GAC3C;IAAE,SAAS,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACzD;IAAE,SAAS,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhE;;;;;;;;;;GAUG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc,CAgB9E;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,cAAc,CAgCtE;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,kBAAkB,EAAE,MAAM,EAAE,EAC5B,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,EACxB,IAAI,EAAE,MAAM,GACX,MAAM,EAAE,CAYV;AAMD,wFAAwF;AACxF,eAAO,MAAM,sBAAsB,OAAO,CAAC;AAe3C,qFAAqF;AACrF,wBAAgB,2BAA2B,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAMrF;AAMD,oEAAoE;AACpE,eAAO,MAAM,0BAA0B,qBAA4B,CAAC;AAEpE,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAOzD"}

package/dist/remediate/steps/dispatch/common.js

@@ -0,0 +1,236 @@
+import { statSync } from "node:fs";
+import { join } from "node:path";
+import { realpathSync } from "node:fs";
+import { resolve } from "node:path";
+import { spawnSyncHidden } from "audit-tools/shared";
+import { AGENT_FEEDBACK_FILENAME, detectRepoConventions, formatRepoConventions, estimateTokensFromBytes, normalizeRepoPath, } from "audit-tools/shared";
+// ---------------------------------------------------------------------------
+// Path + set primitives
+// ---------------------------------------------------------------------------
+/** Normalize a declared path (absolute, repo-relative, or back-slashed) to a repo-relative forward-slash string. */
+export function toRepoRelative(p, root) {
+    const normalizedRoot = root.replace(/\\/g, "/").replace(/\/$/, "");
+    let s = p.replace(/\\/g, "/");
+    if (s.startsWith(normalizedRoot + "/")) {
+        s = s.slice(normalizedRoot.length + 1);
+    }
+    return s;
+}
+export function uniquePaths(paths) {
+    return [...new Set(paths)];
+}
+export function runDir(artifactsDir, runId, phase) {
+    return join(artifactsDir, "runs", runId, phase);
+}
+export function dispatchPlanPath(artifactsDir, runId, phase) {
+    return join(runDir(artifactsDir, runId, phase), "dispatch-plan.json");
+}
+/**
+ * Canonical comparison key for a filesystem path. `realpathSync` resolves
+ * symlinks and platform short-names so it matches git's `--show-toplevel`
+ * output (macOS TMPDIR `/var`→`/private/var`, Windows 8.3 names); falls back to
+ * `resolve` for paths that don't exist on disk (e.g. mocked unit tests).
+ */
+export function canonicalPathKey(p) {
+    try {
+        return normalizeRepoPath(realpathSync(p));
+    }
+    catch {
+        return normalizeRepoPath(resolve(p));
+    }
+}
+/**
+ * Deterministic name of the dedicated remediation branch for a run. Derived from
+ * the stable run id (= the plan id, constant for the whole remediation) so every
+ * wave and the final report resolve the SAME branch without persisting it. Ref-safe:
+ * any character outside [A-Za-z0-9._-] collapses to '-'. Distinct from the per-node
+ * worktree branches (`remediate-<blockId>-<runId>`) — this uses a `remediation/` ref
+ * namespace so the two never collide.
+ */
+export function refSafeSegment(s, fallback) {
+    return (s
+        .replace(/[^A-Za-z0-9._-]+/g, "-")
+        .replace(/\.{2,}/g, ".") // ".." is invalid in a git ref name
+        .replace(/^[-.]+|[-.]+$/g, "") || fallback);
+}
+// ---------------------------------------------------------------------------
+// Git primitives
+// ---------------------------------------------------------------------------
+/**
+ * The git top-level directory containing `cwd`, or `null` when `cwd` is not
+ * inside a git working tree (or git is unavailable). `git rev-parse
+ * --show-toplevel` emits a forward-slash absolute path on every platform.
+ */
+export function gitTopLevel(cwd) {
+    const result = spawnSyncHidden("git", ["rev-parse", "--show-toplevel"], {
+        cwd,
+        encoding: "utf8",
+        shell: false,
+    });
+    if (result.status !== 0)
+        return null;
+    const top = (result.stdout ?? "").trim();
+    return top.length > 0 ? top : null;
+}
+/** True when `root` is inside a git work tree (the git tool is present and it's a repo). */
+export function isGitWorkTree(root) {
+    const probe = spawnSyncHidden("git", ["rev-parse", "--is-inside-work-tree"], { cwd: root, encoding: "utf8", shell: false });
+    return !probe.error && probe.status === 0 && /true/.test(probe.stdout ?? "");
+}
+/** True when `branch` resolves to a commit in the repo at `root`. */
+export function gitBranchExists(root, branch) {
+    const probe = spawnSyncHidden("git", ["rev-parse", "--verify", "--quiet", `${branch}^{commit}`], { cwd: root, encoding: "utf8", shell: false });
+    return !probe.error && probe.status === 0;
+}
+/** Branch name a block's isolated worktree is created on (mirrors `worktreePath`). */
+export function worktreeBranchForBlock(blockId, runId) {
+    return `remediate-${blockId}-${runId}`;
+}
+/**
+ * The files a worker's worktree branch changed relative to HEAD — the ground
+ * truth for write-scope enforcement. Diffs `HEAD...<branch>` (the branch's own
+ * commits). Fail-closed / not-a-repo semantics mirror `gitEditedFiles`.
+ */
+export function gitEditedFilesForBranch(root, branch) {
+    if (!isGitWorkTree(root)) {
+        return { available: false, reason: "not_a_repo", error: "root is not a git work tree" };
+    }
+    const diff = spawnSyncHidden("git", ["diff", "--name-only", `HEAD...${branch}`], { cwd: root, encoding: "utf8", shell: false });
+    if (diff.error || typeof diff.status !== "number" || diff.status !== 0) {
+        const detail = (diff.stderr ?? diff.error?.message ?? "git diff failed").toString().trim();
+        return { available: false, reason: "probe_failed", error: detail };
+    }
+    const files = new Set();
+    for (const line of (diff.stdout ?? "").split(/\r?\n/)) {
+        const p = line.trim();
+        if (p.length > 0)
+            files.add(p.replace(/\\/g, "/"));
+    }
+    return { available: true, files };
+}
+/**
+ * Parse `git diff HEAD...<branch>` into per-hunk NEW-side line ranges — the
+ * ground truth for whether two same-file edits actually touch disjoint regions.
+ * Mirrors {@link gitEditedFilesForBranch}'s fail-closed / not-a-repo semantics:
+ * never throws; on a non-repo / failed probe / malformed diff returns a
+ * discriminated result marking hunks unavailable so the caller can fail closed.
+ *
+ * Paths are normalised to repo-relative forward-slash (the same scheme
+ * {@link gitEditedFilesForBranch} emits) so hunk files compare like-for-like
+ * with the file set.
+ */
+export function gitHunksForBranch(root, branch) {
+    if (!isGitWorkTree(root)) {
+        return { available: false, reason: "not_a_repo", error: "root is not a git work tree" };
+    }
+    const diff = spawnSyncHidden("git", 
+    // No rename detection / context noise beyond what we parse; a plain unified
+    // diff carries the `+++ b/<path>` and `@@ … +start,count @@` headers we need.
+    ["diff", `HEAD...${branch}`], { cwd: root, encoding: "utf8", shell: false });
+    if (diff.error || typeof diff.status !== "number" || diff.status !== 0) {
+        const detail = (diff.stderr ?? diff.error?.message ?? "git diff failed").toString().trim();
+        return { available: false, reason: "probe_failed", error: detail };
+    }
+    return parseUnifiedDiffHunks(diff.stdout ?? "");
+}
+/**
+ * Parse a unified-diff body into NEW-side hunk ranges. Extracted for testability
+ * (no git spawn). Recognises `+++ b/<path>` file headers and
+ * `@@ -a,b +c,d @@` hunk headers; a header we cannot parse fails the whole probe
+ * closed (returns `probe_failed`) rather than silently producing partial hunks
+ * that would let a real overlap slip through.
+ */
+export function parseUnifiedDiffHunks(diffText) {
+    const hunks = [];
+    let currentFile = null;
+    for (const rawLine of diffText.split(/\r?\n/)) {
+        if (rawLine.startsWith("+++ ")) {
+            // `+++ b/path` — or `+++ /dev/null` for a pure deletion (no new side).
+            const target = rawLine.slice(4).trim();
+            if (target === "/dev/null") {
+                currentFile = null;
+                continue;
+            }
+            // Strip the conventional `b/` prefix; leave already-bare paths intact.
+            const bare = target.startsWith("b/") ? target.slice(2) : target;
+            currentFile = bare.replace(/\\/g, "/");
+            continue;
+        }
+        if (rawLine.startsWith("@@")) {
+            const match = /^@@ -\d+(?:,\d+)? \+(\d+)(?:,(\d+))? @@/.exec(rawLine);
+            if (!match) {
+                return {
+                    available: false,
+                    reason: "probe_failed",
+                    error: `unparseable hunk header: ${rawLine}`,
+                };
+            }
+            if (currentFile === null)
+                continue; // deletion-only target: no new-side hunk.
+            const startLine = Number(match[1]);
+            const lineCount = match[2] === undefined ? 1 : Number(match[2]);
+            hunks.push({ file: currentFile, startLine, lineCount });
+        }
+    }
+    return { available: true, hunks };
+}
+/**
+ * Files the worker edited (from git) that fall OUTSIDE the block's declared
+ * write scope. Result-file artifacts and the agent-feedback file are excluded
+ * (they are sanctioned side outputs, never source edits). Returns the offending
+ * repo-relative paths (empty when the edits are fully within scope).
+ */
+export function writeScopeViolations(declaredWritePaths, editedFiles, root) {
+    const declared = new Set(declaredWritePaths.map((p) => toRepoRelative(p, root)));
+    const violations = [];
+    for (const edited of editedFiles) {
+        const rel = toRepoRelative(edited, root);
+        if (declared.has(rel))
+            continue;
+        // Sanctioned non-source outputs: result JSON files and the reflection file.
+        if (rel.endsWith(".result.json"))
+            continue;
+        if (rel.endsWith(AGENT_FEEDBACK_FILENAME))
+            continue;
+        violations.push(rel);
+    }
+    return violations;
+}
+// ---------------------------------------------------------------------------
+// Byte-based token estimation helpers
+// ---------------------------------------------------------------------------
+/** Fixed prompt overhead per dispatch slot (prompt instructions, JSON schema, etc.). */
+export const PROMPT_OVERHEAD_TOKENS = 2000;
+/** Sum the byte sizes of a list of absolute or repo-relative file paths. */
+function sumFileSizes(filePaths) {
+    let total = 0;
+    for (const p of filePaths) {
+        try {
+            total += statSync(p).size;
+        }
+        catch {
+            // Missing file → 0 bytes; not an error for estimation purposes.
+        }
+    }
+    return total;
+}
+/** Estimate slot tokens for an implement dispatch slot from readFiles byte sizes. */
+export function estimateImplementSlotTokens(readFiles, root) {
+    const absPaths = readFiles.map((f) => f.startsWith("/") || /^[A-Za-z]:[/\\]/.test(f) ? f : join(root, f));
+    const bytes = sumFileSizes(absPaths);
+    return estimateTokensFromBytes(bytes) + PROMPT_OVERHEAD_TOKENS;
+}
+// ---------------------------------------------------------------------------
+// detectRepoConventions cache (one call per repo root per process)
+// ---------------------------------------------------------------------------
+/** Module-level cache: repo root → formatted conventions string. */
+export const detectRepoConventionsCache = new Map();
+export function getCachedConventions(root) {
+    if (detectRepoConventionsCache.has(root)) {
+        return detectRepoConventionsCache.get(root);
+    }
+    const result = formatRepoConventions(detectRepoConventions(root));
+    detectRepoConventionsCache.set(root, result);
+    return result;
+}
+//# sourceMappingURL=common.js.map

package/dist/remediate/steps/dispatch/common.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"common.js","sourceRoot":"","sources":["../../../../src/remediate/steps/dispatch/common.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACnC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EACL,uBAAuB,EACvB,qBAAqB,EACrB,qBAAqB,EACrB,uBAAuB,EACvB,iBAAiB,GAClB,MAAM,oBAAoB,CAAC;AAO5B,8EAA8E;AAC9E,wBAAwB;AACxB,8EAA8E;AAE9E,oHAAoH;AACpH,MAAM,UAAU,cAAc,CAAC,CAAS,EAAE,IAAY;IACpD,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACnE,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC9B,IAAI,CAAC,CAAC,UAAU,CAAC,cAAc,GAAG,GAAG,CAAC,EAAE,CAAC;QACvC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAe;IACzC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,YAAoB,EAAE,KAAa,EAAE,KAAa;IACvE,OAAO,IAAI,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,YAAoB,EACpB,KAAa,EACb,KAAa;IAEb,OAAO,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,oBAAoB,CAAC,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAS;IACxC,IAAI,CAAC;QACH,OAAO,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,CAAS,EAAE,QAAgB;IACxD,OAAO,CACL,CAAC;SACE,OAAO,CAAC,mBAAmB,EAAE,GAAG,CAAC;SACjC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,oCAAoC;SAC5D,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,IAAI,QAAQ,CAC7C,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,GAAW;IACrC,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAC,EAAE;QACtE,GAAG;QACH,QAAQ,EAAE,MAAM;QAChB,KAAK,EAAE,KAAK;KACb,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AACrC,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,eAAe,CAC3B,KAAK,EACL,CAAC,WAAW,EAAE,uBAAuB,CAAC,EACtC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAC9C,CAAC;IACF,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;AAC/E,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,MAAc;IAC1D,MAAM,KAAK,GAAG,eAAe,CAC3B,KAAK,EACL,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,MAAM,WAAW,CAAC,EAC1D,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAC9C,CAAC;IACF,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;AAC5C,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,sBAAsB,CAAC,OAAe,EAAE,KAAa;IACnE,OAAO,aAAa,OAAO,IAAI,KAAK,EAAE,CAAC;AACzC,CAAC;AAcD;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAY,EAAE,MAAc;IAClE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,6BAA6B,EAAE,CAAC;IAC1F,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAC1B,KAAK,EACL,CAAC,MAAM,EAAE,aAAa,EAAE,UAAU,MAAM,EAAE,CAAC,EAC3C,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAC9C,CAAC;IACF,IAAI,IAAI,CAAC,KAAK,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvE,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,OAAO,IAAI,iBAAiB,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAC3F,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACrE,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACtD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACpC,CAAC;AAwBD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,MAAc;IAC5D,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,6BAA6B,EAAE,CAAC;IAC1F,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAC1B,KAAK;IACL,4EAA4E;IAC5E,8EAA8E;IAC9E,CAAC,MAAM,EAAE,UAAU,MAAM,EAAE,CAAC,EAC5B,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAC9C,CAAC;IACF,IAAI,IAAI,CAAC,KAAK,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvE,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,OAAO,IAAI,iBAAiB,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAC3F,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,qBAAqB,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAAgB;IACpD,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,IAAI,WAAW,GAAkB,IAAI,CAAC;IACtC,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,uEAAuE;YACvE,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACvC,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;gBAC3B,WAAW,GAAG,IAAI,CAAC;gBACnB,SAAS;YACX,CAAC;YACD,uEAAuE;YACvE,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAChE,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACvC,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,yCAAyC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtE,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,OAAO;oBACL,SAAS,EAAE,KAAK;oBAChB,MAAM,EAAE,cAAc;oBACtB,KAAK,EAAE,4BAA4B,OAAO,EAAE;iBAC7C,CAAC;YACJ,CAAC;YACD,IAAI,WAAW,KAAK,IAAI;gBAAE,SAAS,CAAC,0CAA0C;YAC9E,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAChE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACpC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,kBAA4B,EAC5B,WAAwB,EACxB,IAAY;IAEZ,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACjF,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACzC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAChC,4EAA4E;QAC5E,IAAI,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC;YAAE,SAAS;QAC3C,IAAI,GAAG,CAAC,QAAQ,CAAC,uBAAuB,CAAC;YAAE,SAAS;QACpD,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,8EAA8E;AAC9E,sCAAsC;AACtC,8EAA8E;AAE9E,wFAAwF;AACxF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC;AAE3C,4EAA4E;AAC5E,SAAS,YAAY,CAAC,SAAmB;IACvC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC;YACH,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5B,CAAC;QAAC,MAAM,CAAC;YACP,gEAAgE;QAClE,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,2BAA2B,CAAC,SAAmB,EAAE,IAAY;IAC3E,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACnC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CACnE,CAAC;IACF,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACrC,OAAO,uBAAuB,CAAC,KAAK,CAAC,GAAG,sBAAsB,CAAC;AACjE,CAAC;AAED,8EAA8E;AAC9E,mEAAmE;AACnE,8EAA8E;AAE9E,oEAAoE;AACpE,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,GAAG,EAAkB,CAAC;AAEpE,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,IAAI,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,OAAO,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;IAC/C,CAAC;IACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC;IAClE,0BAA0B,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7C,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/remediate/steps/dispatch/dagNodeFields.d.ts

@@ -0,0 +1,37 @@
+import type { Finding } from "../../state/types.js";
+/**
+ * The implementation-DAG node fields `promoteImplementationDagToExtractedPlan`
+ * writes onto each Finding (one node ↔ one finding ↔ one block in the contract
+ * pipeline). The shared `Finding` type does not declare these overlay fields, so
+ * they are read through this structural view rather than added to the shared
+ * contract. Every field is optional: a finding sourced from a plain
+ * `audit-findings.json` (not the contract pipeline) carries none of them and the
+ * seam degrades to the block-level behavior.
+ */
+export interface DagNodeFields {
+    /** Relative model rank for the node (small | standard | deep). Never a model name. */
+    model_tier?: "small" | "standard" | "deep";
+    /** Upstream contracts' declared outputs this node builds on. */
+    preconditions?: string[];
+    /** Human-readable description of the concrete changes the node is expected to produce. */
+    expected_changes?: string;
+    /** Human-readable verification checks beyond `targeted_commands`. */
+    verification?: string[];
+    /**
+     * Reconciliation expectations carried from seam reconciliation: what an
+     * upstream/neighbor contract agreed to provide this node, expressed either as
+     * a list of strings or, when richer, as the precondition list. Read tolerantly
+     * because the promotion shape can vary across pipeline versions.
+     */
+    reconciliation_expectations?: string[];
+}
+/** Read the promoted DAG-node overlay fields off a Finding (all optional). */
+export declare function nodeFieldsOf(finding: Finding): DagNodeFields;
+/**
+ * The reconciliation expectations a node must honor (INV-DS-12): the explicit
+ * `reconciliation_expectations` when present, else the node's `preconditions`
+ * (upstream contracts' declared outputs). Returned as a deduped string list so
+ * the renderer can thread them and the disposition can record them.
+ */
+export declare function reconciliationExpectationsOf(finding: Finding): string[];
+//# sourceMappingURL=dagNodeFields.d.ts.map

package/dist/remediate/steps/dispatch/dagNodeFields.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dagNodeFields.d.ts","sourceRoot":"","sources":["../../../../src/remediate/steps/dispatch/dagNodeFields.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAMpD;;;;;;;;GAQG;AACH,MAAM,WAAW,aAAa;IAC5B,sFAAsF;IACtF,UAAU,CAAC,EAAE,OAAO,GAAG,UAAU,GAAG,MAAM,CAAC;IAC3C,gEAAgE;IAChE,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,0FAA0F;IAC1F,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,qEAAqE;IACrE,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB;;;;;OAKG;IACH,2BAA2B,CAAC,EAAE,MAAM,EAAE,CAAC;CACxC;AAED,8EAA8E;AAC9E,wBAAgB,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,aAAa,CAE5D;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,EAAE,CASvE"}

package/dist/remediate/steps/dispatch/dagNodeFields.js

@@ -0,0 +1,19 @@
+/** Read the promoted DAG-node overlay fields off a Finding (all optional). */
+export function nodeFieldsOf(finding) {
+    return finding;
+}
+/**
+ * The reconciliation expectations a node must honor (INV-DS-12): the explicit
+ * `reconciliation_expectations` when present, else the node's `preconditions`
+ * (upstream contracts' declared outputs). Returned as a deduped string list so
+ * the renderer can thread them and the disposition can record them.
+ */
+export function reconciliationExpectationsOf(finding) {
+    const node = nodeFieldsOf(finding);
+    const explicit = Array.isArray(node.reconciliation_expectations)
+        ? node.reconciliation_expectations
+        : [];
+    const preconditions = Array.isArray(node.preconditions) ? node.preconditions : [];
+    return [...new Set([...explicit, ...preconditions])].filter((s) => typeof s === "string" && s.trim().length > 0);
+}
+//# sourceMappingURL=dagNodeFields.js.map

package/dist/remediate/steps/dispatch/dagNodeFields.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dagNodeFields.js","sourceRoot":"","sources":["../../../../src/remediate/steps/dispatch/dagNodeFields.ts"],"names":[],"mappings":"AAiCA,8EAA8E;AAC9E,MAAM,UAAU,YAAY,CAAC,OAAgB;IAC3C,OAAO,OAAkC,CAAC;AAC5C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,4BAA4B,CAAC,OAAgB;IAC3D,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,2BAA2B,CAAC;QAC9D,CAAC,CAAC,IAAI,CAAC,2BAA2B;QAClC,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;IAClF,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,MAAM,CACzD,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CACpD,CAAC;AACJ,CAAC"}

package/dist/remediate/steps/dispatch/implementPrompt.d.ts

@@ -0,0 +1,70 @@
+import type { RemediationState } from "../../state/store.js";
+import type { RemediationBlock } from "../../state/types.js";
+import { type DispatchModelHint, type DispatchPlanItem } from "../types.js";
+/**
+ * Best-effort: repo-relative test files that reference any of `sourceFiles` (by
+ * module basename). Pulling them into a block's access lets the worker that
+ * changes or removes a symbol also fix the tests that assert it, instead of
+ * leaving orphaned test breakage for a separate central mop-up. Matching is
+ * deliberately loose (a false positive only grants slightly broader, harmless
+ * write access; a false negative is the failure mode we want to avoid).
+ */
+export interface TestFileEntry {
+    rel: string;
+    content: string;
+}
+/**
+ * Walk the repo ONCE and read every test file's content (bounded). Built once per
+ * dispatch and shared across all blocks so the filesystem walk + reads are not
+ * repeated per block.
+ */
+export declare function buildTestFileIndex(root: string): TestFileEntry[];
+/**
+ * Collect test files from `index` that reference any of `sourceFiles` by
+ * module basename. When `packageRoot` is supplied (repo-relative prefix, e.g.
+ * `packages/foo`), only test files under that package are considered —
+ * otherwise all test files in the index are matched (existing behavior).
+ */
+export declare function collectReferencingTests(index: TestFileEntry[], sourceFiles: string[], packageRoot?: string): string[];
+/**
+ * Detect the nearest ancestor directory containing a `package.json` for the
+ * first source file in `sourceFiles` (walk up, stop at `root`). Returns the
+ * repo-relative path prefix (e.g. `packages/foo`) or undefined if none found.
+ */
+declare function detectPackageRoot(sourceFiles: string[], root: string): string | undefined;
+export { detectPackageRoot };
+/**
+ * Repo-relative paths every finding in a block needs for context, deduped.
+ */
+export declare function blockReadFiles(block: RemediationBlock, state: RemediationState): string[];
+/**
+ * Repo-relative paths every finding in a block may write, deduped. This is kept
+ * narrower than read context so a broad affected hub file does not serialize
+ * blocks whose documented write sets are actually disjoint.
+ */
+export declare function blockWriteFiles(block: RemediationBlock, state: RemediationState): string[];
+/**
+ * Construct the DispatchPlanItem for an implement task. Single source of truth
+ * so prepareImplementDispatch and mergeImplementResults stay in lockstep on item
+ * shape.
+ */
+export declare function buildImplementDispatchItem(block: RemediationBlock, state: RemediationState, dir: string): DispatchPlanItem;
+/**
+ * Absolute path to a block's implement worker result file for a run. Single
+ * source (same convention as {@link buildImplementDispatchItem}'s `result_path`)
+ * shared with triage's already-satisfied reconciliation guard: a passing tree
+ * verify only proves a node's work was DONE if a worker actually ran and left a
+ * result — no result file ⇒ "no worker ran", not "verified satisfied".
+ */
+export declare function implementResultPath(artifactsDir: string, runId: string, blockId: string): string;
+export declare function buildImplementModelHint(block: RemediationBlock, state: RemediationState): DispatchModelHint;
+/**
+ * Returns true when any path in `writePaths` is one of the live infra modules.
+ * Paths are normalised to forward-slash form (win32 backslash → `/`) and matched
+ * by trailing repo-relative segment so absolute/worktree/relative spellings all
+ * resolve identically. Used to gate the live-surface verification section in the
+ * implement prompt.
+ */
+export declare function isInfraModifyingBlock(writePaths: string[]): boolean;
+export declare function implementPrompt(block: RemediationBlock, state: RemediationState, resultPath: string, conventions: string, repoRoot: string, feedbackDisplay: string, worktreeRoot?: string): string;
+//# sourceMappingURL=implementPrompt.d.ts.map

package/dist/remediate/steps/dispatch/implementPrompt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"implementPrompt.d.ts","sourceRoot":"","sources":["../../../../src/remediate/steps/dispatch/implementPrompt.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,KAAK,EAAqB,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAChF,OAAO,EAEL,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EACtB,MAAM,aAAa,CAAC;AAwCrB;;;;;;;GAOG;AACH,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,EAAE,CAYhE;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,aAAa,EAAE,EACtB,WAAW,EAAE,MAAM,EAAE,EACrB,WAAW,CAAC,EAAE,MAAM,GACnB,MAAM,EAAE,CAsBV;AAED;;;;GAIG;AACH,iBAAS,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAiBlF;AAED,OAAO,EAAE,iBAAiB,EAAE,CAAC;AAyB7B;;GAEG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,gBAAgB,EACvB,KAAK,EAAE,gBAAgB,GACtB,MAAM,EAAE,CAOV;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,gBAAgB,EACvB,KAAK,EAAE,gBAAgB,GACtB,MAAM,EAAE,CAOV;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,gBAAgB,EACvB,KAAK,EAAE,gBAAgB,EACvB,GAAG,EAAE,MAAM,GACV,gBAAgB,CAgBlB;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CACjC,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,MAAM,GACd,MAAM,CAER;AAED,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,gBAAgB,EACvB,KAAK,EAAE,gBAAgB,GACtB,iBAAiB,CA6DnB;AAiFD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,OAAO,CAUnE;AAwGD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,gBAAgB,EACvB,KAAK,EAAE,gBAAgB,EACvB,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,eAAe,EAAE,MAAM,EACvB,YAAY,CAAC,EAAE,MAAM,GACpB,MAAM,CA6IR"}