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

package/dist/git-index-format.js

@@ -0,0 +1,293 @@
+/** Git's index file, read as Git reads it (read-cache.c, split-index.c)
+ * without a Git process. To capture an index means its stage listing: every
+ * entry's mode, object, stage and path in the order Git holds them, written
+ * as `git ls-files --stage -z` writes them. Capture asks nothing else of an
+ * index: its private view is built from the listing, and Git lists
+ * untracked names over copied bytes. The rest of an index file — the stat
+ * data each refresh re-stamps, entry flags and optional extensions — caches
+ * that meaning, serves Git's speed, or steers commands capture never runs
+ * over the index, so equal listings give capture equal answers whatever
+ * their bytes. A capture that came to read a flag would make it meaning.
+ *
+ * Every form Git writes is read: versions 2 to 4, extended flags,
+ * prefix-compressed paths, and a split index over its shared base. A form
+ * Git never writes is refused rather than guessed, as is a required
+ * extension Git would not understand. A split index resolves as Git's own
+ * merge does, which assumes its shared base and its additions each hold
+ * Git's order, so both must. Paths stay Git's to name: capture refuses any
+ * path Git itself would refuse (git-index-entries.ts). */
+import { ITEMS_PER_BOUNDARY } from "@amalgm/live";
+export class GitIndexFormatError extends Error {
+}
+const WIDTH = { sha1: 20, sha256: 32 };
+const STAT_BYTES = 40;
+const MODE_AT = 24;
+const EXTENDED = 0x4000;
+const STAGE_SHIFT = 12;
+const NAME_MASK = 0x0fff;
+/** Skip-worktree and intent-to-add: the extended flags Git defines. */
+const KNOWN_EXTENDED = 0x6000;
+const SPARSE_DIRECTORY = 0o040000;
+const HEX = Buffer.from("0123456789abcdef", "latin1");
+const invalid = (why) => { throw new GitIndexFormatError(`invalid Git index: ${why}`); };
+const overrun = () => invalid("an entry overruns the index");
+/** Git's offset varint (varint.c): each continuation adds one before shifting. */
+function varint(bytes, at, end) {
+    if (at >= end)
+        overrun();
+    let byte = bytes[at++];
+    let value = byte & 0x7f;
+    while (byte & 0x80) {
+        if (at >= end)
+            overrun();
+        value = (value + 1) * 0x80;
+        if (value > 0x7fffffff)
+            invalid("a path prefix overflows");
+        byte = bytes[at++];
+        value += byte & 0x7f;
+    }
+    return [value, at];
+}
+function* readIndexFile(bytes, width) {
+    const end = bytes.length - width;
+    if (end < 12 || bytes.toString("latin1", 0, 4) !== "DIRC")
+        invalid("no index header");
+    const version = bytes.readUInt32BE(4);
+    if (version < 2 || version > 4)
+        invalid(`unsupported version ${version}`);
+    const count = bytes.readUInt32BE(8);
+    const entries = [];
+    let offset = 12;
+    let previous = Buffer.alloc(0);
+    for (let index = 0; index < count; index += 1) {
+        if (index % ITEMS_PER_BOUNDARY === ITEMS_PER_BOUNDARY - 1)
+            yield;
+        const start = offset;
+        let at = start + STAT_BYTES + width + 2;
+        if (at > end)
+            overrun();
+        const flags = bytes.readUInt16BE(at - 2);
+        if (flags & EXTENDED) {
+            if (at + 2 > end)
+                overrun();
+            if (bytes.readUInt16BE(at) & ~KNOWN_EXTENDED)
+                invalid("unknown extended entry flags");
+            at += 2;
+        }
+        const length = flags & NAME_MASK;
+        let name;
+        if (version === 4) {
+            // A path replaces the previous path's last `strip` bytes; a NUL ends it.
+            const [strip, suffix] = varint(bytes, at, end);
+            if (strip > previous.length)
+                invalid("a path strips more than the path before it");
+            const kept = previous.length - strip;
+            const stop = length === NAME_MASK ? bytes.indexOf(0, suffix) : suffix + length - kept;
+            if (stop < suffix || stop >= end || bytes[stop] !== 0)
+                overrun();
+            name = kept === 0 ? bytes.subarray(suffix, stop) : Buffer.concat([previous.subarray(0, kept), bytes.subarray(suffix, stop)]);
+            offset = stop + 1;
+        }
+        else {
+            const stop = length === NAME_MASK ? bytes.indexOf(0, at) : at + length;
+            if (stop < at || stop >= end || bytes[stop] !== 0)
+                overrun();
+            name = bytes.subarray(at, stop);
+            // NUL padding completes an entry to a multiple of eight bytes.
+            offset = start + ((at - start + name.length + 8) & ~7);
+            if (offset > end)
+                overrun();
+        }
+        if (name.includes(0))
+            invalid("a path holds a NUL");
+        const mode = bytes.readUInt32BE(start + MODE_AT);
+        if (mode === SPARSE_DIRECTORY) {
+            throw new GitIndexFormatError("sparse Git index requires private tree expansion; capture is unsupported");
+        }
+        entries.push({ name, mode, object: bytes.subarray(start + STAT_BYTES, start + STAT_BYTES + width),
+            stage: (flags >> STAGE_SHIFT) & 3 });
+        previous = name;
+    }
+    let link;
+    for (let at = offset; at < end;) {
+        if (at + 8 > end)
+            invalid("an extension overruns the index");
+        const signature = bytes.toString("latin1", at, at + 4);
+        const stop = at + 8 + bytes.readUInt32BE(at + 4);
+        if (stop > end)
+            invalid("an extension overruns the index");
+        if (signature === "link") {
+            if (link !== undefined)
+                invalid("two split links");
+            link = readLink(bytes.subarray(at + 8, stop), width);
+        }
+        else if (signature !== "sdir" && !/^[A-Z]/.test(signature)) {
+            // Git ignores an extension named in uppercase and requires every other.
+            throw new GitIndexFormatError(`Git index requires the ${JSON.stringify(signature)} extension, which is not understood`);
+        }
+        at = stop;
+    }
+    return { entries, link: link ?? null, checksum: bytes.toString("hex", end) };
+}
+/** A zero link names no shared base; Git still reads its bitmaps. */
+function readLink(data, width) {
+    if (data.length < width)
+        invalid("a split link is too short");
+    const base = data.toString("hex", 0, width);
+    const unlinked = /^0+$/.test(base);
+    if (data.length === width)
+        return unlinked ? null : invalid("a split link names no positions");
+    const deleted = ewahFrame(data, width);
+    const replaced = ewahFrame(data, width + deleted.length);
+    if (width + deleted.length + replaced.length !== data.length)
+        invalid("bytes follow a split link");
+    return unlinked ? null : { base, deleted, replaced };
+}
+/** One EWAH bitmap (ewah/ewah_io.c): its size in bits, its word count, the
+ * words, then the position of its last run-length word. */
+function ewahFrame(data, at) {
+    if (at + 8 > data.length)
+        invalid("a split bitmap overruns its link");
+    const stop = at + 12 + data.readUInt32BE(at + 4) * 8;
+    if (stop > data.length)
+        invalid("a split bitmap overruns its link");
+    return data.subarray(at, stop);
+}
+/** A bitmap's set positions in ascending order (ewah_each_bit), each naming
+ * an entry of a base holding `bound` entries. A run-length word carries its
+ * run bit, a 32-bit run of 64-bit words, and the count of literal words
+ * that follow it. */
+function* ewahPositions(bitmap, bound) {
+    const words = bitmap.readUInt32BE(4);
+    const word = (at) => [bitmap.readUInt32BE(8 + at * 8), bitmap.readUInt32BE(12 + at * 8)];
+    const past = () => invalid("a split index names an entry past its shared base");
+    const positions = [];
+    let position = 0;
+    for (let at = 0; at < words;) {
+        const [high, low] = word(at++);
+        const run = ((high & 1) * 0x80000000 + (low >>> 1)) * 64;
+        if (low & 1) {
+            if (position + run > bound)
+                past();
+            for (let bit = 0; bit < run; bit += 1)
+                positions.push(position + bit);
+        }
+        position += run;
+        const literals = high >>> 1;
+        if (at + literals > words)
+            invalid("a split bitmap overruns its words");
+        for (const stop = at + literals; at < stop; at += 1, position += 64) {
+            if (at % ITEMS_PER_BOUNDARY === 0)
+                yield;
+            const [bitsHigh, bitsLow] = word(at);
+            for (let bit = 0; bit < 32; bit += 1)
+                if ((bitsLow >>> bit) & 1)
+                    positions.push(position + bit);
+            for (let bit = 0; bit < 32; bit += 1)
+                if ((bitsHigh >>> bit) & 1)
+                    positions.push(position + 32 + bit);
+        }
+    }
+    if (positions.length > 0 && positions[positions.length - 1] >= bound)
+        past();
+    return positions;
+}
+const compare = (a, b) => Buffer.compare(a.name, b.name) || a.stage - b.stage;
+function* ordered(entries) {
+    for (let index = 1; index < entries.length; index += 1) {
+        if (index % ITEMS_PER_BOUNDARY === 0)
+            yield;
+        if (compare(entries[index - 1], entries[index]) >= 0)
+            invalid("entries are out of Git's order");
+    }
+}
+/** Git's merge of a split index over its shared base (merge_base_index):
+ * the split index's first entries replace, in order, each replaced base
+ * entry's mode, object and stage under that entry's path; deleted entries
+ * leave; then each addition takes its (path, stage) slot, a merged stage
+ * also displacing its path's unmerged stages (add_index_entry). */
+function* mergeSplit(split, link, base) {
+    if (base.link !== null)
+        invalid("a shared index is itself split");
+    if (base.checksum !== link.base)
+        invalid("a shared index does not match its link");
+    const replaced = yield* ewahPositions(link.replaced, base.entries.length);
+    const deleted = yield* ewahPositions(link.deleted, base.entries.length);
+    if (replaced.length > split.entries.length)
+        invalid("more replaced positions than replacing entries");
+    const merged = [...base.entries];
+    replaced.forEach((position, index) => {
+        const by = split.entries[index];
+        if (by.name.length > 0)
+            invalid("a replacing entry names a path");
+        merged[position] = { ...by, name: merged[position].name };
+    });
+    const gone = new Uint8Array(merged.length);
+    for (const position of deleted)
+        gone[position] = 1;
+    const remaining = merged.filter((_, position) => gone[position] === 0);
+    const additions = split.entries.slice(replaced.length);
+    if (additions.some(entry => entry.name.length === 0))
+        invalid("an added entry names no path");
+    yield* ordered(remaining);
+    yield* ordered(additions);
+    const entries = [];
+    let next = 0;
+    for (let index = 0; index < additions.length; index += 1) {
+        if (index % ITEMS_PER_BOUNDARY === ITEMS_PER_BOUNDARY - 1)
+            yield;
+        const addition = additions[index];
+        while (next < remaining.length && compare(remaining[next], addition) < 0)
+            entries.push(remaining[next++]);
+        while (next < remaining.length && remaining[next].name.equals(addition.name)
+            && (addition.stage === 0 || remaining[next].stage === addition.stage))
+            next += 1;
+        entries.push(addition);
+    }
+    while (next < remaining.length)
+        entries.push(remaining[next++]);
+    return entries;
+}
+/** `<mode> <object> <stage>\t<path>\0` per entry, as ls-files writes them. */
+function* listing(entries) {
+    const modes = new Map();
+    const modeText = (mode) => {
+        let text = modes.get(mode);
+        if (!text)
+            modes.set(mode, text = Buffer.from(`${mode.toString(8).padStart(6, "0")} `, "latin1"));
+        return text;
+    };
+    let size = 0;
+    for (const entry of entries)
+        size += modeText(entry.mode).length + entry.object.length * 2 + entry.name.length + 4;
+    const bytes = Buffer.allocUnsafe(size);
+    let at = 0;
+    for (let index = 0; index < entries.length; index += 1) {
+        if (index % ITEMS_PER_BOUNDARY === ITEMS_PER_BOUNDARY - 1)
+            yield;
+        const { mode, object, stage, name } = entries[index];
+        at += modeText(mode).copy(bytes, at);
+        for (const byte of object) {
+            bytes[at++] = HEX[byte >> 4];
+            bytes[at++] = HEX[byte & 15];
+        }
+        bytes[at++] = 0x20;
+        bytes[at++] = 0x30 + stage;
+        bytes[at++] = 0x09;
+        at += name.copy(bytes, at);
+        bytes[at++] = 0;
+    }
+    return bytes;
+}
+/** The stage listing of an index file's bytes. A split index reads its
+ * shared base, by name, through `shared`. */
+export function* stageListing(bytes, format, shared) {
+    const width = WIDTH[format];
+    const index = yield* readIndexFile(bytes, width);
+    if (index.link === null)
+        return { listing: yield* listing(index.entries), base: null };
+    const name = `sharedindex.${index.link.base}`;
+    const base = yield* readIndexFile(shared(name), width);
+    return { listing: yield* listing(yield* mergeSplit(index, index.link, base)), base: name };
+}
+//# sourceMappingURL=git-index-format.js.map

