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

package/dist/declaration-save.js

@@ -0,0 +1,134 @@
+/**
+ * `register.declare`, run only by the ground file's saver thread
+ * (ground-saver.ts): one declaration D admitted beside its journal row while
+ * the chain's addresses still name what they named when D was derived.
+ * declaration-commit.ts posts it.
+ *
+ * Ground W absorbs (declaration-absorption.ts) joins W's root in both
+ * inventories. Observation takes the walk as it takes the rest of W. Sharing
+ * keeps its own rows there, framed in W, with each absorbed root re-placed
+ * where the walk found it: local work there stays owed to ordinary Detect.
+ */
+import { createHash } from "node:crypto";
+import { relative, sep } from "node:path";
+import { canonicalVersion } from "@amalgm/live";
+import { journalDeclaration } from "./declaration-journal.js";
+import { finalizeContainers } from "./detection/container-membership.js";
+import { installRepositorySeal } from "./detection/seal-law.js";
+import { groundRowProjection, portableGroundRecord, storedWithin } from "./ground-row.js";
+import { groundStore } from "./ground-store.js";
+import { cachedStatement } from "./sqlite.js";
+/** The UUID local ground names at one core address: B first, then O. */
+export function namedAt(database, resourceId, coreRootId, relativePath) {
+    for (const inventory of ["detection_notebook", "entities"]) {
+        const row = cachedStatement(database, `SELECT ${groundRowProjection(inventory)} FROM ${inventory}
+      WHERE resource_id = ? AND root_uuid = ? AND relative_path = ? AND status = 'active'`)
+            .get(resourceId, coreRootId, relativePath);
+        if (row)
+            return row.uuid;
+    }
+    return null;
+}
+const sha256Hex = (input) => createHash("sha256").update(input).digest("hex");
+/** `register.declare`: nothing when an address moved. O rows already held
+ * under the chain's identities stand as observed, and rows at its addresses
+ * under other identities are displaced: sharing names the identity, and
+ * observation re-derives the rest on its next pass. */
+export function saveDeclaration(database, input) {
+    const { resourceId, coreRootId, walk, chain, journal } = input;
+    if (chain.chained.some((row, index) => namedAt(database, resourceId, coreRootId, row.relativePath) !== chain.named[index])) {
+        return "moved";
+    }
+    const held = cachedStatement(database, `SELECT 1 FROM entities
+    WHERE uuid = ? AND resource_id = ? AND root_uuid = ? AND relative_path = ? AND status = 'active'`).pluck();
+    const occupants = cachedStatement(database, `SELECT uuid FROM entities
+    WHERE resource_id = ? AND root_uuid = ? AND relative_path = ? AND uuid <> ?`).pluck();
+    const observed = chain.chained.filter(row => held.get(row.uuid, resourceId, coreRootId, row.relativePath) === undefined);
+    const displaced = chain.chained.flatMap(row => occupants.all(resourceId, coreRootId, row.relativePath, row.uuid));
+    const roots = [journal.declarationRoot, ...input.enclosed];
+    const rootRows = (inventory) => cachedStatement(database, `SELECT ${groundRowProjection(inventory)} FROM ${inventory}
+      WHERE resource_id = ? AND root_uuid IN (${roots.map(() => "?").join(", ")})`)
+        .all(resourceId, ...roots);
+    const stale = (inventory, kept) => {
+        const keep = new Set(kept.map((row) => row.uuid));
+        return rootRows(inventory).map((row) => row.uuid).filter((uuid) => !keep.has(uuid));
+    };
+    const sharing = walk && sharedGround(walk, journal.declarationRoot, input.absorbed, rootRows("detection_notebook"));
+    groundStore(database).write((writer) => {
+        for (const pair of walk?.repositoryObservations ?? [])
+            writer.observeRepository(pair);
+        writer.replace("entities", [...walk?.observed ?? [], ...observed], [...walk ? stale("entities", walk.observed) : [], ...displaced]);
+        if (sharing) {
+            const removed = stale("detection_notebook", [...sharing.kept, ...sharing.selected]);
+            writer.replace("detection_notebook", sharing.kept, [], "retain-equivalent");
+            writer.replace("detection_notebook", [...sharing.selected, ...chain.shared], removed, "replace");
+        }
+        else {
+            writer.replace("detection_notebook", chain.shared, [], "replace");
+        }
+        for (const inventory of ["entities", "detection_notebook"]) {
+            // Sharing's absorbed placements change these parents' membership. Only
+            // a folder's version carries it; a repository's is its Card + Checkpoint.
+            const joined = inventory === "entities" ? [] : sharing?.containers.flatMap((uuid) => {
+                const row = writer.get(inventory, uuid);
+                return row?.type === "folder" || row?.type === "workspace" ? [uuid] : [];
+            }) ?? [];
+            const changed = finalizeContainers({
+                parents: [...new Set([...chain.containers, ...joined])].flatMap((uuid) => {
+                    const row = writer.get(inventory, uuid);
+                    return row?.status === "active" ? [row] : [];
+                }),
+                children: (parentUUID) => cachedStatement(database, `SELECT uuid, parent_uuid AS parentUUID, name, status
+          FROM ${inventory} WHERE parent_uuid = ?`).all(parentUUID),
+                targets: new Set(),
+                results: [],
+                sha256Hex,
+            });
+            if (changed.length)
+                writer.replace(inventory, changed, [], inventory === "entities" ? undefined : "replace");
+        }
+        for (const seal of walk?.seals ?? [])
+            installRepositorySeal(database, seal);
+        journalDeclaration(database, journal);
+    });
+    return "committed";
+}
+/** B for W's ground after D. Sharing's own rows of absorbed ground are kept,
+ * framed in W, each absorbed root re-placed as the walk selected it: a
+ * `workspace`, which only a root can be, becomes a `folder`. The walk's
+ * selection enters for the rest of W, less every identity sharing keeps; a
+ * parent the walk counted such an identity under is derived again. */
+function sharedGround(walk, root, absorbed, prior) {
+    if (absorbed.length === 0)
+        return { kept: [], selected: [...walk.selected], containers: [] };
+    const top = walk.observed.find((row) => row.uuid === root)?.absolutePath;
+    const places = absorbed.map((uuid) => walk.selected.find((row) => row.uuid === uuid));
+    if (top === undefined || places.some((place) => place === undefined)) {
+        throw new Error(`declaration of ${root} has no walked place for the ground it absorbs`);
+    }
+    const absorbedGround = (address) => places.some((place) => storedWithin(place.absolutePath, address));
+    const containers = new Set();
+    const kept = prior.filter((row) => absorbedGround(row.absolutePath)).map((row) => {
+        const framed = { ...row, rootUUID: root, relativePath: relative(top, row.absolutePath).split(sep).join("/") };
+        const place = places.find((candidate) => candidate.uuid === row.uuid);
+        if (!place)
+            return framed;
+        const placed = { ...framed, type: framed.type === "workspace" ? "folder" : framed.type,
+            parentUUID: place.parentUUID, name: place.name };
+        containers.add(placed.uuid).add(place.parentUUID);
+        return { ...placed, version: canonicalVersion(portableGroundRecord(placed), sha256Hex) };
+    });
+    const keep = new Set(kept.map((row) => row.uuid));
+    if (absorbed.some((uuid) => !keep.has(uuid))) {
+        throw new Error(`declaration of ${root} absorbs a workspace sharing never recorded`);
+    }
+    const selected = walk.selected.filter((row) => {
+        if (!keep.has(row.uuid) && !absorbedGround(row.absolutePath))
+            return true;
+        if (!absorbedGround(row.absolutePath) && row.parentUUID)
+            containers.add(row.parentUUID);
+        return false;
+    });
+    return { kept, selected, containers: [...containers] };
+}
+//# sourceMappingURL=declaration-save.js.map

