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

package/dist/git-literal-host.js

@@ -0,0 +1,172 @@
+/** Literal worktree observations and Checkpoint construction from one native index.
+ * Git's status, attributes and index stat hints never prove physical bytes.
+ * Every byte is read and hashed on a content thread (git-literal-read), or
+ * stands on our own proof of the unchanged object; this thread batches
+ * requests and joins the witnesses they return. */
+import { constants } from "node:fs";
+import { finishSteps, ITEMS_PER_BOUNDARY } from "@amalgm/live";
+import { readLiteral } from "./content-capture-pool.js";
+import { withinGitBoundary } from "./git-index-entries.js";
+import { leafDigest, } from "./git-literal-read.js";
+import { pathComponents, PhysicalPathWitnesses } from "./physical-path-witness.js";
+import { PrivateGitView } from "./git-private-view.js";
+import { checkpointReads, constructLiteralCheckpoint, } from "./git-checkpoint-construction.js";
+import { repositoryIdentityMapSteps } from "./repository-identity-steps.js";
+import { sourceProofs, witnessProof } from "./source-proof.js";
+import { eachInTurns, finishStepsInTurns } from "./turns.js";
+/** A content thread's component evidence with the Stats predicates callers use. */
+export class LiteralStats {
+    dev;
+    ino;
+    nlink;
+    mode;
+    size;
+    mtimeNs;
+    ctimeNs;
+    directory;
+    constructor(witness) {
+        ({ dev: this.dev, ino: this.ino, nlink: this.nlink, mode: this.mode, size: this.size,
+            mtimeNs: this.mtimeNs, ctimeNs: this.ctimeNs, directory: this.directory } = witness);
+    }
+    isFile() { return (this.mode & BigInt(constants.S_IFMT)) === BigInt(constants.S_IFREG); }
+    isDirectory() { return this.directory; }
+    isSymbolicLink() { return (this.mode & BigInt(constants.S_IFMT)) === BigInt(constants.S_IFLNK); }
+}
+/** Requests per batch: siblings share a batch and their ancestor reads. */
+const BATCH_REQUESTS = 512;
+const ABSENT = Object.freeze({ kind: "absent" });
+const need = (content) => content === "none" ? 0 : content === "all" ? 2 : 1;
+/** Two requests for one path read once, with the larger byte need. */
+function joined(a, b) {
+    const content = need(a.content) !== need(b.content) ? (need(a.content) > need(b.content) ? a.content : b.content)
+        : typeof a.content === "object" && typeof b.content === "object" && a.content.unless !== b.content.unless
+            ? "all" : a.content;
+    const proven = a.proven ?? b.proven;
+    return { path: a.path, content, marker: a.marker === true || b.marker === true, ...proven ? { proven } : {} };
+}
+function revive(answer) {
+    if (answer.kind === "absent")
+        return ABSENT;
+    if (answer.kind === "directory")
+        return { kind: "directory", stats: new LiteralStats(answer.stats), marker: answer.marker };
+    const { content, stats, ...leaf } = answer.leaf;
+    return { kind: "leaf", leaf: { ...leaf, stats: new LiteralStats(stats),
+            content: content ? Buffer.from(content.buffer, content.byteOffset, content.byteLength) : null } };
+}
+/**
+ * Read many working paths of one repository on content threads. Every
+ * batch's components join `witnesses`, so contradictory evidence across
+ * batches fails exactly as it does within one. The call returns only after
+ * every batch has settled: a failed observation leaves no read running.
+ */
+export async function observeLiteralPaths(repository, format, requests, witnesses, lane) {
+    const merged = new Map();
+    await eachInTurns(requests, request => {
+        const prior = merged.get(request.path);
+        merged.set(request.path, prior ? joined(prior, request) : request);
+    });
+    const ordered = [...merged.values()].sort((a, b) => a.path < b.path ? -1 : a.path > b.path ? 1 : 0);
+    const observations = new Map();
+    const run = async (batch) => {
+        const result = await readLiteral(repository, format, batch, lane);
+        for (const [path, witness] of pathComponents(result.witness))
+            witnesses.adopt(path, witness);
+        for (const answer of result.answers)
+            observations.set(answer.path, revive(answer));
+        if (result.rest.length)
+            await run(result.rest);
+    };
+    const batches = [];
+    for (let start = 0; start < ordered.length; start += BATCH_REQUESTS) {
+        batches.push(run(ordered.slice(start, start + BATCH_REQUESTS)));
+    }
+    const failed = (await Promise.allSettled(batches)).find(outcome => outcome.status === "rejected");
+    if (failed)
+        throw failed.reason;
+    return observations;
+}
+/** One path with its own witnesses, for a claim that retains its proof. The
+ * witness holds only components, never the leaf's bytes. */
+export async function observeLiteralPath(repository, path, format, lane) {
+    const witnesses = new PhysicalPathWitnesses();
+    const observed = await observeLiteralPaths(repository, format, [{ path, content: "none" }], witnesses, lane);
+    return { observation: observed.get(path), witness: witnesses.seal() };
+}
+/** The request, carrying its member's proof when the caller holds one. */
+export function withProof(request, proven) {
+    const leaf = proven?.(request.path);
+    return leaf ? { ...request, proven: leaf } : request;
+}
+/** Unclosed collection for the repository operation to finish. Its public
+ * boundary closes this proof after all Card, identity and package work.
+ * Construction reads exactly the paths it requested, all in one pooled pass;
+ * a clean member whose proof still holds is stated, never reopened. Nested
+ * repositories' files are theirs, never this Checkpoint's. */
+export async function collectLiteralRepositoryView(capture, commit, boundaries, lane, proven) {
+    const repository = capture.repository;
+    const binding = (await capture.binding()).binding;
+    const inventory = await capture.inventory(null);
+    const { index } = inventory;
+    const privateGit = await PrivateGitView.open(binding);
+    const witnesses = new PhysicalPathWitnesses();
+    try {
+        const names = [];
+        await eachInTurns(inventory.untracked, path => { if (!withinGitBoundary(path, boundaries))
+            names.push(path); });
+        names.sort();
+        const reads = [];
+        await eachInTurns(await checkpointReads(index, boundaries, names), read => reads.push(withProof(read, proven)));
+        const observed = await observeLiteralPaths(repository, privateGit.format, reads, witnesses, lane);
+        const leaves = new Map();
+        await eachInTurns(reads, ({ path }) => {
+            const observation = observed.get(path);
+            if (observation.kind === "leaf") {
+                const { content: _content, ...evidence } = observation.leaf;
+                leaves.set(path, evidence);
+            }
+        });
+        const checkpoint = await constructLiteralCheckpoint({
+            view: privateGit, index, commit, boundaries, additionalPaths: names,
+            read: path => {
+                const observation = observed.get(path);
+                if (!observation)
+                    throw new Error(`checkpoint construction read an unrequested path: ${path}`);
+                return observation.kind === "leaf" ? observation.leaf : null;
+            },
+        });
+        // Witness lifetime excludes the construction view, patches and leaf buffers.
+        const proof = sourceProofs([inventory.proof, witnessProof([await finishStepsInTurns(witnesses.sealSteps())])]);
+        return { leaves, index, format: privateGit.format, sourceBinding: binding, ...checkpoint, proof,
+            physical: () => witnesses.present() };
+    }
+    finally {
+        await privateGit.close();
+    }
+}
+/** Each identity entry as the view reads it: a leaf takes its type and
+ * payload from the view, every other entry stands as recorded. */
+export function* literalRepositoryIdentitySteps(identity, view) {
+    const indexed = new Map();
+    let visited = 0;
+    for (const entry of view.index) {
+        if (entry.stage === 0)
+            indexed.set(entry.path, entry);
+        if (++visited % ITEMS_PER_BOUNDARY === 0)
+            yield;
+    }
+    const literal = [];
+    for (const entry of identity) {
+        const leaf = view.leaves.get(entry.path);
+        literal.push(leaf ? { ...entry, type: leaf.type, payloadVersion: indexed.get(entry.path)?.objectId === leaf.objectId
+                ? `git:${view.format}:${leaf.objectId}` : leafDigest(leaf) } : entry);
+        if (++visited % ITEMS_PER_BOUNDARY === 0)
+            yield;
+    }
+    return literal;
+}
+export const literalRepositoryIdentity = (identity, view) => finishSteps(literalRepositoryIdentitySteps(identity, view));
+/** The view's literal identity map, sorted and hashed. */
+export function* literalRepositoryIdentityMapSteps(identity, view) {
+    return yield* repositoryIdentityMapSteps(yield* literalRepositoryIdentitySteps(identity, view));
+}
+//# sourceMappingURL=git-literal-host.js.map