package/dist/git-index-format.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"git-index-format.js","sourceRoot":"","sources":["../src/git-index-format.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;0DAiB0D;AAC1D,OAAO,EAAE,kBAAkB,EAAc,MAAM,cAAc,CAAC;AAE9D,MAAM,OAAO,mBAAoB,SAAQ,KAAK;CAAG;AAEjD,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAW,CAAC;AAgChD,MAAM,UAAU,GAAG,EAAE,CAAC;AACtB,MAAM,OAAO,GAAG,EAAE,CAAC;AACnB,MAAM,QAAQ,GAAG,MAAM,CAAC;AACxB,MAAM,WAAW,GAAG,EAAE,CAAC;AACvB,MAAM,SAAS,GAAG,MAAM,CAAC;AACzB,uEAAuE;AACvE,MAAM,cAAc,GAAG,MAAM,CAAC;AAC9B,MAAM,gBAAgB,GAAG,QAAQ,CAAC;AAClC,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC;AAEtD,MAAM,OAAO,GAAG,CAAC,GAAW,EAAS,EAAE,GAAG,MAAM,IAAI,mBAAmB,CAAC,sBAAsB,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACxG,MAAM,OAAO,GAAG,GAAU,EAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;AAEpE,kFAAkF;AAClF,SAAS,MAAM,CAAC,KAAa,EAAE,EAAU,EAAE,GAAW;IACpD,IAAI,EAAE,IAAI,GAAG;QAAE,OAAO,EAAE,CAAC;IACzB,IAAI,IAAI,GAAG,KAAK,CAAC,EAAE,EAAE,CAAE,CAAC;IACxB,IAAI,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC;IACxB,OAAO,IAAI,GAAG,IAAI,EAAE,CAAC;QACnB,IAAI,EAAE,IAAI,GAAG;YAAE,OAAO,EAAE,CAAC;QACzB,KAAK,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC;QAC3B,IAAI,KAAK,GAAG,UAAU;YAAE,OAAO,CAAC,yBAAyB,CAAC,CAAC;QAC3D,IAAI,GAAG,KAAK,CAAC,EAAE,EAAE,CAAE,CAAC;QACpB,KAAK,IAAI,IAAI,GAAG,IAAI,CAAC;IACvB,CAAC;IACD,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;AACrB,CAAC;AAED,QAAQ,CAAC,CAAC,aAAa,CAAC,KAAa,EAAE,KAAa;IAClD,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC;IACjC,IAAI,GAAG,GAAG,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM;QAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACtF,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,OAAO,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC;QAAE,OAAO,CAAC,uBAAuB,OAAO,EAAE,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,OAAO,GAAY,EAAE,CAAC;IAC5B,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,QAAQ,GAAW,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9C,IAAI,KAAK,GAAG,kBAAkB,KAAK,kBAAkB,GAAG,CAAC;YAAE,KAAK,CAAC;QACjE,MAAM,KAAK,GAAG,MAAM,CAAC;QACrB,IAAI,EAAE,GAAG,KAAK,GAAG,UAAU,GAAG,KAAK,GAAG,CAAC,CAAC;QACxC,IAAI,EAAE,GAAG,GAAG;YAAE,OAAO,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACzC,IAAI,KAAK,GAAG,QAAQ,EAAE,CAAC;YACrB,IAAI,EAAE,GAAG,CAAC,GAAG,GAAG;gBAAE,OAAO,EAAE,CAAC;YAC5B,IAAI,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,GAAG,CAAC,cAAc;gBAAE,OAAO,CAAC,8BAA8B,CAAC,CAAC;YACtF,EAAE,IAAI,CAAC,CAAC;QACV,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,GAAG,SAAS,CAAC;QACjC,IAAI,IAAY,CAAC;QACjB,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;YAClB,yEAAyE;YACzE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;YAC/C,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM;gBAAE,OAAO,CAAC,4CAA4C,CAAC,CAAC;YACnF,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC;YACrC,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;YACtF,IAAI,IAAI,GAAG,MAAM,IAAI,IAAI,IAAI,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YACjE,IAAI,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7H,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC;YACvE,IAAI,IAAI,GAAG,EAAE,IAAI,IAAI,IAAI,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YAC7D,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAChC,+DAA+D;YAC/D,MAAM,GAAG,KAAK,GAAG,CAAC,CAAC,EAAE,GAAG,KAAK,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACvD,IAAI,MAAM,GAAG,GAAG;gBAAE,OAAO,EAAE,CAAC;QAC9B,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,oBAAoB,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,KAAK,CAAC,YAAY,CAAC,KAAK,GAAG,OAAO,CAAC,CAAC;QACjD,IAAI,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAC9B,MAAM,IAAI,mBAAmB,CAAC,0EAA0E,CAAC,CAAC;QAC5G,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,GAAG,UAAU,EAAE,KAAK,GAAG,UAAU,GAAG,KAAK,CAAC;YAC/F,KAAK,EAAE,CAAC,KAAK,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvC,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC;IACD,IAAI,IAA6B,CAAC;IAClC,KAAK,IAAI,EAAE,GAAG,MAAM,EAAE,EAAE,GAAG,GAAG,GAAG,CAAC;QAChC,IAAI,EAAE,GAAG,CAAC,GAAG,GAAG;YAAE,OAAO,CAAC,iCAAiC,CAAC,CAAC;QAC7D,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,IAAI,IAAI,GAAG,GAAG;YAAE,OAAO,CAAC,iCAAiC,CAAC,CAAC;QAC3D,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACzB,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;YACnD,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;QACvD,CAAC;aAAM,IAAI,SAAS,KAAK,MAAM,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7D,wEAAwE;YACxE,MAAM,IAAI,mBAAmB,CAAC,0BAA0B,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;QAC1H,CAAC;QACD,EAAE,GAAG,IAAI,CAAC;IACZ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;AAC/E,CAAC;AAED,qEAAqE;AACrE,SAAS,QAAQ,CAAC,IAAY,EAAE,KAAa;IAC3C,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK;QAAE,OAAO,CAAC,2BAA2B,CAAC,CAAC;IAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,iCAAiC,CAAC,CAAC;IAC/F,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACzD,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,2BAA2B,CAAC,CAAC;IACnG,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACvD,CAAC;AAED;2DAC2D;AAC3D,SAAS,SAAS,CAAC,IAAY,EAAE,EAAU;IACzC,IAAI,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,kCAAkC,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,IAAI,GAAG,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,kCAAkC,CAAC,CAAC;IACpE,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;AACjC,CAAC;AAED;;;qBAGqB;AACrB,QAAQ,CAAC,CAAC,aAAa,CAAC,MAAc,EAAE,KAAa;IACnD,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,EAAU,EAA+B,EAAE,CACvD,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,YAAY,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,GAAU,EAAE,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC;IACvF,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,KAAK,GAAG,CAAC;QAC7B,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACzD,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;YACZ,IAAI,QAAQ,GAAG,GAAG,GAAG,KAAK;gBAAE,IAAI,EAAE,CAAC;YACnC,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,GAAG,EAAE,GAAG,IAAI,CAAC;gBAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC;QACxE,CAAC;QACD,QAAQ,IAAI,GAAG,CAAC;QAChB,MAAM,QAAQ,GAAG,IAAI,KAAK,CAAC,CAAC;QAC5B,IAAI,EAAE,GAAG,QAAQ,GAAG,KAAK;YAAE,OAAO,CAAC,mCAAmC,CAAC,CAAC;QACxE,KAAK,MAAM,IAAI,GAAG,EAAE,GAAG,QAAQ,EAAE,EAAE,GAAG,IAAI,EAAE,EAAE,IAAI,CAAC,EAAE,QAAQ,IAAI,EAAE,EAAE,CAAC;YACpE,IAAI,EAAE,GAAG,kBAAkB,KAAK,CAAC;gBAAE,KAAK,CAAC;YACzC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;YACrC,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC;gBAAE,IAAI,CAAC,OAAO,KAAK,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC;YAChG,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC;gBAAE,IAAI,CAAC,QAAQ,KAAK,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;QACxG,CAAC;IACH,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAE,IAAI,KAAK;QAAE,IAAI,EAAE,CAAC;IAC9E,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAU,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;AAEpG,QAAQ,CAAC,CAAC,OAAO,CAAC,OAAyB;IACzC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,KAAK,GAAG,kBAAkB,KAAK,CAAC;YAAE,KAAK,CAAC;QAC5C,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAE,EAAE,OAAO,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,gCAAgC,CAAC,CAAC;IACpG,CAAC;AACH,CAAC;AAED;;;;mEAImE;AACnE,QAAQ,CAAC,CAAC,UAAU,CAAC,KAAgB,EAAE,IAAU,EAAE,IAAe;IAChE,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,CAAC,gCAAgC,CAAC,CAAC;IAClE,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,wCAAwC,CAAC,CAAC;IACnF,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACxE,IAAI,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,CAAC,gDAAgD,CAAC,CAAC;IACtG,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,QAAQ,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QACnC,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAE,CAAC;QACjC,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,gCAAgC,CAAC,CAAC;QAClE,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAE,CAAC,IAAI,EAAE,CAAC;IAC7D,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3C,KAAK,MAAM,QAAQ,IAAI,OAAO;QAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACvE,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACvD,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,CAAC,8BAA8B,CAAC,CAAC;IAC9F,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC1B,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC1B,MAAM,OAAO,GAAY,EAAE,CAAC;IAC5B,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACzD,IAAI,KAAK,GAAG,kBAAkB,KAAK,kBAAkB,GAAG,CAAC;YAAE,KAAK,CAAC;QACjE,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAE,CAAC;QACnC,OAAO,IAAI,GAAG,SAAS,CAAC,MAAM,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,CAAE,EAAE,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAE,CAAC,CAAC;QAC5G,OAAO,IAAI,GAAG,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;eACxE,CAAC,QAAQ,CAAC,KAAK,KAAK,CAAC,IAAI,SAAS,CAAC,IAAI,CAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,CAAC;YAAE,IAAI,IAAI,CAAC,CAAC;QACpF,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,IAAI,GAAG,SAAS,CAAC,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAE,CAAC,CAAC;IACjE,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,8EAA8E;AAC9E,QAAQ,CAAC,CAAC,OAAO,CAAC,OAAyB;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE;QACxC,IAAI,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,CAAC,IAAI;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClG,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,KAAK,IAAI,OAAO;QAAE,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;IACnH,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,KAAK,GAAG,kBAAkB,KAAK,kBAAkB,GAAG,CAAC;YAAE,KAAK,CAAC;QACjE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,KAAK,CAAE,CAAC;QACtD,EAAE,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACrC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YAAC,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,CAAE,CAAC;YAAC,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,GAAG,EAAE,CAAE,CAAC;QAAC,CAAC;QAC5F,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC;QAAC,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;QAAC,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC;QACnE,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC3B,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;6CAC6C;AAC7C,MAAM,SAAS,CAAC,CAAC,YAAY,CAAC,KAAa,EAAE,MAAuB,EAClE,MAAgC;IAChC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACjD,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACvF,MAAM,IAAI,GAAG,eAAe,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IACvD,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAC7F,CAAC"}

