@amalgm/shell 0.1.164-main.40070365614 → 0.1.164-main.40795482467

package/dist/apply-control.js

@@ -6,8 +6,8 @@
  * window's attempt, so no two windows ever share one. Everything a window
  * stages or sets aside lives there until the durability point removes the
  * tree: a file or link result before its reveal, an Enter's sealed tree, the
- * object a Leave takes from its address, a repository parcel's relocated
- * ground, and a former repository's Git storage. The tree is never ground:
+ * object a Leave takes from its address, a repository's Git part marker,
+ * and a former repository's Git storage. The tree is never ground:
  * Detect does not look beneath the reserved directory.
  *
  * Bound root law: every address a receipt names lies in its binding root,
@@ -20,7 +20,7 @@
  * - replaced: another directory on the same device stands there. What the
  *   window held left with the old object: its members stay owed, and
  *   nothing beneath the new root is touched, not even the control tree. */
-import { lstatSync } from "node:fs";
+import { lstatSync, readFileSync } from "node:fs";
 import { basename, dirname, join } from "node:path";
 import { LOCAL_DIR_NAME } from "@amalgm/core/identity";
 import { ensureDirBeneath } from "./filesystem.js";
@@ -50,8 +50,21 @@ export const ensureApplyPrivate = (control, directory = control) => ensureDirBen
 export const stagedPath = (control, entityId) => join(control, "staged", entityId);
 /** Where the object a member replaces or removes is set aside. */
 export const displacedPath = (control, entityId) => join(control, "displaced", entityId);
-/** Where a repository parcel's or an Enter's relocated ground waits. */
-export const relocatedPath = (control, uuid) => join(control, "relocated", uuid);
+/** A repository reveal's Git part marker: absent before the part begins,
+ * `started`, durably, before Git writes anything, and `ended` once Git's own
+ * read proved the result (apply-window-recovery.ts). */
+export const gitPartPath = (control, entityId) => join(control, "git", entityId);
+/** The member's Git part; anything but `ended` is a `started` a crash tore. */
+export function readGitPart(control, entityId) {
+    try {
+        return readFileSync(gitPartPath(control, entityId), "utf8") === "ended" ? "ended" : "started";
+    }
+    catch (error) {
+        if (["ENOENT", "ENOTDIR"].includes(error.code ?? ""))
+            return null;
+        throw error;
+    }
+}
 /** A container Enter's staging (src/apply-enter-build.ts). */
 export const enterControl = (control, entityId) => join(control, "enter", entityId);
 /** A former repository's displaced Git storage (src/apply-git-storage.ts). */

package/dist/apply-control.js.map