package/dist/git-literal-host.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"git-literal-host.js","sourceRoot":"","sources":["../src/git-literal-host.ts"],"names":[],"mappings":"AAAA;;;;mDAImD;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAA4D,MAAM,cAAc,CAAC;AACzH,OAAO,EAAE,WAAW,EAAoB,MAAM,2BAA2B,CAAC;AAE1E,OAAO,EAAE,iBAAiB,EAAsB,MAAM,wBAAwB,CAAC;AAC/E,OAAO,EACL,UAAU,GAEX,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAA+C,MAAM,4BAA4B,CAAC;AAEhI,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EACL,eAAe,EAAE,0BAA0B,GAC5C,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,YAAY,EAAoB,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAE7D,mFAAmF;AACnF,MAAM,OAAO,YAAY;IACd,GAAG,CAAS;IACZ,GAAG,CAAS;IACZ,KAAK,CAAS;IACd,IAAI,CAAS;IACb,IAAI,CAAS;IACb,OAAO,CAAS;IAChB,OAAO,CAAS;IAChB,SAAS,CAAU;IAC5B,YAAY,OAA4B;QACtC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI;YAClF,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,OAAO,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,KAAc,OAAO,CAAC,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAClG,WAAW,KAAc,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IACjD,cAAc,KAAc,OAAO,CAAC,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;CAC3G;AAaD,2EAA2E;AAC3E,MAAM,cAAc,GAAG,GAAG,CAAC;AAC3B,MAAM,MAAM,GAAuB,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;AAErE,MAAM,IAAI,GAAG,CAAC,OAAkC,EAAU,EAAE,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhH,sEAAsE;AACtE,SAAS,MAAM,CAAC,CAAiB,EAAE,CAAiB;IAClD,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QAC/G,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM;YACvG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IACxB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC;IACpC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAChH,CAAC;AAED,SAAS,MAAM,CAAC,MAAqB;IACnC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC5C,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC5H,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC;IAChD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,YAAY,CAAC,KAAK,CAAC;YACpE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AACtG,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,UAAkB,EAAE,MAAc,EAAE,QAAmC,EACvE,SAAgC,EAAE,IAAiB;IAEnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0B,CAAC;IACjD,MAAM,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE;QACpC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpG,MAAM,YAAY,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC3D,MAAM,GAAG,GAAG,KAAK,EAAE,KAAgC,EAAiB,EAAE;QACpE,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAClE,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC;YAAE,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7F,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO;YAAE,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QACnF,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM;YAAE,MAAM,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,cAAc,EAAE,CAAC;QACpE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAClG,IAAI,MAAM;QAAE,MAAM,MAAM,CAAC,MAAM,CAAC;IAChC,OAAO,YAAY,CAAC;AACtB,CAAC;AAED;4DAC4D;AAC5D,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,UAAkB,EAAE,IAAY,EAAE,MAAc,EAAE,IAAiB;IAEnE,MAAM,SAAS,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAC9C,MAAM,QAAQ,GAAG,MAAM,mBAAmB,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC7G,OAAO,EAAE,WAAW,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;AACzE,CAAC;AAiBD,0EAA0E;AAC1E,MAAM,UAAU,SAAS,CAAC,OAAuB,EAAE,MAA4B;IAC7E,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;AACvD,CAAC;AAED;;;;8DAI8D;AAC9D,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,OAAmB,EAAE,MAAqB,EAAE,UAA6B,EAAE,IAAiB,EAC5F,MAA4B;IAE5B,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;IACtC,MAAM,OAAO,GAAG,CAAC,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;IAClD,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC;IAC5B,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAC9C,IAAI,CAAC;QACH,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,WAAW,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,UAAU,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChH,KAAK,CAAC,IAAI,EAAE,CAAC;QACb,MAAM,KAAK,GAAqB,EAAE,CAAC;QACnC,MAAM,WAAW,CAAC,MAAM,eAAe,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAChH,MAAM,QAAQ,GAAG,MAAM,mBAAmB,CAAC,UAAU,EAAE,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QAClG,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2C,CAAC;QAClE,MAAM,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YACpC,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;YACxC,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAChC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,QAAQ,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC;gBAC5D,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,MAAM,0BAA0B,CAAC;YAClD,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,KAAK;YACnE,IAAI,EAAE,IAAI,CAAC,EAAE;gBACX,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,CAAC,WAAW;oBAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,IAAI,EAAE,CAAC,CAAC;gBAC/F,OAAO,WAAW,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAC/D,CAAC;SACF,CAAC,CAAC;QACH,6EAA6E;QAC7E,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,MAAM,kBAAkB,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/G,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,UAAU,EAAE,KAAK;YAC7F,QAAQ,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;IAC1C,CAAC;YAAS,CAAC;QAAC,MAAM,UAAU,CAAC,KAAK,EAAE,CAAC;IAAC,CAAC;AACzC,CAAC;AAED;kEACkE;AAClE,MAAM,SAAS,CAAC,CAAC,8BAA8B,CAC7C,QAAsC,EAAE,IAA2B;IAEnE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,KAAK,CAAC,KAAK,KAAK,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACtD,IAAI,EAAE,OAAO,GAAG,kBAAkB,KAAK,CAAC;YAAE,KAAK,CAAC;IAClD,CAAC;IACD,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAC,QAAQ;gBAClH,CAAC,CAAC,OAAO,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACxE,IAAI,EAAE,OAAO,GAAG,kBAAkB,KAAK,CAAC;YAAE,KAAK,CAAC;IAClD,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,QAAsC,EAAE,IAA2B,EACtF,EAAE,CAAC,WAAW,CAAC,8BAA8B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;AAEtF,0DAA0D;AAC1D,MAAM,SAAS,CAAC,CAAC,iCAAiC,CAChD,QAAsC,EAAE,IAA2B;IAEnE,OAAO,KAAK,CAAC,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC,8BAA8B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;AAClG,CAAC"}