package/dist/git-index-witness.d.ts

@@ -0,0 +1,33 @@
+import type { NativeIndexBinding } from "./git-binding.js";
+import { type GitObjectFormat } from "./git-index-format.js";
+import { type NativeDirectory } from "./git-native-file.js";
+import { type Steps } from "@amalgm/live";
+/** Where Git reads an index: the file `name` in `home`, over a shared base in
+ * the first of `bases` holding it — the Git directory, then the index's own. */
+interface IndexAddress {
+    readonly format: GitObjectFormat;
+    readonly home: NativeDirectory;
+    readonly name: string;
+    readonly bases: readonly NativeDirectory[];
+}
+export interface GitIndexWitness extends IndexAddress {
+    readonly kind: "git-index";
+    /** The bytes decoded: the index, null when absent, and its shared base. */
+    readonly index: Uint8Array | null;
+    readonly base: {
+        readonly name: string;
+        readonly bytes: Uint8Array;
+    } | null;
+    /** The digest of their stage listing. */
+    readonly meaning: string;
+}
+export interface GitIndexObservation {
+    readonly listing: Buffer;
+    readonly witness: GitIndexWitness;
+    /** The index and its shared base by the names Git reads them under. */
+    readonly files: ReadonlyMap<string, Buffer>;
+    readonly physical: readonly string[];
+}
+export declare function observeGitIndex(binding: NativeIndexBinding): Steps<GitIndexObservation>;
+export declare function judgeGitIndex(witness: GitIndexWitness): void;
+export {};

