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

package/dist/detection/admission-units.js

@@ -0,0 +1,322 @@
+/** One Detect pass admits in independent units. A unit is the smallest set of
+ * changed identities whose writes and reads cannot be separated: no fact one
+ * unit's admission reads is stamped by another unit of the same pass, so
+ * units admit in any order and one unit's churn defers only itself.
+ *
+ * Two identities share a unit when one's write stamps a fact the other reads:
+ *  - a namespace change (placement, name, type, lifecycle, address, presence)
+ *    joins the identity to its old and new parent, whose membership it is;
+ *  - a shared address slot, or a physical object within one root, before or
+ *    after, joins; identity continuity is root-local, so an object's names
+ *    in different roots are aliases, each examined in its own root, and a
+ *    freed inode reused in another root joins nothing;
+ *  - a member joins its nearest repository, whose Card + Checkpoint it is,
+ *    unless it is a nested repository whose own head alone changed; a unit
+ *    admitting a repository consumes that repository's whole territory as
+ *    one fact, never its unchanged rows one by one;
+ *  - an identity joins each changed ancestor on its old or new route;
+ *  - a root whose selection withheld a result for a cross-entity reason
+ *    (parent, ownership, address, cycle) is one unit.
+ * A failed identity stays in its unit, and that whole unit waits.
+ *
+ * Ground a pass could not examine is a gap, never absence. A unit waits for a
+ * gap only when it needs a fact the gap hides: an address at or beneath it,
+ * or an identity decision (create, removal, move, lifecycle) that an unlisted
+ * directory in its root could contradict. In a complete domain any gap may
+ * hide where a missing identity went, so absence there waits too. Identity
+ * continuity is root-local, so an arrival takes nothing from another root's
+ * gap. A stable identity edited in place needs no hidden fact and admits. */
+import { dirname } from "node:path";
+import { repositoryHeadOnly, repositoryOwners } from "../ground-basis.js";
+import { activeRepository as repository } from "../ground-territory.js";
+import { PhysicalKeySet } from "../ground-coordination.js";
+const INVENTORIES = ["entities", "detection_notebook"];
+const namespaceOf = (row) => row === undefined ? "" : JSON.stringify([
+    row.resourceId, row.rootUUID, row.parentUUID, row.name, row.type, row.status, row.relativePath, row.absolutePath
+]);
+const structureOf = (inventory, row) => row === undefined ? ""
+    : `${namespaceOf(row)}${inventory === "entities" ? `:${row.physicalKey}:${(row.filesystemMode ?? 0) & 0o170000}` : ""}`;
+const container = (row) => row?.type === "workspace" || row?.type === "folder";
+/** Ancestors by parent link, nearest first, until a missing row or a cycle. */
+function route(lookup, row) {
+    const found = [];
+    const seen = new Set(row ? [row.uuid] : []);
+    for (let parent = row?.parentUUID ?? null; parent !== null && !seen.has(parent);) {
+        const next = lookup(parent);
+        if (!next)
+            break;
+        seen.add(parent);
+        found.push(parent);
+        parent = next.parentUUID;
+    }
+    return found;
+}
+/** The directory an absolute row address resolves under, and its root. */
+const rootDirectory = (row) => row.relativePath === "" ? row.absolutePath
+    : row.absolutePath.slice(0, row.absolutePath.length - row.relativePath.length - 1);
+function ancestorDirectories(row) {
+    const root = rootDirectory(row);
+    const found = [];
+    for (let directory = dirname(row.absolutePath); row.relativePath !== "" && directory.length >= root.length;) {
+        found.push(directory);
+        if (directory === root)
+            break;
+        directory = dirname(directory);
+    }
+    return found;
+}
+const present = (row) => row !== undefined && row.status === "active";
+export function admissionUnits(pass) {
+    const { before, writes } = pass;
+    const written = { entities: new Map(), detection_notebook: new Map() };
+    for (const row of writes.materialized)
+        written.entities.set(row.uuid, row);
+    for (const uuid of writes.materializedRemovals)
+        if (!written.entities.has(uuid))
+            written.entities.set(uuid, undefined);
+    for (const row of writes.notebook)
+        written.detection_notebook.set(row.uuid, row);
+    const beforeOf = (inventory) => uuid => before[inventory].get(uuid);
+    const afterOf = (inventory) => uuid => written[inventory].has(uuid) ? written[inventory].get(uuid) : before[inventory].get(uuid);
+    const graphs = INVENTORIES.flatMap(inventory => [
+        { inventory, lookup: beforeOf(inventory), owner: repositoryOwners(beforeOf(inventory)) },
+        { inventory, lookup: afterOf(inventory), owner: repositoryOwners(afterOf(inventory)) },
+    ]);
+    const changed = new Set([
+        ...written.entities.keys(), ...written.detection_notebook.keys(),
+        ...writes.proposals.map(proposal => proposal.entityId),
+        ...writes.settled.map(proposal => proposal.entityId),
+        ...writes.repositoryObservations.map(pair => pair.uuid),
+        ...writes.seals.map(seal => seal.uuid),
+        ...pass.failed,
+    ]);
+    const parents = new Map();
+    const find = (node) => {
+        let top = node;
+        for (let next = parents.get(top); next !== undefined && next !== top; next = parents.get(top))
+            top = next;
+        for (let current = node; current !== top;) {
+            const next = parents.get(current);
+            parents.set(current, top);
+            current = next;
+        }
+        return top;
+    };
+    const join = (left, right) => {
+        const a = find(left), b = find(right);
+        if (a !== b)
+            parents.set(a, b);
+    };
+    const occupants = new Map();
+    const share = (key, uuid) => {
+        const first = occupants.get(key);
+        if (first === undefined)
+            occupants.set(key, uuid);
+        else
+            join(first, uuid);
+    };
+    for (const uuid of changed) {
+        for (const inventory of INVENTORIES) {
+            const x0 = beforeOf(inventory)(uuid), x1 = afterOf(inventory)(uuid);
+            if (namespaceOf(x0) !== namespaceOf(x1)) {
+                for (const row of [x0, x1])
+                    if (row?.parentUUID)
+                        join(uuid, row.parentUUID);
+            }
+            for (const row of [x0, x1])
+                if (row)
+                    share(JSON.stringify([inventory, row.rootUUID, row.relativePath]), uuid);
+            for (const [lookup, row] of [[beforeOf(inventory), x0], [afterOf(inventory), x1]]) {
+                for (const ancestor of route(lookup, row)) {
+                    if (changed.has(ancestor) && structureOf(inventory, beforeOf(inventory)(ancestor))
+                        !== structureOf(inventory, afterOf(inventory)(ancestor)))
+                        join(uuid, ancestor);
+                }
+            }
+        }
+        for (const row of [beforeOf("entities")(uuid), afterOf("entities")(uuid)]) {
+            if (row)
+                share(JSON.stringify(["physical", row.rootUUID, row.physicalKey]), uuid);
+        }
+        for (const { inventory, lookup, owner } of graphs) {
+            const row = lookup(uuid);
+            if (!row || repositoryHeadOnly(beforeOf(inventory)(uuid), afterOf(inventory)(uuid)))
+                continue;
+            const repositoryUUID = owner(uuid);
+            if (repositoryUUID !== null)
+                join(uuid, repositoryUUID);
+        }
+        for (const inventory of INVENTORIES)
+            for (const row of [beforeOf(inventory)(uuid), afterOf(inventory)(uuid)]) {
+                if (row && pass.wholeRoots.has(row.rootUUID))
+                    join(uuid, `root:${row.rootUUID}`);
+            }
+    }
+    const groups = new Map();
+    for (const uuid of changed) {
+        const top = find(uuid);
+        const group = groups.get(top) ?? [];
+        group.push(uuid);
+        groups.set(top, group);
+    }
+    const unitOf = new Map();
+    for (const [top, group] of groups)
+        for (const uuid of group)
+            unitOf.set(uuid, top);
+    const partition = (items, uuid) => {
+        const byUnit = new Map();
+        for (const item of items) {
+            const top = unitOf.get(uuid(item));
+            const list = byUnit.get(top) ?? [];
+            list.push(item);
+            byUnit.set(top, list);
+        }
+        return byUnit;
+    };
+    const materialized = partition(writes.materialized, row => row.uuid);
+    const materializedRemovals = partition(writes.materializedRemovals, uuid => uuid);
+    const notebook = partition(writes.notebook, row => row.uuid);
+    const proposals = partition(writes.proposals, proposal => proposal.entityId);
+    const settled = partition(writes.settled, proposal => proposal.entityId);
+    const observations = partition(writes.repositoryObservations, pair => pair.uuid);
+    const seals = partition(writes.seals, seal => seal.uuid);
+    return [...groups].map(([top, group]) => {
+        group.sort();
+        const rows = (uuid) => INVENTORIES.map(inventory => ({ inventory, x0: beforeOf(inventory)(uuid), x1: afterOf(inventory)(uuid) }));
+        const addresses = new Set();
+        for (const uuid of group)
+            for (const { x0, x1 } of rows(uuid))
+                for (const row of [x0, x1])
+                    if (row)
+                        addresses.add(row.absolutePath);
+        const repositories = group.filter(uuid => repository(afterOf("entities")(uuid)) || repository(beforeOf("entities")(uuid)));
+        return {
+            members: group,
+            writes: {
+                materialized: materialized.get(top) ?? [], materializedRemovals: materializedRemovals.get(top) ?? [],
+                notebook: notebook.get(top) ?? [],
+                proposals: proposals.get(top) ?? [], settled: settled.get(top) ?? [], repositoryObservations: observations.get(top) ?? [], seals: seals.get(top) ?? [],
+            },
+            failed: group.filter(uuid => pass.failed.has(uuid)),
+            addresses: [...addresses].sort(),
+            repositories,
+            scope(keys) {
+                for (const uuid of group) {
+                    for (const { inventory, x0, x1 } of rows(uuid)) {
+                        keys.entity(inventory, uuid, x0);
+                        for (const row of [x0, x1])
+                            if (row)
+                                keys.path(inventory, row.rootUUID, row.relativePath);
+                        if (container(x0) || container(x1))
+                            keys.namespace(inventory, uuid);
+                        if (namespaceOf(x0) !== namespaceOf(x1)) {
+                            for (const row of [x0, x1])
+                                if (row?.parentUUID)
+                                    keys.namespace(inventory, row.parentUUID);
+                        }
+                        for (const ancestor of route(beforeOf(inventory), x0))
+                            keys.structure(inventory, ancestor);
+                        for (const ancestor of route(afterOf(inventory), x1))
+                            keys.structure(inventory, ancestor);
+                    }
+                    for (const row of [beforeOf("entities")(uuid), afterOf("entities")(uuid)]) {
+                        if (row)
+                            keys.physical("entities", row.rootUUID, row.physicalKey);
+                    }
+                }
+                for (const uuid of repositories)
+                    for (const inventory of INVENTORIES)
+                        keys.territory(inventory, uuid);
+            },
+            reads(physicalReads, repositoryPhysical, discoveries) {
+                const entries = new Set(), routes = new Set(), namespaces = new Set(), physical = new Set();
+                // A discovery read its whole scope, whatever this unit concluded from it.
+                for (const discovery of discoveries)
+                    for (const entry of discovery.entries)
+                        entries.add(entry);
+                for (const uuid of group) {
+                    for (const { x0, x1 } of rows(uuid)) {
+                        for (const row of [x0, x1]) {
+                            if (!row)
+                                continue;
+                            // A container's result is its entry list; a repository or a
+                            // leaf is read whole, including everything beneath it.
+                            (container(row) ? namespaces : entries).add(row.absolutePath);
+                            for (const directory of ancestorDirectories(row))
+                                routes.add(directory);
+                        }
+                        if (namespaceOf(x0) !== namespaceOf(x1))
+                            for (const row of [x0, x1])
+                                if (row)
+                                    namespaces.add(dirname(row.absolutePath));
+                        // An identity found nowhere is absent on its root's whole
+                        // namespace, so any effect beneath that root crosses it, whether
+                        // or not a discovery named the scope.
+                        if (present(x0) && !present(x1))
+                            entries.add(rootDirectory(x0));
+                    }
+                    const observed = afterOf("entities")(uuid);
+                    if (observed && physicalReads.has(observed.physicalKey))
+                        physical.add(observed.physicalKey);
+                    for (const key of repositoryPhysical.get(uuid) ?? [])
+                        physical.add(key);
+                }
+                return { entries, routes, namespaces, physical: new PhysicalKeySet(physical) };
+            },
+            unsettled(closureOf, closures) {
+                const check = (address, answer) => {
+                    const closure = closureOf(address);
+                    return closure?.observes(address) && !answer(closure) ? address : null;
+                };
+                for (const uuid of group) {
+                    const o0 = beforeOf("entities")(uuid), o1 = afterOf("entities")(uuid);
+                    if (o1) {
+                        const changedAt = check(o1.absolutePath, closure => closure.settled(o1.absolutePath))
+                            ?? ancestorDirectories(o1).map(directory => check(directory, closure => closure.routes(directory))).find(Boolean)
+                            ?? null;
+                        if (changedAt)
+                            return `${changedAt} changed after its walk`;
+                        if (repository(o1)) {
+                            const closure = closureOf(o1.absolutePath);
+                            if (closure && !closure.settledUnder(o1.absolutePath))
+                                return `${o1.absolutePath} changed beneath its repository walk`;
+                        }
+                    }
+                    if (namespaceOf(o0) !== namespaceOf(o1)) {
+                        for (const row of [o0, o1]) {
+                            const directory = row && dirname(row.absolutePath);
+                            if (directory && check(directory, closure => closure.settled(directory)))
+                                return `${directory} changed after its walk`;
+                        }
+                    }
+                    // An identity the walk did not find is absent only if no walked
+                    // entry list moved while it was read.
+                    const unsettled = o0 && !o1 ? closures.map(closure => closure.unsettledDirectory).find(Boolean) : null;
+                    if (unsettled)
+                        return `${o0.absolutePath} was not found while walked directory ${unsettled} changed`;
+                }
+                return null;
+            },
+            unexamined(gaps) {
+                for (const address of addresses) {
+                    const reason = gaps.unread(address);
+                    if (reason)
+                        return reason;
+                }
+                for (const uuid of group)
+                    for (const { x0, x1 } of rows(uuid)) {
+                        if (x0 && x1 && x0.absolutePath === x1.absolutePath && present(x0) === present(x1))
+                            continue;
+                        // Only an identity gone missing may have gone into ground nobody
+                        // read; a new one takes nothing from it.
+                        const reason = [x0, x1].map(row => row && gaps.namespace(row.rootUUID)).find(Boolean)
+                            ?? (present(x0) && !present(x1) ? gaps.domain : undefined);
+                        if (reason)
+                            return reason;
+                    }
+                return null;
+            },
+        };
+    });
+}
+//# sourceMappingURL=admission-units.js.map