package/dist/git-literal-read.d.ts

@@ -0,0 +1,88 @@
+import { type EntityType } from "@amalgm/live";
+import { type PathsWitness, type RetainedPathWitness } from "./physical-path-witness.js";
+/** What our own earlier literal read proved about one leaf, under the one
+ * rule every leaf row follows: while a fresh stat still equals `signature`
+ * and both of its times precede `boundary`, the leaf's bytes are still Git
+ * object `objectId` in `format`, classified as `type`. */
+export interface ProvenLeaf {
+    readonly signature: string;
+    readonly boundary: string;
+    readonly format: string;
+    readonly objectId: string;
+    readonly type: Extract<EntityType, "file.text" | "file.binary" | "link">;
+}
+/** A leaf row's proof of the Git object its bytes are, when it states one. */
+export declare function provenLeaf(row: {
+    readonly type: EntityType;
+    readonly payloadVersion: string | null;
+    readonly sourceSignature: string | null;
+    readonly contentVerifiedNs: string | null;
+}): ProvenLeaf | undefined;
+export interface LiteralRequest {
+    readonly path: string;
+    /** The bytes an answer carries: none, all, or all unless they are exactly
+     * this Git object, which the caller already names. */
+    readonly content: "none" | "all" | {
+        readonly unless: string;
+    };
+    /** A directory answer also reports its own `.git` ownership marker. */
+    readonly marker?: boolean;
+    /** Answers without opening the leaf when it still holds and the request
+     * needs none of its bytes. */
+    readonly proven?: ProvenLeaf;
+}
+/** A `.git` entry makes its directory an independent repository boundary. */
+export interface LiteralMarker {
+    readonly independent: boolean;
+    readonly identity: string;
+}
+export interface LiteralLeafAnswer {
+    readonly type: Extract<EntityType, "file.text" | "file.binary" | "link">;
+    readonly mode: "100644" | "100755" | "120000";
+    /** Null only for a proven answer, whose payload is its Git object. */
+    readonly sha256: string | null;
+    readonly objectId: string;
+    readonly stats: RetainedPathWitness;
+    readonly content: Uint8Array | null;
+}
+/** A content row names its leaf by one codec: a repository member by its Git
+ * object in that repository's format, every other leaf by its SHA-256. */
+export declare const payloadFormat: (payloadVersion: string) => string;
+export declare const leafPayload: (payloadVersion: string | null | undefined, format: string, leaf: Pick<LiteralLeafAnswer, "sha256" | "objectId">) => string;
+/** A leaf's SHA-256, which only a read of its bytes states. */
+export declare function leafDigest(leaf: Pick<LiteralLeafAnswer, "sha256" | "objectId">): string;
+export type LiteralAnswer = {
+    readonly path: string;
+    readonly kind: "absent";
+} | {
+    readonly path: string;
+    readonly kind: "directory";
+    readonly stats: RetainedPathWitness;
+    readonly marker: LiteralMarker | null;
+} | {
+    readonly path: string;
+    readonly kind: "leaf";
+    readonly leaf: LiteralLeafAnswer;
+};
+export interface LiteralBatch {
+    readonly answers: readonly LiteralAnswer[];
+    /** Every component read, absent ones included, prefixes first. */
+    readonly witness: PathsWitness;
+    /** Requests left for another batch once this one reached its byte bound. */
+    readonly rest: readonly LiteralRequest[];
+}
+/** Bytes one reply may carry; a larger single leaf travels alone. */
+export declare const LITERAL_BATCH_BYTES: number;
+export declare function readLiteralMarker(directory: string): LiteralMarker | null;
+/** A directory's repository marker as one read saw it: an ownership boundary. */
+export interface GitMarkerWitness {
+    readonly kind: "git-marker";
+    readonly directory: string;
+    readonly marker: string;
+}
+export declare const gitMarkerWitness: (directory: string, marker: LiteralMarker | null) => GitMarkerWitness;
+export declare function judgeGitMarker(witness: GitMarkerWitness): void;
+/** Each answer's components join the batch's witnesses. An observed ancestor
+ * link obstructs a descendant; a persistent replacement during the batch
+ * invalidates it. Full-path syscalls do not promise atomic no-follow ancestry. */
+export declare function readLiteralBatch(repository: string, format: string, requests: readonly LiteralRequest[]): LiteralBatch;