package/dist/git-index-witness.js

@@ -0,0 +1,69 @@
+/** The index as Git reads it, observed without a Git process, and the witness
+ * that holds it. An index is versioned by its meaning, its stage listing
+ * (git-index-format.ts): a refresh that re-stamps its stat cache, or moves
+ * entries between a split index and its shared base, leaves every answer
+ * drawn from it standing. The witness keeps the bytes it decoded, so a
+ * judgment that reads them back unchanged decodes nothing; other bytes are
+ * decoded and must mean the same. */
+import { createHash } from "node:crypto";
+import { basename, dirname } from "node:path";
+import { CaptureSourceChangedError } from "./content-cache-host.js";
+import { GitIndexFormatError, stageListing } from "./git-index-format.js";
+import { observeGitFileIn, observeNativeDirectory, rereadGitFileIn, } from "./git-native-file.js";
+import { finishSteps } from "@amalgm/live";
+const changed = () => { throw new CaptureSourceChangedError("repository index meaning changed"); };
+const meaningOf = (listing) => createHash("sha256").update(listing).digest("hex");
+/** The shared base Git reads under `name`: the first location holding it. */
+function readBase(address, name, read) {
+    for (const directory of address.bases) {
+        const found = read(directory, name);
+        if (found)
+            return found;
+    }
+    throw new CaptureSourceChangedError("repository shared index is missing");
+}
+/** An absent index is Git's empty index. */
+function* listingOf(address, index, read) {
+    if (index === null)
+        return { listing: Buffer.alloc(0), base: null };
+    let base = null;
+    const { listing } = yield* stageListing(index.bytes, address.format, name => {
+        const found = readBase(address, name, read);
+        base = { name, read: found };
+        return found.bytes;
+    });
+    return { listing, base };
+}
+export function* observeGitIndex(binding) {
+    const home = observeNativeDirectory(dirname(binding.index));
+    const address = { format: binding.format, home, name: basename(binding.index),
+        bases: Object.freeze(binding.gitDir === home.path ? [home] : [observeNativeDirectory(binding.gitDir), home]) };
+    const index = observeGitFileIn(home, address.name);
+    const { listing, base } = yield* listingOf(address, index, observeGitFileIn);
+    const reads = [...index ? [["index", index]] : [], ...base ? [[base.name, base.read]] : []];
+    return { listing, files: new Map(reads.map(([name, read]) => [name, read.bytes])),
+        physical: reads.map(([, read]) => read.physical),
+        witness: Object.freeze({ kind: "git-index", ...address, index: index?.bytes ?? null,
+            base: base && Object.freeze({ name: base.name, bytes: base.read.bytes }), meaning: meaningOf(listing) }) };
+}
+export function judgeGitIndex(witness) {
+    const index = rereadGitFileIn(witness.home, witness.name);
+    if (index === null ? witness.index === null : witness.index !== null && index.bytes.equals(witness.index)) {
+        if (witness.base === null || readBase(witness, witness.base.name, rereadGitFileIn).bytes.equals(witness.base.bytes)) {
+            return;
+        }
+    }
+    let listing;
+    // Bytes that no longer decode are a change: the observation decoded its own.
+    try {
+        ({ listing } = finishSteps(listingOf(witness, index, rereadGitFileIn)));
+    }
+    catch (error) {
+        if (error instanceof GitIndexFormatError)
+            changed();
+        throw error;
+    }
+    if (meaningOf(listing) !== witness.meaning)
+        changed();
+}
+//# sourceMappingURL=git-index-witness.js.map

