@claudexor/workspace 4.8.2 → 5.0.1

package/dist/object-occupied.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-occupied.js","sourceRoot":"","sources":["../src/object-occupied.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAc,MAAM,SAAS,CAAC;AAClD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAGhD,MAAM,WAAW,GAAG,QAAQ,CAAC;AAE7B,gGAAgG;AAChG,MAAM,WAAW,GAAG,CAAC,IAAY,EAAqB,EAAE;IACtD,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF,4EAA4E;AAC5E,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;AAEnE;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,QAAgB;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,EAAE;QAC9B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC;gBACH,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,CAAC;YAAC,MAAM,CAAC;gBACP,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QACD,OAAO,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,MAAM,cAAc,GAAG,CAAC,IAAY,EAAE,EAAE;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;IAC9F,CAAC,CAAC;IACF,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACrB,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/D,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;QAC/C,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG;YAAE,OAAO,KAAK,CAAC;QAC7E,OAAO,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC;AACJ,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,MAAM,CAAC,KAAuB;IAC5C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACtF,OAAO,GAAG,CAAC;AACb,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,SAAS,CACvB,KAA+C,EAC/C,MAA8C,EAC9C,IAAY;IAEZ,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,kGAAkG;AAClG,SAAS,SAAS,CAAC,QAAgB,EAAE,GAAW,EAAE,OAA4B;IAC5E,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,GAAG,GAAG,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,WAAW,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;aACtE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,aAAa,CAAC,QAAgB,EAAE,OAA6B;IAC3E,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CACvF,CAAC;IACF,wFAAwF;IACxF,MAAM,OAAO,GAAG,IAAI,GAAG,EAA4B,CAAC;IACpD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,yFAAyF;IACzF,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAChC,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,CAAC,MAAc,EAAW,EAAE;QAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,KAAK;YAAE,OAAO,KAAK,KAAK,OAAO,CAAC;QACpC,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,SAAS,GAAG,GAAG,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9D,IAAI,MAAM,GAAqB,MAAM,CAAC;QACtC,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;YAClD,IAAI,IAAI,EAAE,WAAW,EAAE;gBAAE,MAAM,GAAG,OAAO,CAAC;iBACrC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;gBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpF,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC5B,OAAO,MAAM,KAAK,OAAO,CAAC;IAC5B,CAAC,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,OAAO,KAAK,WAAW;YAAE,SAAS;QAC7C,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAAE,SAAS;QAC9D,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QACtD,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YACvB,2EAA2E;YAC3E,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ;gBAC7B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC;oBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpF,CAAC;aAAM,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC;AACvB,CAAC"}

package/dist/object-revert.d.ts

@@ -0,0 +1,45 @@
+import type { GitDeliveryPair, GitResultRefusal } from "@claudexor/schema";
+import { type ComposeStats } from "./object-compose.js";
+export type PairRevertResult = {
+    ok: true;
+    reverted: true;
+    tree: string;
+    changed: number;
+    stats: ComposeStats;
+} | {
+    ok: false;
+    reverted: false;
+    refusal: GitResultRefusal;
+    treeMutated: boolean;
+    stats: ComposeStats | null;
+    /** A path the delivery changed was changed again since (an overlap, or an edit
+     * under the checkout): the revert cannot run on this tree. Every other refusal
+     * (the sparse patterns, a path it cannot read, a store or Git fault) can, once
+     * its cause is gone. */
+    diverged: boolean;
+};
+/** The paths two trees differ in (a delivery's T to M, a result's B to C): what an
+ * operation on them decides on, so what its snapshot reads by content. */
+export declare function pairPaths(worktree: string, from: string, to: string, env?: Record<string, string>): Promise<string[]>;
+/**
+ * Revert one object delivery on its actual pair (rev 12 B): with M the tree the
+ * delivery wrote, T the target it started from and S the tree the worktree holds
+ * now, `read-tree -m -i --aggressive M S T` keeps every later change outside
+ * the delivery, and the paths both moved get the reversed M->T records by
+ * today's apply rules (offsets allowed, overlap refused), all-or-nothing.
+ * Revert IS composition with roles (base M, target S, candidate T), so one owner
+ * holds the per-path semantics of both directions. S includes what the delivery
+ * added that S lacks on disk ({@link withDeliveredAdditions}). A pair path outside
+ * the sparse-checkout patterns refuses first: S cannot see what such a path holds.
+ */
+export declare function revertDeliveryPair(input: {
+    worktree: string;
+    pair: Pick<GitDeliveryPair, "pre_tree" | "post_tree">;
+    /** Tree of the current worktree snapshot S (tracked and untracked state). */
+    currentTree: string;
+    /** Taking back a failed write: the paths whose content proof did not hold. */
+    unproven?: readonly string[];
+}): Promise<PairRevertResult>;
+/** The worktree's top level, the only directory materialization and composition address. */
+export declare function worktreeTopLevel(repo: string): Promise<string>;
+//# sourceMappingURL=object-revert.d.ts.map

package/dist/object-revert.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-revert.d.ts","sourceRoot":"","sources":["../src/object-revert.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAE3E,OAAO,EAIL,KAAK,YAAY,EAElB,MAAM,qBAAqB,CAAC;AAM7B,MAAM,MAAM,gBAAgB,GACxB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAE,GAChF;IACE,EAAE,EAAE,KAAK,CAAC;IACV,QAAQ,EAAE,KAAK,CAAC;IAChB,OAAO,EAAE,gBAAgB,CAAC;IAC1B,WAAW,EAAE,OAAO,CAAC;IACrB,KAAK,EAAE,YAAY,GAAG,IAAI,CAAC;IAC3B;;;4BAGwB;IACxB,QAAQ,EAAE,OAAO,CAAC;CACnB,CAAC;AAqHN;0EAC0E;AAC1E,wBAAsB,SAAS,CAC7B,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,EACV,GAAG,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM,GAC/B,OAAO,CAAC,MAAM,EAAE,CAAC,CAUnB;AAwFD;;;;;;;;;;GAUG;AACH,wBAAsB,kBAAkB,CAAC,KAAK,EAAE;IAC9C,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,IAAI,CAAC,eAAe,EAAE,UAAU,GAAG,WAAW,CAAC,CAAC;IACtD,6EAA6E;IAC7E,WAAW,EAAE,MAAM,CAAC;IACpB,8EAA8E;IAC9E,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9B,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAsE5B;AAED,4FAA4F;AAC5F,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAMpE"}