package/dist/git-literal-read.js

@@ -0,0 +1,170 @@
+/** Literal worktree reads for one repository, run on a content thread.
+ * Git's status, attributes and index stat hints never prove physical bytes:
+ * every answer comes from the bytes and components read here, or from our
+ * own earlier read of the same unchanged object (see ProvenLeaf). A batch
+ * reads each path component once and validates every component after its
+ * last read, so shared ancestors cost one stat per batch, not one per leaf. */
+import { createHash } from "node:crypto";
+import { closeSync, constants, fstatSync, lstatSync, openSync, readSync, readlinkSync } from "node:fs";
+import { join } from "node:path";
+import { classifyFile } from "@amalgm/live";
+import { CaptureSourceChangedError } from "./content-cache-host.js";
+import { assertGitPath } from "./git-index-entries.js";
+import { optionalLstat, PhysicalPathWitnesses, retainedWitness } from "./physical-path-witness.js";
+import { contentProven, sameSource, sourceSignature } from "./source-signature.js";
+/** A leaf row's proof of the Git object its bytes are, when it states one. */
+export function provenLeaf(row) {
+    if (row.type !== "file.text" && row.type !== "file.binary" && row.type !== "link")
+        return undefined;
+    if (!row.payloadVersion?.startsWith("git:") || row.sourceSignature === null || row.contentVerifiedNs === null)
+        return undefined;
+    const [, format, objectId] = row.payloadVersion.split(":");
+    return { signature: row.sourceSignature, boundary: row.contentVerifiedNs, format: format, objectId: objectId, type: row.type };
+}
+/** A content row names its leaf by one codec: a repository member by its Git
+ * object in that repository's format, every other leaf by its SHA-256. */
+export const payloadFormat = (payloadVersion) => payloadVersion.startsWith("git:") ? payloadVersion.split(":")[1] : "sha1";
+export const leafPayload = (payloadVersion, format, leaf) => payloadVersion?.startsWith("git:") ? `git:${format}:${leaf.objectId}` : leafDigest(leaf);
+/** A leaf's SHA-256, which only a read of its bytes states. */
+export function leafDigest(leaf) {
+    if (leaf.sha256 === null)
+        throw new Error(`a proven leaf states only its Git object: ${leaf.objectId}`);
+    return leaf.sha256;
+}
+/** Bytes one reply may carry; a larger single leaf travels alone. */
+export const LITERAL_BATCH_BYTES = 16 * 1024 * 1024;
+const READ_CHUNK = 256 * 1024;
+export function readLiteralMarker(directory) {
+    try {
+        const stat = lstatSync(join(directory, ".git"), { bigint: true });
+        return { independent: stat.isDirectory() || stat.isFile(), identity: [stat.dev, stat.ino, stat.mode].join(":") };
+    }
+    catch (error) {
+        if (error.code === "ENOENT")
+            return null;
+        throw error;
+    }
+}
+export const gitMarkerWitness = (directory, marker) => Object.freeze({ kind: "git-marker", directory, marker: JSON.stringify(marker) });
+export function judgeGitMarker(witness) {
+    if (JSON.stringify(readLiteralMarker(witness.directory)) !== witness.marker) {
+        throw new CaptureSourceChangedError("repository ownership boundary changed during inspection");
+    }
+}
+const gitMode = (stats) => stats.isSymbolicLink() ? "120000" : stats.mode & 73n ? "100755" : "100644";
+/** The earlier proof answers only a request that needs no bytes of it. */
+function provenAnswer(request, before, format) {
+    const { proven, content } = request;
+    if (!proven || proven.format !== format || (content !== "none"
+        && (typeof content !== "object" || content.unless !== proven.objectId)))
+        return null;
+    if (sourceSignature(before) !== proven.signature || !contentProven(proven.signature, proven.boundary)
+        || (proven.type === "link") !== before.isSymbolicLink())
+        return null;
+    return { type: proven.type, mode: gitMode(before), sha256: null, objectId: proven.objectId,
+        stats: retainedWitness(before), content: null };
+}
+/** Kept bytes own their buffer so the reply can transfer it. */
+function readLeaf(file, path, before, format, keep) {
+    const hash = createHash("sha256"), object = createHash(format);
+    let content = null, binary = false;
+    const consume = (chunk) => { hash.update(chunk); object.update(chunk); binary ||= chunk.includes(0); };
+    if (before.isSymbolicLink()) {
+        const target = Buffer.from(readlinkSync(file), "utf8");
+        object.update(`blob ${target.length}\0`);
+        consume(target);
+        if (keep) {
+            content = Buffer.allocUnsafeSlow(target.length);
+            target.copy(content);
+        }
+    }
+    else {
+        if (!before.isFile())
+            throw new Error(`unsupported repository leaf: ${path}`);
+        const fd = openSync(file, constants.O_RDONLY | constants.O_NONBLOCK | (constants.O_NOFOLLOW ?? 0));
+        try {
+            if (!sameSource(before, fstatSync(fd, { bigint: true })))
+                throw new CaptureSourceChangedError(`repository leaf changed: ${path}`);
+            const size = Number(before.size);
+            object.update(`blob ${size}\0`);
+            if (keep)
+                content = Buffer.allocUnsafeSlow(size);
+            const buffer = content ?? Buffer.allocUnsafe(Math.min(READ_CHUNK, size));
+            for (let offset = 0; offset < size;) {
+                const at = content ? offset : 0;
+                const count = readSync(fd, buffer, at, Math.min(READ_CHUNK, size - offset), offset);
+                if (count === 0)
+                    throw new CaptureSourceChangedError(`repository leaf shortened during capture: ${path}`);
+                consume(buffer.subarray(at, at + count));
+                offset += count;
+            }
+            if (!sameSource(before, fstatSync(fd, { bigint: true }))) {
+                throw new CaptureSourceChangedError(`repository leaf changed during capture: ${path}`);
+            }
+        }
+        finally {
+            closeSync(fd);
+        }
+    }
+    return {
+        type: before.isSymbolicLink() ? "link" : classifyFile({ binary }),
+        mode: gitMode(before),
+        sha256: hash.digest("hex"), objectId: object.digest("hex"), stats: retainedWitness(before), content,
+    };
+}
+/** Each answer's components join the batch's witnesses. An observed ancestor
+ * link obstructs a descendant; a persistent replacement during the batch
+ * invalidates it. Full-path syscalls do not promise atomic no-follow ancestry. */
+export function readLiteralBatch(repository, format, requests) {
+    const witnesses = new PhysicalPathWitnesses();
+    const observe = (file) => {
+        const stats = optionalLstat(file);
+        witnesses.remember(file, stats);
+        return stats;
+    };
+    const directory = (file) => {
+        const known = witnesses.known(file);
+        return known === undefined ? observe(file)?.isDirectory() === true : known?.directory === true;
+    };
+    if (!observe(repository)?.isDirectory())
+        throw new CaptureSourceChangedError("repository root is unavailable");
+    const answers = [];
+    let bytes = 0, next = 0;
+    for (; next < requests.length; next += 1) {
+        const request = requests[next];
+        const { path } = request;
+        assertGitPath(path);
+        const parts = path.split("/");
+        let parentsPresent = true;
+        for (let end = 1; end < parts.length && parentsPresent; end += 1) {
+            parentsPresent = directory(join(repository, ...parts.slice(0, end)));
+        }
+        const file = join(repository, path);
+        const before = parentsPresent ? observe(file) : null;
+        if (before === null) {
+            answers.push({ path, kind: "absent" });
+            continue;
+        }
+        if (before.isDirectory()) {
+            answers.push({ path, kind: "directory", stats: retainedWitness(before),
+                marker: request.marker ? readLiteralMarker(file) : null });
+            continue;
+        }
+        const proven = provenAnswer(request, before, format);
+        if (proven) {
+            answers.push({ path, kind: "leaf", leaf: proven });
+            continue;
+        }
+        const keep = request.content !== "none";
+        if (keep && answers.length > 0 && bytes + Number(before.size) > LITERAL_BATCH_BYTES)
+            break;
+        let leaf = readLeaf(file, path, before, format, keep);
+        if (typeof request.content === "object" && request.content.unless === leaf.objectId)
+            leaf = { ...leaf, content: null };
+        bytes += leaf.content?.byteLength ?? 0;
+        answers.push({ path, kind: "leaf", leaf });
+    }
+    witnesses.validate();
+    return { answers, witness: witnesses.seal(), rest: requests.slice(next) };
+}
+//# sourceMappingURL=git-literal-read.js.map

