@amalgm/shell 0.1.164-preview.36072132286 → 0.1.164-preview.36809057014

package/dist/git-capture.js

@@ -0,0 +1,86 @@
+import { CaptureSourceChangedError } from "./content-cache-host.js";
+import { collectGitBinding } from "./git-binding.js";
+import { collectCard, collectStash } from "./git-card.js";
+import { observeGitConfiguration } from "./git-configuration.js";
+import { collectGitEvidence } from "./git-evidence.js";
+import { assertGitPath, isGitControlPath } from "./git-index-entries.js";
+import { NativeIndexSnapshot } from "./git-native-index.js";
+import { semanticProof, sourceProofs } from "./source-proof.js";
+const untrackedNames = (bytes) => bytes.toString("utf8").split("\0").filter(path => path && !path.endsWith("/") && !isGitControlPath(path));
+/** A path lies in scope when it or one of its ancestors is a scope entry. */
+function inScope(scope, path) {
+    for (let end = path.length; end > 0; end = path.lastIndexOf("/", end - 1)) {
+        if (scope.has(path.slice(0, end)))
+            return true;
+    }
+    return false;
+}
+export class GitCapture {
+    repository;
+    #facts = new Map();
+    constructor(repository) { this.repository = repository; }
+    #once(key, ask) {
+        let fact = this.#facts.get(key);
+        if (!fact) {
+            const asked = ask();
+            fact = asked;
+            this.#facts.set(key, asked);
+            asked.catch(() => { if (this.#facts.get(key) === asked)
+                this.#facts.delete(key); });
+        }
+        return fact;
+    }
+    binding() { return this.#once("binding", () => collectGitBinding(this.repository)); }
+    configuration() {
+        return this.#once("configuration", () => observeGitConfiguration(this.repository));
+    }
+    stash() { return this.#once("stash", () => collectStash(this.repository)); }
+    card() { return this.#once("card", () => collectCard(this)); }
+    evidence() { return this.#once("evidence", () => collectGitEvidence(this)); }
+    index() {
+        return this.#once("index", async () => NativeIndexSnapshot.observe(this.repository, (await this.binding()).binding));
+    }
+    /** A scope asked after the complete inventory is that inventory's filter,
+     * under the same proof: a stage listing never depends on the worktree, and
+     * Git lists each untracked file beneath its own path. */
+    inventory(scope) {
+        const full = this.#facts.get("inventory:null");
+        if (scope !== null && full) {
+            const selected = new Set(scope);
+            return full.then(({ index, untracked, proof }) => ({ proof,
+                index: index.filter(entry => inScope(selected, entry.path)),
+                untracked: untracked.filter(path => inScope(selected, path)) }));
+        }
+        return this.#once(`inventory:${JSON.stringify(scope)}`, () => this.#collectInventory(scope));
+    }
+    async #collectInventory(asked) {
+        // The closing re-ask names exactly this scope, whatever its caller does later.
+        const scope = asked === null ? null : Object.freeze([...asked]);
+        scope?.forEach(assertGitPath);
+        const binding = await this.binding();
+        const snapshot = await this.index();
+        if (scope?.length === 0)
+            return { index: [], untracked: [], proof: sourceProofs([binding, snapshot.proof]) };
+        // Both asks settle before either failure leaves this attempt.
+        const [indexAsk, untrackedAsk] = await Promise.allSettled([snapshot.entries(), snapshot.untracked(scope, false)]);
+        if (indexAsk.status === "rejected")
+            throw indexAsk.reason;
+        if (untrackedAsk.status === "rejected")
+            throw untrackedAsk.reason;
+        const listing = indexAsk.value, untrackedBytes = untrackedAsk.value;
+        const selected = scope === null ? null : new Set(scope);
+        const index = selected === null ? listing : listing.filter(entry => inScope(selected, entry.path));
+        const untracked = untrackedNames(untrackedBytes);
+        const answer = JSON.stringify(untracked);
+        // The index answer is its meaning, held by its witness; the untracked
+        // answer also depends on the worktree namespace, so Git lists it again
+        // over the same bytes.
+        const listed = semanticProof(async () => {
+            if (JSON.stringify(untrackedNames(await snapshot.untracked(scope, true))) !== answer) {
+                throw new CaptureSourceChangedError("repository untracked inventory changed during capture");
+            }
+        });
+        return { index, untracked, proof: sourceProofs([binding, snapshot.proof, listed]) };
+    }
+}
+//# sourceMappingURL=git-capture.js.map

package/dist/git-capture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"git-capture.js","sourceRoot":"","sources":["../src/git-capture.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAAE,iBAAiB,EAAwB,MAAM,kBAAkB,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,EAAE,uBAAuB,EAAoC,MAAM,wBAAwB,CAAC;AACnG,OAAO,EAAE,kBAAkB,EAAoB,MAAM,mBAAmB,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAsB,MAAM,wBAAwB,CAAC;AAC7F,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,YAAY,EAAoB,MAAM,mBAAmB,CAAC;AAiBlF,MAAM,cAAc,GAAG,CAAC,KAAa,EAAY,EAAE,CACjD,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;AAE5G,6EAA6E;AAC7E,SAAS,OAAO,CAAC,KAA0B,EAAE,IAAY;IACvD,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QAC1E,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACjD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,OAAO,UAAU;IACZ,UAAU,CAAS;IACnB,MAAM,GAAG,IAAI,GAAG,EAA4B,CAAC;IAEtD,YAAY,UAAkB,IAAI,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC;IAEjE,KAAK,CAAI,GAAW,EAAE,GAAqB;QACzC,IAAI,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAA2B,CAAC;QAC1D,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC;YACpB,IAAI,GAAG,KAAK,CAAC;YACb,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC5B,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK;gBAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAA+B,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/G,aAAa;QACX,OAAO,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IACrF,CAAC;IACD,KAAK,KAAkD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACzH,IAAI,KAA0C,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,QAAQ,KAA2B,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnG,KAAK;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACvH,CAAC;IAED;;6DAEyD;IACzD,SAAS,CAAC,KAA+B;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAsC,CAAC;QACpF,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;YAChC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK;gBACxD,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC3D,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrE,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/F,CAAC;IAED,KAAK,CAAC,iBAAiB,CAAC,KAA+B;QACrD,+EAA+E;QAC/E,MAAM,KAAK,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QAChE,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACpC,IAAI,KAAK,EAAE,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC7G,8DAA8D;QAC9D,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAClH,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU;YAAE,MAAM,QAAQ,CAAC,MAAM,CAAC;QAC1D,IAAI,YAAY,CAAC,MAAM,KAAK,UAAU;YAAE,MAAM,YAAY,CAAC,MAAM,CAAC;QAClE,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,cAAc,GAAG,YAAY,CAAC,KAAK,CAAC;QACpE,MAAM,QAAQ,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACnG,MAAM,SAAS,GAAG,cAAc,CAAC,cAAc,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACzC,sEAAsE;QACtE,uEAAuE;QACvE,uBAAuB;QACvB,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,IAAI,EAAE;YACtC,IAAI,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,MAAM,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;gBACrF,MAAM,IAAI,yBAAyB,CAAC,uDAAuD,CAAC,CAAC;YAC/F,CAAC;QACH,CAAC,CAAC,CAAC;QACH,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;IACtF,CAAC;CACF"}

package/dist/git-card.d.ts

@@ -0,0 +1,12 @@
+import { type RepoStashEntry, type RepoState } from "@amalgm/live";
+import type { GitCapture, GitFact } from "./git-capture.js";
+/** The stash stack newest first, exactly as Git's reflog holds it. `%gs` is
+ * the reflog subject after Git's own whitespace normalization, so storing a
+ * captured message reads back unchanged. */
+export declare function stashList(repository: string, closing?: boolean): Promise<RepoStashEntry[]>;
+/** Git can follow a symbolic stash ref to a different reflog, and object
+ * availability can change its answer, so only Git's own answer closes it. */
+export declare function collectStash(repository: string): Promise<GitFact<readonly RepoStashEntry[]>>;
+/** HEAD, refs and the shallow boundary are this fact's own answers; the
+ * stash, remotes and object format are the capture's shared facts. */
+export declare function collectCard(capture: GitCapture): Promise<GitFact<RepoState["card"]>>;

package/dist/git-card.js

@@ -0,0 +1,123 @@
+/** The Card: committed Git state as Git answers it. Each answer is one fact of
+ * a repository capture, closed by asking Git the same question again. */
+import { readFile } from "node:fs/promises";
+import { REPOSITORY_CARD_VERSION, portableRefName, refusal, } from "@amalgm/live";
+import { CaptureSourceChangedError } from "./content-cache-host.js";
+import { gitText, runGitSearch } from "./git-command.js";
+import { looseRefs } from "./git-ref-store.js";
+import { semanticProof, sourceProofs } from "./source-proof.js";
+/** Every stored ref except Amalgm's private import namespace and
+ * `refs/stash`, whose value names only the top of a stack that lives in the
+ * reflog; the stack travels whole through `stashList`. for-each-ref gives each
+ * direct value; the loose store gives each symbolic ref's immediate target and
+ * every ref for-each-ref omitted. A dangling or cyclic symbolic ref is Git
+ * state like any other and travels as stored. A stored ref Git cannot read,
+ * or a name or target no Card can carry, is refused. */
+async function refList(repository, closing) {
+    const output = await gitText(repository, ["for-each-ref", "--format=%(refname)%00%(objectname)%00%(symref)", "refs"], { purpose: "card", closing });
+    const direct = new Map();
+    const symbolic = new Set();
+    for (const line of output ? output.split("\n") : []) {
+        const [name, commit, target] = line.split("\0");
+        if (target)
+            symbolic.add(name);
+        else
+            direct.set(name, commit);
+    }
+    const refs = [...direct].map(([name, commit]) => ({ name, kind: "direct", commit }));
+    const stored = looseRefs(repository);
+    for (const name of symbolic) {
+        if (!stored.has(name))
+            throw new CaptureSourceChangedError("repository ref store changed");
+    }
+    for (const [name, read] of stored) {
+        if (direct.has(name))
+            continue;
+        const ref = read();
+        if (ref.kind === "direct")
+            throw new CaptureSourceChangedError("repository ref store changed");
+        if (ref.kind === "unreadable")
+            throw refusal(`repository stores a ref Git cannot read: ${name}`);
+        refs.push({ name, kind: "symbolic", target: ref.target });
+    }
+    return refs.filter(ref => ref.name !== "refs/stash" && !ref.name.startsWith("refs/amalgm-import/"))
+        .map(ref => {
+        if (!portableRefName(ref.name) || (ref.kind === "symbolic" && !portableRefName(ref.target))) {
+            throw refusal(`repository ref cannot travel: ${ref.name}`);
+        }
+        return ref;
+    })
+        .sort((left, right) => left.name < right.name ? -1 : left.name > right.name ? 1 : 0);
+}
+/** The stash stack newest first, exactly as Git's reflog holds it. `%gs` is
+ * the reflog subject after Git's own whitespace normalization, so storing a
+ * captured message reads back unchanged. */
+export async function stashList(repository, closing = false) {
+    const output = await gitText(repository, ["stash", "list", "--format=%H%x00%gs"], { purpose: "card", closing });
+    if (!output)
+        return [];
+    return output.split("\n").map((line) => {
+        const separator = line.indexOf("\0");
+        return { commit: line.slice(0, separator), message: line.slice(separator + 1) };
+    });
+}
+/** Git can follow a symbolic stash ref to a different reflog, and object
+ * availability can change its answer, so only Git's own answer closes it. */
+export async function collectStash(repository) {
+    const value = Object.freeze(await stashList(repository));
+    const answer = JSON.stringify(value);
+    return { value, proof: semanticProof(async () => {
+            if (JSON.stringify(await stashList(repository, true)) !== answer) {
+                throw new CaptureSourceChangedError("repository stash changed");
+            }
+        }) };
+}
+/** A shallow boundary changes the visible history graph and participates in
+ * the Card fingerprint, even when the branch tip itself is unchanged. Its
+ * location is the binding's, so only the file itself is read here. */
+async function shallowBoundary(file) {
+    let text;
+    try {
+        text = await readFile(file, "utf8");
+    }
+    catch (error) {
+        if (error.code === "ENOENT")
+            return [];
+        throw error;
+    }
+    const commits = text.split(/\r?\n/).filter(Boolean).sort();
+    if (commits.some((commit) => !/^[0-9a-f]{40,64}$/.test(commit))) {
+        throw new Error("repository has an invalid shallow boundary");
+    }
+    return commits;
+}
+async function askCard(repository, shallowFile, closing) {
+    const card = { purpose: "card", closing };
+    const branch = (await runGitSearch(repository, ["symbolic-ref", "-q", "--short", "HEAD"], card)).toString("utf8").trim() || null;
+    const commit = (await runGitSearch(repository, ["rev-parse", "-q", "--verify", "HEAD"], card)).toString("utf8").trim() || null;
+    return { branch, commit, refs: await refList(repository, closing), shallow: await shallowBoundary(shallowFile) };
+}
+/** HEAD, refs and the shallow boundary are this fact's own answers; the
+ * stash, remotes and object format are the capture's shared facts. */
+export async function collectCard(capture) {
+    const binding = await capture.binding();
+    const configuration = await capture.configuration();
+    const stash = await capture.stash();
+    const asked = await askCard(capture.repository, binding.binding.shallow, false);
+    const answer = JSON.stringify(asked);
+    const { branch, commit, refs, shallow } = asked;
+    const value = {
+        version: REPOSITORY_CARD_VERSION,
+        objectFormat: binding.binding.format,
+        head: { branch, commit, detached: branch === null && commit !== null },
+        refs, stash: [...stash.value], remotes: configuration.remotes,
+        ...(shallow.length > 0 ? { shallow } : {}),
+    };
+    const own = semanticProof(async () => {
+        if (JSON.stringify(await askCard(capture.repository, binding.binding.shallow, true)) !== answer) {
+            throw new CaptureSourceChangedError("repository Git basis changed after capture");
+        }
+    });
+    return { value, proof: sourceProofs([own, stash.proof, configuration, binding]) };
+}
+//# sourceMappingURL=git-card.js.map

package/dist/git-card.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"git-card.js","sourceRoot":"","sources":["../src/git-card.ts"],"names":[],"mappings":"AAAA;yEACyE;AACzE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EACL,uBAAuB,EAAE,eAAe,EAAE,OAAO,GAClD,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEhE;;;;;;wDAMwD;AACxD,KAAK,UAAU,OAAO,CAAC,UAAkB,EAAE,OAAgB;IACzD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,UAAU,EAAE,CAAC,cAAc,EAAE,iDAAiD,EAAE,MAAM,CAAC,EAClH,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAA6B,CAAC;QAC5E,IAAI,MAAM;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;;YAAM,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,IAAI,GAAc,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAChG,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,yBAAyB,CAAC,8BAA8B,CAAC,CAAC;IAC7F,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC/B,MAAM,GAAG,GAAG,IAAI,EAAE,CAAC;QACnB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,IAAI,yBAAyB,CAAC,8BAA8B,CAAC,CAAC;QAC/F,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY;YAAE,MAAM,OAAO,CAAC,4CAA4C,IAAI,EAAE,CAAC,CAAC;QACjG,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC;SAChG,GAAG,CAAC,GAAG,CAAC,EAAE;QACT,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAC5F,MAAM,OAAO,CAAC,iCAAiC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzF,CAAC;AAED;;4CAE4C;AAC5C,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,UAAkB,EAAE,OAAO,GAAG,KAAK;IACjE,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,oBAAoB,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IAChH,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACrC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC;AAED;6EAC6E;AAC7E,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,UAAkB;IACnD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACrC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,IAAI,EAAE;YAC9C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;gBACjE,MAAM,IAAI,yBAAyB,CAAC,0BAA0B,CAAC,CAAC;YAClE,CAAC;QACH,CAAC,CAAC,EAAE,CAAC;AACP,CAAC;AAED;;sEAEsE;AACtE,KAAK,UAAU,eAAe,CAAC,IAAY;IACzC,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QAAC,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAAC,CAAC;IAC5C,OAAO,KAAK,EAAE,CAAC;QAAC,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QAAC,MAAM,KAAK,CAAC;IAAC,CAAC;IACjG,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3D,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,KAAK,UAAU,OAAO,CAAC,UAAkB,EAAE,WAAmB,EAAE,OAAgB;IAC9E,MAAM,IAAI,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAW,CAAC;IACnD,MAAM,MAAM,GAAG,CAAC,MAAM,YAAY,CAAC,UAAU,EAAE,CAAC,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,IAAI,CAAC;IACjI,MAAM,MAAM,GAAG,CAAC,MAAM,YAAY,CAAC,UAAU,EAAE,CAAC,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,IAAI,CAAC;IAC/H,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;AACnH,CAAC;AAED;sEACsE;AACtE,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,OAAmB;IACnD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;IACxC,MAAM,aAAa,GAAG,MAAM,OAAO,CAAC,aAAa,EAAE,CAAC;IACpD,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAChF,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAChD,MAAM,KAAK,GAAsB;QAC/B,OAAO,EAAE,uBAAuB;QAChC,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM;QACpC,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,EAAE;QACtE,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,OAAO;QAC7D,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3C,CAAC;IACF,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,IAAI,EAAE;QACnC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;YAChG,MAAM,IAAI,yBAAyB,CAAC,4CAA4C,CAAC,CAAC;QACpF,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;AACpF,CAAC"}

package/dist/git-checkpoint-construction.d.ts

@@ -0,0 +1,41 @@
+/** Construct the working-file portion of a Checkpoint from explicit byte
+ * sources. Source selection belongs to publication; no filesystem lookup or
+ * invented physical fingerprint is part of construction. */
+import { type RepoUnmergedPath } from "@amalgm/live";
+import { type GitIndexEntry } from "./git-index-entries.js";
+import { type LiteralRequest } from "./git-literal-read.js";
+import type { PrivateGitView } from "./git-private-view.js";
+export interface CheckpointWorkingFile {
+    /** Null only for a tracked leaf whose bytes are exactly its indexed blob. */
+    readonly content: Buffer | null;
+    /** Null only for such a leaf that was proven rather than read. */
+    readonly sha256: string | null;
+    readonly objectId: string;
+    readonly mode: "100644" | "100755" | "120000";
+}
+/** Every working path construction reads, and the bytes each may need: a
+ * tracked leaf's only when they are not its indexed blob. */
+export declare function checkpointReads(index: readonly GitIndexEntry[], boundaries: readonly string[], additionalPaths: readonly string[]): Promise<LiteralRequest[]>;
+export interface ConstructedLiteralCheckpoint {
+    readonly stagedPatch: Buffer;
+    readonly unstagedPatch: Buffer;
+    readonly untracked: readonly {
+        path: string;
+        mode: string;
+        content: Buffer;
+        sha256: string;
+    }[];
+    readonly unmerged: readonly RepoUnmergedPath[];
+}
+/** `additionalPaths` includes every selected leaf outside the native index,
+ * including retained shared leaves no longer present in the source worktree.
+ * The same constructor serves ordinary capture and selected publication.
+ * Private-view steps run one at a time: each replaces the view's one index. */
+export declare function constructLiteralCheckpoint(input: {
+    readonly view: PrivateGitView;
+    readonly index: readonly GitIndexEntry[];
+    readonly commit: string | null;
+    readonly boundaries: readonly string[];
+    readonly additionalPaths: readonly string[];
+    readonly read: (path: string) => CheckpointWorkingFile | null;
+}): Promise<ConstructedLiteralCheckpoint>;

package/dist/git-checkpoint-construction.js

@@ -0,0 +1,96 @@
+/** Construct the working-file portion of a Checkpoint from explicit byte
+ * sources. Source selection belongs to publication; no filesystem lookup or
+ * invented physical fingerprint is part of construction. */
+import { ITEMS_PER_BOUNDARY } from "@amalgm/live";
+import { assertGitPath, isGitControlPath, withinGitBoundary } from "./git-index-entries.js";
+import { leafDigest } from "./git-literal-read.js";
+import { eachInTurns, turnBoundary } from "./turns.js";
+const independentOf = (boundaries) => path => isGitControlPath(path) || withinGitBoundary(path, boundaries);
+const readsTracked = (entry, independent) => entry.mode !== "160000" && !independent(entry.path);
+const readsUnmerged = (path, entries, independent) => !entries.every(entry => entry.mode === "160000") && !independent(path);
+function conflictsOf(index) {
+    const conflicts = new Map();
+    for (const entry of index)
+        if (entry.stage !== 0) {
+            const stages = conflicts.get(entry.path) ?? [];
+            stages.push(entry);
+            conflicts.set(entry.path, stages);
+        }
+    return conflicts;
+}
+const bytes = (leaf, path) => {
+    if (leaf.content === null)
+        throw new Error(`checkpoint working file arrived without its bytes: ${path}`);
+    return leaf.content;
+};
+/** Every working path construction reads, and the bytes each may need: a
+ * tracked leaf's only when they are not its indexed blob. */
+export async function checkpointReads(index, boundaries, additionalPaths) {
+    const independent = independentOf(boundaries);
+    const reads = [];
+    await eachInTurns(index, entry => {
+        if (entry.stage === 0 && readsTracked(entry, independent))
+            reads.push({ path: entry.path, content: { unless: entry.objectId } });
+    });
+    for (const path of additionalPaths)
+        reads.push({ path, content: "all" });
+    for (const [path, entries] of conflictsOf(index)) {
+        if (readsUnmerged(path, entries, independent))
+            reads.push({ path, content: "all" });
+    }
+    return reads;
+}
+/** `additionalPaths` includes every selected leaf outside the native index,
+ * including retained shared leaves no longer present in the source worktree.
+ * The same constructor serves ordinary capture and selected publication.
+ * Private-view steps run one at a time: each replaces the view's one index. */
+export async function constructLiteralCheckpoint(input) {
+    const { view, index, commit, boundaries, read } = input;
+    const independent = independentOf(boundaries);
+    const stageZero = index.filter(entry => entry.stage === 0);
+    const indexTree = await view.tree(stageZero);
+    const worktree = [];
+    let visited = 0;
+    for (const entry of stageZero) {
+        if (++visited % ITEMS_PER_BOUNDARY === 0)
+            await turnBoundary();
+        if (!readsTracked(entry, independent)) {
+            worktree.push(entry);
+            continue;
+        }
+        const leaf = read(entry.path);
+        if (!leaf)
+            continue;
+        if (leaf.objectId !== entry.objectId)
+            await view.rawBlob({ content: bytes(leaf, entry.path), objectId: leaf.objectId });
+        worktree.push({ path: entry.path, mode: leaf.mode, objectId: leaf.objectId, stage: 0 });
+    }
+    const conflicts = conflictsOf(index);
+    const indexed = new Set(index.map(entry => entry.path));
+    const paths = new Set();
+    const untracked = [];
+    for (const path of input.additionalPaths) {
+        if (++visited % ITEMS_PER_BOUNDARY === 0)
+            await turnBoundary();
+        assertGitPath(path);
+        if (paths.has(path))
+            throw new Error(`duplicate selected working path: ${path}`);
+        paths.add(path);
+        if (indexed.has(path) || independent(path)) {
+            throw new Error(`selected additional path belongs to another checkpoint owner: ${path}`);
+        }
+        const leaf = read(path);
+        if (leaf)
+            untracked.push({ path, mode: leaf.mode, content: bytes(leaf, path), sha256: leafDigest(leaf) });
+    }
+    const unmerged = [...conflicts].map(([path, entries]) => {
+        const leaf = readsUnmerged(path, entries, independent) ? read(path) : null;
+        return { path, stages: entries.map(entry => ({ mode: entry.mode, objectId: entry.objectId,
+                stage: entry.stage })), worktree: leaf === null ? null
+                : { mode: leaf.mode, content: bytes(leaf, path), sha256: leafDigest(leaf) } };
+    });
+    const stagedPatch = await view.diff(commit ?? await view.tree([]), indexTree);
+    const unstagedPatch = await view.diff(indexTree, await view.tree(worktree));
+    return { stagedPatch, unstagedPatch, untracked, unmerged };
+}
+//# sourceMappingURL=git-checkpoint-construction.js.map

package/dist/git-checkpoint-construction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"git-checkpoint-construction.js","sourceRoot":"","sources":["../src/git-checkpoint-construction.ts"],"names":[],"mappings":"AAAA;;4DAE4D;AAC5D,OAAO,EAAE,kBAAkB,EAAyB,MAAM,cAAc,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,iBAAiB,EAAsB,MAAM,wBAAwB,CAAC;AAChH,OAAO,EAAE,UAAU,EAAuB,MAAM,uBAAuB,CAAC;AAExE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAYvD,MAAM,aAAa,GAAG,CAAC,UAA6B,EAAe,EAAE,CACnE,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;AACxE,MAAM,YAAY,GAAG,CAAC,KAAoB,EAAE,WAAwB,EAAW,EAAE,CAC/E,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AACtD,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,OAAiC,EAAE,WAAwB,EAAW,EAAE,CAC3G,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;AAEzE,SAAS,WAAW,CAAC,KAA+B;IAClD,MAAM,SAAS,GAAG,IAAI,GAAG,EAA2B,CAAC;IACrD,KAAK,MAAM,KAAK,IAAI,KAAK;QAAE,IAAI,KAAK,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACxD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,IAA2B,EAAE,IAAY,EAAU,EAAE;IAClE,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,IAAI,EAAE,CAAC,CAAC;IACzG,OAAO,IAAI,CAAC,OAAO,CAAC;AACtB,CAAC,CAAC;AAEF;6DAC6D;AAC7D,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,KAA+B,EAAE,UAA6B,EAAE,eAAkC;IAElG,MAAM,WAAW,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,MAAM,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE;QAC/B,IAAI,KAAK,CAAC,KAAK,KAAK,CAAC,IAAI,YAAY,CAAC,KAAK,EAAE,WAAW,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACnI,CAAC,CAAC,CAAC;IACH,KAAK,MAAM,IAAI,IAAI,eAAe;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IACzE,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AASD;;;+EAG+E;AAC/E,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAAC,KAOhD;IACC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACxD,MAAM,WAAW,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC9B,IAAI,EAAE,OAAO,GAAG,kBAAkB,KAAK,CAAC;YAAE,MAAM,YAAY,EAAE,CAAC;QAC/D,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YAAE,MAAM,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QACxH,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,SAAS,GAA2E,EAAE,CAAC;IAC7F,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QACzC,IAAI,EAAE,OAAO,GAAG,kBAAkB,KAAK,CAAC;YAAE,MAAM,YAAY,EAAE,CAAC;QAC/D,aAAa,CAAC,IAAI,CAAC,CAAC;QACpB,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,IAAI,EAAE,CAAC,CAAC;QACjF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,iEAAiE,IAAI,EAAE,CAAC,CAAC;QAC3F,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,IAAI;YAAE,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5G,CAAC;IACD,MAAM,QAAQ,GAAuB,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE;QAC1E,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3E,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACvF,KAAK,EAAE,KAAK,CAAC,KAAkB,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI;gBACnE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;IAClF,CAAC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;IAC9E,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC5E,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAC7D,CAAC"}

package/dist/git-checkpoint-preparation.d.ts

@@ -0,0 +1,37 @@
+import { type RepoIdentityEntry } from "@amalgm/live";
+import { type GitIndexEntry } from "./git-index-entries.js";
+import { PrivateGitView } from "./git-private-view.js";
+export interface CheckpointLeafSource {
+    readonly path: string;
+    readonly mode: string;
+    readonly sha256: string;
+    read(): Buffer;
+}
+export interface LiteralCheckpointSource {
+    readonly baseCommit: string | null;
+    readonly stagedPatch: Uint8Array;
+    readonly unstagedPatch: Uint8Array;
+    readonly untracked: readonly CheckpointLeafSource[];
+    readonly unmerged: readonly {
+        readonly path: string;
+        readonly stages: readonly {
+            readonly stage: 1 | 2 | 3;
+            readonly mode: string;
+            readonly objectId: string;
+        }[];
+        readonly worktree: CheckpointLeafSource | null;
+    }[];
+}
+export interface PreparedLiteralCheckpoint {
+    readonly view: PrivateGitView;
+    readonly index: readonly GitIndexEntry[];
+    readonly finalIndex: readonly GitIndexEntry[];
+    readonly physical: ReadonlySet<string>;
+    readonly directories: ReadonlySet<string>;
+    readonly boundaries: readonly string[];
+    /** Exact immutable working bytes, every leaf or only the named paths, in
+     * one Git batch; no machine-local identity or stat claims. */
+    readLeaves(consume: (entry: GitIndexEntry, bytes: Buffer) => void, paths?: ReadonlySet<string>): Promise<void>;
+    close(): Promise<void>;
+}
+export declare function prepareLiteralCheckpoint(repository: string, checkpoint: LiteralCheckpointSource, identity: readonly RepoIdentityEntry[]): Promise<PreparedLiteralCheckpoint>;

package/dist/git-checkpoint-preparation.js

@@ -0,0 +1,145 @@
+/** Compile and prove a Checkpoint in disposable private Git storage.
+ * This owner performs no index installation, metadata writes or worktree reveal.
+ * Its caller owns the returned preparation until close, including on failure. */
+import { createHash } from "node:crypto";
+import { dirname } from "node:path";
+import { classifyFile } from "@amalgm/live";
+import { assertGitPath, isGitControlPath, withinGitBoundary } from "./git-index-entries.js";
+import { resolveGitBinding } from "./git-binding.js";
+import { PrivateGitView } from "./git-private-view.js";
+/** Batch raw object reads without accumulating a repository in memory. */
+async function readBlobs(view, entries, consume) {
+    if (!entries.length)
+        return;
+    const sizes = (await view.blobSizes(entries.map(entry => entry.objectId)))
+        .toString("utf8").trim().split("\n").map(Number);
+    if (sizes.length !== entries.length || sizes.some(size => !Number.isSafeInteger(size) || size < 0)) {
+        throw new Error("repository contains unavailable literal objects");
+    }
+    for (let start = 0; start < entries.length;) {
+        let end = start, bytes = 0;
+        do {
+            bytes += sizes[end++];
+        } while (end < entries.length && end - start < 128 && bytes + sizes[end] <= 16 * 1024 * 1024);
+        const batch = entries.slice(start, end);
+        const output = await view.blobs(batch.map(entry => entry.objectId));
+        let cursor = 0;
+        for (const entry of batch) {
+            const lineEnd = output.indexOf(10, cursor);
+            const [oid, type, length] = output.subarray(cursor, lineEnd).toString("ascii").split(" ");
+            const size = Number(length);
+            if (lineEnd < cursor || oid !== entry.objectId || type !== "blob" || !Number.isSafeInteger(size)
+                || size < 0 || lineEnd + size + 1 >= output.length || output[lineEnd + size + 1] !== 10) {
+                throw new Error("Git returned invalid literal blob contents");
+            }
+            cursor = lineEnd + 1;
+            consume(entry, output.subarray(cursor, cursor + size));
+            cursor += size + 1;
+        }
+        if (cursor !== output.length)
+            throw new Error("Git returned trailing literal object data");
+        start = end;
+    }
+}
+export async function prepareLiteralCheckpoint(repository, checkpoint, identity) {
+    const view = await PrivateGitView.open(await resolveGitBinding(repository));
+    try {
+        const base = checkpoint.baseCommit ?? await view.tree([]);
+        const index = await view.apply(base, checkpoint.stagedPatch);
+        const indexTree = await view.tree(index);
+        const working = await view.apply(indexTree, checkpoint.unstagedPatch);
+        const boundaries = identity.filter(entry => entry.type === "repo.git").map(entry => entry.path);
+        const indexByPath = new Map(index.map(entry => [entry.path, entry]));
+        const workingByPath = new Map(working.map(entry => [entry.path, entry]));
+        for (const entry of [...index, ...working]) {
+            if (entry.mode !== "160000" && !isGitControlPath(entry.path) && !withinGitBoundary(entry.path, boundaries))
+                continue;
+            const before = indexByPath.get(entry.path), after = workingByPath.get(entry.path);
+            if (!before || !after || before.mode !== after.mode || before.objectId !== after.objectId) {
+                throw new Error("repository unstaged patch changed an independently owned or control path");
+            }
+        }
+        const ordinary = working.filter(entry => entry.mode !== "160000" && !isGitControlPath(entry.path) && !withinGitBoundary(entry.path, boundaries));
+        const physical = new Set(ordinary.map(entry => entry.path));
+        const extra = [];
+        const indexPaths = new Set(index.map(entry => entry.path));
+        const conflicts = new Set();
+        for (const entry of checkpoint.unmerged) {
+            assertGitPath(entry.path);
+            if (conflicts.has(entry.path) || indexPaths.has(entry.path))
+                throw new Error("repository conflict overlaps stage-zero index");
+            conflicts.add(entry.path);
+            if (isGitControlPath(entry.path) || withinGitBoundary(entry.path, boundaries) || entry.stages.every(stage => stage.mode === "160000")) {
+                if (entry.worktree !== null)
+                    throw new Error("repository conflict content targets an independent owner");
+                continue;
+            }
+            if (entry.worktree)
+                extra.push(entry.worktree);
+        }
+        for (const entry of checkpoint.untracked) {
+            assertGitPath(entry.path);
+            if (indexPaths.has(entry.path) || conflicts.has(entry.path) || withinGitBoundary(entry.path, boundaries)) {
+                throw new Error("repository untracked content overlaps another owner");
+            }
+            extra.push(entry);
+        }
+        for (const entry of extra) {
+            if (physical.has(entry.path))
+                throw new Error("repository physical path has multiple contents");
+            physical.add(entry.path);
+        }
+        const directories = new Set(identity.filter(entry => entry.type === "folder").map(entry => entry.path));
+        for (const path of [...physical, ...directories, ...boundaries]) {
+            assertGitPath(path);
+            for (let parent = dirname(path); parent !== "."; parent = dirname(parent))
+                directories.add(parent);
+        }
+        for (const path of physical) {
+            if (directories.has(path) || boundaries.some(boundary => boundary.startsWith(`${path}/`))) {
+                throw new Error("repository leaf would replace a directory or independent repository");
+            }
+        }
+        const identities = new Map(identity.map(entry => [entry.path, entry]));
+        const verify = (path, mode, bytes) => {
+            const entry = identities.get(path);
+            const type = mode === "120000" ? "link" : classifyFile({ binary: bytes.includes(0) });
+            const payload = entry?.payloadVersion;
+            const actual = payload?.startsWith("git:")
+                ? `git:${view.format}:${createHash(view.format).update(`blob ${bytes.length}\0`).update(bytes).digest("hex")}`
+                : createHash("sha256").update(bytes).digest("hex");
+            if (!entry || entry.type !== type || payload !== actual) {
+                throw new Error(`repository package does not reproduce its member: ${path}`);
+            }
+        };
+        // Prove the entire package before revealing any filesystem bytes.
+        await readBlobs(view, ordinary, (entry, bytes) => verify(entry.path, entry.mode, bytes));
+        const extraObjects = [];
+        for (const entry of extra) {
+            const bytes = entry.read();
+            if (createHash("sha256").update(bytes).digest("hex") !== entry.sha256)
+                throw new Error(`repository content checksum mismatch: ${entry.path}`);
+            verify(entry.path, entry.mode, bytes);
+            const objectId = await view.writeBlob(bytes);
+            extraObjects.push({ path: entry.path, mode: entry.mode, objectId, stage: 0 });
+        }
+        for (const entry of identity) {
+            if (["file.text", "file.binary", "link"].includes(entry.type)
+                && !withinGitBoundary(entry.path, boundaries) && !physical.has(entry.path)) {
+                throw new Error(`repository package omitted member contents: ${entry.path}`);
+            }
+        }
+        const finalIndex = [...index, ...checkpoint.unmerged.flatMap(entry => entry.stages.map(stage => ({ ...stage, path: entry.path })))];
+        const leaves = [...ordinary, ...extraObjects];
+        return {
+            view, index, finalIndex, physical, directories, boundaries,
+            readLeaves: (consume, paths) => readBlobs(view, paths ? leaves.filter(entry => paths.has(entry.path)) : leaves, consume),
+            close: () => view.close(),
+        };
+    }
+    catch (error) {
+        await view.close();
+        throw error;
+    }
+}
+//# sourceMappingURL=git-checkpoint-preparation.js.map

package/dist/git-checkpoint-preparation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"git-checkpoint-preparation.js","sourceRoot":"","sources":["../src/git-checkpoint-preparation.ts"],"names":[],"mappings":"AAAA;;iFAEiF;AACjF,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,YAAY,EAA0B,MAAM,cAAc,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,iBAAiB,EAAsB,MAAM,wBAAwB,CAAC;AAChH,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAkCvD,0EAA0E;AAC1E,KAAK,UAAU,SAAS,CAAC,IAAoB,EAAE,OAAiC,EAC9E,OAAsD;IACtD,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO;IAC5B,MAAM,KAAK,GAAG,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;SACvE,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;QACnG,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC;QAC5C,IAAI,GAAG,GAAG,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC;QAC3B,GAAG,CAAC;YAAC,KAAK,IAAI,KAAK,CAAC,GAAG,EAAE,CAAE,CAAC;QAAC,CAAC,QAAQ,GAAG,GAAG,OAAO,CAAC,MAAM,IAAI,GAAG,GAAG,KAAK,GAAG,GAAG,IAAI,KAAK,GAAG,KAAK,CAAC,GAAG,CAAE,IAAI,EAAE,GAAG,IAAI,GAAG,IAAI,EAAE;QAC5H,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QACpE,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC1B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAC3C,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC1F,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YAC5B,IAAI,OAAO,GAAG,MAAM,IAAI,GAAG,KAAK,KAAK,CAAC,QAAQ,IAAI,IAAI,KAAK,MAAM,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC;mBAC3F,IAAI,GAAG,CAAC,IAAI,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;gBAC1F,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;YAChE,CAAC;YACD,MAAM,GAAG,OAAO,GAAG,CAAC,CAAC;YACrB,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;YAAC,MAAM,IAAI,IAAI,GAAG,CAAC,CAAC;QAC7E,CAAC;QACD,IAAI,MAAM,KAAK,MAAM,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAC3F,KAAK,GAAG,GAAG,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,UAAkB,EAAE,UAAmC,EAAE,QAAsC;IAE/F,MAAM,IAAI,GAAG,MAAM,cAAc,CAAC,IAAI,CAAC,MAAM,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC5E,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC;QAC7D,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC;QACtE,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChG,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACzE,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;YAC3C,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC;gBAAE,SAAS;YACrH,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClF,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAC1F,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;YAC9F,CAAC;QACH,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;QACjJ,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5D,MAAM,KAAK,GAA2B,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QACpC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACxC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;YAC9H,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;gBACtI,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;gBACzG,SAAS;YACX,CAAC;YACD,IAAI,KAAK,CAAC,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACjD,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YACzC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;gBACzG,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;YACzE,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC1B,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;YAChG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACxG,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,QAAQ,EAAE,GAAG,WAAW,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC;YAChE,aAAa,CAAC,IAAI,CAAC,CAAC;YACpB,KAAK,IAAI,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;gBAAE,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrG,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC1F,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;YACzF,CAAC;QACH,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACvE,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,KAAa,EAAQ,EAAE;YACjE,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM,IAAI,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtF,MAAM,OAAO,GAAG,KAAK,EAAE,cAAc,CAAC;YACtC,MAAM,MAAM,GAAG,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC;gBACxC,CAAC,CAAC,OAAO,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,QAAQ,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;gBAC9G,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACrD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;gBACxD,MAAM,IAAI,KAAK,CAAC,qDAAqD,IAAI,EAAE,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC,CAAC;QACF,kEAAkE;QAClE,MAAM,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QACzF,MAAM,YAAY,GAAoB,EAAE,CAAC;QACzC,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;YAC3B,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9I,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACtC,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC7C,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QAChF,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC7B,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;mBACxD,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7E,MAAM,IAAI,KAAK,CAAC,+CAA+C,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC;QACD,MAAM,UAAU,GAAoB,CAAC,GAAG,KAAK,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CACpF,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,YAAY,CAAC,CAAC;QAC9C,OAAO;YACL,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU;YAC1D,UAAU,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAC7B,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC;YAC1F,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE;SAC1B,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC"}