package/dist/declaration-save.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declaration-save.js","sourceRoot":"","sources":["../src/declaration-save.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAGhD,OAAO,EAAE,kBAAkB,EAAgC,MAAM,0BAA0B,CAAC;AAC5F,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAgC,MAAM,yBAAyB,CAAC;AAE9F,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,YAAY,EAAkB,MAAM,iBAAiB,CAAC;AAC1G,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAqB9C,wEAAwE;AACxE,MAAM,UAAU,OAAO,CAAC,QAA2B,EAAE,UAAkB,EAAE,UAAkB,EAAE,YAAoB;IAC/G,KAAK,MAAM,SAAS,IAAI,CAAC,oBAAoB,EAAE,UAAU,CAAU,EAAE,CAAC;QACpE,MAAM,GAAG,GAAG,eAAe,CAAC,QAAQ,EAAE,UAAU,mBAAmB,CAAC,SAAS,CAAC,SAAS,SAAS;0FACV,CAAC;aACpF,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,CAA0B,CAAC;QACtE,IAAI,GAAG;YAAE,OAAO,GAAG,CAAC,IAAI,CAAC;IAC3B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,KAA0B,EAAU,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAE3G;;;uDAGuD;AACvD,MAAM,UAAU,eAAe,CAAC,QAA2B,EAAE,KAAsB;IACjF,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC/D,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,YAAY,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3H,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,EAAE;qGAC4D,CAAC,CAAC,KAAK,EAAE,CAAC;IAC7G,MAAM,SAAS,GAAG,eAAe,CAAC,QAAQ,EAAE;gFACkC,CAAC,CAAC,KAAK,EAAE,CAAC;IACxF,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,YAAY,CAAC,KAAK,SAAS,CAAC,CAAC;IACzH,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAa,CAAC,CAAC;IAC9H,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,CAAC,SAA4C,EAAe,EAAE,CAAC,eAAe,CAAC,QAAQ,EACtG,UAAU,mBAAmB,CAAC,SAAS,CAAC,SAAS,SAAS;gDACd,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;SAC9E,GAAG,CAAC,UAAU,EAAE,GAAG,KAAK,CAAgB,CAAC;IAC5C,MAAM,KAAK,GAAG,CAAC,SAA4C,EAAE,IAA0B,EAAY,EAAE;QACnG,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAClD,OAAO,QAAQ,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACtF,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,IAAI,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,eAAe,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACpH,WAAW,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE;QACrC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,sBAAsB,IAAI,EAAE;YAAE,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACtF,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,IAAI,EAAE,EAAE,GAAG,QAAQ,CAAC,EAC/D,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;QACnE,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,OAAO,GAAG,KAAK,CAAC,oBAAoB,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;YACpF,MAAM,CAAC,OAAO,CAAC,oBAAoB,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,mBAAmB,CAAC,CAAC;YAC5E,MAAM,CAAC,OAAO,CAAC,oBAAoB,EAAE,CAAC,GAAG,OAAO,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QACnG,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;QACpE,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,CAAC,UAAU,EAAE,oBAAoB,CAAU,EAAE,CAAC;YACpE,uEAAuE;YACvE,0EAA0E;YAC1E,MAAM,MAAM,GAAG,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBAClF,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;gBACxC,OAAO,GAAG,EAAE,IAAI,KAAK,QAAQ,IAAI,GAAG,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,CAAC,CAAC,IAAI,EAAE,CAAC;YACT,MAAM,OAAO,GAAG,kBAAkB,CAAC;gBACjC,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;oBACvE,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;oBACxC,OAAO,GAAG,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C,CAAC,CAAC;gBACF,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,eAAe,CAAC,QAAQ,EAAE;iBAC3C,SAAS,wBAAwB,CAAC,CAAC,GAAG,CAAC,UAAU,CAAiE;gBAC3H,OAAO,EAAE,IAAI,GAAG,EAAE;gBAClB,OAAO,EAAE,EAAE;gBACX,SAAS;aACV,CAAC,CAAC;YACH,IAAI,OAAO,CAAC,MAAM;gBAAE,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/G,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE;YAAE,qBAAqB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC5E,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;;;sEAIsE;AACtE,SAAS,YAAY,CACnB,IAA0C,EAC1C,IAAY,EACZ,QAA2B,EAC3B,KAA2B;IAE3B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAC7F,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,YAAY,CAAC;IACzE,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC;IACtF,IAAI,GAAG,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,gDAAgD,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,cAAc,GAAG,CAAC,OAAe,EAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAM,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;IACxH,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC/E,MAAM,MAAM,GAAG,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9G,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAU,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;QACvE,IAAI,CAAC,KAAK;YAAE,OAAO,MAAM,CAAC;QAC1B,MAAM,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,QAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI;YAC7F,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;QACnD,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,UAAW,CAAC,CAAC;QACnD,OAAO,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,gBAAgB,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;IAC3F,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAClD,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,6CAA6C,CAAC,CAAC;IACvF,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;QAC5C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1E,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,UAAU;YAAE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC;AACzD,CAAC"}

