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

package/dist/detection/held-territory.js

@@ -0,0 +1,205 @@
+/** A framed repository examined around its held ground. Watch's names and
+ * Git's own answers choose the examined rows: every row on the way to a name,
+ * and every row at or beneath one. Every other row is held: it stands exactly
+ * as O and B hold it, answers each question the complete examination would
+ * ask of it by index, and is never read, framed or rebuilt.
+ *
+ * Holding is exact only under the preconditions the host proves; any doubt
+ * is HoldRefused, and the complete examination answers instead. The views
+ * answer here without protecting what they return, since the territory basis
+ * consumes both whole; a row the examination writes is read through `row`. */
+import { sep } from "node:path";
+import { eachStep } from "@amalgm/live";
+import { contentProven } from "../source-signature.js";
+/** The held form cannot answer exactly; the complete form answers instead. */
+export class HoldRefused extends Error {
+    reason;
+    constructor(reason) {
+        super(`held examination refused: ${reason}`);
+        this.reason = reason;
+    }
+}
+export class HeldTerritory {
+    #views;
+    #rootAddress;
+    #rootPrefix;
+    #frames = new Map();
+    #examined = { o: new Set(), b: new Set() };
+    #consumed = { o: [], b: [] };
+    #beneath = new Map();
+    #members = null;
+    constructor(o, b, rootAddress) {
+        this.#views = { o, b };
+        this.#rootAddress = rootAddress;
+        this.#rootPrefix = rootAddress.endsWith(sep) ? rootAddress : `${rootAddress}${sep}`;
+    }
+    /** O's members whose payload names a Git index object. */
+    get indexed() { return this.#views.o.indexed; }
+    /** O's row at this path of the examined root, as stored. */
+    at(path) { return this.#views.o.peekAt(this.#address(path))[0]; }
+    /** 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) {
+        const o = this.#touching("o", suspects), b = this.#touching("b", suspects);
+        for (const [mine, theirs, other] of [[o, b, "b"], [b, o, "o"]]) {
+            for (const uuid of mine)
+                if (!theirs.has(uuid) && this.#views[other].has(uuid))
+                    throw new HoldRefused("straddles");
+        }
+        this.#examined.o = o;
+        this.#examined.b = b;
+        return { o: this.#read("o", o), b: this.#read("b", b) };
+    }
+    /** O as the identity resolver asks about it, in the examined root's frame. */
+    get prior() {
+        const o = this.#views.o;
+        return {
+            at: path => { const row = o.peekAt(this.#address(path))[0]; return row && this.#framed(row); },
+            child: (parentUUID, name) => { const row = o.peekSlot(parentUUID, name)[0]; return row && this.#framed(row); },
+            withPhysical: key => o.peekPhysical(key).map(row => this.#framed(row)),
+            childCount: uuid => o.childCount(uuid),
+        };
+    }
+    /** 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) {
+        let held = this.#beneath.get(inventory);
+        if (!held) {
+            const view = this.#views[inventory], examined = this.#examined[inventory], found = new Map();
+            const o = this.#views.o;
+            const containers = [];
+            yield* eachStep(examined, uuid => { if (view.childCount(uuid) !== 0)
+                containers.push(uuid); });
+            yield* eachStep(childrenOf(view, containers), ([uuid, row]) => {
+                if (examined.has(row.uuid) || !o.has(row.uuid))
+                    return;
+                const children = found.get(uuid);
+                if (children)
+                    children.push(this.#framed(row));
+                else
+                    found.set(uuid, [this.#framed(row)]);
+            });
+            this.#beneath.set(inventory, held = found);
+        }
+        return held;
+    }
+    /** Examined O containers with held rows beneath them, framed. */
+    *parents() {
+        const parents = [];
+        yield* eachStep((yield* this.beneath("o")).keys(), uuid => parents.push(this.#framed(this.#views.o.peek(uuid))));
+        return parents;
+    }
+    /** Every held member of the repository by its path in the examined
+     * root's frame, as the repository's identity reads it. */
+    *members() {
+        if (!this.#members) {
+            const o = this.#views.o, examined = this.#examined.o, members = new Map();
+            yield* eachStep(o.peekRows(), row => {
+                if (examined.has(row.uuid))
+                    return;
+                const relativePath = this.#path(row);
+                members.set(relativePath, { uuid: row.uuid, type: row.type, relativePath,
+                    filesystemMode: row.filesystemMode, payloadVersion: row.payloadVersion });
+            });
+            this.#members = members;
+        }
+        return this.#members;
+    }
+    /** 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, fingerprint) {
+        const { o, b } = this.#views, held = o.peek(uuid);
+        if (held && held.physicalKey === fingerprint.physicalKey && held.sourceSignature === fingerprint.sourceSignature
+            && held.filesystemMode === fingerprint.filesystemMode
+            && contentProven(fingerprint.sourceSignature, held.contentVerifiedNs))
+            return null;
+        const observed = o.row(uuid), shared = b.row(uuid);
+        // B holds S(O) for every held row; a row only O holds is no held row.
+        if (!shared)
+            throw new HoldRefused("unshared");
+        this.#consumed.o.push(observed);
+        this.#consumed.b.push(shared);
+        return this.#framed(observed);
+    }
+    /** The rows this examination read, as stored: its S0 context. */
+    consumed() {
+        return { entities: this.#consumed.o, detection_notebook: this.#consumed.b };
+    }
+    #address(path) {
+        return path ? this.#rootPrefix + (sep === "/" ? path : path.replaceAll("/", sep)) : this.#rootAddress;
+    }
+    #path(row) {
+        if (row.absolutePath === this.#rootAddress)
+            return "";
+        const path = row.absolutePath.slice(this.#rootPrefix.length);
+        return sep === "/" ? path : path.split(sep).join("/");
+    }
+    #framed(row) {
+        let framed = this.#frames.get(row);
+        if (!framed) {
+            const relativePath = this.#path(row);
+            this.#frames.set(row, framed = relativePath === row.relativePath ? row : { ...row, relativePath });
+        }
+        return framed;
+    }
+    /** The top, every row on the way to a name, every row at or beneath one,
+     * and every ancestor of each. O is consistent and B holds each of O's rows
+     * where O does, so every active row stands at its parent's address plus
+     * its name, and the rows a name touches are the ones its address and its
+     * ancestors' addresses reach. Only B's retired history may share an
+     * address or stand elsewhere; the complete examination retains it
+     * untouched, so reaching it is never required, and its ancestors come by
+     * parent. A name for the root itself touches only the top. */
+    #touching(inventory, suspects) {
+        const view = this.#views[inventory];
+        const touched = new Set([view.uuid]), descended = new Set();
+        const touch = (row) => {
+            for (; row && !touched.has(row.uuid); row = row.parentUUID === null ? undefined : view.peek(row.parentUUID)) {
+                touched.add(row.uuid);
+            }
+        };
+        for (const suspect of suspects) {
+            if (suspect === "")
+                continue;
+            let reached = true;
+            for (let end = suspect.indexOf("/"); end !== -1 && reached; end = suspect.indexOf("/", end + 1)) {
+                const rows = view.peekAt(this.#address(suspect.slice(0, end)));
+                rows.forEach(touch);
+                reached = rows.length > 0;
+            }
+            const stack = reached ? [...view.peekAt(this.#address(suspect))] : [];
+            stack.forEach(touch);
+            while (stack.length) {
+                const row = stack.pop();
+                touched.add(row.uuid);
+                if (descended.has(row.uuid))
+                    continue;
+                descended.add(row.uuid);
+                if (view.childCount(row.uuid))
+                    for (const child of view.peekChildren(row.uuid))
+                        stack.push(child);
+            }
+        }
+        return touched;
+    }
+    #read(inventory, uuids) {
+        const view = this.#views[inventory], consumed = this.#consumed[inventory];
+        return [...uuids].sort().map(uuid => {
+            const row = view.row(uuid);
+            consumed.push(row);
+            return this.#framed(row);
+        });
+    }
+}
+/** Each child of each container, in container order: one item per child. */
+function* childrenOf(view, containers) {
+    for (const uuid of containers)
+        for (const row of view.peekChildren(uuid))
+            yield [uuid, row];
+}
+//# sourceMappingURL=held-territory.js.map

package/dist/detection/held-territory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"held-territory.js","sourceRoot":"","sources":["../../src/detection/held-territory.ts"],"names":[],"mappings":"AAAA;;;;;;;;;8EAS8E;AAC9E,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAChC,OAAO,EAAE,QAAQ,EAAwC,MAAM,cAAc,CAAC;AAG9E,OAAO,EAAE,aAAa,EAA0B,MAAM,wBAAwB,CAAC;AAG/E,8EAA8E;AAC9E,MAAM,OAAO,WAAY,SAAQ,KAAK;IAC3B,MAAM,CAAS;IACxB,YAAY,MAAc;QACxB,KAAK,CAAC,6BAA6B,MAAM,EAAE,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAOD,MAAM,OAAO,aAAa;IACf,MAAM,CAA+C;IACrD,YAAY,CAAS;IACrB,WAAW,CAAS;IACpB,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC1C,SAAS,GAA2C,EAAE,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IACnF,SAAS,GAAmC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;IAC7D,QAAQ,GAAG,IAAI,GAAG,EAAwD,CAAC;IACpF,QAAQ,GAA0C,IAAI,CAAC;IAEvD,YAAY,CAAkB,EAAE,CAAkB,EAAE,WAAmB;QACrE,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACvB,IAAI,CAAC,YAAY,GAAG,WAAW,CAAC;QAChC,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,GAAG,GAAG,EAAE,CAAC;IACtF,CAAC;IAED,0DAA0D;IAC1D,IAAI,OAAO,KAAa,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAEvD,4DAA4D;IAC5D,EAAE,CAAC,IAAY,IAA0B,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/F;;yCAEqC;IACrC,OAAO,CAAC,QAA2B;QACjC,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC3E,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAU,EAAE,CAAC;YACxE,KAAK,MAAM,IAAI,IAAI,IAAI;gBAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,MAAM,IAAI,WAAW,CAAC,WAAW,CAAC,CAAC;QACrH,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC;QACrB,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;IAC1D,CAAC;IAED,8EAA8E;IAC9E,IAAI,KAAK;QACP,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QACxB,OAAO;YACL,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9F,KAAK,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,GAAG,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9G,YAAY,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACtE,UAAU,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;SACvC,CAAC;IACJ,CAAC;IAED;;iCAE6B;IAC7B,CAAC,OAAO,CAAC,SAAoB;QAC3B,IAAI,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;YAClH,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;YACxB,MAAM,UAAU,GAAa,EAAE,CAAC;YAChC,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/F,KAAK,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE;gBAC5D,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,OAAO;gBACvD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,QAAQ;oBAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;;oBAC1C,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5C,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,GAAG,KAAK,CAAC,CAAC;QAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iEAAiE;IACjE,CAAC,OAAO;QACN,MAAM,OAAO,GAAgB,EAAE,CAAC;QAChC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC;QAClH,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;8DAC0D;IAC1D,CAAC,OAAO;QACN,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnB,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;YAC7F,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,EAAE;gBAClC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,OAAO;gBACnC,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBACrC,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,YAAY;oBACtE,cAAc,EAAE,GAAG,CAAC,cAAwB,EAAE,cAAc,EAAE,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC;YACxF,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QAC1B,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;IAED;;;;gCAI4B;IAC5B,QAAQ,CAAC,IAAY,EAAE,WAA8B;QACnD,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,IAAI,IAAI,IAAI,CAAC,WAAW,KAAK,WAAW,CAAC,WAAW,IAAI,IAAI,CAAC,eAAe,KAAK,WAAW,CAAC,eAAe;eAC3G,IAAI,CAAC,cAAc,KAAK,WAAW,CAAC,cAAc;eAClD,aAAa,CAAC,WAAW,CAAC,eAAe,EAAE,IAAI,CAAC,iBAAiB,CAAC;YAAE,OAAO,IAAI,CAAC;QACrF,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpD,sEAAsE;QACtE,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,WAAW,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9B,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC;IAED,iEAAiE;IACjE,QAAQ;QACN,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,kBAAkB,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;IAC9E,CAAC;IAED,QAAQ,CAAC,IAAY;QACnB,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC;IACxG,CAAC;IAED,KAAK,CAAC,GAAc;QAClB,IAAI,GAAG,CAAC,YAAY,KAAK,IAAI,CAAC,YAAY;YAAE,OAAO,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAC7D,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxD,CAAC;IAED,OAAO,CAAC,GAAc;QACpB,IAAI,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,KAAK,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,YAAY,EAAE,CAAC,CAAC;QACrG,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;;;kEAO8D;IAC9D,SAAS,CAAC,SAAoB,EAAE,QAA2B;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QACpE,MAAM,KAAK,GAAG,CAAC,GAA0B,EAAQ,EAAE;YACjD,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC5G,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC;QACH,CAAC,CAAC;QACF,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,IAAI,OAAO,KAAK,EAAE;gBAAE,SAAS;YAC7B,IAAI,OAAO,GAAG,IAAI,CAAC;YACnB,KAAK,IAAI,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,OAAO,EAAE,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;gBAChG,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;gBAC/D,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACpB,OAAO,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;YAC5B,CAAC;YACD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACrB,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;gBACpB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;gBACzB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACtB,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACtC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACxB,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;wBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpG,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,SAAoB,EAAE,KAA0B;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC1E,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;YAClC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AAED,4EAA4E;AAC5E,QAAQ,CAAC,CAAC,UAAU,CAAC,IAAqB,EAAE,UAA6B;IACvE,KAAK,MAAM,IAAI,IAAI,UAAU;QAAE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAC9F,CAAC"}

package/dist/detection/identity-discovery.d.ts

@@ -0,0 +1,45 @@
+import { type ContentBoundary } from "../content-clock.js";
+export interface IdentityDiscovery {
+    readonly database: string;
+    /** The root the identities may stand in. */
+    readonly rootUUID: string;
+    readonly rootPath: string;
+    /** The root's content-clock stamp, taken before this discovery's reads. */
+    readonly boundary: ContentBoundary | null;
+    /** The identities sought, as `device:inode`. */
+    readonly keys: readonly string[];
+    /** Their rows, whose Apply owners make the answer a gap. */
+    readonly uuids: readonly string[];
+}
+export interface DiscoveryStats {
+    readonly attempts: number;
+    readonly directories: number;
+    readonly reused: number;
+    readonly listed: number;
+    /** Entries stat'ed while listing. */
+    readonly entries: number;
+    readonly sqlMs: number;
+    readonly passAMs: number;
+    readonly passBMs: number;
+}
+export type IdentityDiscoveryResult = {
+    readonly kind: "closed";
+    readonly found: readonly {
+        readonly key: string;
+        readonly absolutePath: string;
+    }[];
+    readonly stats: DiscoveryStats;
+} | {
+    readonly kind: "gap";
+    readonly reason: string;
+    readonly stats: DiscoveryStats;
+}
+/** The namespace held still, but a listing in it was racy: after retryMs a
+ * later stamp and a fresh discovery can close it. */
+ | {
+    readonly kind: "racy";
+    readonly directory: string;
+    readonly retryMs: number;
+    readonly stats: DiscoveryStats;
+};
+export declare function discoverIdentities(job: IdentityDiscovery): IdentityDiscoveryResult;

package/dist/detection/identity-discovery.js

@@ -0,0 +1,287 @@
+/** Identity discovery: where in one root's ground some physical identities
+ * stand now. An identity a pass no longer finds where it read may have moved
+ * elsewhere in its root. Identity continuity is root-local, so its absence is
+ * witnessed by its own root's whole namespace, never another root's; leaving
+ * the root is that root's disappearance. The namespace is read here on a
+ * content thread: names and objects, never contents or Git. What it finds the
+ * caller compares with what its pass observed; it concludes nothing.
+ *
+ * The namespace closes at one instant. Pass A lists every directory from the
+ * root down, following what it finds, and keeps the signature each directory
+ * had before its listing. Pass B re-stats every directory Pass A listed, and
+ * each must still carry exactly that signature. A name added, removed or
+ * renamed in a directory moves the directory's times, so every listing held
+ * from its A to its B, and all of them at one instant between the passes. A
+ * change during either pass fails the attempt; the next attempt reads again.
+ * That rests on each listing's qualification below; a listing no stamp can
+ * qualify is instead listed again in Pass B, once its whole Pass A is read,
+ * and must name the same entries on both sides of a held signature: the
+ * closure ground-proof.ts gives a walk, with its one residual race.
+ *
+ * A qualified listing is retained for the root's next discovery and reused,
+ * without listing again, while its directory still carries the signature it
+ * was listed under. Qualified is content-clock.ts's listing rule: the
+ * directory's times precede the boundary of the root's stamp taken before
+ * that listing, on the same device, so any later change carries a later time
+ * and an equal signature is an equal listing. A racy listing, one whose times
+ * do not precede it, closes nothing: the discovery answers racy, with how
+ * long its caller waits before a later stamp and a fresh listing can close,
+ * and never retains it, however old it later looks. A directory's own
+ * identity always comes from its own fresh stat, which a mount changes; a
+ * leaf's comes from its parent's listing, which its parent's signature covers.
+ *
+ * Only a root whose filesystem ground-profile.ts trusts has a stamp, and only
+ * its own device's listings qualify under it: a mount's objects answer to
+ * another filesystem's clock. Neither kind of listing is retained, since no
+ * later signature can stand for it. A mount made over an entry a retained
+ * listing holds moves no time, and is outside every profile.
+ *
+ * Ground Apply holds, ground it cannot read, a replaced root, or a namespace
+ * that will not hold still is a gap, never an answer. */
+import { lstatSync, readdirSync } from "node:fs";
+import { join } from "node:path";
+import { AMALGM_CONTROL_DIRECTORY } from "@amalgm/live";
+import { listingQualification, listingWaitMs } from "../content-clock.js";
+import { gitMarker, marksRepository } from "../git-repository-host.js";
+import { groundProfile } from "../ground-profile.js";
+import { physicalKey, sourceSignature } from "../source-signature.js";
+import { ApplyOwnershipSnapshot, ownedObject, sqliteApplyOwnership } from "./apply-ownership.js";
+import { threadDatabase } from "./thread-database.js";
+import { vanished, walkSkips } from "./walk-law.js";
+/** The same entries and leaf identities, in whatever order each was read. */
+function sameListing(a, b) {
+    if (a.size !== b.size || a.directories.length !== b.directories.length || a.leaves.length !== b.leaves.length)
+        return false;
+    const directories = new Set(a.directories), leaves = new Map(a.leaves.map((name, index) => [name, a.leafKeys[index]]));
+    return b.directories.every(name => directories.has(name))
+        && b.leaves.every((name, index) => leaves.get(name) === b.leafKeys[index]);
+}
+/** Attempts before a namespace that will not hold still is a gap. */
+const ATTEMPTS = 3;
+/** Entries retained across every root's discoveries, oldest root dropped first. */
+const RETAINED_ENTRIES = 1_000_000;
+const retained = new Map();
+let retainedEntries = 0;
+function retain(rootPath, entry) {
+    const prior = retained.get(rootPath);
+    if (prior) {
+        retainedEntries -= prior.size;
+        retained.delete(rootPath);
+    }
+    if (entry.size > RETAINED_ENTRIES)
+        return;
+    retained.set(rootPath, entry);
+    retainedEntries += entry.size;
+    for (const [path, oldest] of retained) {
+        if (retainedEntries <= RETAINED_ENTRIES)
+            break;
+        retained.delete(path);
+        retainedEntries -= oldest.size;
+    }
+}
+/** Why an attempt ended: the namespace moved under it, or cannot be read. */
+class Unsettled {
+    reason;
+    retry;
+    constructor(reason, retry) {
+        this.reason = reason;
+        this.retry = retry;
+    }
+}
+const unsettled = (error, path) => {
+    if (vanished(error))
+        return new Unsettled("moved", true);
+    const code = error?.code;
+    if (code === "EACCES" || code === "EPERM")
+        return new Unsettled(`unread:${path}`, false);
+    throw error;
+};
+/** List one directory as the walk law sees it: its control tree and, in a
+ * repository, its `.git` are never ground. The root keeps its own type. */
+function list(directory, own, rootType) {
+    let names;
+    try {
+        names = readdirSync(directory);
+    }
+    catch (error) {
+        throw unsettled(error, directory);
+    }
+    const children = [];
+    for (const name of names) {
+        if (name === AMALGM_CONTROL_DIRECTORY)
+            continue;
+        const path = join(directory, name);
+        let stats;
+        try {
+            stats = lstatSync(path, { bigint: true });
+        }
+        catch (error) {
+            throw unsettled(error, path);
+        }
+        children.push([name, stats]);
+    }
+    const marker = children.find(([name]) => name === ".git")?.[1];
+    const type = (rootType ?? (marksRepository(marker ? gitMarker(marker) : null) ? "repo.git" : "folder"));
+    const directories = [], leaves = [], leafKeys = [];
+    for (const [name, stats] of children) {
+        if (walkSkips(type, name))
+            continue;
+        if (stats.isDirectory())
+            directories.push(name);
+        else {
+            leaves.push(name);
+            leafKeys.push(physicalKey(stats));
+        }
+    }
+    return { signature: sourceSignature(own), directories, leaves, leafKeys, size: children.length + 1 };
+}
+export function discoverIdentities(job) {
+    const stats = { attempts: 0, directories: 0, reused: 0, listed: 0, entries: 0, sqlMs: 0, passAMs: 0, passBMs: 0 };
+    const gap = (reason) => ({ kind: "gap", reason, stats });
+    let at = performance.now();
+    const lap = (leg) => {
+        const now = performance.now();
+        stats[leg] += now - at;
+        at = now;
+    };
+    const { rootPath } = job;
+    let profile;
+    try {
+        profile = groundProfile(rootPath);
+    }
+    catch (error) {
+        return gap(unsettled(error, rootPath).reason);
+    }
+    // A profile no longer trusted qualifies nothing, whatever its stamp said.
+    const boundary = profile.marginNs === null ? null : job.boundary;
+    const database = threadDatabase(job.database);
+    const read = database.transaction(() => {
+        const ownership = new ApplyOwnershipSnapshot(sqliteApplyOwnership(database));
+        const owners = ownership.use({ subtrees: [rootPath], uuids: new Set(job.uuids),
+            physical: new Set(job.keys.map(key => ownedObject(rootPath, key))) });
+        const incarnation = database.prepare("SELECT identity FROM ground_incarnation WHERE singleton = 1").pluck().get();
+        return { row: database.prepare(`SELECT type, physical_key AS physicalKey FROM entities
+      WHERE uuid = ? AND root_uuid = ? AND relative_path = '' AND status = 'active'`).get(job.rootUUID, job.rootUUID), owned: owners.length > 0, incarnation: String(incarnation) };
+    })();
+    lap("sqlMs");
+    if (read.owned)
+        return gap("apply-owner");
+    const { row } = read;
+    if (!row)
+        return gap(`no-root-row:${rootPath}`);
+    const ground = `${read.incarnation}\0${profile.id}\0${job.rootUUID}\0${row.type}\0${row.physicalKey}`;
+    let prior = boundary === null ? undefined : retained.get(rootPath);
+    // A boundary behind the one a listing qualified under is another clock.
+    if (prior && (prior.ground !== ground || prior.boundary.dev !== boundary.dev
+        || BigInt(boundary.ns) < BigInt(prior.boundary.ns)))
+        prior = undefined;
+    const keys = new Set(job.keys);
+    let visited = new Map();
+    let listed = new Map();
+    let outcome = null;
+    while (outcome === null && stats.attempts < ATTEMPTS) {
+        stats.attempts++;
+        visited = new Map();
+        const unqualified = new Set();
+        const found = [];
+        let racy = null;
+        try {
+            // Pass A.
+            const pending = [rootPath];
+            while (pending.length) {
+                const directory = pending.pop();
+                let current;
+                try {
+                    current = lstatSync(directory, { bigint: true });
+                }
+                catch (error) {
+                    throw unsettled(error, directory);
+                }
+                if (!current.isDirectory())
+                    throw new Unsettled("moved", true);
+                const key = physicalKey(current);
+                if (directory === rootPath) {
+                    if (key !== row.physicalKey)
+                        return gap(`root-replaced:${directory}`);
+                }
+                else if (keys.has(key))
+                    found.push({ key, absolutePath: directory });
+                const signature = sourceSignature(current);
+                let listing = listed.get(directory) ?? prior?.listings.get(directory);
+                if (listing?.signature === signature)
+                    stats.reused++;
+                else {
+                    listing = list(directory, current, directory === rootPath ? row.type : null);
+                    stats.listed++;
+                    stats.entries += listing.size - 1;
+                    const qualification = listingQualification(boundary, current);
+                    if (qualification === "qualified")
+                        listed.set(directory, listing);
+                    else if (qualification === "unqualified")
+                        unqualified.add(directory);
+                    else {
+                        const retryMs = listingWaitMs(boundary, current);
+                        if (racy === null || retryMs > racy.retryMs)
+                            racy = { directory, retryMs };
+                    }
+                }
+                visited.set(directory, listing);
+                for (let index = 0; index < listing.leafKeys.length; index++) {
+                    const leafKey = listing.leafKeys[index];
+                    if (keys.has(leafKey))
+                        found.push({ key: leafKey, absolutePath: join(directory, listing.leaves[index]) });
+                }
+                for (const name of listing.directories)
+                    pending.push(join(directory, name));
+            }
+            lap("passAMs");
+            // Pass B: every listing still stands under the signature it was read
+            // under, and one no stamp qualifies lists again as it did.
+            const holds = (directory, listing) => {
+                let current;
+                try {
+                    current = lstatSync(directory, { bigint: true });
+                }
+                catch (error) {
+                    throw unsettled(error, directory);
+                }
+                if (sourceSignature(current) !== listing.signature)
+                    throw new Unsettled("moved", true);
+                return current;
+            };
+            for (const [directory, listing] of visited) {
+                const current = holds(directory, listing);
+                if (!unqualified.has(directory))
+                    continue;
+                if (!sameListing(list(directory, current, directory === rootPath ? row.type : null), listing)) {
+                    throw new Unsettled("moved", true);
+                }
+                holds(directory, listing);
+            }
+            lap("passBMs");
+            outcome = racy ? { kind: "racy", ...racy, stats } : { kind: "closed", found, stats };
+        }
+        catch (error) {
+            if (!(error instanceof Unsettled))
+                throw error;
+            lap("passAMs");
+            if (!error.retry)
+                outcome = gap(error.reason);
+        }
+    }
+    stats.directories = visited.size;
+    // Only this run's qualified listings are retained; what it no longer
+    // reached is gone from the namespace.
+    const listings = new Map();
+    let size = 0;
+    for (const [directory, listing] of visited) {
+        if (listed.get(directory) !== listing && prior?.listings.get(directory) !== listing)
+            continue;
+        listings.set(directory, listing);
+        size += listing.size;
+    }
+    if (boundary !== null)
+        retain(rootPath, { ground, boundary, listings, size });
+    return outcome ?? gap("unsettled");
+}
+//# sourceMappingURL=identity-discovery.js.map

package/dist/detection/identity-discovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity-discovery.js","sourceRoot":"","sources":["../../src/detection/identity-discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yDAuCyD;AACzD,OAAO,EAAE,SAAS,EAAE,WAAW,EAAoB,MAAM,SAAS,CAAC;AACnE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAmB,MAAM,cAAc,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAwB,MAAM,qBAAqB,CAAC;AAChG,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAsB,MAAM,sBAAsB,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjG,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AA8CpD,6EAA6E;AAC7E,SAAS,WAAW,CAAC,CAAU,EAAE,CAAU;IACzC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC5H,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACvH,OAAO,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;WACpD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;AAC/E,CAAC;AAUD,qEAAqE;AACrE,MAAM,QAAQ,GAAG,CAAC,CAAC;AACnB,mFAAmF;AACnF,MAAM,gBAAgB,GAAG,SAAS,CAAC;AAEnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;AAC7C,IAAI,eAAe,GAAG,CAAC,CAAC;AAExB,SAAS,MAAM,CAAC,QAAgB,EAAE,KAAe;IAC/C,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrC,IAAI,KAAK,EAAE,CAAC;QAAC,eAAe,IAAI,KAAK,CAAC,IAAI,CAAC;QAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAAC,CAAC;IACxE,IAAI,KAAK,CAAC,IAAI,GAAG,gBAAgB;QAAE,OAAO;IAC1C,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC9B,eAAe,IAAI,KAAK,CAAC,IAAI,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACtC,IAAI,eAAe,IAAI,gBAAgB;YAAE,MAAM;QAC/C,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtB,eAAe,IAAI,MAAM,CAAC,IAAI,CAAC;IACjC,CAAC;AACH,CAAC;AAED,6EAA6E;AAC7E,MAAM,SAAS;IAAwB;IAAyB;IAA9C,YAAqB,MAAc,EAAW,KAAc;QAAvC,WAAM,GAAN,MAAM,CAAQ;QAAW,UAAK,GAAL,KAAK,CAAS;IAAG,CAAC;CAAE;AAEpF,MAAM,SAAS,GAAG,CAAC,KAAc,EAAE,IAAY,EAAa,EAAE;IAC5D,IAAI,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACzD,MAAM,IAAI,GAAI,KAAsC,EAAE,IAAI,CAAC;IAC3D,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,SAAS,CAAC,UAAU,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;IACzF,MAAM,KAAK,CAAC;AACd,CAAC,CAAC;AAEF;2EAC2E;AAC3E,SAAS,IAAI,CAAC,SAAiB,EAAE,GAAgB,EAAE,QAA2B;IAC5E,IAAI,KAAe,CAAC;IACpB,IAAI,CAAC;QAAC,KAAK,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;IAAC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAAC,MAAM,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAAC,CAAC;IAC5F,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,KAAK,wBAAwB;YAAE,SAAS;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACnC,IAAI,KAAkB,CAAC;QACvB,IAAI,CAAC;YAAC,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAAC,MAAM,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAAC,CAAC;QAClG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/B,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,CAAC,QAAQ,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CACjE,CAAC;IACtC,MAAM,WAAW,GAAa,EAAE,EAAE,MAAM,GAAa,EAAE,EAAE,QAAQ,GAAa,EAAE,CAAC;IACjF,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;QACrC,IAAI,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC;YAAE,SAAS;QACpC,IAAI,KAAK,CAAC,WAAW,EAAE;YAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aAC3C,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QAAC,CAAC;IAChE,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;AACvG,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,GAAsB;IACvD,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAClH,MAAM,GAAG,GAAG,CAAC,MAAc,EAA2B,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1F,IAAI,EAAE,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IAC3B,MAAM,GAAG,GAAG,CAAC,GAAoC,EAAQ,EAAE;QACzD,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAAC,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,EAAE,CAAC;QAAC,EAAE,GAAG,GAAG,CAAC;IAClE,CAAC,CAAC;IACF,MAAM,EAAE,QAAQ,EAAE,GAAG,GAAG,CAAC;IACzB,IAAI,OAAsB,CAAC;IAC3B,IAAI,CAAC;QAAC,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAAC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAAC,OAAO,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC;IAAC,CAAC;IAC3G,0EAA0E;IAC1E,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC;IACjE,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;QACrC,MAAM,SAAS,GAAG,IAAI,sBAAsB,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC7E,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC;YAC5E,QAAQ,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxE,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,6DAA6D,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC;QAClH,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,OAAO,CAAC;oFACiD,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CACzD,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;IACxH,CAAC,CAAC,EAAE,CAAC;IACL,GAAG,CAAC,OAAO,CAAC,CAAC;IACb,IAAI,IAAI,CAAC,KAAK;QAAE,OAAO,GAAG,CAAC,aAAa,CAAC,CAAC;IAC1C,MAAM,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;IACrB,IAAI,CAAC,GAAG;QAAE,OAAO,GAAG,CAAC,eAAe,QAAQ,EAAE,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,KAAK,OAAO,CAAC,EAAE,KAAK,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,WAAW,EAAE,CAAC;IACtG,IAAI,KAAK,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnE,wEAAwE;IACxE,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,KAAK,QAAS,CAAC,GAAG;WACxE,MAAM,CAAC,QAAS,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAAE,KAAK,GAAG,SAAS,CAAC;IAC1E,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,IAAI,MAAM,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,IAAI,OAAO,GAAmC,IAAI,CAAC;IACnD,OAAO,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,GAAG,QAAQ,EAAE,CAAC;QACrD,KAAK,CAAC,QAAQ,EAAE,CAAC;QACjB,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;QACpB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,MAAM,KAAK,GAA4C,EAAE,CAAC;QAC1D,IAAI,IAAI,GAAkD,IAAI,CAAC;QAC/D,IAAI,CAAC;YACH,UAAU;YACV,MAAM,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC3B,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC;gBACtB,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;gBACjC,IAAI,OAAoB,CAAC;gBACzB,IAAI,CAAC;oBAAC,OAAO,GAAG,SAAS,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;gBAAC,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBAAC,MAAM,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;gBAAC,CAAC;gBAC9G,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE;oBAAE,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBAC/D,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;gBACjC,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;oBAC3B,IAAI,GAAG,KAAK,GAAG,CAAC,WAAW;wBAAE,OAAO,GAAG,CAAC,iBAAiB,SAAS,EAAE,CAAC,CAAC;gBACxE,CAAC;qBAAM,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,CAAC;gBACvE,MAAM,SAAS,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;gBAC3C,IAAI,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACtE,IAAI,OAAO,EAAE,SAAS,KAAK,SAAS;oBAAE,KAAK,CAAC,MAAM,EAAE,CAAC;qBAChD,CAAC;oBACJ,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC7E,KAAK,CAAC,MAAM,EAAE,CAAC;oBACf,KAAK,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;oBAClC,MAAM,aAAa,GAAG,oBAAoB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;oBAC9D,IAAI,aAAa,KAAK,WAAW;wBAAE,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;yBAC7D,IAAI,aAAa,KAAK,aAAa;wBAAE,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;yBAChE,CAAC;wBACJ,MAAM,OAAO,GAAG,aAAa,CAAC,QAAS,EAAE,OAAO,CAAC,CAAC;wBAClD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO;4BAAE,IAAI,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;oBAC7E,CAAC;gBACH,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBAChC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;oBAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAE,CAAC;oBACzC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;wBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,EAAE,CAAC,CAAC;gBAC7G,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,WAAW;oBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;YAC9E,CAAC;YACD,GAAG,CAAC,SAAS,CAAC,CAAC;YACf,qEAAqE;YACrE,2DAA2D;YAC3D,MAAM,KAAK,GAAG,CAAC,SAAiB,EAAE,OAAgB,EAAe,EAAE;gBACjE,IAAI,OAAoB,CAAC;gBACzB,IAAI,CAAC;oBAAC,OAAO,GAAG,SAAS,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;gBAAC,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBAAC,MAAM,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;gBAAC,CAAC;gBAC9G,IAAI,eAAe,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC,SAAS;oBAAE,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACvF,OAAO,OAAO,CAAC;YACjB,CAAC,CAAC;YACF,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,OAAO,EAAE,CAAC;gBAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBAC1C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC;oBAAE,SAAS;gBAC1C,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;oBAC9F,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACrC,CAAC;gBACD,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC5B,CAAC;YACD,GAAG,CAAC,SAAS,CAAC,CAAC;YACf,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACvF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,CAAC,KAAK,YAAY,SAAS,CAAC;gBAAE,MAAM,KAAK,CAAC;YAC/C,GAAG,CAAC,SAAS,CAAC,CAAC;YACf,IAAI,CAAC,KAAK,CAAC,KAAK;gBAAE,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IACD,KAAK,CAAC,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC;IACjC,qEAAqE;IACrE,sCAAsC;IACtC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC5C,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,OAAO,EAAE,CAAC;QAC3C,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,OAAO,IAAI,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,OAAO;YAAE,SAAS;QAC9F,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACjC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IACvB,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI;QAAE,MAAM,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9E,OAAO,OAAO,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC;AACrC,CAAC"}