@@ -1 +1 @@
-{"version":3,"file":"apply-control.js","sourceRoot":"","sources":["../src/apply-control.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;2EAqB2E;AAC3E,OAAO,EAAE,SAAS,EAAoB,MAAM,SAAS,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACnD,OAAO,EAAE,cAAc,IAAI,IAAI,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AASnE;4EAC4E;AAC5E,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,SAAiB,EAAiB,EAAE,CAC9E,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAE/E;0EAC0E;AAC1E,MAAM,UAAU,gBAAgB,CAAC,OAAe;IAC9C,KAAK,IAAI,EAAE,GAAG,OAAO,IAAK,CAAC;QACzB,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,QAAQ,CAAC,EAAE,CAAC,KAAK,cAAc;YAAE,OAAO,MAAM,CAAC;QACnD,IAAI,MAAM,KAAK,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,gCAAgC,CAAC,CAAC;QAC/E,EAAE,GAAG,MAAM,CAAC;IACd,CAAC;AACH,CAAC;AAED;;qBAEqB;AACrB,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAE,SAAS,GAAG,OAAO,EAAQ,EAAE,CAC/E,gBAAgB,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;AAEhE,6DAA6D;AAC7D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,OAAe,EAAE,QAAgB,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;AAC3G,kEAAkE;AAClE,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,OAAe,EAAE,QAAgB,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;AACjH,wEAAwE;AACxE,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;AACzG,8DAA8D;AAC9D,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,OAAe,EAAE,QAAgB,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AAC5G,8EAA8E;AAC9E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,OAAe,EAAE,QAAgB,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;AAIxH,SAAS,KAAK,CAAC,IAAY;IACzB,IAAI,CAAC;QAAC,OAAO,SAAS,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAAC,CAAC;IACjD,OAAO,KAAK,EAAE,CAAC;QACb,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI,CAAC;QACnD,4EAA4E;QAC5E,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1E,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED;qCACqC;AACrC,MAAM,UAAU,aAAa,CAAC,MAA0B,EAAE,QAAgB;IACxE,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE;QAAE,OAAO,aAAa,CAAC;IACjD,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC5C,OAAO,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC;AACtE,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAe,EAAmB,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC"}
+{"version":3,"file":"apply-control.js","sourceRoot":"","sources":["../src/apply-control.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;2EAqB2E;AAC3E,OAAO,EAAE,SAAS,EAAE,YAAY,EAAoB,MAAM,SAAS,CAAC;AACpE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACnD,OAAO,EAAE,cAAc,IAAI,IAAI,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AASnE;4EAC4E;AAC5E,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,SAAiB,EAAiB,EAAE,CAC9E,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAE/E;0EAC0E;AAC1E,MAAM,UAAU,gBAAgB,CAAC,OAAe;IAC9C,KAAK,IAAI,EAAE,GAAG,OAAO,IAAK,CAAC;QACzB,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,QAAQ,CAAC,EAAE,CAAC,KAAK,cAAc;YAAE,OAAO,MAAM,CAAC;QACnD,IAAI,MAAM,KAAK,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,gCAAgC,CAAC,CAAC;QAC/E,EAAE,GAAG,MAAM,CAAC;IACd,CAAC;AACH,CAAC;AAED;;qBAEqB;AACrB,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAE,SAAS,GAAG,OAAO,EAAQ,EAAE,CAC/E,gBAAgB,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;AAEhE,6DAA6D;AAC7D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,OAAe,EAAE,QAAgB,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;AAC3G,kEAAkE;AAClE,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,OAAe,EAAE,QAAgB,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;AACjH;;wDAEwD;AACxD,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,OAAe,EAAE,QAAgB,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AAGzG,+EAA+E;AAC/E,MAAM,UAAU,WAAW,CAAC,OAAe,EAAE,QAAgB;IAC3D,IAAI,CAAC;QAAC,OAAO,YAAY,CAAC,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IAAC,CAAC;IACtG,OAAO,KAAK,EAAE,CAAC;QACb,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAE,KAA+B,CAAC,IAAI,IAAI,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAC7F,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AACD,8DAA8D;AAC9D,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,OAAe,EAAE,QAAgB,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AAC5G,8EAA8E;AAC9E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,OAAe,EAAE,QAAgB,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;AAIxH,SAAS,KAAK,CAAC,IAAY;IACzB,IAAI,CAAC;QAAC,OAAO,SAAS,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAAC,CAAC;IACjD,OAAO,KAAK,EAAE,CAAC;QACb,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI,CAAC;QACnD,4EAA4E;QAC5E,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1E,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED;qCACqC;AACrC,MAAM,UAAU,aAAa,CAAC,MAA0B,EAAE,QAAgB;IACxE,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE;QAAE,OAAO,aAAa,CAAC;IACjD,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC5C,OAAO,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC;AACtE,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAe,EAAmB,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC"}

package/dist/apply-enter-build.d.ts

@@ -1,8 +1,9 @@
-import type { CloudEntityRecord, RepoIdentityEntry, TransferArtifact } from "@amalgm/live";
+import type { CloudEntityRecord, TransferArtifact } from "@amalgm/live";
 import type { EnterClosure } from "./apply-enter-plan.js";
 import type { ContentBoundary } from "./content-clock.js";
+import type { GitOwners } from "./git/home.js";
 import { type LocalArtifactFile } from "./materialize-records.js";
-declare const CONTRACT = "amalgm.apply-enter@1";
+declare const CONTRACT = "amalgm.apply-enter@2";
 /** One row the landing saves, addressed relative to the tree. The target's
  * own row has the empty path. */
 export interface SealedEnterRow {
@@ -25,10 +26,6 @@ export interface EnterSeal {
     /** Where the tree lands. Reference link text was computed from it. */
     readonly targetPath: string;
     readonly rows: readonly SealedEnterRow[];
-    readonly repositories: readonly {
-        readonly uuid: string;
-        readonly identity: readonly RepoIdentityEntry[];
-    }[];
 }
 export interface PreparedEnter {
     readonly tree: string;
@@ -66,8 +63,10 @@ export declare function prepareEnter(input: {
     /** The binding root whose content clock qualifies the rows. */
     readonly clockRoot: string;
     readonly databaseFile: string;
-    readonly cacheDir: string;
     readonly bindingDir: string;
+    /** The repositories this computer already holds, where a worktree or
+     * submodule entering finds its home. */
+    readonly held: GitOwners;
     readContent(artifacts: readonly TransferArtifact[]): Promise<ReadonlyMap<string, LocalArtifactFile>>;
 }): Promise<PreparedEnter>;
 export {};

package/dist/apply-enter-build.js

@@ -16,7 +16,6 @@
  * Content proofs (`sighting`) are process facts. They stay in memory
  * with the clock epoch they were taken in, and an adopted seal has none.
  */
-import { createHash } from "node:crypto";
 import { readFileSync, renameSync, rmSync, writeFileSync } from "node:fs";
 import { join } from "node:path";
 import { flushDirectory, flushFile } from "./flush.js";
@@ -24,10 +23,8 @@ import { ensureApplyPrivate } from "./apply-control.js";
 import { holds, standing } from "./apply-spelling.js";
 import { durabilityBarrier } from "./durability-barrier.js";
 import { materializeRecords } from "./materialize-records.js";
-import { projectMaterializedGraph } from "./materialized-graph.js";
 import { isPhysicalKey, physicalKey } from "./source-signature.js";
-const CONTRACT = "amalgm.apply-enter@1";
-const sha256Hex = (input) => createHash("sha256").update(input).digest("hex");
+const CONTRACT = "amalgm.apply-enter@2";
 /** The staging directory inside the attempt's own control directory. */
 export const enterStaging = (control) => join(control, "enter");
 const treeOf = (staging) => join(staging, "tree");
@@ -52,7 +49,7 @@ export function readEnterSeal(staging) {
         throw new Error(`Apply Enter seal contract ${String(seal.contract)} is superseded`);
     if (typeof seal.targetVersion !== "string" || !Number.isSafeInteger(seal.position)
         || !Array.isArray(seal.leftOut) || !isPhysicalKey(seal.root)
-        || typeof seal.targetPath !== "string" || !Array.isArray(seal.rows) || !Array.isArray(seal.repositories)
+        || typeof seal.targetPath !== "string" || !Array.isArray(seal.rows)
         || seal.rows.filter(row => row.relativePath === "").length !== 1) {
         throw new Error("Apply Enter seal is malformed");
     }
@@ -87,14 +84,14 @@ export async function prepareEnter(input) {
         rootPath: tree,
         database: input.databaseFile,
         boundaryUUID: expected.target.uuid,
-        cacheDir: input.cacheDir,
         bindingDir: input.bindingDir,
         clockRoot: input.clockRoot,
         revealedAt: expected.targetPath,
         leftOut: new Set(expected.leftOut),
+        held: input.held,
         readContent: artifacts => input.readContent(artifacts),
     });
-    const rows = projectMaterializedGraph(built.rows, built.repositories.map(repository => ({ record: repository.record, identity: repository.state.territory.identity })), sha256Hex, { existingRows: "same-cloud-head", contentBoundary: built.contentBoundary });
+    const { rows } = built;
     await durabilityBarrier(tree, (await built.durable).files);
     const root = standing(tree);
     if (!root?.isDirectory())
@@ -110,9 +107,6 @@ export async function prepareEnter(input) {
             record: row.record, relativePath: row.relativePath, physicalKey: row.physicalKey,
             sourceSignature: row.sourceSignature, filesystemMode: row.filesystemMode,
         })),
-        repositories: built.repositories.map(repository => ({
-            uuid: repository.record.uuid, identity: repository.state.territory.identity,
-        })),
     };
     writeSeal(staging, seal);
     return {

package/dist/apply-enter-build.js.map

@@ -1 +1 @@
-{"version":3,"file":"apply-enter-build.js","sourceRoot":"","sources":["../src/apply-enter-build.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAIjC,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAGtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAA0B,MAAM,0BAA0B,CAAC;AACtF,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEnE,MAAM,QAAQ,GAAG,sBAAsB,CAAC;AA4CxC,MAAM,SAAS,GAAG,CAAC,KAA0B,EAAU,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAE3G,wEAAwE;AACxE,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAEhF,MAAM,MAAM,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAClE,MAAM,MAAM,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;AAE1E,MAAM,QAAQ,GAAG,CAAC,IAAuB,EAAE,KAAwB,EAAW,EAAE,CAC9E,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAEvF,kEAAkE;AAClE,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAe,EAAE,QAA0B,EAAW,EAAE,CAChF,IAAI,CAAC,aAAa,KAAK,QAAQ,CAAC,MAAM,CAAC,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;OAClF,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;AAEzF,4EAA4E;AAC5E,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,IAAI,OAAe,CAAC;IACpB,IAAI,CAAC;QAAC,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;IAAC,CAAC;IACxD,OAAO,KAAK,EAAE,CAAC;QAAC,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAAC,MAAM,KAAK,CAAC;IAAC,CAAC;IACnG,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAc,CAAC;IAC9C,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IACpH,IAAI,OAAO,IAAI,CAAC,aAAa,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC;WAC7E,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;WACzD,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC;WACrG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,sEAAsE;AACtE,MAAM,OAAO,GAAG,CAAC,OAAe,EAAE,IAAe,EAAiB,EAAE,CAClE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;AAE9E;4BAC4B;AAC5B,MAAM,UAAU,UAAU,CAAC,OAAe;IACxC,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,OAAO,EAAE,CAAC,CAAC;IACpF,OAAO,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,KAUlC;IACC,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC3B,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,QAAQ,IAAI,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/G,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC;QACrC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO;QAC9B,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,KAAK,CAAC,YAAY;QAC5B,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI;QAClC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,OAAO,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC;QAClC,WAAW,EAAE,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC;KACvD,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,wBAAwB,CACnC,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,EACpH,SAAS,EACT,EAAE,YAAY,EAAE,iBAAiB,EAAE,eAAe,EAAE,KAAK,CAAC,eAAe,EAAE,CAC5E,CAAC;IACF,MAAM,iBAAiB,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,IAAI,EAAE,CAAC,CAAC;IACvF,MAAM,IAAI,GAAc;QACtB,QAAQ,EAAE,QAAQ;QAClB,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO;QACtC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC;QAC9B,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC;QACvB,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACrB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,CAAC,YAAY,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW;YAChF,eAAe,EAAE,GAAG,CAAC,eAAe,EAAE,cAAc,EAAE,GAAG,CAAC,cAAc;SACzE,CAAC,CAAC;QACH,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YAClD,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ;SAC5E,CAAC,CAAC;KACJ,CAAC;IACF,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACzB,OAAO;QACL,IAAI;QACJ,IAAI;QACJ,MAAM,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACpG,eAAe,EAAE,KAAK,CAAC,eAAe;KACvC,CAAC;AACJ,CAAC;AAED;;aAEa;AACb,SAAS,SAAS,CAAC,OAAe,EAAE,IAAe;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,OAAO,GAAG,GAAG,IAAI,UAAU,CAAC;IAC1D,aAAa,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACrE,SAAS,CAAC,OAAO,CAAC,CAAC;IACnB,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC1B,cAAc,CAAC,OAAO,CAAC,CAAC;AAC1B,CAAC"}
+{"version":3,"file":"apply-enter-build.js","sourceRoot":"","sources":["../src/apply-enter-build.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAIjC,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAGtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,OAAO,EAAE,kBAAkB,EAA0B,MAAM,0BAA0B,CAAC;AACtF,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEnE,MAAM,QAAQ,GAAG,sBAAsB,CAAC;AA2CxC,wEAAwE;AACxE,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAEhF,MAAM,MAAM,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAClE,MAAM,MAAM,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;AAE1E,MAAM,QAAQ,GAAG,CAAC,IAAuB,EAAE,KAAwB,EAAW,EAAE,CAC9E,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAEvF,kEAAkE;AAClE,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAe,EAAE,QAA0B,EAAW,EAAE,CAChF,IAAI,CAAC,aAAa,KAAK,QAAQ,CAAC,MAAM,CAAC,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;OAClF,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;AAEzF,4EAA4E;AAC5E,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,IAAI,OAAe,CAAC;IACpB,IAAI,CAAC;QAAC,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;IAAC,CAAC;IACxD,OAAO,KAAK,EAAE,CAAC;QAAC,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAAC,MAAM,KAAK,CAAC;IAAC,CAAC;IACnG,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAc,CAAC;IAC9C,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IACpH,IAAI,OAAO,IAAI,CAAC,aAAa,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC;WAC7E,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;WACzD,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;WAChE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,sEAAsE;AACtE,MAAM,OAAO,GAAG,CAAC,OAAe,EAAE,IAAe,EAAiB,EAAE,CAClE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;AAE9E;4BAC4B;AAC5B,MAAM,UAAU,UAAU,CAAC,OAAe;IACxC,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,OAAO,EAAE,CAAC,CAAC;IACpF,OAAO,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,KAYlC;IACC,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC3B,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,QAAQ,IAAI,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/G,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC;QACrC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO;QAC9B,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,KAAK,CAAC,YAAY;QAC5B,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI;QAClC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,OAAO,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC;QAClC,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,WAAW,EAAE,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC;KACvD,CAAC,CAAC;IACH,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,MAAM,iBAAiB,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,IAAI,EAAE,CAAC,CAAC;IACvF,MAAM,IAAI,GAAc;QACtB,QAAQ,EAAE,QAAQ;QAClB,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO;QACtC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC;QAC9B,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC;QACvB,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACrB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,CAAC,YAAY,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW;YAChF,eAAe,EAAE,GAAG,CAAC,eAAe,EAAE,cAAc,EAAE,GAAG,CAAC,cAAc;SACzE,CAAC,CAAC;KACJ,CAAC;IACF,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACzB,OAAO;QACL,IAAI;QACJ,IAAI;QACJ,MAAM,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACpG,eAAe,EAAE,KAAK,CAAC,eAAe;KACvC,CAAC;AACJ,CAAC;AAED;;aAEa;AACb,SAAS,SAAS,CAAC,OAAe,EAAE,IAAe;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,OAAO,GAAG,GAAG,IAAI,UAAU,CAAC;IAC1D,aAAa,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACrE,SAAS,CAAC,OAAO,CAAC,CAAC;IACnB,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC1B,cAAc,CAAC,OAAO,CAAC,CAAC;AAC1B,CAAC"}

package/dist/apply-enter-plan.d.ts

@@ -9,14 +9,14 @@
  * other entity has an unresolved row inside that run, so the state at that
  * position is a prefix the line really had.
  *
+ * Beneath a root on demand an Enter shows one unit (src/drive/): the target
+ * alone, or a repository with every member short of a nested repository,
+ * which is a unit of its own. Everything else stays listed.
+ *
  * What this computer already shows stays where it is. A closure member that
  * O holds an active row for, in any root, including a frozen row in an
  * unavailable root, is protected local ground, not a copy for the Enter to
- * create. It is left out with its subtree, unless a closure repository
- * encloses it. In that case the repository's parcel carries it, and the
- * repository relocation guard owns it. A nested repository is the exception:
- * it owns its own subtree, so it lies outside the enclosing repository's
- * territory and is left out like any other shown member.
+ * create. It is left out with its subtree; its own records move it.
  */
 import { type CloudEntityRecord, type EntityApplyIntent, type EntityApplyPlan } from "@amalgm/live";
 import type Database from "better-sqlite3";
@@ -30,13 +30,15 @@ export interface EnterClosure {
      * accepted result. */
     readonly records: readonly CloudEntityRecord[];
 }
-/** The closure an Enter installs, read at its target's delivery position.
- * A missing kept head throws ReceivedStateUnavailableError. */
+/** The closure an Enter installs, read at its target's delivery position:
+ * one unit's when `unit`. A missing kept head throws
+ * ReceivedStateUnavailableError. */
 export declare function readEnterClosure(input: {
     readonly database: Database.Database;
     readonly intent: EntityApplyIntent;
     readonly target: CloudEntityRecord;
     readonly heads: HeldHeads;
+    readonly unit: boolean;
 }): Promise<EnterClosure>;
 export interface EnterDivision {
     /** Members left where this computer shows them, each with its subtree,

package/dist/apply-enter-plan.js

@@ -9,14 +9,14 @@
  * other entity has an unresolved row inside that run, so the state at that
  * position is a prefix the line really had.
  *
+ * Beneath a root on demand an Enter shows one unit (src/drive/): the target
+ * alone, or a repository with every member short of a nested repository,
+ * which is a unit of its own. Everything else stays listed.
+ *
  * What this computer already shows stays where it is. A closure member that
  * O holds an active row for, in any root, including a frozen row in an
  * unavailable root, is protected local ground, not a copy for the Enter to
- * create. It is left out with its subtree, unless a closure repository
- * encloses it. In that case the repository's parcel carries it, and the
- * repository relocation guard owns it. A nested repository is the exception:
- * it owns its own subtree, so it lies outside the enclosing repository's
- * territory and is left out like any other shown member.
+ * create. It is left out with its subtree; its own records move it.
  */
 import { CONTAINERS, eachStep, materializableRecordsSteps, } from "@amalgm/live";
 import { readReceivedState } from "./received-state.js";
@@ -24,8 +24,9 @@ import { cachedStatement } from "./sqlite.js";
 import { finishStepsInTurns } from "./turns.js";
 /** Whether this plan shows a container that was not shown here. */
 export const entersContainer = (plan) => plan.play === "enter" && CONTAINERS.has(plan.target.type);
-/** The closure an Enter installs, read at its target's delivery position.
- * A missing kept head throws ReceivedStateUnavailableError. */
+/** The closure an Enter installs, read at its target's delivery position:
+ * one unit's when `unit`. A missing kept head throws
+ * ReceivedStateUnavailableError. */
 export async function readEnterClosure(input) {
     const { database, intent, target } = input;
     const delivered = cachedStatement(database, `SELECT delivery_sequence AS position FROM record_inbox
@@ -42,10 +43,30 @@ export async function readEnterClosure(input) {
         throw new Error(`received state at delivery ${delivered.position} does not hold Enter target ${target.uuid}`);
     }
     const records = state.records.map(record => record.uuid === target.uuid ? target : record);
-    return {
-        position: delivered.position,
-        records: await finishStepsInTurns(materializableRecordsSteps(records, target.uuid)),
+    const closure = await finishStepsInTurns(materializableRecordsSteps(records, target.uuid));
+    return { position: delivered.position, records: input.unit ? unitOf(closure, target) : closure };
+}
+/** One unit of a closure: the target alone, or a repository's members short
+ * of a nested repository. */
+function unitOf(closure, target) {
+    if (target.type !== "repo.git")
+        return closure.filter(record => record.uuid === target.uuid);
+    const byUuid = new Map(closure.map(record => [record.uuid, record]));
+    const inside = new Map([[target.uuid, true]]);
+    const within = (start) => {
+        const chain = [];
+        let record = start;
+        let answer = record && (inside.get(record.uuid) ?? (record.type === "repo.git" ? false : undefined));
+        while (answer === undefined) {
+            chain.push(record.uuid);
+            record = byUuid.get(record.parentUUID);
+            answer = record ? inside.get(record.uuid) ?? (record.type === "repo.git" ? false : undefined) : false;
+        }
+        for (const uuid of chain)
+            inside.set(uuid, answer);
+        return answer;
     };
+    return closure.filter(within);
 }
 /** The closure's division against `shown`, which answers whether O holds an
  * active row for an identity. */
@@ -54,33 +75,25 @@ export function divideEnter(closure, rootUuid, shown) {
 }
 function* divideEnterSteps(closure, rootUuid, shown) {
     const byUuid = new Map(closure.map(record => [record.uuid, record]));
-    const passed = new Map();
+    /** Whether a record lies beneath a left-out member, itself included. */
+    const out = new Map();
     const leftOut = [];
     const pass = (record) => {
-        const known = passed.get(record.uuid);
+        const known = out.get(record.uuid);
         if (known !== undefined)
             return known;
-        let result;
-        if (record.uuid === rootUuid) {
-            result = record.type === "repo.git" ? "enclosed" : "free";
-        }
-        else {
+        let result = false;
+        if (record.uuid !== rootUuid) {
             const parent = byUuid.get(record.parentUUID);
             if (!parent)
                 throw new Error(`Enter closure member ${record.uuid} has no parent in its closure`);
-            const above = pass(parent);
-            if (above === "out") {
-                result = "out";
-            }
-            else if (shown(record.uuid) && (above === "free" || record.type === "repo.git")) {
+            result = pass(parent);
+            if (!result && shown(record.uuid)) {
                 leftOut.push(record.uuid);
-                result = "out";
-            }
-            else {
-                result = above === "enclosed" || record.type === "repo.git" ? "enclosed" : "free";
+                result = true;
             }
         }
-        passed.set(record.uuid, result);
+        out.set(record.uuid, result);
         return result;
     };
     yield* eachStep(closure, pass);

package/dist/apply-enter-plan.js.map

@@ -1 +1 @@
-{"version":3,"file":"apply-enter-plan.js","sourceRoot":"","sources":["../src/apply-enter-plan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EACL,UAAU,EACV,QAAQ,EACR,0BAA0B,GAK3B,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,iBAAiB,EAAkB,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAEhD,mEAAmE;AACnE,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAqB,EAAW,EAAE,CAChE,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAU5D;+DAC+D;AAC/D,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,KAKtC;IACC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC3C,MAAM,SAAS,GAAG,eAAe,CAAC,QAAQ,EAAE;qEACuB,CAAC;SACjE,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAAqC,CAAC;IACxG,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,gBAAgB,MAAM,CAAC,QAAQ,OAAO,MAAM,CAAC,eAAe,oCAAoC,CAAC,CAAC;IACpH,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC;QACpC,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI;QAChG,KAAK,EAAE,KAAK,CAAC,KAAK;KACnB,CAAC,CAAC;IACH,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,8BAA8B,SAAS,CAAC,QAAQ,+BAA+B,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAChH,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC3F,OAAO;QACL,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,OAAO,EAAE,MAAM,kBAAkB,CAAC,0BAA0B,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;KACpF,CAAC;AACJ,CAAC;AAYD;iCACiC;AACjC,MAAM,UAAU,WAAW,CACzB,OAAqC,EACrC,QAAgB,EAChB,KAAgC;IAEhC,OAAO,kBAAkB,CAAC,gBAAgB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,QAAQ,CAAC,CAAC,gBAAgB,CACxB,OAAqC,EACrC,QAAgB,EAChB,KAAgC;IAEhC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,MAAyB,EAAa,EAAE;QACpD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,MAAiB,CAAC;QACtB,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,MAAM,GAAG,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;QAC5D,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,UAAW,CAAC,CAAC;YAC9C,IAAI,CAAC,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,MAAM,CAAC,IAAI,+BAA+B,CAAC,CAAC;YACjG,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;YAC3B,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;gBACpB,MAAM,GAAG,KAAK,CAAC;YACjB,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC;gBAClF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM,GAAG,KAAK,CAAC;YACjB,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,KAAK,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;YACpF,CAAC;QACH,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAChC,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/B,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;AACrC,CAAC"}
+{"version":3,"file":"apply-enter-plan.js","sourceRoot":"","sources":["../src/apply-enter-plan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EACL,UAAU,EACV,QAAQ,EACR,0BAA0B,GAK3B,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,iBAAiB,EAAkB,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAEhD,mEAAmE;AACnE,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAqB,EAAW,EAAE,CAChE,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAU5D;;oCAEoC;AACpC,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,KAMtC;IACC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC3C,MAAM,SAAS,GAAG,eAAe,CAAC,QAAQ,EAAE;qEACuB,CAAC;SACjE,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAAqC,CAAC;IACxG,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,gBAAgB,MAAM,CAAC,QAAQ,OAAO,MAAM,CAAC,eAAe,oCAAoC,CAAC,CAAC;IACpH,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC;QACpC,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI;QAChG,KAAK,EAAE,KAAK,CAAC,KAAK;KACnB,CAAC,CAAC;IACH,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,8BAA8B,SAAS,CAAC,QAAQ,+BAA+B,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAChH,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC3F,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,0BAA0B,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3F,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AACnG,CAAC;AAED;6BAC6B;AAC7B,SAAS,MAAM,CAAC,OAAqC,EAAE,MAAyB;IAC9E,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7F,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAkB,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,CAAC,KAAwB,EAAW,EAAE;QACnD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,MAAM,GAAkC,KAAK,CAAC;QAClD,IAAI,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QACrG,OAAO,MAAM,KAAK,SAAS,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,MAAO,CAAC,IAAI,CAAC,CAAC;YACzB,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,MAAO,CAAC,UAAW,CAAC,CAAC;YACzC,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACxG,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,OAAO,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC;AAQD;iCACiC;AACjC,MAAM,UAAU,WAAW,CACzB,OAAqC,EACrC,QAAgB,EAChB,KAAgC;IAEhC,OAAO,kBAAkB,CAAC,gBAAgB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,QAAQ,CAAC,CAAC,gBAAgB,CACxB,OAAqC,EACrC,QAAgB,EAChB,KAAgC;IAEhC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACrE,wEAAwE;IACxE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAmB,CAAC;IACvC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,MAAyB,EAAW,EAAE;QAClD,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,UAAW,CAAC,CAAC;YAC9C,IAAI,CAAC,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,MAAM,CAAC,IAAI,+BAA+B,CAAC,CAAC;YACjG,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;YACtB,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM,GAAG,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7B,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/B,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;AACrC,CAAC"}

package/dist/apply-local-work.d.ts

@@ -1,32 +1,20 @@
 /** Live's local-work gate (src/apply/local-work.ts) over this computer's
- * Outbox, Inbox and notebook: whether a local statement that speaks for an
- * entity is not ordered at or before an accepted target.
+ * Outbox and Inbox: whether a local record on an entity's own channel is not
+ * ordered at or before an accepted target.
  *
  * Order is delivery position. A stamped receipt carries its own; a pending
  * row takes the Inbox position of the same mutation when Receive already
  * holds it, because Send's stamp can land after Receive; otherwise its
  * position is unknown, so it is after every target. Send accepts one row at
  * a time in local order, so stamped positions rise with local order, and on
- * one channel with the channel's sequence: each read below seeks the newest
- * receipt and stops at the first one ordered at or before the target.
+ * one channel with the channel's sequence: the newest receipt alone says
+ * whether any receipt is after the target.
  *
- * The entity's own channel speaks for it, and so do the packages of the
- * repository Live names from this computer's notebook (speakingRepository).
  * Most targets meet no local work at all, so one probe of the authority's
  * pending rows and newest receipt answers them before any channel is read. */
-import { type TargetPlacement } from "@amalgm/live";
 import type Database from "better-sqlite3";
-/** An accepted target: its entity, delivery position and placement. */
-export interface LocalWorkTarget {
-    readonly entityId: string;
-    readonly deliverySequence: number;
-    readonly result: TargetPlacement;
-}
-/** The full gate for one target. */
-export declare function hasLocalWorkAfter(database: Database.Database, authorityId: string, target: LocalWorkTarget): boolean;
-/** The full gate for the retained Inbox row at `globalSequence` on the
- * entity's channel: the Apply store's port form. */
+/** Whether a local record on the entity's channel is after `deliverySequence`. */
+export declare function hasLocalWorkAfter(database: Database.Database, authorityId: string, entityId: string, deliverySequence: number): boolean;
+/** The gate for the retained Inbox row at `globalSequence` on the entity's
+ * channel: the Apply store's port form. */
 export declare function hasLocalWorkAfterSequence(database: Database.Database, authorityId: string, entityId: string, globalSequence: number): boolean;
-/** Only the entity's own channel, for a target that rests on its own row
- * alone: every statement after `deliverySequence`, pending ones included. */
-export declare function hasOwnWorkAfter(database: Database.Database, authorityId: string, entityId: string, deliverySequence: number): boolean;

package/dist/apply-local-work.js

@@ -1,27 +1,11 @@
-/** Live's local-work gate (src/apply/local-work.ts) over this computer's
- * Outbox, Inbox and notebook: whether a local statement that speaks for an
- * entity is not ordered at or before an accepted target.
- *
- * Order is delivery position. A stamped receipt carries its own; a pending
- * row takes the Inbox position of the same mutation when Receive already
- * holds it, because Send's stamp can land after Receive; otherwise its
- * position is unknown, so it is after every target. Send accepts one row at
- * a time in local order, so stamped positions rise with local order, and on
- * one channel with the channel's sequence: each read below seeks the newest
- * receipt and stops at the first one ordered at or before the target.
- *
- * The entity's own channel speaks for it, and so do the packages of the
- * repository Live names from this computer's notebook (speakingRepository).
- * Most targets meet no local work at all, so one probe of the authority's
- * pending rows and newest receipt answers them before any channel is read. */
-import { speakingRepository } from "@amalgm/live";
 import { cachedStatement } from "./sqlite.js";
-/** The full gate for one target. */
-export function hasLocalWorkAfter(database, authorityId, target) {
-    return localWorkAfter(database, authorityId, target.entityId, target.deliverySequence, () => target.result);
+/** Whether a local record on the entity's channel is after `deliverySequence`. */
+export function hasLocalWorkAfter(database, authorityId, entityId, deliverySequence) {
+    return anyWorkAfter(database, authorityId, deliverySequence)
+        && channelWorkAfter(database, authorityId, entityId, deliverySequence);
 }
-/** The full gate for the retained Inbox row at `globalSequence` on the
- * entity's channel: the Apply store's port form. */
+/** The gate for the retained Inbox row at `globalSequence` on the entity's
+ * channel: the Apply store's port form. */
 export function hasLocalWorkAfterSequence(database, authorityId, entityId, globalSequence) {
     const deliverySequence = cachedStatement(database, `SELECT delivery_sequence FROM record_inbox
      WHERE entity_id = ? AND global_sequence = ? AND authority_id = ?`).pluck()
@@ -29,33 +13,9 @@ export function hasLocalWorkAfterSequence(database, authorityId, entityId, globa
     if (deliverySequence === undefined) {
         throw new Error(`Apply local-work target ${entityId}@${globalSequence} is not retained`);
     }
-    return localWorkAfter(database, authorityId, entityId, deliverySequence, () => {
-        const result = cachedStatement(database, `SELECT json_extract(record_json, '$.change.result.uuid') AS uuid,
-          json_extract(record_json, '$.change.result.type') AS type,
-          json_extract(record_json, '$.change.result.parentUUID') AS parentUUID,
-          json_extract(record_json, '$.change.result.transportVersion') AS transportVersion
-        FROM record_inbox WHERE entity_id = ? AND global_sequence = ?`).get(entityId, globalSequence);
-        return result;
-    });
-}
-/** Only the entity's own channel, for a target that rests on its own row
- * alone: every statement after `deliverySequence`, pending ones included. */
-export function hasOwnWorkAfter(database, authorityId, entityId, deliverySequence) {
-    return anyWorkAfter(database, authorityId, deliverySequence)
-        && channelWorkAfter(database, authorityId, entityId, deliverySequence, false);
+    return hasLocalWorkAfter(database, authorityId, entityId, deliverySequence);
 }
-function localWorkAfter(database, authorityId, entityId, deliverySequence, result) {
-    if (!anyWorkAfter(database, authorityId, deliverySequence))
-        return false;
-    if (channelWorkAfter(database, authorityId, entityId, deliverySequence, false))
-        return true;
-    const held = cachedStatement(database, `SELECT root_uuid AS rootUUID, type, parent_uuid AS parentUUID,
-        transport_version AS transportVersion
-      FROM detection_notebook WHERE uuid = ? LIMIT 1`).get(entityId);
-    const repositoryId = speakingRepository(result(), held ?? null, notebookGround(database, held));
-    return repositoryId !== null && channelWorkAfter(database, authorityId, repositoryId, deliverySequence, true);
-}
-/** Whether any local statement on the authority may be after the target:
+/** Whether any local record on the authority may be after the target:
  * a pending row, or a newest receipt delivered after it. */
 function anyWorkAfter(database, authorityId, deliverySequence) {
     return cachedStatement(database, `SELECT
@@ -65,57 +25,20 @@ function anyWorkAfter(database, authorityId, deliverySequence) {
                    ORDER BY local_sequence DESC LIMIT 1), 0) > ?`).pluck()
         .get(authorityId, authorityId, deliverySequence) === 1;
 }
-const PACKAGE = "json_extract(record_json, '$.change.replay.kind') = 'repo.git'";
-const pendingAfter = (packagesOnly) => `SELECT EXISTS (SELECT 1 FROM record_outbox AS local
+const PENDING_AFTER = `SELECT EXISTS (SELECT 1 FROM record_outbox AS local
        WHERE local.authority_id = ? AND local.entity_id = ? AND local.status = 'pending'
-         ${packagesOnly ? `AND ${PACKAGE}` : ""}
          AND NOT EXISTS (SELECT 1 FROM record_inbox AS inbox
                           WHERE inbox.entity_id = local.entity_id AND inbox.mutation_id = local.mutation_id
                             AND inbox.authority_id = local.authority_id AND inbox.delivery_sequence <= ?))`;
-/** Constant SQL text, so the statement cache finds it without rebuilding it. */
-const PENDING_AFTER = { statement: pendingAfter(false), package: pendingAfter(true) };
-const RECEIPTS = `SELECT delivery_sequence AS deliverySequence, ${PACKAGE} AS package
-      FROM record_outbox WHERE authority_id = ? AND entity_id = ? AND global_sequence IS NOT NULL
-     ORDER BY global_sequence DESC`;
-/** Whether a statement on this channel, or only a package on it, is after
- * the target. */
-function channelWorkAfter(database, authorityId, entityId, deliverySequence, packagesOnly) {
-    const pending = cachedStatement(database, packagesOnly ? PENDING_AFTER.package : PENDING_AFTER.statement)
-        .pluck().get(authorityId, entityId, deliverySequence) === 1;
-    if (pending)
+const NEWEST_RECEIPT = `SELECT delivery_sequence FROM record_outbox
+     WHERE authority_id = ? AND entity_id = ? AND global_sequence IS NOT NULL
+     ORDER BY global_sequence DESC LIMIT 1`;
+function channelWorkAfter(database, authorityId, entityId, deliverySequence) {
+    if (cachedStatement(database, PENDING_AFTER).pluck().get(authorityId, entityId, deliverySequence) === 1)
         return true;
-    const receipts = cachedStatement(database, RECEIPTS)
-        .iterate(authorityId, entityId);
-    for (const receipt of receipts) {
-        if (receipt.deliverySequence === null)
-            throw new Error(`entity ${entityId} has an accepted local row with no delivery position`);
-        if (receipt.deliverySequence <= deliverySequence)
-            return false;
-        if (!packagesOnly || receipt.package === 1)
-            return true;
-    }
-    return false;
-}
-/** The notebook's answers for speakingRepository. Only a container holds
- * rows beneath it; a parcel beneath one is found by climbing from the
- * parcels in its root, never by walking its subtree. */
-function notebookGround(database, held) {
-    return {
-        repositoryAt: (containerId) => cachedStatement(database, `WITH RECURSIVE up(uuid, type, parent_uuid) AS (
-          SELECT uuid, type, parent_uuid FROM detection_notebook WHERE uuid = ?
-          UNION
-          SELECT notebook.uuid, notebook.type, notebook.parent_uuid
-            FROM detection_notebook AS notebook JOIN up ON notebook.uuid = up.parent_uuid
-           WHERE up.type <> 'repo.git')
-        SELECT uuid FROM up WHERE type = 'repo.git' LIMIT 1`).pluck().get(containerId) ?? null,
-        holdsParcel: (entityId) => held !== undefined && (held.type === "folder" || held.type === "workspace")
-            && cachedStatement(database, `WITH RECURSIVE up(uuid) AS (
-          SELECT parent_uuid FROM detection_notebook
-           WHERE root_uuid = ? AND (type = 'repo.git' OR transport_version IS NOT NULL) AND parent_uuid IS NOT NULL
-          UNION
-          SELECT notebook.parent_uuid FROM detection_notebook AS notebook JOIN up ON notebook.uuid = up.uuid
-           WHERE up.uuid <> ? AND notebook.parent_uuid IS NOT NULL)
-        SELECT EXISTS (SELECT 1 FROM up WHERE uuid = ?)`).pluck().get(held.rootUUID, entityId, entityId) === 1,
-    };
+    const newest = cachedStatement(database, NEWEST_RECEIPT).pluck().get(authorityId, entityId);
+    if (newest === null)
+        throw new Error(`entity ${entityId} has an accepted local row with no delivery position`);
+    return newest !== undefined && newest > deliverySequence;
 }
 //# sourceMappingURL=apply-local-work.js.map

package/dist/apply-local-work.js.map

@@ -1 +1 @@
-{"version":3,"file":"apply-local-work.js","sourceRoot":"","sources":["../src/apply-local-work.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;8EAe8E;AAC9E,OAAO,EAAE,kBAAkB,EAAgE,MAAM,cAAc,CAAC;AAEhH,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAS9C,oCAAoC;AACpC,MAAM,UAAU,iBAAiB,CAAC,QAA2B,EAAE,WAAmB,EAAE,MAAuB;IACzG,OAAO,cAAc,CAAC,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,gBAAgB,EACnF,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACzB,CAAC;AAED;oDACoD;AACpD,MAAM,UAAU,yBAAyB,CAAC,QAA2B,EAAE,WAAmB,EAAE,QAAgB,EAC1G,cAAsB;IACtB,MAAM,gBAAgB,GAAG,eAAe,CAAC,QAAQ,EAAE;sEACiB,CAAC,CAAC,KAAK,EAAE;SAC1E,GAAG,CAAC,QAAQ,EAAE,cAAc,EAAE,WAAW,CAAuB,CAAC;IACpE,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,2BAA2B,QAAQ,IAAI,cAAc,kBAAkB,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,cAAc,CAAC,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE;;;;sEAIyB,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;QAClG,OAAO,MAAyB,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC;AAED;6EAC6E;AAC7E,MAAM,UAAU,eAAe,CAAC,QAA2B,EAAE,WAAmB,EAAE,QAAgB,EAChG,gBAAwB;IACxB,OAAO,YAAY,CAAC,QAAQ,EAAE,WAAW,EAAE,gBAAgB,CAAC;WACvD,gBAAgB,CAAC,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,EAAE,KAAK,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,cAAc,CAAC,QAA2B,EAAE,WAAmB,EAAE,QAAgB,EACxF,gBAAwB,EAAE,MAA6B;IACvD,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,WAAW,EAAE,gBAAgB,CAAC;QAAE,OAAO,KAAK,CAAC;IACzE,IAAI,gBAAgB,CAAC,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5F,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,EAAE;;qDAEY,CAAC,CAAC,GAAG,CAAC,QAAQ,CACJ,CAAC;IAC9D,MAAM,YAAY,GAAG,kBAAkB,CAAC,MAAM,EAAE,EAAE,IAAI,IAAI,IAAI,EAAE,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IAChG,OAAO,YAAY,KAAK,IAAI,IAAI,gBAAgB,CAAC,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC;AAChH,CAAC;AAED;4DAC4D;AAC5D,SAAS,YAAY,CAAC,QAA2B,EAAE,WAAmB,EAAE,gBAAwB;IAC9F,OAAO,eAAe,CAAC,QAAQ,EAAE;;;;iEAI8B,CAAC,CAAC,KAAK,EAAE;SACrE,GAAG,CAAC,WAAW,EAAE,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,OAAO,GAAG,gEAAgE,CAAC;AAEjF,MAAM,YAAY,GAAG,CAAC,YAAqB,EAAU,EAAE,CAAC;;WAE7C,YAAY,CAAC,CAAC,CAAC,OAAO,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE;;;2GAG4D,CAAC;AAC5G,gFAAgF;AAChF,MAAM,aAAa,GAAG,EAAE,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,EAAW,CAAC;AAC/F,MAAM,QAAQ,GAAG,iDAAiD,OAAO;;mCAEtC,CAAC;AAEpC;iBACiB;AACjB,SAAS,gBAAgB,CAAC,QAA2B,EAAE,WAAmB,EAAE,QAAgB,EAC1F,gBAAwB,EAAE,YAAqB;IAC/C,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC;SACtG,KAAK,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,OAAO;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,EAAE,QAAQ,CAAC;SACjD,OAAO,CAAC,WAAW,EAAE,QAAQ,CAA2E,CAAC;IAC5G,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,gBAAgB,KAAK,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,UAAU,QAAQ,sDAAsD,CAAC,CAAC;QACjI,IAAI,OAAO,CAAC,gBAAgB,IAAI,gBAAgB;YAAE,OAAO,KAAK,CAAC;QAC/D,IAAI,CAAC,YAAY,IAAI,OAAO,CAAC,OAAO,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;IAC1D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;wDAEwD;AACxD,SAAS,cAAc,CAAC,QAA2B,EACjD,IAAiE;IACjE,OAAO;QACL,YAAY,EAAE,CAAC,WAAW,EAAE,EAAE,CAAE,eAAe,CAAC,QAAQ,EAAE;;;;;;4DAMF,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,WAAW,CAAwB,IAAI,IAAI;QACjH,WAAW,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;eACjG,eAAe,CAAC,QAAQ,EAAE;;;;;;wDAMqB,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC;KAC3G,CAAC;AACJ,CAAC"}
+{"version":3,"file":"apply-local-work.js","sourceRoot":"","sources":["../src/apply-local-work.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C,kFAAkF;AAClF,MAAM,UAAU,iBAAiB,CAAC,QAA2B,EAAE,WAAmB,EAAE,QAAgB,EAClG,gBAAwB;IACxB,OAAO,YAAY,CAAC,QAAQ,EAAE,WAAW,EAAE,gBAAgB,CAAC;WACvD,gBAAgB,CAAC,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;AAC3E,CAAC;AAED;2CAC2C;AAC3C,MAAM,UAAU,yBAAyB,CAAC,QAA2B,EAAE,WAAmB,EAAE,QAAgB,EAC1G,cAAsB;IACtB,MAAM,gBAAgB,GAAG,eAAe,CAAC,QAAQ,EAAE;sEACiB,CAAC,CAAC,KAAK,EAAE;SAC1E,GAAG,CAAC,QAAQ,EAAE,cAAc,EAAE,WAAW,CAAuB,CAAC;IACpE,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,2BAA2B,QAAQ,IAAI,cAAc,kBAAkB,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,iBAAiB,CAAC,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;AAC9E,CAAC;AAED;4DAC4D;AAC5D,SAAS,YAAY,CAAC,QAA2B,EAAE,WAAmB,EAAE,gBAAwB;IAC9F,OAAO,eAAe,CAAC,QAAQ,EAAE;;;;iEAI8B,CAAC,CAAC,KAAK,EAAE;SACrE,GAAG,CAAC,WAAW,EAAE,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,aAAa,GAAG;;;;2GAIqF,CAAC;AAC5G,MAAM,cAAc,GAAG;;2CAEoB,CAAC;AAE5C,SAAS,gBAAgB,CAAC,QAA2B,EAAE,WAAmB,EAAE,QAAgB,EAC1F,gBAAwB;IACxB,IAAI,eAAe,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,gBAAgB,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrH,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,CAA8B,CAAC;IACzH,IAAI,MAAM,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,UAAU,QAAQ,sDAAsD,CAAC,CAAC;IAC/G,OAAO,MAAM,KAAK,SAAS,IAAI,MAAM,GAAG,gBAAgB,CAAC;AAC3D,CAAC"}

package/dist/apply-showing.d.ts

@@ -6,6 +6,10 @@
  * construct has no ground: it was shown when the construct ledger holds it
  * active (construct-ledger.ts).
  *
+ * A root the drive serves is on demand (src/drive/): what O holds beneath it
+ * was placed and keeps applying, and a result that would enter is listed
+ * until something opens it. An opened unit enters as it would anywhere.
+ *
  * The line reader, the settle save and the unbound guard all judge
  * through this one reading, so a save or a guard judges exactly what the
  * read judged, against the tables as they stand then. One judge reads each
@@ -13,10 +17,20 @@
  * same reading (Live window.ts, Independence). */
 import { type CloudEntityRecord, type ShowingJudgment, type WindowPlace } from "@amalgm/live";
 import type Database from "better-sqlite3";
+export interface OnDemand {
+    /** Whether this computer places a root's contents on demand. */
+    root(rootUUID: string): boolean;
+    /** Whether something opened this unit beneath such a root. */
+    opened(uuid: string): boolean;
+}
+/** A computer that shows every root whole. */
+export declare const NOTHING_ON_DEMAND: OnDemand;
 export declare class ShownGround {
     #private;
-    constructor(database: Database.Database);
+    constructor(database: Database.Database, onDemand: OnDemand);
     judge(result: CloudEntityRecord): ShowingJudgment;
+    /** Whether the root a result shows beneath places on demand. */
+    beneathOnDemand(result: CloudEntityRecord): boolean;
     /** O's active row for one place, read once per judge. */
     place(uuid: string): WindowPlace | undefined;
 }