package/dist/git-literal-read.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"git-literal-read.js","sourceRoot":"","sources":["../src/git-literal-read.ts"],"names":[],"mappings":"AAAA;;;;;+EAK+E;AAC/E,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAoB,MAAM,SAAS,CAAC;AACzH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAmB,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,eAAe,EAA+C,MAAM,4BAA4B,CAAC;AAChJ,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAcnF,8EAA8E;AAC9E,MAAM,UAAU,UAAU,CAAC,GAC2D;IACpF,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IACpG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,eAAe,KAAK,IAAI,IAAI,GAAG,CAAC,iBAAiB,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAChI,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,GAAG,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3D,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC,eAAe,EAAE,QAAQ,EAAE,GAAG,CAAC,iBAAiB,EAAE,MAAM,EAAE,MAAO,EAAE,QAAQ,EAAE,QAAS,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;AACnI,CAAC;AA8BD;0EAC0E;AAC1E,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,cAAsB,EAAU,EAAE,CAC9D,cAAc,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AAC7E,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,cAAyC,EAAE,MAAc,EAAE,IAAoD,EACvG,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AAEtG,+DAA+D;AAC/D,MAAM,UAAU,UAAU,CAAC,IAAoD;IAC7E,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxG,OAAO,IAAI,CAAC,MAAM,CAAC;AACrB,CAAC;AAgBD,qEAAqE;AACrE,MAAM,CAAC,MAAM,mBAAmB,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AACpD,MAAM,UAAU,GAAG,GAAG,GAAG,IAAI,CAAC;AAE9B,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACnH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACpE,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AASD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,SAAiB,EAAE,MAA4B,EAAoB,EAAE,CACpG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAEnF,MAAM,UAAU,cAAc,CAAC,OAAyB;IACtD,IAAI,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;QAC5E,MAAM,IAAI,yBAAyB,CAAC,yDAAyD,CAAC,CAAC;IACjG,CAAC;AACH,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,KAAkB,EAA6B,EAAE,CAChE,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,GAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;AAEhF,0EAA0E;AAC1E,SAAS,YAAY,CAAC,OAAuB,EAAE,MAAmB,EAAE,MAAc;IAChF,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IACpC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,OAAO,KAAK,MAAM;WACzD,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACvF,IAAI,eAAe,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,SAAS,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC;WAChG,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,MAAM,CAAC,cAAc,EAAE;QAAE,OAAO,IAAI,CAAC;IACvE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACxF,KAAK,EAAE,eAAe,CAAC,MAAM,CAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACrD,CAAC;AAED,gEAAgE;AAChE,SAAS,QAAQ,CAAC,IAAY,EAAE,IAAY,EAAE,MAAmB,EAAE,MAAc,EAAE,IAAa;IAC9F,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IAC/D,IAAI,OAAO,GAAkB,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC;IAClD,MAAM,OAAO,GAAG,CAAC,KAAa,EAAQ,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrH,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;QACvD,MAAM,CAAC,MAAM,CAAC,QAAQ,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;QAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,IAAI,EAAE,CAAC;YAAC,OAAO,GAAG,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAAC,CAAC;IACtF,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,EAAE,CAAC,CAAC;QAC9E,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,UAAU,GAAG,CAAC,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC;QACnG,IAAI,CAAC;YACH,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;gBAAE,MAAM,IAAI,yBAAyB,CAAC,4BAA4B,IAAI,EAAE,CAAC,CAAC;YAClI,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,MAAM,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;YAChC,IAAI,IAAI;gBAAE,OAAO,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,OAAO,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;YACzE,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,CAAC;gBACpC,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChC,MAAM,KAAK,GAAG,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,GAAG,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;gBACpF,IAAI,KAAK,KAAK,CAAC;oBAAE,MAAM,IAAI,yBAAyB,CAAC,6CAA6C,IAAI,EAAE,CAAC,CAAC;gBAC1G,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;gBAAC,MAAM,IAAI,KAAK,CAAC;YAC5D,CAAC;YACD,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;gBACzD,MAAM,IAAI,yBAAyB,CAAC,2CAA2C,IAAI,EAAE,CAAC,CAAC;YACzF,CAAC;QACH,CAAC;gBAAS,CAAC;YAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAAC,CAAC;IAC9B,CAAC;IACD,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;QACjE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;QACrB,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,MAAM,CAAE,EAAE,OAAO;KACrG,CAAC;AACJ,CAAC;AAED;;kFAEkF;AAClF,MAAM,UAAU,gBAAgB,CAAC,UAAkB,EAAE,MAAc,EAAE,QAAmC;IACtG,MAAM,SAAS,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAC9C,MAAM,OAAO,GAAG,CAAC,IAAY,EAAsB,EAAE;QACnD,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAAC,OAAO,KAAK,CAAC;IAChD,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,IAAY,EAAW,EAAE;QAC1C,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,KAAK,IAAI,CAAC;IACjG,CAAC,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE;QAAE,MAAM,IAAI,yBAAyB,CAAC,gCAAgC,CAAC,CAAC;IAC/G,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,IAAI,KAAK,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;IACxB,OAAO,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAE,CAAC;QAChC,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;QACzB,aAAa,CAAC,IAAI,CAAC,CAAC;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,cAAc,GAAG,IAAI,CAAC;QAC1B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,cAAc,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;YACjE,cAAc,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACrD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC1E,IAAI,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC;YACzB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,CAAC,MAAM,CAAE;gBACrE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7D,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACrD,IAAI,MAAM,EAAE,CAAC;YAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC7E,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC;QACxC,IAAI,IAAI,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,mBAAmB;YAAE,MAAM;QAC3F,IAAI,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QACtD,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,QAAQ;YAAE,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACvH,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,UAAU,IAAI,CAAC,CAAC;QACvC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7C,CAAC;IACD,SAAS,CAAC,QAAQ,EAAE,CAAC;IACrB,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5E,CAAC"}