package/dist/object-revert.js

@@ -0,0 +1,265 @@
+import { createHash } from "node:crypto";
+import { createReadStream, lstatSync, mkdtempSync, rmSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { WorkspaceError } from "@claudexor/core";
+import { lstatPresent } from "./fs-presence.js";
+import { composeOnTarget, parseRawRecords, pathspecBatches, } from "./object-compose.js";
+import { materializeTree } from "./object-materialize.js";
+import { sparseCheckoutRefusal } from "./object-sparse.js";
+import { diskProgress, gitObserved } from "./git-observed.js";
+import { SCRATCH_INDEX_CONFIG } from "./git-run.js";
+/** `path` holds exactly what checkout writes for blob `oid`: the same filters render it. */
+async function holdsCheckoutOf(worktree, path, oid) {
+    const file = join(worktree, path);
+    if (!lstatSync(file, { throwIfNoEntry: false })?.isFile())
+        return false;
+    const rendered = createHash("sha256");
+    await gitObserved(worktree, ["cat-file", "--filters", `--path=${path}`, oid], {
+        label: "cat-file --filters",
+        stdout: {
+            write: (chunk) => void rendered.update(chunk),
+            end: () => "",
+        },
+    });
+    const onDisk = createHash("sha256");
+    for await (const chunk of createReadStream(file))
+        onDisk.update(chunk);
+    return rendered.digest("hex") === onDisk.digest("hex");
+}
+/**
+ * The tree a failed write actually left. A path whose content proof failed can
+ * still hold exactly what checkout wrote (a filter that does not round-trip):
+ * such a path enters the revert's base as the snapshot saw it, so it reverts
+ * like any other. Every other path keeps M's entry, so a later edit of it (its
+ * bytes or its mode) stays an overlap the composition refuses.
+ */
+async function asWrittenTree(worktree, postTree, currentTree, unproven) {
+    const wanted = new Set(unproven);
+    const records = parseRawRecords((await gitObserved(worktree, ["diff-tree", "-r", "--raw", "-z", "--no-renames", "--no-abbrev", postTree, currentTree], { label: "diff-tree --raw (as written)" })).stdout);
+    let info = "";
+    for (const record of records) {
+        if (!wanted.has(record.src) || record.status === "A" || record.status === "D")
+            continue;
+        if (record.newMode !== record.oldMode)
+            continue; // a chmod since the write is the user's
+        if (await holdsCheckoutOf(worktree, record.src, record.oldOid))
+            info += `${record.newMode} ${record.newOid}\t${record.src}\0`;
+    }
+    if (!info)
+        return postTree;
+    const scratch = mkdtempSync(join(tmpdir(), "claudexor-as-written-"));
+    try {
+        const env = { GIT_INDEX_FILE: join(scratch, "index"), GIT_OPTIONAL_LOCKS: "0" };
+        await gitObserved(worktree, [...SCRATCH_INDEX_CONFIG, "read-tree", postTree], {
+            env,
+            label: "read-tree (as written)",
+        });
+        await gitObserved(worktree, [...SCRATCH_INDEX_CONFIG, "update-index", "-z", "--index-info"], {
+            env,
+            label: "update-index --index-info (as written)",
+            input: info,
+        });
+        const tree = await gitObserved(worktree, [...SCRATCH_INDEX_CONFIG, "write-tree"], {
+            env,
+            label: "write-tree (as written)",
+        });
+        return tree.stdout.trim();
+    }
+    finally {
+        rmSync(scratch, { recursive: true, force: true });
+    }
+}
+/**
+ * Whether `path` is a file or symlink Git can reach: no parent is a symlink or a
+ * file. Only ENOENT and ENOTDIR are absence: a path the revert cannot look at (a
+ * parent it cannot search, an I/O error) is thrown, so the revert refuses with
+ * nothing written instead of calling the addition gone.
+ */
+function reachableFile(worktree, path) {
+    try {
+        const parts = path.split("/");
+        for (let at = 1; at < parts.length; at += 1)
+            if (!lstatPresent(join(worktree, ...parts.slice(0, at)))?.isDirectory())
+                return false;
+        const stat = lstatPresent(join(worktree, path));
+        return stat !== undefined && !stat.isDirectory();
+    }
+    catch (error) {
+        throw new WorkspaceError(`the revert cannot tell whether ${path}, which the delivery added, is still as delivered: ${error instanceof Error ? error.message : String(error)}`);
+    }
+}
+/** The pair's own records: what the delivery changed, T to M. */
+async function deliveredRecords(worktree, pair) {
+    return parseRawRecords((await gitObserved(worktree, [
+        "diff-tree",
+        "-r",
+        "--raw",
+        "-z",
+        "--no-renames",
+        "--no-abbrev",
+        pair.pre_tree,
+        pair.post_tree,
+    ], { label: "diff-tree --raw (delivered pair)" })).stdout);
+}
+/** The paths two trees differ in (a delivery's T to M, a result's B to C): what an
+ * operation on them decides on, so what its snapshot reads by content. */
+export async function pairPaths(worktree, from, to, env = {}) {
+    return parseRawRecords((await gitObserved(worktree, ["diff-tree", "-r", "--raw", "-z", "--no-renames", "--no-abbrev", from, to], { env, label: "diff-tree --raw (pair paths)" })).stdout).map((record) => record.src);
+}
+/** Which of `paths` `tree` holds, read through the same literal pathspec batches. */
+async function heldBy(worktree, tree, paths) {
+    const held = new Set();
+    for (const batch of pathspecBatches(paths)) {
+        const listed = await gitObserved(worktree, ["ls-tree", "-r", "-z", "--name-only", tree, "--", ...batch], { label: "ls-tree (delivered additions)" });
+        for (const path of listed.stdout.split("\0"))
+            if (path)
+                held.add(path);
+    }
+    return held;
+}
+/**
+ * S with what the delivery added that S lacks while it is on disk: what the target's
+ * ignore rules hide now (a name in `.git/info/exclude`, a rule written after the
+ * apply, an ignored empty directory a delivered file replaced), and a file inside a
+ * nested repository, which a snapshot leaves out. Such a path read as already gone
+ * and the revert answered reverted:true over it. Exactly those paths are taken in as
+ * they are, no others: a changed one is an overlap the composition refuses, an
+ * unchanged one is removed, and every other ignored file stays out of reach.
+ * `add -f` silently skips a path inside a nested repository (exit 0), so whatever
+ * the written tree lacks is staged by `update-index --add`, which has no such rule
+ * and, unlike `hash-object`, reads a symlink as a link; a path that still cannot
+ * be taken in refuses the revert, naming it, with nothing written.
+ */
+async function withDeliveredAdditions(worktree, delivered, currentTree) {
+    const added = delivered
+        .filter((record) => record.oldMode === "000000" && record.newMode !== "160000")
+        .map((record) => record.src)
+        .filter((path) => reachableFile(worktree, path));
+    if (added.length === 0)
+        return { ok: true, tree: currentTree };
+    const inS = await heldBy(worktree, currentTree, added);
+    const hidden = added.filter((path) => !inS.has(path));
+    if (hidden.length === 0)
+        return { ok: true, tree: currentTree };
+    const scratch = mkdtempSync(join(tmpdir(), "claudexor-revert-snapshot-"));
+    try {
+        const env = { GIT_INDEX_FILE: join(scratch, "index"), GIT_OPTIONAL_LOCKS: "0" };
+        const progress = diskProgress(worktree);
+        const git = (args, label, extra = {}) => gitObserved(worktree, [...SCRATCH_INDEX_CONFIG, ...args], { env, label, progress, ...extra });
+        const writeTree = async () => (await git(["write-tree"], "write-tree (revert snapshot)")).stdout.trim();
+        await git(["read-tree", currentTree], "read-tree (revert snapshot)");
+        for (const batch of pathspecBatches(hidden))
+            await git(["add", "-f", "--", ...batch], "add -f (delivered additions)");
+        let tree = await writeTree();
+        const forced = await heldBy(worktree, tree, hidden);
+        const skipped = hidden.filter((path) => !forced.has(path));
+        if (skipped.length === 0)
+            return { ok: true, tree };
+        const staged = await git(["update-index", "--add", "-z", "--stdin"], "update-index --add (delivered additions)", { allowFailure: true, input: skipped.map((path) => `${path}\0`).join("") });
+        tree = await writeTree();
+        const held = await heldBy(worktree, tree, skipped);
+        const missing = skipped.filter((path) => !held.has(path)).sort();
+        if (missing.length === 0)
+            return { ok: true, tree };
+        return {
+            ok: false,
+            refusal: {
+                code: "revert_conflict",
+                message: `revert refused: what the delivery added at ${missing.length} path(s) could not be read into the revert's view of the target, so the revert cannot tell whether it is still as delivered; nothing was written: ${missing.slice(0, 20).join(", ")}${staged.stderr.trim() ? ` (${staged.stderr.trim()})` : ""}`.slice(0, 4_000),
+                paths: missing.slice(0, 200),
+                pathCount: missing.length,
+            },
+        };
+    }
+    finally {
+        rmSync(scratch, { recursive: true, force: true });
+    }
+}
+/**
+ * Revert one object delivery on its actual pair (rev 12 B): with M the tree the
+ * delivery wrote, T the target it started from and S the tree the worktree holds
+ * now, `read-tree -m -i --aggressive M S T` keeps every later change outside
+ * the delivery, and the paths both moved get the reversed M->T records by
+ * today's apply rules (offsets allowed, overlap refused), all-or-nothing.
+ * Revert IS composition with roles (base M, target S, candidate T), so one owner
+ * holds the per-path semantics of both directions. S includes what the delivery
+ * added that S lacks on disk ({@link withDeliveredAdditions}). A pair path outside
+ * the sparse-checkout patterns refuses first: S cannot see what such a path holds.
+ */
+export async function revertDeliveryPair(input) {
+    const refused = (refusal) => ({
+        ok: false,
+        reverted: false,
+        treeMutated: false,
+        stats: null,
+        refusal,
+        diverged: false,
+    });
+    const delivered = await deliveredRecords(input.worktree, input.pair);
+    const outside = await sparseCheckoutRefusal(input.worktree, delivered.map((record) => record.src), "revert");
+    if (outside)
+        return refused(outside);
+    const additions = await withDeliveredAdditions(input.worktree, delivered, input.currentTree);
+    if (!additions.ok)
+        return refused(additions.refusal);
+    const current = additions.tree;
+    const composed = await composeOnTarget({
+        repo: input.worktree,
+        base: input.unproven?.length
+            ? await asWrittenTree(input.worktree, input.pair.post_tree, current, input.unproven)
+            : input.pair.post_tree,
+        target: current,
+        candidate: input.pair.pre_tree,
+    });
+    if (!composed.ok) {
+        // A name that cannot be addressed keeps its own code; anything else is a conflict.
+        const encoding = composed.refusal.code === "result_path_encoding";
+        return {
+            ok: false,
+            reverted: false,
+            treeMutated: false,
+            stats: composed.stats,
+            refusal: {
+                ...composed.refusal,
+                code: encoding ? "result_path_encoding" : "revert_conflict",
+                message: `revert refused: ${composed.refusal.message}`,
+            },
+            diverged: !encoding,
+        };
+    }
+    const written = await materializeTree({
+        worktree: input.worktree,
+        from: current,
+        to: composed.tree,
+        index: "temporary",
+    });
+    if (!written.ok) {
+        const changed = written.refusal.code === "delivery_target_changed";
+        return {
+            ok: false,
+            reverted: false,
+            treeMutated: written.treeMutated,
+            stats: composed.stats,
+            refusal: {
+                ...written.refusal,
+                code: changed ? "revert_target_changed" : written.refusal.code,
+            },
+            diverged: changed,
+        };
+    }
+    return {
+        ok: true,
+        reverted: true,
+        tree: composed.tree,
+        changed: written.changed,
+        stats: composed.stats,
+    };
+}
+/** The worktree's top level, the only directory materialization and composition address. */
+export async function worktreeTopLevel(repo) {
+    return (await gitObserved(repo, ["rev-parse", "--show-toplevel"], {
+        label: "rev-parse --show-toplevel",
+    })).stdout.trim();
+}
+//# sourceMappingURL=object-revert.js.map

package/dist/object-revert.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-revert.js","sourceRoot":"","sources":["../src/object-revert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC3E,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EACL,eAAe,EACf,eAAe,EACf,eAAe,GAGhB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAiBpD,4FAA4F;AAC5F,KAAK,UAAU,eAAe,CAAC,QAAgB,EAAE,IAAY,EAAE,GAAW;IACxE,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAClC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE;QAAE,OAAO,KAAK,CAAC;IACxE,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,WAAW,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,UAAU,IAAI,EAAE,EAAE,GAAG,CAAC,EAAE;QAC5E,KAAK,EAAE,oBAAoB;QAC3B,MAAM,EAAE;YACN,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;YAC7C,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE;SACd;KACF,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACpC,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,gBAAgB,CAAC,IAAI,CAAC;QAAE,MAAM,CAAC,MAAM,CAAC,KAAe,CAAC,CAAC;IACjF,OAAO,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACzD,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,aAAa,CAC1B,QAAgB,EAChB,QAAgB,EAChB,WAAmB,EACnB,QAA2B;IAE3B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,eAAe,CAC7B,CACE,MAAM,WAAW,CACf,QAAQ,EACR,CAAC,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,aAAa,EAAE,QAAQ,EAAE,WAAW,CAAC,EACxF,EAAE,KAAK,EAAE,8BAA8B,EAAE,CAC1C,CACF,CAAC,MAAM,CACT,CAAC;IACF,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,KAAK,GAAG;YAAE,SAAS;QACxF,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO;YAAE,SAAS,CAAC,wCAAwC;QACzF,IAAI,MAAM,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC;YAC5D,IAAI,IAAI,GAAG,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,GAAG,IAAI,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,IAAI;QAAE,OAAO,QAAQ,CAAC;IAC3B,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,CAAC;IACrE,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,EAAE,cAAc,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC;QAChF,MAAM,WAAW,CAAC,QAAQ,EAAE,CAAC,GAAG,oBAAoB,EAAE,WAAW,EAAE,QAAQ,CAAC,EAAE;YAC5E,GAAG;YACH,KAAK,EAAE,wBAAwB;SAChC,CAAC,CAAC;QACH,MAAM,WAAW,CAAC,QAAQ,EAAE,CAAC,GAAG,oBAAoB,EAAE,cAAc,EAAE,IAAI,EAAE,cAAc,CAAC,EAAE;YAC3F,GAAG;YACH,KAAK,EAAE,wCAAwC;YAC/C,KAAK,EAAE,IAAI;SACZ,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,CAAC,GAAG,oBAAoB,EAAE,YAAY,CAAC,EAAE;YAChF,GAAG;YACH,KAAK,EAAE,yBAAyB;SACjC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC5B,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,aAAa,CAAC,QAAgB,EAAE,IAAY;IACnD,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC;YACzC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE;gBAAE,OAAO,KAAK,CAAC;QACxF,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;QAChD,OAAO,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IACnD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,cAAc,CACtB,kCAAkC,IAAI,sDAAsD,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CACrJ,CAAC;IACJ,CAAC;AACH,CAAC;AAED,iEAAiE;AACjE,KAAK,UAAU,gBAAgB,CAC7B,QAAgB,EAChB,IAAqD;IAErD,OAAO,eAAe,CACpB,CACE,MAAM,WAAW,CACf,QAAQ,EACR;QACE,WAAW;QACX,IAAI;QACJ,OAAO;QACP,IAAI;QACJ,cAAc;QACd,aAAa;QACb,IAAI,CAAC,QAAQ;QACb,IAAI,CAAC,SAAS;KACf,EACD,EAAE,KAAK,EAAE,kCAAkC,EAAE,CAC9C,CACF,CAAC,MAAM,CACT,CAAC;AACJ,CAAC;AAED;0EAC0E;AAC1E,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,QAAgB,EAChB,IAAY,EACZ,EAAU,EACV,GAAG,GAA2B,EAAE;IAEhC,OAAO,eAAe,CACpB,CACE,MAAM,WAAW,CACf,QAAQ,EACR,CAAC,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,CAAC,EAC3E,EAAE,GAAG,EAAE,KAAK,EAAE,8BAA8B,EAAE,CAC/C,CACF,CAAC,MAAM,CACT,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AAChC,CAAC;AAED,qFAAqF;AACrF,KAAK,UAAU,MAAM,CAAC,QAAgB,EAAE,IAAY,EAAE,KAAwB;IAC5E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,MAAM,WAAW,CAC9B,QAAQ,EACR,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,EAC5D,EAAE,KAAK,EAAE,+BAA+B,EAAE,CAC3C,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,IAAI,IAAI;gBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,KAAK,UAAU,sBAAsB,CACnC,QAAgB,EAChB,SAA+B,EAC/B,WAAmB;IAEnB,MAAM,KAAK,GAAG,SAAS;SACpB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC;SAC9E,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC;SAC3B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IACnD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC/D,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAChE,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,4BAA4B,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,EAAE,cAAc,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC;QAChF,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,CACV,IAAc,EACd,KAAa,EACb,KAAK,GAA+C,EAAE,EACtD,EAAE,CACF,WAAW,CAAC,QAAQ,EAAE,CAAC,GAAG,oBAAoB,EAAE,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAChG,MAAM,SAAS,GAAG,KAAK,IAAI,EAAE,CAC3B,CAAC,MAAM,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,8BAA8B,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC5E,MAAM,GAAG,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,6BAA6B,CAAC,CAAC;QACrE,KAAK,MAAM,KAAK,IAAI,eAAe,CAAC,MAAM,CAAC;YACzC,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,EAAE,8BAA8B,CAAC,CAAC;QAC3E,IAAI,IAAI,GAAG,MAAM,SAAS,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACpD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,MAAM,GAAG,CACtB,CAAC,cAAc,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,EAC1C,0CAA0C,EAC1C,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAC3E,CAAC;QACF,IAAI,GAAG,MAAM,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACjE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACpD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE;gBACP,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EACL,8CAA8C,OAAO,CAAC,MAAM,qJAAqJ,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CACjT,CAAC,EACD,KAAK,CACN;gBACH,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;gBAC5B,SAAS,EAAE,OAAO,CAAC,MAAM;aAC1B;SACF,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,KAOxC;IACC,MAAM,OAAO,GAAG,CAAC,OAAyB,EAAoB,EAAE,CAAC,CAAC;QAChE,EAAE,EAAE,KAAK;QACT,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,KAAK;QAClB,KAAK,EAAE,IAAI;QACX,OAAO;QACP,QAAQ,EAAE,KAAK;KAChB,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,MAAM,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,MAAM,qBAAqB,CACzC,KAAK,CAAC,QAAQ,EACd,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EACrC,QAAQ,CACT,CAAC;IACF,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,MAAM,sBAAsB,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAC7F,IAAI,CAAC,SAAS,CAAC,EAAE;QAAE,OAAO,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC;IAC/B,MAAM,QAAQ,GAAG,MAAM,eAAe,CAAC;QACrC,IAAI,EAAE,KAAK,CAAC,QAAQ;QACpB,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM;YAC1B,CAAC,CAAC,MAAM,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC;YACpF,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS;QACxB,MAAM,EAAE,OAAO;QACf,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ;KAC/B,CAAC,CAAC;IACH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,mFAAmF;QACnF,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,sBAAsB,CAAC;QAClE,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,KAAK;YACf,WAAW,EAAE,KAAK;YAClB,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,OAAO,EAAE;gBACP,GAAG,QAAQ,CAAC,OAAO;gBACnB,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,iBAAiB;gBAC3D,OAAO,EAAE,mBAAmB,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE;aACvD;YACD,QAAQ,EAAE,CAAC,QAAQ;SACpB,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC;QACpC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,IAAI,EAAE,OAAO;QACb,EAAE,EAAE,QAAQ,CAAC,IAAI;QACjB,KAAK,EAAE,WAAW;KACnB,CAAC,CAAC;IACH,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;QAChB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,yBAAyB,CAAC;QACnE,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,KAAK;YACf,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,OAAO,EAAE;gBACP,GAAG,OAAO,CAAC,OAAO;gBAClB,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI;aAC/D;YACD,QAAQ,EAAE,OAAO;SAClB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,QAAQ,CAAC,KAAK;KACtB,CAAC;AACJ,CAAC;AAED,4FAA4F;AAC5F,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,IAAY;IACjD,OAAO,CACL,MAAM,WAAW,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAC,EAAE;QACxD,KAAK,EAAE,2BAA2B;KACnC,CAAC,CACH,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AAClB,CAAC"}

package/dist/object-saved-files.d.ts

@@ -0,0 +1,50 @@
+import type { GitObjectResult } from "@claudexor/schema";
+/** A path the result holds whose content the copy does not hold, and why. */
+export interface UnavailableSavedFile {
+    path: string;
+    /** The copy's typed fault: `space_insufficient` for a full disk, `git_stalled`,
+     * `git_signal`, or `git_failed` for any other Git fault. */
+    reason: string;
+}
+/**
+ * A copy holds every file the result holds, or, when it fails, none of them: then
+ * `written` is empty and `unavailable` names each one. What the failed copy wrote or
+ * found in `into` and could not remove may still be there (a partial file, an earlier
+ * leftover); it is never the result's content, so no reader of a failed copy reads it.
+ */
+export interface SavedFiles {
+    /** Paths the result holds (not those it deleted), written whole under `into`. */
+    written: string[];
+    /** Paths the result holds that the copy does not hold, each with the copy's fault. */
+    unavailable: UnavailableSavedFile[];
+}
+/**
+ * Copy the files a saved result changed out of its candidate tree into `into`: what
+ * review and synthesis read of a result with no patch view, so they read the bytes
+ * apply consumes, not whatever the workspace holds by then (a configured gate may
+ * have rewritten an output since the capture). Checkout conversion applies as the
+ * result itself defines it and nothing else: the attributes its candidate tree holds
+ * (`--attr-source`) with Git's built-in defaults, in a private Git directory
+ * ({@link privateCopyContext}), so neither the workspace's `.gitattributes`, its
+ * `.git/info/attributes` or `.git/config`, nor the user's global or system
+ * configuration and attributes reach the copy, whenever they changed. A filter driver
+ * is configuration, which the result does not carry: a file whose attributes name
+ * one is copied as its stored blob, as the rendered patch view shows it. Big blobs
+ * stream. The store is mounted under a pending lease. A read that fails, a copy that
+ * cannot fit (it is not started) and a disk that fills on the way, the copy's own
+ * scratch included, are one answer: a failed copy (see {@link SavedFiles}), every file
+ * unavailable with that cause, never a thrown run, even when the copy directory then
+ * cannot be emptied.
+ */
+export declare function materializeSavedFiles(input: {
+    /** A worktree whose Git reads the result's objects (its capture's own). */
+    repo: string;
+    /** Project root owning the object store. */
+    projectRoot: string;
+    result: GitObjectResult;
+    /** Every path it changed, as recorded at its capture: what stays unavailable when
+     * not even its tree can be read. */
+    changedPaths: readonly string[];
+    into: string;
+}): Promise<SavedFiles>;
+//# sourceMappingURL=object-saved-files.d.ts.map

package/dist/object-saved-files.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-saved-files.d.ts","sourceRoot":"","sources":["../src/object-saved-files.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAmB,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAc1E,6EAA6E;AAC7E,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb;gEAC4D;IAC5D,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,iFAAiF;IACjF,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,sFAAsF;IACtF,WAAW,EAAE,oBAAoB,EAAE,CAAC;CACrC;AAiFD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAsB,qBAAqB,CAAC,KAAK,EAAE;IACjD,2EAA2E;IAC3E,IAAI,EAAE,MAAM,CAAC;IACb,4CAA4C;IAC5C,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,eAAe,CAAC;IACxB;wCACoC;IACpC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC;CACd,GAAG,OAAO,CAAC,UAAU,CAAC,CAiGtB"}

package/dist/object-saved-files.js

@@ -0,0 +1,176 @@
+import { existsSync, mkdirSync, mkdtempSync, readdirSync, rmSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { delimiter, join } from "node:path";
+import { diskProgress, gitObserved, GitOperationError } from "./git-observed.js";
+import { SCRATCH_INDEX_CONFIG } from "./git-run.js";
+import { parseRawRecords } from "./object-compose.js";
+import { gitFaultRefusalCode } from "./object-materialize.js";
+import { assertSpaceFor } from "./object-transfer.js";
+import { beginPendingRoots, endPendingRoots, objectStorePath, repositoryEndpoint, } from "./object-store.js";
+/** Nothing outside the result decides a copy's bytes: no system or global configuration
+ * or attributes file, and no configuration a caller's environment injects. */
+const SAVED_COPY_ENV = {
+    GIT_CONFIG_NOSYSTEM: "1",
+    GIT_CONFIG_GLOBAL: "/dev/null",
+    GIT_ATTR_NOSYSTEM: "1",
+    GIT_CONFIG_PARAMETERS: null,
+    GIT_CONFIG_COUNT: null,
+    GIT_ATTR_SOURCE: null,
+    GIT_DIR: null,
+    GIT_COMMON_DIR: null,
+    GIT_WORK_TREE: null,
+    GIT_OBJECT_DIRECTORY: null,
+    GIT_INDEX_FILE: null,
+};
+/** The user's attributes file (`core.attributesFile`, else Git's XDG default) is no source. */
+const NO_GLOBAL_ATTRIBUTES = ["-c", "core.attributesFile=/dev/null"];
+/**
+ * The Git context a copy runs in: a private Git directory under `scratch` with no
+ * configuration but what `init` writes for this filesystem and no `info/attributes`,
+ * reading the capture's objects (and the store's, while leased) as alternates. The
+ * capture's own repository is read for the place of its objects only: its
+ * configuration and `info/attributes` change after the capture as a gate pleases.
+ */
+async function privateCopyContext(repo, scratch, objectFormat, storeObjects) {
+    const gitDir = join(scratch, "git");
+    await gitObserved(scratch, ["init", "--bare", "--quiet", "--template=", `--object-format=${objectFormat}`, gitDir], { env: SAVED_COPY_ENV, label: "init (saved files)" });
+    const { objectsDir } = await repositoryEndpoint(repo);
+    return {
+        ...SAVED_COPY_ENV,
+        GIT_DIR: gitDir,
+        GIT_INDEX_FILE: join(scratch, "index"),
+        GIT_OPTIONAL_LOCKS: "0",
+        GIT_ALTERNATE_OBJECT_DIRECTORIES: [objectsDir, ...(storeObjects ? [storeObjects] : [])]
+            .map((path) => JSON.stringify(path))
+            .join(delimiter),
+    };
+}
+/**
+ * Empty `dir` where it is, one entry at a time. The typed fault that ended the copy is
+ * the answer, so a fault here (a disk that fails again, a busy file) never replaces
+ * it. A directory that cannot be listed is removed whole instead. What still stays is
+ * the failed copy's leftover, no file of the result: its readers never read a failed
+ * copy, and its owner removes the directory again when done (see `SavedFiles`).
+ */
+function emptyCopy(dir) {
+    if (!existsSync(dir))
+        return;
+    let entries;
+    try {
+        entries = readdirSync(dir);
+    }
+    catch {
+        try {
+            rmSync(dir, { recursive: true, force: true });
+        }
+        catch {
+            /* unlistable and unremovable: left for its owner */
+        }
+        return;
+    }
+    for (const entry of entries) {
+        try {
+            rmSync(join(dir, entry), { recursive: true, force: true });
+        }
+        catch {
+            /* left for its owner */
+        }
+    }
+}
+/**
+ * Copy the files a saved result changed out of its candidate tree into `into`: what
+ * review and synthesis read of a result with no patch view, so they read the bytes
+ * apply consumes, not whatever the workspace holds by then (a configured gate may
+ * have rewritten an output since the capture). Checkout conversion applies as the
+ * result itself defines it and nothing else: the attributes its candidate tree holds
+ * (`--attr-source`) with Git's built-in defaults, in a private Git directory
+ * ({@link privateCopyContext}), so neither the workspace's `.gitattributes`, its
+ * `.git/info/attributes` or `.git/config`, nor the user's global or system
+ * configuration and attributes reach the copy, whenever they changed. A filter driver
+ * is configuration, which the result does not carry: a file whose attributes name
+ * one is copied as its stored blob, as the rendered patch view shows it. Big blobs
+ * stream. The store is mounted under a pending lease. A read that fails, a copy that
+ * cannot fit (it is not started) and a disk that fills on the way, the copy's own
+ * scratch included, are one answer: a failed copy (see {@link SavedFiles}), every file
+ * unavailable with that cause, never a thrown run, even when the copy directory then
+ * cannot be emptied.
+ */
+export async function materializeSavedFiles(input) {
+    const store = objectStorePath(input.projectRoot);
+    let scratch = null;
+    let lease = null;
+    let written = null;
+    try {
+        scratch = mkdtempSync(join(tmpdir(), "claudexor-saved-files-"));
+        // A copy starts empty: a checkout never overwrites, and an old file is no content.
+        rmSync(input.into, { recursive: true, force: true });
+        mkdirSync(input.into, { recursive: true, mode: 0o700 });
+        if (existsSync(join(store, "objects")))
+            lease = await beginPendingRoots(store, []);
+        const env = await privateCopyContext(input.repo, scratch, input.result.object_format, lease ? join(store, "objects") : null);
+        const records = parseRawRecords((await gitObserved(scratch, [
+            "diff-tree",
+            "-r",
+            "--raw",
+            "-z",
+            "--no-renames",
+            "--no-abbrev",
+            input.result.base_tree,
+            input.result.candidate_tree,
+        ], { env, label: "diff-tree --raw (saved files)" })).stdout).filter((record) => !/^0+$/.test(record.newMode));
+        written = records.map((record) => record.src);
+        if (written.length === 0)
+            return { written, unavailable: [] };
+        const sizes = await gitObserved(scratch, ["cat-file", "--batch-check=%(objectsize)"], {
+            env,
+            label: "cat-file --batch-check (saved files)",
+            input: `${records.map((record) => record.newOid).join("\n")}\n`,
+        });
+        assertSpaceFor(input.into, sizes.stdout
+            .split("\n")
+            .reduce((sum, line) => sum + (/^\d+$/.test(line) ? Number(line) : 0), 0), "the saved-file copy");
+        await gitObserved(scratch, [...SCRATCH_INDEX_CONFIG, "read-tree", input.result.candidate_tree], { env, label: "read-tree (saved files)" });
+        // Attributes come from the saved tree alone (`--attr-source`), in the private
+        // context: whatever the workspace's Git holds since the capture is no source.
+        await gitObserved(input.into, [
+            `--work-tree=${input.into}`,
+            `--attr-source=${input.result.candidate_tree}`,
+            ...NO_GLOBAL_ATTRIBUTES,
+            ...SCRATCH_INDEX_CONFIG,
+            "checkout-index",
+            "-z",
+            "--stdin",
+        ], {
+            env,
+            label: "checkout-index (saved files)",
+            input: `${written.join("\0")}\0`,
+            progress: diskProgress(input.into),
+        });
+        return { written, unavailable: [] };
+    }
+    catch (error) {
+        const errno = error?.code;
+        if (!(error instanceof GitOperationError) && errno !== "ENOSPC" && errno !== "EDQUOT")
+            throw error;
+        const reason = error instanceof GitOperationError ? gitFaultRefusalCode(error.code) : "space_insufficient";
+        // Any of them may be partial: none is offered as the result's content, whatever
+        // emptying the copy where it is (a full disk may not give a new directory) leaves.
+        emptyCopy(input.into);
+        return {
+            written: [],
+            unavailable: (written ?? [...input.changedPaths]).map((path) => ({ path, reason })),
+        };
+    }
+    finally {
+        endPendingRoots(lease);
+        // Best effort: a scratch that cannot be removed never replaces the answer.
+        try {
+            if (scratch)
+                rmSync(scratch, { recursive: true, force: true });
+        }
+        catch {
+            /* left in the OS temp dir */
+        }
+    }
+}
+//# sourceMappingURL=object-saved-files.js.map

package/dist/object-saved-files.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-saved-files.js","sourceRoot":"","sources":["../src/object-saved-files.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAClF,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAE5C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EACL,iBAAiB,EACjB,eAAe,EACf,eAAe,EACf,kBAAkB,GAEnB,MAAM,mBAAmB,CAAC;AAuB3B;8EAC8E;AAC9E,MAAM,cAAc,GAAkC;IACpD,mBAAmB,EAAE,GAAG;IACxB,iBAAiB,EAAE,WAAW;IAC9B,iBAAiB,EAAE,GAAG;IACtB,qBAAqB,EAAE,IAAI;IAC3B,gBAAgB,EAAE,IAAI;IACtB,eAAe,EAAE,IAAI;IACrB,OAAO,EAAE,IAAI;IACb,cAAc,EAAE,IAAI;IACpB,aAAa,EAAE,IAAI;IACnB,oBAAoB,EAAE,IAAI;IAC1B,cAAc,EAAE,IAAI;CACrB,CAAC;AAEF,+FAA+F;AAC/F,MAAM,oBAAoB,GAAG,CAAC,IAAI,EAAE,+BAA+B,CAAC,CAAC;AAErE;;;;;;GAMG;AACH,KAAK,UAAU,kBAAkB,CAC/B,IAAY,EACZ,OAAe,EACf,YAA6B,EAC7B,YAA2B;IAE3B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACpC,MAAM,WAAW,CACf,OAAO,EACP,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,EAAE,mBAAmB,YAAY,EAAE,EAAE,MAAM,CAAC,EACvF,EAAE,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,oBAAoB,EAAE,CACrD,CAAC;IACF,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACtD,OAAO;QACL,GAAG,cAAc;QACjB,OAAO,EAAE,MAAM;QACf,cAAc,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC;QACtC,kBAAkB,EAAE,GAAG;QACvB,gCAAgC,EAAE,CAAC,UAAU,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;aACpF,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;aACnC,IAAI,CAAC,SAAS,CAAC;KACnB,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,GAAW;IAC5B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO;IAC7B,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAAC,MAAM,CAAC;QACP,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;QAAC,MAAM,CAAC;YACP,oDAAoD;QACtD,CAAC;QACD,OAAO;IACT,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7D,CAAC;QAAC,MAAM,CAAC;YACP,wBAAwB;QAC1B,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,KAU3C;IACC,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACjD,IAAI,OAAO,GAAkB,IAAI,CAAC;IAClC,IAAI,KAAK,GAAwB,IAAI,CAAC;IACtC,IAAI,OAAO,GAAoB,IAAI,CAAC;IACpC,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,wBAAwB,CAAC,CAAC,CAAC;QAChE,mFAAmF;QACnF,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACrD,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACxD,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAAE,KAAK,GAAG,MAAM,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACnF,MAAM,GAAG,GAAG,MAAM,kBAAkB,CAClC,KAAK,CAAC,IAAI,EACV,OAAO,EACP,KAAK,CAAC,MAAM,CAAC,aAAa,EAC1B,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CACtC,CAAC;QACF,MAAM,OAAO,GAAG,eAAe,CAC7B,CACE,MAAM,WAAW,CACf,OAAO,EACP;YACE,WAAW;YACX,IAAI;YACJ,OAAO;YACP,IAAI;YACJ,cAAc;YACd,aAAa;YACb,KAAK,CAAC,MAAM,CAAC,SAAS;YACtB,KAAK,CAAC,MAAM,CAAC,cAAc;SAC5B,EACD,EAAE,GAAG,EAAE,KAAK,EAAE,+BAA+B,EAAE,CAChD,CACF,CAAC,MAAM,CACT,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QACnD,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QAC9D,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,CAAC,UAAU,EAAE,6BAA6B,CAAC,EAAE;YACpF,GAAG;YACH,KAAK,EAAE,sCAAsC;YAC7C,KAAK,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;SAChE,CAAC,CAAC;QACH,cAAc,CACZ,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,MAAM;aACT,KAAK,CAAC,IAAI,CAAC;aACX,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC1E,qBAAqB,CACtB,CAAC;QACF,MAAM,WAAW,CACf,OAAO,EACP,CAAC,GAAG,oBAAoB,EAAE,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,EACnE,EAAE,GAAG,EAAE,KAAK,EAAE,yBAAyB,EAAE,CAC1C,CAAC;QACF,8EAA8E;QAC9E,8EAA8E;QAC9E,MAAM,WAAW,CACf,KAAK,CAAC,IAAI,EACV;YACE,eAAe,KAAK,CAAC,IAAI,EAAE;YAC3B,iBAAiB,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE;YAC9C,GAAG,oBAAoB;YACvB,GAAG,oBAAoB;YACvB,gBAAgB;YAChB,IAAI;YACJ,SAAS;SACV,EACD;YACE,GAAG;YACH,KAAK,EAAE,8BAA8B;YACrC,KAAK,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAChC,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;SACnC,CACF,CAAC;QACF,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IACtC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,KAAK,GAAI,KAAsC,EAAE,IAAI,CAAC;QAC5D,IAAI,CAAC,CAAC,KAAK,YAAY,iBAAiB,CAAC,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,QAAQ;YACnF,MAAM,KAAK,CAAC;QACd,MAAM,MAAM,GACV,KAAK,YAAY,iBAAiB,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC;QAC9F,gFAAgF;QAChF,mFAAmF;QACnF,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtB,OAAO;YACL,OAAO,EAAE,EAAE;YACX,WAAW,EAAE,CAAC,OAAO,IAAI,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;SACpF,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,eAAe,CAAC,KAAK,CAAC,CAAC;QACvB,2EAA2E;QAC3E,IAAI,CAAC;YACH,IAAI,OAAO;gBAAE,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACjE,CAAC;QAAC,MAAM,CAAC;YACP,6BAA6B;QAC/B,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/object-sparse.d.ts

@@ -0,0 +1,22 @@
+import type { GitResultRefusal } from "@claudexor/schema";
+/**
+ * The paths among `paths` that the worktree's sparse-checkout patterns leave out
+ * (none when it is not a sparse checkout), from one `check-rules` call, or null when
+ * this Git cannot evaluate the patterns (older than 2.41). A snapshot's `add -A`
+ * skips such a path, a tracked one keeping HEAD's blob whether its file is absent,
+ * as a sparse checkout usually leaves it, or present, so an operation that addresses
+ * one could not tell what it holds before or after writing. With
+ * `core.sparseCheckout` set but no patterns file, Git checks out everything, and so
+ * nothing is left out here either. A worktree that is not sparse costs one
+ * `git config` and never asks `check-rules`.
+ */
+export declare function outsideSparseCheckout(worktree: string, paths: readonly string[], env: Record<string, string>): Promise<string[] | null>;
+/**
+ * The refusal of an operation that must write or remove a path outside the
+ * sparse-checkout patterns, naming those paths, or of any operation in a sparse
+ * checkout whose Git cannot evaluate its patterns; nothing is written. Widening the
+ * sparse checkout (`git sparse-checkout add`) lets the same operation run. Paths it
+ * does not address keep their files: the checkout runs with the patterns off.
+ */
+export declare function sparseCheckoutRefusal(worktree: string, paths: readonly string[], operation: "delivery" | "revert", env?: Record<string, string>): Promise<GitResultRefusal | null>;
+//# sourceMappingURL=object-sparse.d.ts.map

package/dist/object-sparse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-sparse.d.ts","sourceRoot":"","sources":["../src/object-sparse.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAQ1D;;;;;;;;;;GAUG;AACH,wBAAsB,qBAAqB,CACzC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC1B,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CA4B1B;AAED;;;;;;GAMG;AACH,wBAAsB,qBAAqB,CACzC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,SAAS,EAAE,UAAU,GAAG,QAAQ,EAChC,GAAG,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM,GAC/B,OAAO,CAAC,gBAAgB,GAAG,IAAI,CAAC,CA4BlC"}