package/dist/git-index-witness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"git-index-witness.js","sourceRoot":"","sources":["../src/git-index-witness.ts"],"names":[],"mappings":"AAAA;;;;;;qCAMqC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AAEpE,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAwB,MAAM,uBAAuB,CAAC;AAChG,OAAO,EACL,gBAAgB,EAAE,sBAAsB,EAAE,eAAe,GAC1D,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,WAAW,EAAc,MAAM,cAAc,CAAC;AAsBvD,MAAM,OAAO,GAAG,GAAU,EAAE,GAAG,MAAM,IAAI,yBAAyB,CAAC,kCAAkC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1G,MAAM,SAAS,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAElG,6EAA6E;AAC7E,SAAS,QAAQ,CAAC,OAAqB,EAAE,IAAY,EAAE,IAAY;IACjE,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACpC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,MAAM,IAAI,yBAAyB,CAAC,oCAAoC,CAAC,CAAC;AAC5E,CAAC;AAED,4CAA4C;AAC5C,QAAQ,CAAC,CAAC,SAAS,CAAC,OAAqB,EAAE,KAAwB,EAAE,IAAY;IAG/E,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACpE,IAAI,IAAI,GAAgE,IAAI,CAAC;IAC7E,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE;QAC1E,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC,KAAK,CAAC;IACrB,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC3B,CAAC;AAUD,MAAM,SAAS,CAAC,CAAC,eAAe,CAAC,OAA2B;IAC1D,MAAM,IAAI,GAAG,sBAAsB,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAiB,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC;QACzF,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;IACjH,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC9G,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/E,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC;QAChD,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,IAAI,IAAI;YACjF,IAAI,EAAE,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;AACjH,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAAwB;IACpD,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1G,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACpH,OAAO;QACT,CAAC;IACH,CAAC;IACD,IAAI,OAAe,CAAC;IACpB,6EAA6E;IAC7E,IAAI,CAAC;QAAC,CAAC,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAChF,OAAO,KAAK,EAAE,CAAC;QAAC,IAAI,KAAK,YAAY,mBAAmB;YAAE,OAAO,EAAE,CAAC;QAAC,MAAM,KAAK,CAAC;IAAC,CAAC;IACnF,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;AACxD,CAAC"}

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