package/dist/detection/accepted-result.d.ts

@@ -6,8 +6,26 @@
  */
 import { type DetectedChangeProposal } from "@amalgm/live";
 import Database from "better-sqlite3";
+type ObservedResult = Pick<DetectedChangeProposal, "entityId" | "result">;
+/** One no-echo answer a Detect batch consumed. */
+export interface AcceptedRead {
+    readonly authorityId: string;
+    readonly proposal: ObservedResult;
+    readonly covered: boolean;
+}
+/** All no-echo decisions used while preparing one Detect batch. Its
+ * admission re-answers the complete read set (acceptedReadsStand) inside the
+ * save that writes either projection. */
+export interface AcceptedResultBasis {
+    covers(authorityId: string, proposal: ObservedResult): boolean;
+    reads(): readonly AcceptedRead[];
+}
 export declare class AcceptedInboxResultIndex {
     #private;
     constructor(database: Database.Database);
-    covers(authorityId: string, proposal: DetectedChangeProposal): boolean;
+    covers(authorityId: string, proposal: ObservedResult): boolean;
+    snapshot(): AcceptedResultBasis;
 }
+/** Inside an admission's save: every answer is still the same. */
+export declare function acceptedReadsStand(database: Database.Database, reads: readonly AcceptedRead[]): boolean;
+export {};