package/dist/git-literal-replay.d.ts

@@ -0,0 +1,33 @@
+import type { RepoIdentityEntry } from "@amalgm/live";
+import { type LiteralCheckpointSource } from "./git-checkpoint-preparation.js";
+/** Removals one working reveal may perform, planned before any effect. */
+export interface RevealRemovals {
+    readonly leaves: readonly string[];
+    /** Deepest first. */
+    readonly directories: readonly string[];
+}
+/** What a reveal may remove besides installing the accepted result. */
+export type RevealGround = 
+/** Ground this install alone created (private Add staging, or core ground
+ * login just cleared): nothing but the result has value there. */
+{
+    readonly kind: "owned";
+}
+/** Working ground: only planned removals, and the accounted remainder
+ * policy keeps unshared stays in place. */
+ | {
+    readonly kind: "working";
+    readonly removals: RevealRemovals;
+    readonly remainder: ReadonlySet<string>;
+};
+export declare class RepositoryGroundObstructed extends Error {
+    readonly paths: readonly string[];
+    constructor(paths: readonly string[]);
+}
+/** Removal is sharing's decision, never an occupant's: only members the
+ * shared identity held and the accepted identity drops are removed. A
+ * remainder in a slot the result needs, a dropped directory still holding
+ * kept ground, or anything neither identity nor the remainder accounts for
+ * obstructs before any effect, naming its paths. */
+export declare function planWorkingReveal(repository: string, target: readonly RepoIdentityEntry[], shared: readonly RepoIdentityEntry[], remainder: ReadonlySet<string>): RevealRemovals;
+export declare function installLiteralCheckpoint(repository: string, checkpoint: LiteralCheckpointSource, identity: readonly RepoIdentityEntry[], ground: RevealGround, installMetadata: () => Promise<void>): Promise<void>;