@@ -0,0 +1,82 @@
+import { type RepoIdentityEntry, type RepoIdentityMap, type Steps } from "@amalgm/live";
+import { type LiteralLane } from "./content-capture-pool.js";
+import type { GitCapture } from "./git-capture.js";
+import { type GitIndexEntry } from "./git-index-entries.js";
+import { type LiteralLeafAnswer, type LiteralMarker, type LiteralRequest, type ProvenLeaf } from "./git-literal-read.js";
+import { PhysicalPathWitnesses, type PathsWitness, type RetainedPathWitness } from "./physical-path-witness.js";
+import type { NativeIndexBinding } from "./git-binding.js";
+import { type ConstructedLiteralCheckpoint } from "./git-checkpoint-construction.js";
+import { type SourceProof } from "./source-proof.js";
+/** A content thread's component evidence with the Stats predicates callers use. */
+export declare class LiteralStats implements RetainedPathWitness {
+    readonly dev: bigint;
+    readonly ino: bigint;
+    readonly nlink: bigint;
+    readonly mode: bigint;
+    readonly size: bigint;
+    readonly mtimeNs: bigint;
+    readonly ctimeNs: bigint;
+    readonly directory: boolean;
+    constructor(witness: RetainedPathWitness);
+    isFile(): boolean;
+    isDirectory(): boolean;
+    isSymbolicLink(): boolean;
+}
+export interface LiteralGitLeaf extends Omit<LiteralLeafAnswer, "stats" | "content"> {
+    /** Null when the request said these bytes were not needed. */
+    readonly content: Buffer | null;
+    readonly stats: LiteralStats;
+}
+export type LiteralObservation = {
+    readonly kind: "leaf";
+    readonly leaf: LiteralGitLeaf;
+} | {
+    readonly kind: "directory";
+    readonly stats: LiteralStats;
+    readonly marker: LiteralMarker | null;
+} | {
+    readonly kind: "absent";
+};
+/**
+ * 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 declare function observeLiteralPaths(repository: string, format: string, requests: readonly LiteralRequest[], witnesses: PhysicalPathWitnesses, lane: LiteralLane): Promise<ReadonlyMap<string, LiteralObservation>>;
+/** One path with its own witnesses, for a claim that retains its proof. The
+ * witness holds only components, never the leaf's bytes. */
+export declare function observeLiteralPath(repository: string, path: string, format: string, lane: LiteralLane): Promise<{
+    readonly observation: LiteralObservation;
+    readonly witness: PathsWitness;
+}>;
+export interface LiteralRepositoryView extends ConstructedLiteralCheckpoint {
+    readonly sourceBinding: NativeIndexBinding;
+    readonly leaves: ReadonlyMap<string, Omit<LiteralGitLeaf, "content">>;
+    readonly index: readonly GitIndexEntry[];
+    readonly format: string;
+    /** Every physical identity the view read, ancestor directories included. */
+    physical(): Iterable<{
+        readonly dev: bigint;
+        readonly ino: bigint;
+        readonly nlink: bigint;
+        readonly directory: boolean;
+    }>;
+    readonly proof: SourceProof;
+}
+/** A caller's proof of one repository member, by its repository path. */
+export type ProvenMembers = (path: string) => ProvenLeaf | undefined;
+/** The request, carrying its member's proof when the caller holds one. */
+export declare function withProof(request: LiteralRequest, proven: ProvenMembers | null): LiteralRequest;
+/** 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 declare function collectLiteralRepositoryView(capture: GitCapture, commit: string | null, boundaries: readonly string[], lane: LiteralLane, proven: ProvenMembers | null): Promise<LiteralRepositoryView>;
+/** 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 declare function literalRepositoryIdentitySteps(identity: readonly RepoIdentityEntry[], view: LiteralRepositoryView): Steps<RepoIdentityEntry[]>;
+export declare const literalRepositoryIdentity: (identity: readonly RepoIdentityEntry[], view: LiteralRepositoryView) => RepoIdentityEntry[];
+/** The view's literal identity map, sorted and hashed. */
+export declare function literalRepositoryIdentityMapSteps(identity: readonly RepoIdentityEntry[], view: LiteralRepositoryView): Steps<RepoIdentityMap>;