package/dist/detection/admission-units.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"admission-units.js","sourceRoot":"","sources":["../../src/detection/admission-units.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;6EA2B6E;AAC7E,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAA0C,MAAM,oBAAoB,CAAC;AAClH,OAAO,EAAE,gBAAgB,IAAI,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EAAE,cAAc,EAAwC,MAAM,2BAA2B,CAAC;AAIjG,MAAM,WAAW,GAA+B,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC;AA2BnF,MAAM,WAAW,GAAG,CAAC,GAA0B,EAAU,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC;IAClG,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,YAAY;CAAC,CAAC,CAAC;AACrH,MAAM,WAAW,GAAG,CAAC,SAA0B,EAAE,GAA0B,EAAU,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE;IAC5G,CAAC,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,WAAW,IAAI,CAAC,GAAG,CAAC,cAAc,IAAI,CAAC,CAAC,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAC1H,MAAM,SAAS,GAAG,CAAC,GAA0B,EAAW,EAAE,CAAC,GAAG,EAAE,IAAI,KAAK,WAAW,IAAI,GAAG,EAAE,IAAI,KAAK,QAAQ,CAAC;AAE/G,+EAA+E;AAC/E,SAAS,KAAK,CAAC,MAAc,EAAE,GAA0B;IACvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACpD,KAAK,IAAI,MAAM,GAAG,GAAG,EAAE,UAAU,IAAI,IAAI,EAAE,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC;QACjF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5B,IAAI,CAAC,IAAI;YAAE,MAAM;QACjB,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,0EAA0E;AAC1E,MAAM,aAAa,GAAG,CAAC,GAAc,EAAU,EAAE,CAAC,GAAG,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY;IAC1F,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAErF,SAAS,mBAAmB,CAAC,GAAc;IACzC,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IAChC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,YAAY,KAAK,EAAE,IAAI,SAAS,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAC5G,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtB,IAAI,SAAS,KAAK,IAAI;YAAE,MAAM;QAC9B,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAaD,MAAM,OAAO,GAAG,CAAC,GAA0B,EAAW,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ,CAAC;AAuBtG,MAAM,UAAU,cAAc,CAC5B,IAA6B;IAE7B,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAChC,MAAM,OAAO,GAAgE,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,kBAAkB,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IACpI,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,YAAY;QAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3E,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,oBAAoB;QAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACvH,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,QAAQ;QAAE,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACjF,MAAM,QAAQ,GAAG,CAAC,SAA0B,EAAU,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7F,MAAM,OAAO,GAAG,CAAC,SAA0B,EAAU,EAAE,CAAC,IAAI,CAAC,EAAE,CAC7D,OAAO,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5F,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9C,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,gBAAgB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE;QACxF,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,gBAAgB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE;KACvF,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS;QAC9B,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE;QAChE,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACtD,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACpD,GAAG,MAAM,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QACvD,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QACtC,GAAG,IAAI,CAAC,MAAM;KACf,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE;QACpC,IAAI,GAAG,GAAG,IAAI,CAAC;QACf,KAAK,IAAI,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,GAAG,EAAE,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,GAAG,GAAG,IAAI,CAAC;QAC1G,KAAK,IAAI,OAAO,GAAG,IAAI,EAAE,OAAO,KAAK,GAAG,GAAG,CAAC;YAAC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;YAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC;QAAC,CAAC;QAC7H,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,KAAa,EAAQ,EAAE;QACjD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,IAAY,EAAQ,EAAE;QAChD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;;YAAM,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,KAAK,MAAM,SAAS,IAAI,WAAW,EAAE,CAAC;YACpC,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC;YACpE,IAAI,WAAW,CAAC,EAAE,CAAC,KAAK,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC;gBACxC,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC;oBAAE,IAAI,GAAG,EAAE,UAAU;wBAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;YAC9E,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC;gBAAE,IAAI,GAAG;oBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC9G,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAU,EAAE,CAAC;gBAC3F,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;oBAC1C,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,WAAW,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC;4BAC5E,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC;wBAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACnF,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC1E,IAAI,GAAG;gBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACpF,CAAC;QACD,KAAK,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,MAAM,EAAE,CAAC;YAClD,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YACzB,IAAI,CAAC,GAAG,IAAI,kBAAkB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC;gBAAE,SAAS;YAC9F,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,cAAc,KAAK,IAAI;gBAAE,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAC1D,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,WAAW;YAAE,KAAK,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBAC7G,IAAI,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;YACnF,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC3C,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM;QAAE,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnF,MAAM,SAAS,GAAG,CAAI,KAAmB,EAAE,IAAyB,EAAoB,EAAE;QACxF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAe,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAE,CAAC;YACpC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACnC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,CAAC,YAAY,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrE,MAAM,oBAAoB,GAAG,SAAS,CAAC,MAAM,CAAC,oBAAoB,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAClF,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACzE,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,CAAC,sBAAsB,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEzD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAA0B,EAAE;QAC9D,KAAK,CAAC,IAAI,EAAE,CAAC;QACb,MAAM,IAAI,GAAG,CAAC,IAAY,EAA0F,EAAE,CACpH,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7G,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,KAAK,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;gBAAE,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC;oBAAE,IAAI,GAAG;wBAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACpI,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3H,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM,EAAE;gBACN,YAAY,EAAE,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,oBAAoB,EAAE,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;gBACpG,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;gBACjC,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,sBAAsB,EAAE,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;aACvJ;YACD,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnD,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE;YAChC,YAAY;YACZ,KAAK,CAAC,IAAI;gBACR,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,KAAK,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC/C,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;wBACjC,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC;4BAAE,IAAI,GAAG;gCAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;wBAC1F,IAAI,SAAS,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,EAAE,CAAC;4BAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;wBACpE,IAAI,WAAW,CAAC,EAAE,CAAC,KAAK,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC;4BACxC,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC;gCAAE,IAAI,GAAG,EAAE,UAAU;oCAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;wBAC7F,CAAC;wBACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;4BAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;wBAC3F,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;4BAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;oBAC5F,CAAC;oBACD,KAAK,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;wBAC1E,IAAI,GAAG;4BAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;oBACpE,CAAC;gBACH,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,YAAY;oBAAE,KAAK,MAAM,SAAS,IAAI,WAAW;wBAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACxG,CAAC;YACD,KAAK,CAAC,aAAa,EAAE,kBAAkB,EAAE,WAAW;gBAClD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,EAAE,MAAM,GAAG,IAAI,GAAG,EAAU,EAAE,UAAU,GAAG,IAAI,GAAG,EAAU,EAAE,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;gBAC5H,0EAA0E;gBAC1E,KAAK,MAAM,SAAS,IAAI,WAAW;oBAAE,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,OAAO;wBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC/F,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,KAAK,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;wBACpC,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;4BAC3B,IAAI,CAAC,GAAG;gCAAE,SAAS;4BACnB,4DAA4D;4BAC5D,uDAAuD;4BACvD,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;4BAC9D,KAAK,MAAM,SAAS,IAAI,mBAAmB,CAAC,GAAG,CAAC;gCAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;wBAC1E,CAAC;wBACD,IAAI,WAAW,CAAC,EAAE,CAAC,KAAK,WAAW,CAAC,EAAE,CAAC;4BAAE,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC;gCAAE,IAAI,GAAG;oCAAE,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;wBACxH,0DAA0D;wBAC1D,iEAAiE;wBACjE,sCAAsC;wBACtC,IAAI,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;4BAAE,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,EAAG,CAAC,CAAC,CAAC;oBACnE,CAAC;oBACD,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC3C,IAAI,QAAQ,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC;wBAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;oBAC5F,KAAK,MAAM,GAAG,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE;wBAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1E,CAAC;gBACD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjF,CAAC;YACD,SAAS,CAAC,SAAS,EAAE,QAAQ;gBAC3B,MAAM,KAAK,GAAG,CAAC,OAAe,EAAE,MAA2C,EAAiB,EAAE;oBAC5F,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;oBACnC,OAAO,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;gBACzE,CAAC,CAAC;gBACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,MAAM,EAAE,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC;oBACtE,IAAI,EAAE,EAAE,CAAC;wBACP,MAAM,SAAS,GAAG,KAAK,CAAC,EAAE,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;+BAChF,mBAAmB,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;+BAC9G,IAAI,CAAC;wBACV,IAAI,SAAS;4BAAE,OAAO,GAAG,SAAS,yBAAyB,CAAC;wBAC5D,IAAI,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;4BACnB,MAAM,OAAO,GAAG,SAAS,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;4BAC3C,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,YAAY,CAAC;gCAAE,OAAO,GAAG,EAAE,CAAC,YAAY,sCAAsC,CAAC;wBACzH,CAAC;oBACH,CAAC;oBACD,IAAI,WAAW,CAAC,EAAE,CAAC,KAAK,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC;wBACxC,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;4BAC3B,MAAM,SAAS,GAAG,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;4BACnD,IAAI,SAAS,IAAI,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;gCAAE,OAAO,GAAG,SAAS,yBAAyB,CAAC;wBACzH,CAAC;oBACH,CAAC;oBACD,gEAAgE;oBAChE,sCAAsC;oBACtC,MAAM,SAAS,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACvG,IAAI,SAAS;wBAAE,OAAO,GAAG,EAAG,CAAC,YAAY,yCAAyC,SAAS,UAAU,CAAC;gBACxG,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,UAAU,CAAC,IAAI;gBACb,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;oBAChC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBACpC,IAAI,MAAM;wBAAE,OAAO,MAAM,CAAC;gBAC5B,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,KAAK;oBAAE,KAAK,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC9D,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,YAAY,KAAK,EAAE,CAAC,YAAY,IAAI,OAAO,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,EAAE,CAAC;4BAAE,SAAS;wBAC7F,iEAAiE;wBACjE,yCAAyC;wBACzC,MAAM,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;+BAChF,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;wBAC7D,IAAI,MAAM;4BAAE,OAAO,MAAM,CAAC;oBAC5B,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,12 @@
+import type { GroundSnapshotReader } from "../ground-basis.js";
+import type { WatchObservation } from "../watching/host.js";
+export type GroundRead = <T>(operation: (reader: GroundSnapshotReader) => T) => T;
+/** The names alias hints owe, or the hinted address that owes the domain. */
+export type AliasDiscovery = {
+    readonly names: readonly string[];
+} | {
+    readonly domain: string;
+};
+/** Reads ground only for hints that name their objects, so a cut without
+ * such hints costs none. */
+export declare function aliasDiscovery(observations: readonly WatchObservation[], read: GroundRead): Promise<AliasDiscovery>;

package/dist/detection/alias-discovery.js

@@ -0,0 +1,80 @@
+/** Native hard-link evidence names the object a change reached through one
+ * name: FSEvents records each event's file ID, the inode of the object that
+ * name held within its own filesystem. An object's change is a change at
+ * every one of its names (alias-examination.ts), so each object a hint saw
+ * owes an examination of every name the materialized inventory knows for it,
+ * in whichever root it lies. The hinted name keeps its own obligations, a
+ * name the cut already examines owes nothing more, a name no inventory knows
+ * rang where it was added, and Git storage belongs to its repository owner.
+ * A hint that cannot bound its objects owes one domain examination: native
+ * evidence reported none, other names coalesced into it, or its objects
+ * outgrew their bound. So does one whose filesystem cannot be placed now,
+ * because its directory is gone or its address resolves elsewhere. */
+import { lstat, realpath } from "node:fs/promises";
+import { join } from "node:path";
+import { suspectScope } from "@amalgm/live";
+import { objectNames } from "./alias-examination.js";
+/** Reads ground only for hints that name their objects, so a cut without
+ * such hints costs none. */
+export async function aliasDiscovery(observations, read) {
+    const hints = [];
+    for (const { directory, suspicion, domain } of observations) {
+        // A domain proof already examines every root.
+        if (domain)
+            continue;
+        if (suspicion.aliases === null)
+            return { domain: directory };
+        for (const { path, objects } of suspicion.aliases) {
+            const segments = path.split("/");
+            if (segments.includes(".git"))
+                continue;
+            if (objects === null)
+                return { domain: join(directory, ...segments) };
+            hints.push({ root: directory, parent: segments.slice(0, -1), objects });
+        }
+    }
+    if (hints.length === 0)
+        return { names: [] };
+    const place = placement();
+    const devices = await Promise.all(hints.map(hint => place(hint.root, hint.parent)));
+    const unplaced = devices.indexOf(null);
+    if (unplaced !== -1)
+        return { domain: join(hints[unplaced].root, ...hints[unplaced].parent) };
+    return { names: read(reader => {
+            const examined = observations.map(({ directory, suspicion }) => ({
+                roots: new Set(reader.rootsAtPath("entities", directory).map(root => root.rootUUID)),
+                scope: suspectScope(suspicion.paths),
+            }));
+            const inventory = { objectRows: (key) => reader.objectRows("entities", key),
+                physical: (uuid) => reader.physical(uuid) };
+            const owed = new Set();
+            hints.forEach(({ objects }, index) => {
+                for (const object of objects)
+                    for (const name of objectNames(inventory, `${devices[index]}:${object}`)) {
+                        if (!examined.some(cut => cut.roots.has(name.rootUUID) && cut.scope.covers(name.relativePath))) {
+                            owed.add(name.absolutePath);
+                        }
+                    }
+            });
+            return [...owed];
+        }) };
+}
+/** The device of the directory a hinted name was reported in, while that
+ * address still resolves to itself; null when it cannot be placed. Each
+ * address is read once, and every read runs at once. */
+function placement() {
+    const reads = new Map();
+    const once = (key, read) => {
+        if (!reads.has(key))
+            reads.set(key, read());
+        return reads.get(key);
+    };
+    const real = (address) => once(`real:${address}`, () => realpath(address).catch(() => null));
+    return (root, parent) => once(`device:${join(root, ...parent)}`, async () => {
+        const [top, here] = await Promise.all([real(root), real(join(root, ...parent))]);
+        if (top === null || here === null || here !== join(top, ...parent))
+            return null;
+        return lstat(here, { bigint: true }).then(stats => stats.dev, () => null);
+    });
+}
+//# sourceMappingURL=alias-discovery.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"alias-discovery.js","sourceRoot":"","sources":["../../src/detection/alias-discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;sEAWsE;AACtE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAG5C,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAarD;4BAC4B;AAC5B,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,YAAyC,EAAE,IAAgB;IAC9F,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,KAAK,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;QAC5D,8CAA8C;QAC9C,IAAI,MAAM;YAAE,SAAS;QACrB,IAAI,SAAS,CAAC,OAAO,KAAK,IAAI;YAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QAC7D,KAAK,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,SAAS;YACxC,IAAI,OAAO,KAAK,IAAI;gBAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC;YACtE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;IAC1B,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,QAAQ,KAAK,CAAC,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAE,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAE,CAAC,MAAM,CAAC,EAAE,CAAC;IAChG,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE;YAC5B,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC/D,KAAK,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACpF,KAAK,EAAE,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC;aACrC,CAAC,CAAC,CAAC;YACJ,MAAM,SAAS,GAAG,EAAE,UAAU,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,GAAG,CAAC;gBACjF,QAAQ,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE;gBACnC,KAAK,MAAM,MAAM,IAAI,OAAO;oBAAE,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,SAAS,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC,EAAE,CAAC;wBACvG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;4BAC/F,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;wBAC9B,CAAC;oBACH,CAAC;YACH,CAAC,CAAC,CAAC;YACH,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;QACnB,CAAC,CAAC,EAAE,CAAC;AACP,CAAC;AAED;;wDAEwD;AACxD,SAAS,SAAS;IAChB,MAAM,KAAK,GAAG,IAAI,GAAG,EAA4B,CAAC;IAClD,MAAM,IAAI,GAAG,CAAI,GAAW,EAAE,IAAsB,EAAc,EAAE;QAClE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5C,OAAO,KAAK,CAAC,GAAG,CAAC,GAAG,CAAe,CAAC;IACtC,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACrG,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,EAAE,EAAE,KAAK,IAAI,EAAE;QAC1E,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,IAAI,GAAG,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAChF,OAAO,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/detection/alias-examination.d.ts

@@ -0,0 +1,30 @@
+/** An object's change is a change at every one of its names. A hard link gives
+ * one object several names, possibly in different roots, and native evidence
+ * names only the one it was changed through. So each committed name owes an
+ * examination of every other name the materialized inventory knows for:
+ *  - the object it now names, when it changed there and that object has
+ *    another name: each alias not already recorded at the committed stat;
+ *  - the object it left, when that object had another name: each alias, since
+ *    losing a name changed that object at a stat nothing here recorded.
+ * A link count of one proves there is no other name; a name added later is
+ * heard where it was added. An alias already at the committed stat owes
+ * nothing, and an examined alias found unchanged commits no change, so the
+ * fan-out ends. Identity stays root-local: an alias is examined in its own
+ * root, and no UUID is ever paired across names. */
+import { type GroundRow } from "../ground-row.js";
+export interface AliasChange {
+    readonly before: GroundRow | null | undefined;
+    readonly after: GroundRow | null | undefined;
+}
+/** The materialized inventory the changes were committed against, or into. */
+export interface AliasInventory {
+    /** Every row naming one filesystem object, in any root. */
+    objectRows(physicalKey: string): readonly GroundRow[];
+    physical(uuid: string): GroundRow | undefined;
+}
+/** Every name the inventory knows for one object that can hold its bytes now:
+ * an effectively active leaf. */
+export declare function objectNames(inventory: AliasInventory, physicalKey: string): GroundRow[];
+/** The addresses of every alias one commit's changes owe, in change order;
+ * the commit's own names are recorded at their committed stat already. */
+export declare function aliasExaminations(changes: readonly AliasChange[], inventory: AliasInventory): string[];

package/dist/detection/alias-examination.js

@@ -0,0 +1,49 @@
+/** An object's change is a change at every one of its names. A hard link gives
+ * one object several names, possibly in different roots, and native evidence
+ * names only the one it was changed through. So each committed name owes an
+ * examination of every other name the materialized inventory knows for:
+ *  - the object it now names, when it changed there and that object has
+ *    another name: each alias not already recorded at the committed stat;
+ *  - the object it left, when that object had another name: each alias, since
+ *    losing a name changed that object at a stat nothing here recorded.
+ * A link count of one proves there is no other name; a name added later is
+ * heard where it was added. An alias already at the committed stat owes
+ * nothing, and an examined alias found unchanged commits no change, so the
+ * fan-out ends. Identity stays root-local: an alias is examined in its own
+ * root, and no UUID is ever paired across names. */
+import { effectivelyActive } from "../ground-row.js";
+import { signedLinks } from "../source-signature.js";
+const LEAVES = new Set(["file.text", "file.binary", "link"]);
+const leaf = (row) => row && LEAVES.has(row.type) && row.status === "active" ? row : undefined;
+/** An unsigned object may have any number of names. */
+const named = (row) => (signedLinks(row.sourceSignature) ?? 2n) > 1n;
+/** Every name the inventory knows for one object that can hold its bytes now:
+ * an effectively active leaf. */
+export function objectNames(inventory, physicalKey) {
+    return inventory.objectRows(physicalKey)
+        .filter(row => leaf(row) && effectivelyActive(row, uuid => inventory.physical(uuid)));
+}
+/** The addresses of every alias one commit's changes owe, in change order;
+ * the commit's own names are recorded at their committed stat already. */
+export function aliasExaminations(changes, inventory) {
+    const committed = new Set(changes.flatMap(({ before, after }) => [before?.uuid, after?.uuid]));
+    const owed = new Map();
+    const owe = (physicalKey, current) => {
+        for (const other of objectNames(inventory, physicalKey)) {
+            if (!committed.has(other.uuid) && (current === null || other.sourceSignature !== current)) {
+                owed.set(other.uuid, other.absolutePath);
+            }
+        }
+    };
+    for (const change of changes) {
+        const was = leaf(change.before), is = leaf(change.after);
+        if (was && is && was.physicalKey === is.physicalKey && was.sourceSignature === is.sourceSignature)
+            continue;
+        if (is && named(is))
+            owe(is.physicalKey, is.sourceSignature);
+        if (was && was.physicalKey !== is?.physicalKey && named(was))
+            owe(was.physicalKey, null);
+    }
+    return [...owed.values()];
+}
+//# sourceMappingURL=alias-examination.js.map

package/dist/detection/alias-examination.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"alias-examination.js","sourceRoot":"","sources":["../../src/detection/alias-examination.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;oDAYoD;AACpD,OAAO,EAAE,iBAAiB,EAAkB,MAAM,kBAAkB,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAcrD,MAAM,MAAM,GAAmC,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;AAC7F,MAAM,IAAI,GAAG,CAAC,GAAiC,EAAyB,EAAE,CACxE,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3E,uDAAuD;AACvD,MAAM,KAAK,GAAG,CAAC,GAAc,EAAW,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC;AAEzF;iCACiC;AACjC,MAAM,UAAU,WAAW,CAAC,SAAyB,EAAE,WAAmB;IACxE,OAAO,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC;SACrC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC1F,CAAC;AAED;0EAC0E;AAC1E,MAAM,UAAU,iBAAiB,CAAC,OAA+B,EAAE,SAAyB;IAC1F,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/F,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,MAAM,GAAG,GAAG,CAAC,WAAmB,EAAE,OAAsB,EAAQ,EAAE;QAChE,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,eAAe,KAAK,OAAO,CAAC,EAAE,CAAC;gBAC1F,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,WAAW,KAAK,EAAE,CAAC,WAAW,IAAI,GAAG,CAAC,eAAe,KAAK,EAAE,CAAC,eAAe;YAAE,SAAS;QAC5G,IAAI,EAAE,IAAI,KAAK,CAAC,EAAE,CAAC;YAAE,GAAG,CAAC,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC;QAC7D,IAAI,GAAG,IAAI,GAAG,CAAC,WAAW,KAAK,EAAE,EAAE,WAAW,IAAI,KAAK,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AAC5B,CAAC"}

package/dist/detection/apply-ownership.d.ts

@@ -0,0 +1,81 @@
+import { type ApplyGuard, type EntityApplyIntent } from "@amalgm/live";
+import type Database from "better-sqlite3";
+import { type ApplyRecovery } from "../apply-recovery.js";
+import { type UnavailableRoot } from "./unreadable.js";
+/** Addresses are compared by containment; identities and owned objects by
+ * membership, looked up from each owner's side, so a scope costs nothing per
+ * member it names. A scope is held as given until its answer is sealed. */
+export interface AttributionScope {
+    readonly entries?: readonly string[];
+    readonly subtrees?: readonly string[];
+    readonly uuids?: ReadonlySet<string>;
+    /** Objects named by ownedObject. */
+    readonly physical?: ReadonlySet<string>;
+}
+/** An object an Apply may own, named within the root that holds it. An owner
+ * protects its objects so that one moved outside its cones keeps its identity
+ * question for the Apply. Identity continuity is root-local, so an object
+ * that leaves its root is a new identity wherever it lands, Apply or not, and
+ * an inode number the Apply freed and the filesystem gave a file in another
+ * root names nothing this Apply owns. */
+export declare const ownedObject: (root: string, physicalKey: string) => string;
+export interface ApplyOwnershipBlocker {
+    readonly intent: EntityApplyIntent;
+    readonly receipt: string;
+    readonly control: string;
+    readonly cones: readonly string[];
+    readonly uuids: readonly string[];
+    /** Objects named by ownedObject within this owner's binding. */
+    readonly physical: readonly string[];
+    /** The bound directory cannot be inspected now. The durable intent and
+     * its receipt's expected location stay known; nothing proves the receipt
+     * present or usable, nor the binding gone or replaced. Once access
+     * returns, recovery reads and validates both before acting. */
+    readonly inaccessible?: UnavailableRoot;
+    /** The binding resolves to another object, or reading it faulted. This
+     * owner cannot lawfully resume here. */
+    readonly unsafe?: string;
+}
+export type ApplyOwnershipWait = Extract<ApplyGuard, {
+    kind: "dependency";
+}>;
+/** What an Apply attempt waits on while other unfinished operations own its
+ * scope. An attempt that already holds bound effects cannot simply wait: the
+ * overlap needs explicit repair. */
+export declare function ownershipWait(owners: readonly ApplyOwnershipBlocker[], bound: boolean): ApplyOwnershipWait | null;
+export interface ApplyOwnershipBasis {
+    assertCurrent(): void;
+}
+export declare class ApplyAttributionDeferred extends Error {
+    readonly owners: readonly ApplyOwnershipBlocker[];
+    readonly moving: readonly string[];
+    readonly unavailable: readonly UnavailableRoot[];
+    /** `moving` and `unavailable` name roots the same attempt found still
+     * moving or could not read: separate causes that travel with the owners
+     * and are never erased by them. */
+    constructor(owners: readonly ApplyOwnershipBlocker[], moving?: readonly string[], unavailable?: readonly UnavailableRoot[]);
+}
+/** Shared by Detect admission and the host's post-terminal wake. Original
+ * receipt participants remain known even if a row already moved or vanished. */
+export declare function applyRecoveryFootprint(recovery: ApplyRecovery): Pick<ApplyOwnershipBlocker, "cones" | "uuids">;
+export interface ApplyOwnershipReader {
+    read(): readonly ApplyOwnershipBlocker[];
+    incarnation(): string;
+}
+/** One host adapter reads bound, nonterminal receipts. Unbound preparation
+ * owns no effects; terminal cleanup owns no live filesystem attribution. */
+export declare function sqliteApplyOwnership(database: Database.Database): ApplyOwnershipReader;
+/** One ownership collection serves every scope in an observation. Admission
+ * rechecks complete intersecting answers, including the initially empty set.
+ * Unrelated owners do not invalidate this scope. Source/SQL/lease proof is
+ * still required: active-owner equality alone cannot prove an effect-free gap. */
+export declare class ApplyOwnershipSnapshot {
+    #private;
+    constructor(reader: ApplyOwnershipReader, excluding?: EntityApplyIntent);
+    use(input: AttributionScope): readonly ApplyOwnershipBlocker[];
+    /** Owners of one object (ownedObject), collected once, including negative
+     * answers. A protected directory moved outside its old cone cannot become a
+     * new UUID in its root. */
+    physical(object: string): readonly ApplyOwnershipBlocker[];
+    seal(): ApplyOwnershipBasis;
+}