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

package/dist/detection/ground-proof.js

@@ -0,0 +1,274 @@
+/** Retain the physical basis of a complete walk across scheduling boundaries. */
+import { sep } from "node:path";
+import { eachStep } from "@amalgm/live";
+import { listingQualification, listingWaitMs } from "../content-clock.js";
+import { pathsWitnessSteps } from "../physical-path-witness.js";
+import { sourceProofs, witnessProof } from "../source-proof.js";
+import { physicalKey, signedStat, sourceUnchanged } from "../source-signature.js";
+import { awaitTurn, finishStepsInTurns, turnBoundary } from "../turns.js";
+const KIND = 0o170000;
+const sameObject = (a, b) => a.physicalKey === physicalKey(b) && ((a.filesystemMode ?? 0) & KIND) === (Number(b.mode) & KIND);
+const sameMarker = (a, b) => a === null || b === null
+    ? a === b
+    : a.physicalKey === b.physicalKey && a.kind === b.kind;
+const isDirectory = (source) => source.relativePath === "" || ((source.filesystemMode ?? 0) & KIND) === 0o040000;
+/** Separators in an address: a parent is always shallower than its child. */
+const depthOf = (relativePath) => {
+    let depth = 0;
+    for (let at = relativePath.indexOf("/"); at >= 0; at = relativePath.indexOf("/", at + 1))
+        depth += 1;
+    return depth;
+};
+const sameNames = (a, b) => a.length === b.length && a.every((name, index) => name === b[index]);
+/** Stat calls between yields while closing. */
+const CLOSE_YIELD_SOURCES = 256;
+/** A closed walk, answered by absolute address so one pass can consult the
+ * closure that observed each member. Each answer is about one retained
+ * address; a reread that differs is input for a later attempt, never a new
+ * expected value. */
+export class GroundClosure {
+    /** Absolute address to whether the walk read it as a directory. */
+    #observed;
+    #changes;
+    constructor(observed, changes) {
+        this.#observed = observed;
+        this.#changes = changes;
+    }
+    observes(path) { return this.#observed.has(path); }
+    #change(path) {
+        if (!this.#observed.has(path))
+            throw new Error(`ground closure never observed ${path}`);
+        return this.#changes.get(path);
+    }
+    /** Bytes, entry list and marker closed exactly as walked. */
+    settled(path) { return this.#change(path) === undefined; }
+    /** A directory an address resolves through: the same object and marker.
+     * Its own entry list may have changed; a sibling's churn crosses no route. */
+    routes(path) {
+        const change = this.#change(path);
+        return change === undefined || (!change.object && !change.marker);
+    }
+    /** Nothing at or beneath the directory changed. */
+    settledUnder(directory) {
+        const prefix = directory.endsWith(sep) ? directory : directory + sep;
+        for (const path of this.#changes.keys())
+            if (path === directory || path.startsWith(prefix))
+                return false;
+        return true;
+    }
+    /** The first walked directory whose entry list did not close, with what
+     * moved, or null when every one closed: an identity the walk did not find
+     * was then absent from all of them, not moved between reads. A racy listing
+     * has not closed. */
+    get unsettledDirectory() {
+        for (const [path, change] of this.#changes) {
+            if (!this.#observed.get(path))
+                continue;
+            const kinds = Object.keys(change).filter(kind => change[kind]);
+            return `${path} (${kinds.join(", ")})`;
+        }
+        return null;
+    }
+    /** Absolute addresses whose walk read did not close. */
+    get changed() { return [...this.#changes.keys()]; }
+}
+/** This is evidence, never an identity resolver. Any changed source restarts
+ * reconciliation; fresh bytes must not inherit an old directory's UUID map.
+ * Parents open before children and close afterward. This rejects persistent
+ * replacement during the read; it does not make path resolution atomic.
+ *
+ * It closes in one of two forms. `close` answers per address, for a caller
+ * that waits only where ground moved. `witness` is the whole walk as plain
+ * data, for a journey that concludes every membership at once; any thread
+ * judges it, so a cold walk never closes on the admitting thread.
+ *
+ * A listing its walk's content clock qualified closes as its directory's
+ * signature does (see content-clock.ts). Any other closes only by a fresh
+ * listing, taken after the whole walk, that names exactly what the walk
+ * listed while the directory stands as walked on both sides. A racy listing
+ * must also qualify under a later stamp, which proves no same-tick change is
+ * hidden. A listing no stamp can qualify, on a filesystem ground-profile.ts
+ * does not trust or on another device than the clock, closes by agreement
+ * alone: an entry moved once between a directory not yet listed and one
+ * already listed changes one of those listings between its two reads. Only
+ * an entry moved and moved back across both reads, each move inside its
+ * directories' clock ticks, escapes that; any move is a later Watch
+ * generation. Such ground loses shortcuts, never conclusions. A walk that
+ * concludes nothing from its listings keeps none. */
+export class GroundSourceProof {
+    #sources;
+    #byPath;
+    #reader;
+    #names;
+    #racy;
+    #racyWaitMs;
+    #unqualified;
+    #witness;
+    /** The proof of a walk's sources, built as steps. */
+    static *ofWalk(sources, reader, listings) {
+        const retained = [];
+        yield* eachStep(sources, source => retained.push({ depth: depthOf(source.relativePath), source: {
+                relativePath: source.relativePath, absolutePath: source.absolutePath,
+                physicalKey: source.physicalKey, sourceSignature: source.sourceSignature,
+                filesystemMode: source.filesystemMode,
+                ...(source.gitMarker !== undefined ? { gitMarker: source.gitMarker } : {}),
+            } }));
+        retained.sort((a, b) => a.depth - b.depth || a.source.relativePath.localeCompare(b.source.relativePath));
+        yield;
+        const ordered = [];
+        const byPath = new Map();
+        yield* eachStep(retained, ({ source }) => { ordered.push(source); byPath.set(source.relativePath, source); });
+        if (!byPath.has('') || byPath.size !== ordered.length) {
+            throw new Error('ground proof requires one root and unique observed addresses');
+        }
+        yield* eachStep(ordered, source => {
+            if (source.relativePath === '')
+                return;
+            const parent = source.relativePath.slice(0, Math.max(0, source.relativePath.lastIndexOf('/')));
+            if (!byPath.has(parent))
+                throw new Error('ground proof is missing observed ancestry');
+        });
+        const racy = [];
+        let racyWaitMs = 0;
+        const unqualified = [];
+        const names = listings?.names ?? new Map();
+        if (listings)
+            yield* eachStep(ordered, source => {
+                if (!isDirectory(source) || source.sourceSignature === null || names.get(source.absolutePath) === null)
+                    return;
+                const [dev, , , , mtimeNs, ctimeNs] = source.sourceSignature.split(":").map(BigInt);
+                const qualification = listingQualification(listings.clock, { dev: dev, mtimeNs: mtimeNs, ctimeNs: ctimeNs });
+                if (qualification === "racy") {
+                    racy.push(source);
+                    racyWaitMs = Math.max(racyWaitMs, listingWaitMs(listings.clock, { mtimeNs: mtimeNs, ctimeNs: ctimeNs }));
+                }
+                else if (qualification === "unqualified")
+                    unqualified.push(source);
+            });
+        return new GroundSourceProof(ordered, byPath, reader, names, racy, racyWaitMs, unqualified);
+    }
+    constructor(sources, byPath, reader, names, racy, racyWaitMs, unqualified) {
+        this.#sources = sources;
+        this.#byPath = byPath;
+        this.#reader = reader;
+        this.#names = names;
+        this.#racy = racy;
+        this.#racyWaitMs = racyWaitMs;
+        this.#unqualified = unqualified;
+    }
+    /** Directories listed inside their racy interval, by absolute address. */
+    get racy() { return this.#racy.map(source => source.absolutePath); }
+    /** Directories listed where no stamp can qualify them, by absolute address. */
+    get unqualified() { return this.#unqualified.map(source => source.absolutePath); }
+    /** How long after this walk's stamp a later stamp can qualify every racy
+     * directory, if none changes; 0 when none is racy. */
+    get racyWaitMs() { return this.#racyWaitMs; }
+    /** Whether a fresh listing names exactly what the walk listed while the
+     * directory stands as walked on both sides of it, and, where a clock is
+     * given, qualifies under it. */
+    #listsAgain(source, clock) {
+        const names = this.#names.get(source.absolutePath), current = this.#reader.stat(source);
+        if (!names || current === null || !sourceUnchanged(source.sourceSignature, current)
+            || (clock !== undefined && listingQualification(clock, current) !== "qualified"))
+            return false;
+        const now = this.#reader.list(source.absolutePath), after = this.#reader.stat(source);
+        return now !== null && after !== null && sourceUnchanged(source.sourceSignature, after) && sameNames(now, names);
+    }
+    /** Closes every listing its walk's clock did not qualify by listing it
+     * again, a racy one under clock, a later stamp, as Git settles a racily
+     * clean entry. Returns the first directory that stays open; each closed
+     * one is neither racy nor unqualified any more. */
+    async closeListings(clock, checkpoint) {
+        const open = async (sources, qualifying) => {
+            const remaining = [];
+            for (const source of sources) {
+                await turnBoundary();
+                checkpoint?.();
+                if (!this.#listsAgain(source, qualifying))
+                    remaining.push(source);
+            }
+            return remaining;
+        };
+        this.#racy = await open(this.#racy, clock);
+        if (!this.#racy.length)
+            this.#racyWaitMs = 0;
+        this.#unqualified = await open(this.#unqualified);
+        return this.#racy[0]?.absolutePath ?? this.#unqualified[0]?.absolutePath ?? null;
+    }
+    /** Every retained source as one witness, parents first, built as steps
+     * once. Judging it reads each source forward, then each directory again in
+     * reverse, as `close` does. */
+    *witness() {
+        if (this.#witness)
+            return this.#witness;
+        const components = [];
+        yield* eachStep(this.#sources, source => {
+            if (source.sourceSignature === null)
+                throw new Error(`ground witness lacks a signed read: ${source.absolutePath}`);
+            components.push([source.absolutePath, signedStat(source.sourceSignature)]);
+        });
+        return (this.#witness = yield* pathsWitnessSteps(components));
+    }
+    /** Closes every retained source outside any transaction, yielding as it
+     * goes: parents forward before children, directories again in reverse,
+     * each directory's marker with it. Changes are answers, not failures; an
+     * unreadable address is a fault. */
+    async close(checkpoint) {
+        const changes = new Map();
+        const mark = (path, kind) => {
+            const change = changes.get(path) ?? { object: false, content: false, marker: false, listing: false };
+            change[kind] = true;
+            changes.set(path, change);
+        };
+        let reads = 0;
+        const read = async (source) => {
+            if (++reads % CLOSE_YIELD_SOURCES === 0) {
+                await awaitTurn();
+                checkpoint?.();
+            }
+            const current = this.#reader.stat(source);
+            if (current === null || !sameObject(source, current))
+                mark(source.absolutePath, "object");
+            else if (!sourceUnchanged(source.sourceSignature, current))
+                mark(source.absolutePath, "content");
+        };
+        const observed = new Map();
+        for (const source of this.#sources) {
+            observed.set(source.absolutePath, isDirectory(source));
+            await read(source);
+            if (source.gitMarker !== undefined
+                && !sameMarker(source.gitMarker, this.#reader.marker(source.absolutePath))) {
+                mark(source.absolutePath, "marker");
+            }
+        }
+        for (let index = this.#sources.length - 1; index >= 0; index -= 1) {
+            const source = this.#sources[index];
+            if (isDirectory(source))
+                await read(source);
+        }
+        for (const path of this.racy)
+            mark(path, "listing");
+        // Every walked listing was read before any of these.
+        for (const source of this.#unqualified) {
+            if (changes.has(source.absolutePath))
+                continue;
+            await turnBoundary();
+            checkpoint?.();
+            if (!this.#listsAgain(source))
+                mark(source.absolutePath, "listing");
+        }
+        return new GroundClosure(observed, changes);
+    }
+}
+/** Every dependency answers semantically before any root closes physically,
+ * so no root's physical close can precede another root's Git work. Each
+ * root's walk closes on both sides of its dependencies' witnesses, parents
+ * open before children and closed afterward, as two leaves because a proof
+ * closes once. Later filesystem changes belong to later Watch generations. */
+export async function groundSourceProof(proofs) {
+    const walks = [];
+    for (const proof of proofs)
+        walks.push(await finishStepsInTurns(proof.physical.witness()));
+    return sourceProofs([witnessProof(walks), ...proofs.flatMap(proof => proof.dependencies), witnessProof(walks)]);
+}
+//# sourceMappingURL=ground-proof.js.map

package/dist/detection/ground-proof.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ground-proof.js","sourceRoot":"","sources":["../../src/detection/ground-proof.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAChC,OAAO,EAAE,QAAQ,EAAc,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAwB,MAAM,qBAAqB,CAAC;AAEhG,OAAO,EAAE,iBAAiB,EAAqB,MAAM,6BAA6B,CAAC;AACnF,OAAO,EAAE,YAAY,EAAE,YAAY,EAAoB,MAAM,oBAAoB,CAAC;AAClF,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,eAAe,EAAmB,MAAM,wBAAwB,CAAC;AACnG,OAAO,EAAE,SAAS,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AA+C1E,MAAM,IAAI,GAAG,QAAQ,CAAC;AACtB,MAAM,UAAU,GAAG,CAAC,CAAoB,EAAE,CAAa,EAAW,EAAE,CAClE,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;AAEnG,MAAM,UAAU,GAAG,CAAC,CAAmB,EAAE,CAAmB,EAAW,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;IAChG,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;AAEzD,MAAM,WAAW,GAAG,CAAC,MAAoB,EAAW,EAAE,CACpD,MAAM,CAAC,YAAY,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,cAAc,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,QAAQ,CAAC;AAEnF,6EAA6E;AAC7E,MAAM,OAAO,GAAG,CAAC,YAAoB,EAAU,EAAE;IAC/C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC;QAAE,KAAK,IAAI,CAAC,CAAC;IACrG,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,CAAoB,EAAE,CAAoB,EAAW,EAAE,CACxE,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAEvE,+CAA+C;AAC/C,MAAM,mBAAmB,GAAG,GAAG,CAAC;AAEhC;;;qBAGqB;AACrB,MAAM,OAAO,aAAa;IACxB,mEAAmE;IAC1D,SAAS,CAA+B;IACxC,QAAQ,CAAoC;IAErD,YAAY,QAAsC,EAAE,OAA0C;QAC5F,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC;QAAC,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;IACrD,CAAC;IAED,QAAQ,CAAC,IAAY,IAAa,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEpE,OAAO,CAAC,IAAY;QAClB,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,IAAI,EAAE,CAAC,CAAC;QACxF,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,6DAA6D;IAC7D,OAAO,CAAC,IAAY,IAAa,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC;IAE3E;kFAC8E;IAC9E,MAAM,CAAC,IAAY;QACjB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACpE,CAAC;IAED,mDAAmD;IACnD,YAAY,CAAC,SAAiB;QAC5B,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC;QACrE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE;YAAE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;gBAAE,OAAO,KAAK,CAAC;QACzG,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;yBAGqB;IACrB,IAAI,kBAAkB;QACpB,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC3C,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YACxC,MAAM,KAAK,GAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAA4B,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3F,OAAO,GAAG,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,wDAAwD;IACxD,IAAI,OAAO,KAAwB,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;CACvE;AAED;;;;;;;;;;;;;;;;;;;;;;qDAsBqD;AACrD,MAAM,OAAO,iBAAiB;IACnB,QAAQ,CAA0B;IAClC,OAAO,CAAoC;IAC3C,OAAO,CAAe;IACtB,MAAM,CAAgD;IAC/D,KAAK,CAA0B;IAC/B,WAAW,CAAS;IACpB,YAAY,CAA0B;IACtC,QAAQ,CAA2B;IAEnC,qDAAqD;IACrD,MAAM,CAAC,CAAC,MAAM,CAAC,OAA+B,EAAE,MAAoB,EAClE,QAA6B;QAC7B,MAAM,QAAQ,GAAgE,EAAE,CAAC;QACjF,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE;gBAC9F,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY;gBACpE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe;gBACxE,cAAc,EAAE,MAAM,CAAC,cAAc;gBACrC,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC3E,EAAE,CAAC,CAAC,CAAC;QACN,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC;QACzG,KAAK,CAAC;QACN,MAAM,OAAO,GAAmB,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;QAC/C,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9G,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YACtD,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;QAClF,CAAC;QACD,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE;YAChC,IAAI,MAAM,CAAC,YAAY,KAAK,EAAE;gBAAE,OAAO;YACvC,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC/F,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QACxF,CAAC,CAAC,CAAC;QACH,MAAM,IAAI,GAAmB,EAAE,CAAC;QAChC,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,MAAM,WAAW,GAAmB,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,QAAQ,EAAE,KAAK,IAAI,IAAI,GAAG,EAAgB,CAAC;QACzD,IAAI,QAAQ;YAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE;gBAC9C,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,eAAe,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,IAAI;oBAAE,OAAO;gBAC/G,MAAM,CAAC,GAAG,EAAE,AAAD,EAAG,AAAD,EAAG,AAAD,EAAG,OAAO,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACpF,MAAM,aAAa,GAAG,oBAAoB,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,GAAI,EAAE,OAAO,EAAE,OAAQ,EAAE,OAAO,EAAE,OAAQ,EAAE,CAAC,CAAC;gBAChH,IAAI,aAAa,KAAK,MAAM,EAAE,CAAC;oBAC7B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBAClB,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC,KAAM,EAAE,EAAE,OAAO,EAAE,OAAQ,EAAE,OAAO,EAAE,OAAQ,EAAE,CAAC,CAAC,CAAC;gBAC9G,CAAC;qBACI,IAAI,aAAa,KAAK,aAAa;oBAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrE,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IAC9F,CAAC;IAED,YAAoB,OAAgC,EAAE,MAAyC,EAAE,MAAoB,EACnH,KAAoD,EAAE,IAA6B,EAAE,UAAkB,EACvG,WAAoC;QACpC,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QAAC,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QAAC,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QAAC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QAC3F,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAAC,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC;QAAC,IAAI,CAAC,YAAY,GAAG,WAAW,CAAC;IACpF,CAAC;IAED,0EAA0E;IAC1E,IAAI,IAAI,KAAwB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAEvF,+EAA+E;IAC/E,IAAI,WAAW,KAAwB,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAErG;0DACsD;IACtD,IAAI,UAAU,KAAa,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IAErD;;oCAEgC;IAChC,WAAW,CAAC,MAAoB,EAAE,KAA8B;QAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxF,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,eAAe,EAAE,OAAO,CAAC;eAC9E,CAAC,KAAK,KAAK,SAAS,IAAI,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,WAAW,CAAC;YAAE,OAAO,KAAK,CAAC;QACjG,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtF,OAAO,GAAG,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,eAAe,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,IAAI,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACnH,CAAC;IAED;;;uDAGmD;IACnD,KAAK,CAAC,aAAa,CAAC,KAA6B,EAAE,UAAuB;QACxE,MAAM,IAAI,GAAG,KAAK,EAAE,OAAgC,EAAE,UAAmC,EAAE,EAAE;YAC3F,MAAM,SAAS,GAAmB,EAAE,CAAC;YACrC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,YAAY,EAAE,CAAC;gBAAC,UAAU,EAAE,EAAE,CAAC;gBACrC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC;oBAAE,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpE,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC;QACF,IAAI,CAAC,KAAK,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM;YAAE,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC;QAC7C,IAAI,CAAC,YAAY,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,YAAY,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,IAAI,IAAI,CAAC;IACnF,CAAC;IAED;;mCAE+B;IAC/B,CAAC,OAAO;QACN,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC;QACxC,MAAM,UAAU,GAAsC,EAAE,CAAC;QACzD,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE;YACtC,IAAI,MAAM,CAAC,eAAe,KAAK,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC;YACnH,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC;IAChE,CAAC;IAED;;;wCAGoC;IACpC,KAAK,CAAC,KAAK,CAAC,UAAuB;QACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;QAChD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,IAAwB,EAAQ,EAAE;YAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACrG,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;YAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACjD,CAAC,CAAC;QACF,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,IAAI,GAAG,KAAK,EAAE,MAAoB,EAAiB,EAAE;YACzD,IAAI,EAAE,KAAK,GAAG,mBAAmB,KAAK,CAAC,EAAE,CAAC;gBAAC,MAAM,SAAS,EAAE,CAAC;gBAAC,UAAU,EAAE,EAAE,CAAC;YAAC,CAAC;YAC/E,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC;gBAAE,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;iBACrF,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,eAAe,EAAE,OAAO,CAAC;gBAAE,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QACnG,CAAC,CAAC;QACF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;QAC5C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;YACvD,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC;YACnB,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS;mBAC7B,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;gBAC7E,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QACD,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAClE,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAE,CAAC;YACrC,IAAI,WAAW,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI;YAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACpD,qDAAqD;QACrD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACvC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC;gBAAE,SAAS;YAC/C,MAAM,YAAY,EAAE,CAAC;YAAC,UAAU,EAAE,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,IAAI,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;CACF;AAQD;;;;8EAI8E;AAC9E,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,MAAyC;IAC/E,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,kBAAkB,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC3F,OAAO,YAAY,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAClH,CAAC"}

package/dist/detection/ground-reader.d.ts

@@ -0,0 +1,29 @@
+/** One named observation's indexed, detached database evidence. Memoized
+ * answers remain original facts; final admission checks all their revisions. */
+import type Database from "better-sqlite3";
+import type { GroundBasis, GroundRepositoryMember, GroundStructure, GroundNamespaceEntry } from "../ground-basis.js";
+import type { GroundRow } from "../ground-row.js";
+export declare class NamedGroundReader {
+    #private;
+    constructor(database: Database.Database);
+    private answer;
+    root(directory: string): GroundRow | undefined;
+    sharing(uuid: string): GroundRow | undefined;
+    /** A member write can retire its repository's admission. Retain that full
+     * original B target as well as the structural chain before any await/write. */
+    private coveringOwner;
+    physical(uuid: string): GroundRow | undefined;
+    repositoryMembers(): readonly GroundRepositoryMember[];
+    /** Every row at an address in either inventory, any status. An empty
+     * answer stays in the basis: a later owner of the slot retires it. */
+    atPath(rootUUID: string, path: string, inventory?: "entities" | "detection_notebook"): readonly GroundRow[];
+    /** One root's identities at a filesystem object. */
+    candidates(rootUUID: string, physicalKey: string): readonly GroundRow[];
+    /** Every name a filesystem object has, in any root. */
+    objectRows(physicalKey: string): readonly GroundRow[];
+    subtree(uuid: string, inventory?: "entities" | "detection_notebook"): readonly GroundRow[];
+    structure(inventory: "entities" | "detection_notebook", uuid: string): GroundStructure | undefined;
+    siblings(inventory: "entities" | "detection_notebook", parentUUID: string): readonly GroundNamespaceEntry[];
+    slot(inventory: "entities" | "detection_notebook", parentUUID: string, name: string): readonly GroundNamespaceEntry[];
+    finish(): GroundBasis;
+}

package/dist/detection/ground-reader.js

@@ -0,0 +1,102 @@
+import { groundStore } from "../ground-store.js";
+export class NamedGroundReader {
+    #observation;
+    #answers = new Map();
+    #ownersRead = new Set();
+    constructor(database) { this.#observation = groundStore(database).observe(); }
+    answer(key, read) {
+        const id = JSON.stringify(key);
+        if (this.#answers.has(id))
+            return this.#answers.get(id);
+        const value = this.#observation.read(read);
+        this.#answers.set(id, value);
+        return value;
+    }
+    root(directory) {
+        return this.answer(["root", directory], reader => {
+            const roots = reader.rootsAtPath("entities", directory);
+            if (roots.length > 1)
+                throw new Error("named ground has multiple roots at one address");
+            if (roots.length === 0)
+                return undefined;
+            reader.sharing(roots[0].uuid);
+            return reader.physical(roots[0].uuid);
+        });
+    }
+    sharing(uuid) {
+        const row = this.answer(["sharing", uuid], reader => {
+            reader.physical(uuid);
+            return reader.sharing(uuid);
+        });
+        if (row)
+            this.coveringOwner(row);
+        return row;
+    }
+    /** A member write can retire its repository's admission. Retain that full
+     * original B target as well as the structural chain before any await/write. */
+    coveringOwner(row) {
+        if (this.#ownersRead.has(row.uuid))
+            return;
+        const seen = new Set();
+        let parent = row.parentUUID;
+        while (parent) {
+            if (seen.has(parent))
+                throw new Error("sharing ancestry contains a cycle");
+            seen.add(parent);
+            const ancestor = this.structure("detection_notebook", parent);
+            if (!ancestor)
+                break;
+            if (ancestor.type === "repo.git") {
+                const owner = parent;
+                this.answer(["sharing", owner], reader => reader.sharing(owner));
+                break;
+            }
+            parent = ancestor.parentUUID;
+        }
+        this.#ownersRead.add(row.uuid);
+    }
+    physical(uuid) {
+        return this.answer(["physical", uuid], reader => reader.physical(uuid));
+    }
+    repositoryMembers() {
+        return this.answer(["repository-members"], reader => reader.repositoryMembers());
+    }
+    /** Every row at an address in either inventory, any status. An empty
+     * answer stays in the basis: a later owner of the slot retires it. */
+    atPath(rootUUID, path, inventory = "entities") {
+        return this.answer(["path", inventory, rootUUID, path], reader => {
+            const rows = reader.atPath(inventory, rootUUID, path);
+            if (inventory === "entities")
+                for (const row of rows)
+                    reader.sharing(row.uuid);
+            return rows;
+        });
+    }
+    /** One root's identities at a filesystem object. */
+    candidates(rootUUID, physicalKey) {
+        return this.answer(["physical-candidates", rootUUID, physicalKey], reader => reader.physicalCandidates("entities", rootUUID, physicalKey));
+    }
+    /** Every name a filesystem object has, in any root. */
+    objectRows(physicalKey) {
+        return this.answer(["object", physicalKey], reader => reader.objectRows("entities", physicalKey));
+    }
+    subtree(uuid, inventory = "entities") {
+        return this.answer(["subtree", inventory, uuid], reader => {
+            const rows = reader.subtree(inventory, uuid);
+            for (const row of rows)
+                reader.sharing(row.uuid);
+            return rows;
+        });
+    }
+    structure(inventory, uuid) {
+        return this.answer(["structure", inventory, uuid], reader => reader.structure(inventory, uuid));
+    }
+    siblings(inventory, parentUUID) {
+        return this.answer(["siblings", inventory, parentUUID], reader => reader.children(inventory, parentUUID));
+    }
+    slot(inventory, parentUUID, name) {
+        return this.answer(["slot", inventory, parentUUID, name], reader => reader.slot(inventory, parentUUID, name));
+    }
+    finish() { return this.#observation.finish(); }
+}
+//# sourceMappingURL=ground-reader.js.map

package/dist/detection/ground-reader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ground-reader.js","sourceRoot":"","sources":["../../src/detection/ground-reader.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAIjD,MAAM,OAAO,iBAAiB;IACnB,YAAY,CAAoB;IAChC,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IACtC,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IAEzC,YAAY,QAA2B,IAAI,IAAI,CAAC,YAAY,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAEzF,MAAM,CAAI,GAAuB,EAAE,IAAyC;QAClF,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAM,CAAC;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,CAAC,SAAiB;QACpB,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,EAAE;YAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YACxD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;YACxF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAC;YACzC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,CAAC,IAAY;QAClB,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,EAAE;YAClD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtB,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC;QACH,IAAI,GAAG;YAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QACjC,OAAO,GAAG,CAAC;IACb,CAAC;IAED;mFAC+E;IACvE,aAAa,CAAC,GAAc;QAClC,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC3C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,IAAI,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC;QAC5B,OAAO,MAAM,EAAE,CAAC;YACd,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;YAC3E,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,oBAAoB,EAAE,MAAM,CAAC,CAAC;YAC9D,IAAI,CAAC,QAAQ;gBAAE,MAAM;YACrB,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACjC,MAAM,KAAK,GAAG,MAAM,CAAC;gBACrB,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjE,MAAM;YACR,CAAC;YACD,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC;QAC/B,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,QAAQ,CAAC,IAAY;QACnB,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED,iBAAiB;QACf,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACnF,CAAC;IAED;0EACsE;IACtE,MAAM,CAAC,QAAgB,EAAE,IAAY,EAAE,YAA+C,UAAU;QAC9F,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,EAAE;YAC/D,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YACtD,IAAI,SAAS,KAAK,UAAU;gBAAE,KAAK,MAAM,GAAG,IAAI,IAAI;oBAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/E,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;IAED,oDAAoD;IACpD,UAAU,CAAC,QAAgB,EAAE,WAAmB;QAC9C,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,qBAAqB,EAAE,QAAQ,EAAE,WAAW,CAAC,EAC/D,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC,UAAU,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC;IAC5E,CAAC;IAED,uDAAuD;IACvD,UAAU,CAAC,WAAmB;QAC5B,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;IACpG,CAAC;IAED,OAAO,CAAC,IAAY,EAAE,YAA+C,UAAU;QAC7E,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,EAAE;YACxD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YAC7C,KAAK,MAAM,GAAG,IAAI,IAAI;gBAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACjD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;IAED,SAAS,CAAC,SAA4C,EAAE,IAAY;QAClE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;IAClG,CAAC;IAED,QAAQ,CAAC,SAA4C,EAAE,UAAkB;QACvE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;IAC5G,CAAC;IAED,IAAI,CAAC,SAA4C,EAAE,UAAkB,EAAE,IAAY;QACjF,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;IAChH,CAAC;IAED,MAAM,KAAkB,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;CAC7D"}

package/dist/detection/held-territory.d.ts

@@ -0,0 +1,51 @@
+import { type GroundIdentityPrior, type Steps } from "@amalgm/live";
+import type { GroundRow } from "../ground-row.js";
+import type { TerritoryHandle } from "../ground-territory.js";
+import { type SourceFingerprint } from "../source-signature.js";
+import type { SealEntry } from "./seal-law.js";
+/** The held form cannot answer exactly; the complete form answers instead. */
+export declare class HoldRefused extends Error {
+    readonly reason: string;
+    constructor(reason: string);
+}
+/** A prior row found by address, in the frame its inventory stored it. */
+export type PriorRow = Omit<GroundRow, "relativePath">;
+type Inventory = "o" | "b";
+export declare class HeldTerritory {
+    #private;
+    constructor(o: TerritoryHandle, b: TerritoryHandle, rootAddress: string);
+    /** O's members whose payload names a Git index object. */
+    get indexed(): number;
+    /** O's row at this path of the examined root, as stored. */
+    at(path: string): PriorRow | undefined;
+    /** Both inventories' examined rows, read and framed, ordered by UUID. An
+     * identity examined in one inventory and held in the other would be
+     * decided twice; that is refused. */
+    examine(suspects: readonly string[]): {
+        readonly o: readonly GroundRow[];
+        readonly b: readonly GroundRow[];
+    };
+    /** O as the identity resolver asks about it, in the examined root's frame. */
+    get prior(): GroundIdentityPrior;
+    /** Held graph rows directly beneath each examined container that has any,
+     * by the container's UUID, framed. B's retired history, the rows only B
+     * holds, is no graph row. */
+    beneath(inventory: Inventory): Steps<ReadonlyMap<string, readonly GroundRow[]>>;
+    /** Examined O containers with held rows beneath them, framed. */
+    parents(): Steps<readonly GroundRow[]>;
+    /** Every held member of the repository by its path in the examined
+     * root's frame, as the repository's identity reads it. */
+    members(): Steps<ReadonlyMap<string, SealEntry>>;
+    /** A held leaf the repository's own read found at this fingerprint. While
+     * O still holds it as proven content, it stays held, and so does B's: the
+     * views agree, so B holds O's fingerprint and either O's boundary or one
+     * proven for O's signature. Else both rows are read and O's, framed,
+     * re-enters as observed. */
+    promoted(uuid: string, fingerprint: SourceFingerprint): GroundRow | null;
+    /** The rows this examination read, as stored: its S0 context. */
+    consumed(): {
+        readonly entities: readonly GroundRow[];
+        readonly detection_notebook: readonly GroundRow[];
+    };
+}
+export {};