package/dist/detection/accepted-result.js

@@ -5,18 +5,49 @@
  * consult those facts: the exact equality decision remains in Live.
  */
 import { acceptedResultCoversDetection, decodeAcceptedEntityRecord, } from "@amalgm/live";
+import { hasLocalWorkAfter } from "../apply-rows.js";
+import { cachedStatement } from "../sqlite.js";
 export class AcceptedInboxResultIndex {
-    #unresolved;
+    #database;
+    #newest;
     constructor(database) {
-        this.#unresolved = database.prepare(`
-      SELECT record_json AS recordJson
-        FROM record_inbox
+        this.#database = database;
+        this.#newest = cachedStatement(database, `
+      SELECT record_json AS recordJson FROM record_inbox
        WHERE authority_id = ? AND entity_id = ? AND resolved_at IS NULL
        ORDER BY global_sequence DESC
+       LIMIT 1
     `);
     }
     covers(authorityId, proposal) {
-        return this.#unresolved.all(authorityId, proposal.entityId).some(({ recordJson }) => acceptedResultCoversDetection(decodeAcceptedEntityRecord(recordJson), proposal));
+        // The same ordering rule that protects local work from Apply also
+        // protects it from Detect adopting an older official result as its base.
+        // Local work after the newest unresolved result is after every older one,
+        // so the newest is the only candidate. Re-read this gate at commit; an
+        // earlier observation is not permission to discard a local predecessor
+        // admitted while capture was running.
+        const newest = this.#newest.get(authorityId, proposal.entityId);
+        if (!newest)
+            return false;
+        const accepted = decodeAcceptedEntityRecord(newest.recordJson);
+        return !hasLocalWorkAfter(this.#database, authorityId, proposal.entityId, accepted.globalSequence)
+            && acceptedResultCoversDetection(accepted, proposal);
     }
+    snapshot() {
+        const reads = [];
+        return {
+            covers: (authorityId, proposal) => {
+                const covered = this.covers(authorityId, proposal);
+                reads.push({ authorityId, proposal, covered });
+                return covered;
+            },
+            reads: () => reads,
+        };
+    }
+}
+/** Inside an admission's save: every answer is still the same. */
+export function acceptedReadsStand(database, reads) {
+    const index = new AcceptedInboxResultIndex(database);
+    return reads.every(({ authorityId, proposal, covered }) => index.covers(authorityId, proposal) === covered);
 }
 //# sourceMappingURL=accepted-result.js.map

package/dist/detection/accepted-result.js.map

@@ -1 +1 @@
-{"version":3,"file":"accepted-result.js","sourceRoot":"","sources":["../../src/detection/accepted-result.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,6BAA6B,EAC7B,0BAA0B,GAE3B,MAAM,cAAc,CAAC;AAGtB,MAAM,OAAO,wBAAwB;IAC1B,WAAW,CAAqB;IAEzC,YAAY,QAA2B;QACrC,IAAI,CAAC,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;;KAKnC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,CAAC,WAAmB,EAAE,QAAgC;QAC1D,OAAQ,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAC,QAAQ,CAExD,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,6BAA6B,CACxD,0BAA0B,CAAC,UAAU,CAAC,EACtC,QAAQ,CACT,CAAC,CAAC;IACL,CAAC;CACF"}
+{"version":3,"file":"accepted-result.js","sourceRoot":"","sources":["../../src/detection/accepted-result.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,6BAA6B,EAC7B,0BAA0B,GAE3B,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAmB/C,MAAM,OAAO,wBAAwB;IAC1B,SAAS,CAAoB;IAC7B,OAAO,CAAqB;IAErC,YAAY,QAA2B;QACrC,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC;QAC1B,IAAI,CAAC,OAAO,GAAG,eAAe,CAAC,QAAQ,EAAE;;;;;KAKxC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,CAAC,WAAmB,EAAE,QAAwB;QAClD,kEAAkE;QAClE,yEAAyE;QACzE,0EAA0E;QAC1E,uEAAuE;QACvE,uEAAuE;QACvE,sCAAsC;QACtC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAC,QAAQ,CAAuC,CAAC;QACtG,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1B,MAAM,QAAQ,GAAG,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC/D,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,cAAc,CAAC;eAC7F,6BAA6B,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACzD,CAAC;IAED,QAAQ;QACN,MAAM,KAAK,GAAmB,EAAE,CAAC;QACjC,OAAO;YACL,MAAM,EAAE,CAAC,WAAW,EAAE,QAAQ,EAAE,EAAE;gBAChC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;gBACnD,KAAK,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;gBAC/C,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK;SACnB,CAAC;IACJ,CAAC;CACF;AAED,kEAAkE;AAClE,MAAM,UAAU,kBAAkB,CAAC,QAA2B,EAAE,KAA8B;IAC5F,MAAM,KAAK,GAAG,IAAI,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IACrD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,KAAK,OAAO,CAAC,CAAC;AAC9G,CAAC"}

package/dist/detection/admission-save.d.ts

@@ -0,0 +1,55 @@
+/**
+ * Detect's Commit as one save on the ground file's saver thread
+ * (ground-saver.ts). The poster already answered everything the main thread
+ * owns: leases, crossings, witnesses, bindings and ownership. This save
+ * answers what only the database can. The accepted results Build settled
+ * against must still stand, or no unit commits. Each unit's S0 facts must be
+ * unchanged; units share no fact, so a unit whose facts changed is left out
+ * and every other commits. Then, in the one savepoint: O, B, each Outbox
+ * record, repository seals, and each committed unit's ready and outcome
+ * facts.
+ */
+import type Database from "better-sqlite3";
+import type { DetectDispositionEvent, LocalEntityRecord } from "@amalgm/live";
+import { type GroundBasisData, type GroundTransition } from "../ground-basis.js";
+import type { GroundRow } from "../ground-row.js";
+import { type GroundWriteEvidence } from "../ground-store.js";
+import type { RepositoryObservationPair } from "../git-repository-host.js";
+import { type AcceptedRead } from "./accepted-result.js";
+import { type DispositionRow } from "./disposition-rows.js";
+import { type RepositorySealCandidate } from "./seal-law.js";
+/** One unit as data: its S0 facts, its writes, and its two facts. */
+export interface AdmissionUnitSave {
+    readonly basis: GroundBasisData;
+    readonly repositoryObservations: readonly Omit<RepositoryObservationPair, "proof">[];
+    readonly materialized: readonly GroundRow[];
+    readonly materializedRemovals: readonly string[];
+    readonly notebook: readonly GroundRow[];
+    readonly seals: readonly RepositorySealCandidate[];
+    /** Created when posted, each against its entity's receive cursor then. */
+    readonly records: readonly LocalEntityRecord[];
+    /** Its ready fact and admitted outcome. */
+    readonly dispositions: readonly [DetectDispositionEvent, DetectDispositionEvent];
+}
+export interface AdmissionSave {
+    readonly units: readonly AdmissionUnitSave[];
+    readonly accepted: readonly AcceptedRead[];
+    /** A commit observer listens: return the committed transitions. */
+    readonly observe: boolean;
+}
+export type AdmissionSaved = {
+    readonly accepted: false;
+} | {
+    readonly accepted: true;
+    /** Units whose S0 facts changed, by index; every other one committed. */
+    readonly stale: readonly number[];
+    /** The committed units' Outbox records as admitted, in order. */
+    readonly records: readonly string[];
+    /** Each committed unit's outcome row, in order. */
+    readonly outcomes: readonly DispositionRow[];
+    readonly changes: readonly GroundTransition[] | null;
+    readonly evidence: GroundWriteEvidence;
+    /** Absolute time its checks ended. */
+    readonly checkedAt: number;
+};
+export declare function saveAdmission(database: Database.Database, input: AdmissionSave): AdmissionSaved;

package/dist/detection/admission-save.js

@@ -0,0 +1,48 @@
+import { GroundBasis } from "../ground-basis.js";
+import { groundStore } from "../ground-store.js";
+import { acceptedReadsStand } from "./accepted-result.js";
+import { insertDisposition } from "./disposition-rows.js";
+import { installRepositorySeal } from "./seal-law.js";
+export function saveAdmission(database, input) {
+    if (!acceptedReadsStand(database, input.accepted))
+        return { accepted: false };
+    const bases = input.units.map(unit => GroundBasis.fromData(unit.basis));
+    let stale = [], checkedAt = 0;
+    const records = [], outcomes = [];
+    const operation = (writer) => {
+        // The whole basis is compared once. Only a stale answer compares each
+        // unit, against the same snapshot, to keep the others.
+        if (!writer.compareBasis(GroundBasis.union(bases))) {
+            stale = bases.flatMap((basis, index) => writer.compareBasis(basis) ? [] : [index]);
+        }
+        const survivors = input.units.filter((_, index) => !stale.includes(index));
+        checkedAt = performance.timeOrigin + performance.now();
+        if (survivors.length === 0)
+            return;
+        // The survivors' facts were just compared: acceptance adopts them.
+        if (!writer.acceptBasis(GroundBasis.union(bases.filter((_, index) => !stale.includes(index))))) {
+            throw new Error("independent unit bases changed within one admission");
+        }
+        for (const pair of survivors.flatMap(unit => unit.repositoryObservations))
+            writer.observeRepository(pair);
+        writer.replace("entities", survivors.flatMap(unit => unit.materialized), survivors.flatMap(unit => unit.materializedRemovals));
+        // Absence never removes a notebook row: Detect carries it as Trash.
+        writer.replace("detection_notebook", survivors.flatMap(unit => unit.notebook), [], "retain-equivalent");
+        for (const record of survivors.flatMap(unit => unit.records))
+            records.push(writer.admitSharing(record));
+        for (const seal of survivors.flatMap(unit => unit.seals))
+            installRepositorySeal(database, seal);
+        for (const { dispositions: [ready, outcome] } of survivors) {
+            insertDisposition(database, ready);
+            outcomes.push(insertDisposition(database, outcome));
+        }
+    };
+    const store = groundStore(database);
+    if (input.observe) {
+        const { changes, evidence } = store.writeObserved(operation);
+        return { accepted: true, stale, records, outcomes, changes, evidence, checkedAt };
+    }
+    const { evidence } = store.writeMeasured(operation);
+    return { accepted: true, stale, records, outcomes, changes: null, evidence, checkedAt };
+}
+//# sourceMappingURL=admission-save.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"admission-save.js","sourceRoot":"","sources":["../../src/detection/admission-save.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,WAAW,EAA+C,MAAM,oBAAoB,CAAC;AAE9F,OAAO,EAAE,WAAW,EAA+C,MAAM,oBAAoB,CAAC;AAE9F,OAAO,EAAE,kBAAkB,EAAqB,MAAM,sBAAsB,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAuB,MAAM,uBAAuB,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAAgC,MAAM,eAAe,CAAC;AAuCpF,MAAM,UAAU,aAAa,CAAC,QAA2B,EAAE,KAAoB;IAC7E,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC9E,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACxE,IAAI,KAAK,GAAa,EAAE,EAAE,SAAS,GAAG,CAAC,CAAC;IACxC,MAAM,OAAO,GAAa,EAAE,EAAE,QAAQ,GAAqB,EAAE,CAAC;IAC9D,MAAM,SAAS,GAAG,CAAC,MAAoB,EAAQ,EAAE;QAC/C,sEAAsE;QACtE,uDAAuD;QACvD,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACnD,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3E,SAAS,GAAG,WAAW,CAAC,UAAU,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QACvD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QACnC,mEAAmE;QACnE,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/F,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACzE,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC;YAAE,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAC1G,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC;QAC/H,oEAAoE;QACpE,MAAM,CAAC,OAAO,CAAC,oBAAoB,EAAE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,mBAAmB,CAAC,CAAC;QACxG,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;QACxG,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,qBAAqB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAChG,KAAK,MAAM,EAAE,YAAY,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3D,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACpC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QAC7D,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;IACpF,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;IACpD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AAC1F,CAAC"}

package/dist/detection/admission-units.d.ts

@@ -0,0 +1,66 @@
+import { type GroundInventory, type GroundScope } from "../ground-basis.js";
+import { type GroundReads, type PhysicalReads } from "../ground-coordination.js";
+import type { GroundRow } from "../ground-row.js";
+import type { GroundClosure } from "./ground-proof.js";
+export interface UnitWrites<P, R, S> {
+    readonly materialized: readonly GroundRow[];
+    readonly materializedRemovals: readonly string[];
+    readonly notebook: readonly GroundRow[];
+    readonly proposals: readonly P[];
+    /** Results Build settled against an exact accepted result: no record. */
+    readonly settled: readonly P[];
+    readonly repositoryObservations: readonly R[];
+    readonly seals: readonly S[];
+}
+export interface UnitProposal {
+    readonly entityId: string;
+}
+export interface PassCollection<P extends UnitProposal, R extends {
+    readonly uuid: string;
+}, S extends {
+    readonly uuid: string;
+}> {
+    /** The S0 rows of every examined root. */
+    readonly before: Readonly<Record<GroundInventory, ReadonlyMap<string, GroundRow>>>;
+    readonly writes: UnitWrites<P, R, S>;
+    /** Identities whose collection did not complete. */
+    readonly failed: ReadonlySet<string>;
+    /** Examined roots whose selection withheld a result for a cross-entity reason. */
+    readonly wholeRoots: ReadonlySet<string>;
+}
+/** Ground a pass could not examine, as the reasons a unit needing it waits. */
+export interface ExaminationGaps {
+    /** Why this address, or an unlisted directory above it, was not read. */
+    readonly unread: (address: string) => string | undefined;
+    /** Why this root's entry lists are incomplete, when one is. */
+    readonly namespace: (rootUUID: string) => string | undefined;
+    /** Why a complete domain was not wholly examined, when it was not: every
+     * identity gone missing from the domain waits on it. */
+    readonly domain: string | undefined;
+}
+export interface AdmissionUnit<P, R, S> {
+    readonly members: readonly string[];
+    readonly writes: UnitWrites<P, R, S>;
+    /** Members whose collection failed; a unit holding one never admits. */
+    readonly failed: readonly string[];
+    /** Absolute addresses this unit's rows occupy, before and after. */
+    readonly addresses: readonly string[];
+    /** Repositories this unit admits; their semantic proofs belong to it. */
+    readonly repositories: readonly string[];
+    /** The S0 facts this unit's admission consumed. */
+    scope(keys: GroundScope): void;
+    /** What this unit read, for its lease's effect interval, with the scope of
+     * every identity discovery it consumed. */
+    reads(physicalReads: PhysicalReads, repositoryPhysical: ReadonlyMap<string, readonly string[]>, discoveries: readonly {
+        readonly entries: readonly string[];
+    }[]): GroundReads;
+    /** Why the walk's retained sources do not close for this unit, or null. */
+    unsettled(closureOf: (address: string) => GroundClosure | undefined, closures: readonly GroundClosure[]): string | null;
+    /** Which unexamined ground this unit needs a fact from, or null. */
+    unexamined(gaps: ExaminationGaps): string | null;
+}
+export declare function admissionUnits<P extends UnitProposal, R extends {
+    readonly uuid: string;
+}, S extends {
+    readonly uuid: string;
+}>(pass: PassCollection<P, R, S>): AdmissionUnit<P, R, S>[];