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

package/dist/detection/repository-publication.js

@@ -0,0 +1,79 @@
+/** One selected repository result, assembled from observed or retained bytes.
+ * Both Detect lanes use this host effect after Live has selected the graph. */
+import { createHash } from "node:crypto";
+import { join } from "node:path";
+import { classifyFile, repositoryPayloadVersion, } from "@amalgm/live";
+import { sealContent } from "../content-capture-pool.js";
+import { captureObservedRepository, captureSelectedRepository, inspectRepositoryTransportFile, prepareRepositoryFiles, readCachedRepositoryIdentity, readPriorRepositoryTransport, sealCachedRepositoryIdentity, } from "../git-repository-host.js";
+const sha = (bytes) => createHash("sha256").update(bytes).digest("hex");
+const ordinary = (entry) => ["file.text", "file.binary", "link"].includes(entry.type);
+export async function publishRepository(input) {
+    const { cacheDir, repository, before, observed, observedIdentity, identity, retained, lane } = input;
+    const prior = await readPriorRepositoryTransport(cacheDir, before);
+    const previousIdentity = prior ? await readCachedRepositoryIdentity(cacheDir, prior.transportVersion) : null;
+    let preparation;
+    try {
+        if (identity.some(entry => retained.has(entry.uuid) && ordinary(entry))) {
+            if (!prior)
+                throw new Error("selected retained members need their complete immutable repository head");
+            const chain = [], seen = new Set();
+            let version = prior.transportVersion;
+            while (version) {
+                if (seen.has(version))
+                    throw new Error("retained repository chain has a cycle");
+                seen.add(version);
+                const file = join(cacheDir, `${version}.bin`);
+                chain.push({ file, transportVersion: version });
+                version = (await inspectRepositoryTransportFile(file)).parentTransportVersion;
+            }
+            preparation = await prepareRepositoryFiles(chain.reverse());
+        }
+        const members = identity.filter(ordinary);
+        const sameObserved = retained.size === 0 && members.length === observed.view.leaves.size
+            && members.every(entry => observed.view.leaves.has(entry.path));
+        const retainedByUuid = new Map(preparation?.identity.map(entry => [entry.uuid, entry]) ?? []);
+        // Retained members come from their immutable head in one Git batch. Their
+        // bytes must reproduce the Git object that head names.
+        const format = observed.view.format;
+        const retainedLeaves = new Map();
+        if (preparation) {
+            const paths = new Set(identity.filter(entry => retained.has(entry.uuid)).map(entry => entry.path));
+            await preparation.checkpoint.readLeaves((leaf, content) => {
+                if (!["100644", "100755", "120000"].includes(leaf.mode))
+                    return;
+                const objectId = createHash(format).update(`blob ${content.length}\0`).update(content).digest("hex");
+                if (objectId !== leaf.objectId)
+                    throw new Error(`retained repository member does not reproduce its object: ${leaf.path}`);
+                retainedLeaves.set(leaf.path, { mode: leaf.mode, objectId, content,
+                    sha256: sha(content), type: leaf.mode === "120000" ? "link" : classifyFile({ binary: content.includes(0) }) });
+            }, paths);
+        }
+        for (const entry of members)
+            if (retained.has(entry.uuid)) {
+                if (retainedByUuid.get(entry.uuid)?.path !== entry.path) {
+                    throw new Error("selected retained repository identity changed owner or address");
+                }
+                if (!retainedLeaves.has(entry.path))
+                    throw new Error("retained repository member is unavailable");
+            }
+        const captured = sameObserved
+            ? await captureObservedRepository(observed, identity, observedIdentity, prior, previousIdentity)
+            : await captureSelectedRepository(observed, identity, retainedLeaves, lane, prior, previousIdentity);
+        if (captured.bytes)
+            await sealContent(cacheDir, {
+                entityId: repository.uuid, entityType: "repo.git", kind: "git", contentHash: captured.transportVersion,
+            }, captured.bytes, "repository");
+        const layout = await inspectRepositoryTransportFile(join(cacheDir, `${captured.transportVersion}.bin`));
+        await sealCachedRepositoryIdentity(cacheDir, captured.transportVersion, captured.identity, layout.identityHash);
+        return { row: { ...repository, payloadVersion: repositoryPayloadVersion(captured, sha),
+                transportVersion: captured.transportVersion }, proof: captured.proof,
+            replay: { kind: "repo.git", stateId: layout.stateId, cardId: layout.cardId,
+                checkpointId: layout.checkpointId, identityHash: layout.identityHash,
+                resultPayloadVersion: repositoryPayloadVersion(layout, sha),
+                parentTransportVersion: layout.parentTransportVersion, transportVersion: captured.transportVersion } };
+    }
+    finally {
+        await preparation?.close();
+    }
+}
+//# sourceMappingURL=repository-publication.js.map

package/dist/detection/repository-publication.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repository-publication.js","sourceRoot":"","sources":["../../src/detection/repository-publication.ts"],"names":[],"mappings":"AAAA;+EAC+E;AAC/E,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,YAAY,EAAE,wBAAwB,GACvC,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,WAAW,EAAoB,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EACL,yBAAyB,EAAE,yBAAyB,EAAE,8BAA8B,EACpF,sBAAsB,EAAE,4BAA4B,EAAE,4BAA4B,EAAE,4BAA4B,GAEjH,MAAM,2BAA2B,CAAC;AAInC,MAAM,GAAG,GAAG,CAAC,KAA0B,EAAU,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACrG,MAAM,QAAQ,GAAG,CAAC,KAAwB,EAAW,EAAE,CAAC,CAAC,WAAW,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAElH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,KAUvC;IACC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACrG,MAAM,KAAK,GAAG,MAAM,4BAA4B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACnE,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,4BAA4B,CAAC,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7G,IAAI,WAA2E,CAAC;IAChF,IAAI,CAAC;QACH,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACxE,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;YACvG,MAAM,KAAK,GAAgC,EAAE,EAAE,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YACxE,IAAI,OAAO,GAAkB,KAAK,CAAC,gBAAgB,CAAC;YACpD,OAAO,OAAO,EAAE,CAAC;gBACf,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;gBAChF,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAClB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,OAAO,MAAM,CAAC,CAAC;gBAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,CAAC;gBAChD,OAAO,GAAG,CAAC,MAAM,8BAA8B,CAAC,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC;YAChF,CAAC;YACD,WAAW,GAAG,MAAM,sBAAsB,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1C,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI;eACnF,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAClE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9F,0EAA0E;QAC1E,uDAAuD;QACvD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;QACpC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkC,CAAC;QACjE,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACnG,MAAM,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE;gBACxD,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,OAAO;gBAChE,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,QAAQ,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBACrG,IAAI,QAAQ,KAAK,IAAI,CAAC,QAAQ;oBAAE,MAAM,IAAI,KAAK,CAAC,6DAA6D,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC1H,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAsC,EAAE,QAAQ,EAAE,OAAO;oBAClG,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACnH,CAAC,EAAE,KAAK,CAAC,CAAC;QACZ,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,OAAO;YAAE,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1D,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;oBACxD,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;gBACpF,CAAC;gBACD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;YACpG,CAAC;QACD,MAAM,QAAQ,GAAG,YAAY;YAC3B,CAAC,CAAC,MAAM,yBAAyB,CAAC,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,EAAE,KAAK,EAAE,gBAAgB,CAAC;YAChG,CAAC,CAAC,MAAM,yBAAyB,CAAC,QAAQ,EAAE,QAAQ,EAAE,cAAc,EAAE,IAAI,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACvG,IAAI,QAAQ,CAAC,KAAK;YAAE,MAAM,WAAW,CAAC,QAAQ,EAAE;gBAC9C,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,CAAC,gBAAgB;aACvG,EAAE,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,MAAM,8BAA8B,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,QAAQ,CAAC,gBAAgB,MAAM,CAAC,CAAC,CAAC;QACxG,MAAM,4BAA4B,CAAC,QAAQ,EAAE,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;QAChH,OAAO,EAAE,GAAG,EAAE,EAAE,GAAG,UAAU,EAAE,cAAc,EAAE,wBAAwB,CAAC,QAAQ,EAAE,GAAG,CAAC;gBACpF,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK;YACpE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM;gBACxE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY;gBACpE,oBAAoB,EAAE,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC;gBAC3D,sBAAsB,EAAE,MAAM,CAAC,sBAAsB,EAAE,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB,EAAE,EAAE,CAAC;IAC7G,CAAC;YAAS,CAAC;QAAC,MAAM,WAAW,EAAE,KAAK,EAAE,CAAC;IAAC,CAAC;AAC3C,CAAC"}

package/dist/detection/repository-routes.d.ts

@@ -0,0 +1,43 @@
+import type Database from "better-sqlite3";
+import type { SourceProof } from "../source-proof.js";
+import type { GitNoticeBindings } from "./git-notice.js";
+/** Where a root's escalated names belong: each outermost enrolled repository
+ * they reach, with its names, or the wider proof they need and why. */
+export type RepositoryRoutes = {
+    readonly kind: "repositories";
+    readonly rootUUID: string;
+    readonly repositories: readonly {
+        readonly uuid: string;
+        readonly directory: string;
+        /** The addresses this repository answers for, relative to the root:
+         * worktree names, `<address>/.git` for each repository whose Git
+         * storage rang, and the address of each nested repository whose own
+         * address rang. Null when its own address rang: every address within
+         * it is suspect. */
+        readonly paths: readonly string[] | null;
+    }[];
+    /** Worktree names outside every enrolled repository, relative to the
+     * root: each is examined by the root's folder scope. */
+    readonly folders: readonly string[];
+    /** Closes the Git bindings the routes consumed. */
+    readonly proof: SourceProof;
+} | {
+    readonly kind: "wider";
+    readonly scope: "root" | "domain";
+    readonly reason: string;
+};
+/** Route names by the same Git bindings a named proof reads. A name in
+ * private Git storage belongs to its one consumer and names no address: an
+ * ordinary domain O certifies keeps its named Git state, any other owes its
+ * complete examination. A repository's own address belongs to that
+ * repository's complete examination while its binding stands over the
+ * directory O holds. Any other name owes ordinary ground examined whole,
+ * unless it reaches a consumer that ground does not hold, which needs a
+ * wider proof. Once every name is routed, an answer inside a checkout Git
+ * does not bind owes that checkout's whole address. Ordinary ground belongs
+ * to the innermost repository strictly enclosing it, or else to the root's
+ * folder scope, except the root's own address and its enrollment policy,
+ * which are its boundary and always need the whole root. A nested
+ * repository rides the outermost repository enclosing it with the same
+ * names, which reach it there (name-reach.ts). */
+export declare function repositoryRoutes(database: Database.Database, bindings: GitNoticeBindings, directory: string, paths: readonly string[]): Promise<RepositoryRoutes>;

package/dist/detection/repository-routes.js

@@ -0,0 +1,97 @@
+import { join, relative, sep } from "node:path";
+import { groundStore } from "../ground-store.js";
+import { turnBoundary } from "../turns.js";
+const pathWithin = (parent, path) => path === parent || path.startsWith(`${parent}${sep}`);
+/** Route names by the same Git bindings a named proof reads. A name in
+ * private Git storage belongs to its one consumer and names no address: an
+ * ordinary domain O certifies keeps its named Git state, any other owes its
+ * complete examination. A repository's own address belongs to that
+ * repository's complete examination while its binding stands over the
+ * directory O holds. Any other name owes ordinary ground examined whole,
+ * unless it reaches a consumer that ground does not hold, which needs a
+ * wider proof. Once every name is routed, an answer inside a checkout Git
+ * does not bind owes that checkout's whole address. Ordinary ground belongs
+ * to the innermost repository strictly enclosing it, or else to the root's
+ * folder scope, except the root's own address and its enrollment policy,
+ * which are its boundary and always need the whole root. A nested
+ * repository rides the outermost repository enclosing it with the same
+ * names, which reach it there (name-reach.ts). */
+export async function repositoryRoutes(database, bindings, directory, paths) {
+    const { value } = groundStore(database).readSnapshot(reader => {
+        const members = reader.repositoryMembers();
+        return {
+            members,
+            roots: reader.rootsAtPath("entities", directory),
+            rows: new Map(members.map(member => [member.uuid, reader.physical(member.uuid)])),
+        };
+    });
+    if (value.roots.length !== 1)
+        return { kind: "wider", scope: "root", reason: "unindexed-root" };
+    // The snapshot is retained input: routing continues from it at boundaries.
+    await turnBoundary();
+    const rootUUID = value.roots[0].uuid;
+    const own = value.members.filter(member => member.rootUUID === rootUUID);
+    const view = await bindings.observe(value.members, uuid => value.rows.get(uuid));
+    const routed = new Map();
+    const folders = [];
+    const claim = (member, path, whole = false) => {
+        const entry = routed.get(member.uuid) ?? { uuid: member.uuid, directory: member.absolutePath, paths: [] };
+        if (whole)
+            entry.paths = null;
+        else if (path !== null)
+            entry.paths?.push(path);
+        routed.set(member.uuid, entry);
+    };
+    const answers = [];
+    for (const path of paths) {
+        await turnBoundary();
+        const absolute = join(directory, path);
+        const self = absolute === directory ? null : view.own(absolute);
+        const route = self === null ? view.route(absolute) : { kind: "single", uuid: self, whole: true };
+        if (route.kind === "reconcile") {
+            return { kind: "wider", scope: route.rootUUIDs.some(uuid => uuid !== rootUUID) ? "domain" : "root",
+                reason: `git-notice-consumer:${path}` };
+        }
+        if (route.kind === "worktree") {
+            answers.push({ path, address: route.address });
+            continue;
+        }
+        const member = own.find(candidate => candidate.uuid === route.uuid);
+        if (!member)
+            return { kind: "wider", scope: "domain", reason: `git-notice-consumer:${path}` };
+        answers.push({ path, address: member.absolutePath, repository: { member, whole: route.whole } });
+    }
+    const enclosing = (address) => own
+        .filter(member => member.absolutePath !== address && pathWithin(member.absolutePath, address));
+    for (const { path, address, repository } of answers) {
+        const ground = view.held(address);
+        if (repository && ground === address) {
+            const at = relative(directory, address).split(sep).join("/");
+            claim(repository.member, at ? `${at}/.git` : ".git", repository.whole);
+            continue;
+        }
+        if (!pathWithin(directory, ground))
+            return { kind: "wider", scope: "domain", reason: `git-notice-ground:${path}` };
+        const relativeGround = relative(directory, ground).split(sep).join("/");
+        const owner = enclosing(ground).reduce((inner, member) => !inner || member.absolutePath.length > inner.absolutePath.length ? member : inner, undefined);
+        if (owner)
+            claim(owner, relativeGround);
+        else if (relativeGround === "" || relativeGround === ".amalgmignore") {
+            return { kind: "wider", scope: "root", reason: `root-boundary:${relativeGround}` };
+        }
+        else
+            folders.push(relativeGround);
+    }
+    for (const repository of [...routed.values()]) {
+        const outer = enclosing(repository.directory).reduce((outermost, member) => !outermost || member.absolutePath.length < outermost.absolutePath.length ? member : outermost, undefined);
+        if (!outer)
+            continue;
+        routed.delete(repository.uuid);
+        if (repository.paths === null)
+            claim(outer, relative(directory, repository.directory).split(sep).join("/"));
+        for (const path of repository.paths ?? [])
+            claim(outer, path);
+    }
+    return { kind: "repositories", rootUUID, repositories: [...routed.values()], folders, proof: view.proof };
+}
+//# sourceMappingURL=repository-routes.js.map

package/dist/detection/repository-routes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repository-routes.js","sourceRoot":"","sources":["../../src/detection/repository-routes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAIhD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAGjD,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAG3C,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,IAAY,EAAW,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC;AA0BpH;;;;;;;;;;;;;kDAakD;AAClD,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,QAA2B,EAAE,QAA2B,EAAE,SAAiB,EAAE,KAAwB;IAErG,MAAM,EAAE,KAAK,EAAE,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE;QAC5D,MAAM,OAAO,GAAG,MAAM,CAAC,iBAAiB,EAAE,CAAC;QAC3C,OAAO;YACL,OAAO;YACP,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE,SAAS,CAAC;YAChD,IAAI,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAU,CAAC,CAAC;SAC3F,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAChG,2EAA2E;IAC3E,MAAM,YAAY,EAAE,CAAC;IACrB,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IACtC,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAA0B,CAAC,CAAC;IAC1G,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuE,CAAC;IAC9F,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,CAAC,MAA0B,EAAE,IAAmB,EAAE,KAAK,GAAG,KAAK,EAAQ,EAAE;QACrF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QAC1G,IAAI,KAAK;YAAE,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;aACzB,IAAI,IAAI,KAAK,IAAI;YAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC;IACF,MAAM,OAAO,GAC0D,EAAE,CAAC;IAC1E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,YAAY,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAW,CAAC;QAC1G,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC/B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM;gBAChG,MAAM,EAAE,uBAAuB,IAAI,EAAE,EAAE,CAAC;QAC5C,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC5F,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,uBAAuB,IAAI,EAAE,EAAE,CAAC;QAC9F,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,YAAY,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACnG,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,OAAe,EAAE,EAAE,CAAC,GAAG;SACvC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,YAAY,KAAK,OAAO,IAAI,UAAU,CAAC,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;IACjG,KAAK,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,OAAO,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,UAAU,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;YACrC,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC7D,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;YACvE,SAAS;QACX,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,qBAAqB,IAAI,EAAE,EAAE,CAAC;QACnH,MAAM,cAAc,GAAG,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxE,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,MAAM,CAAiC,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CACvF,CAAC,KAAK,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAChG,IAAI,KAAK;YAAE,KAAK,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;aACnC,IAAI,cAAc,KAAK,EAAE,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;YACrE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,cAAc,EAAE,EAAE,CAAC;QACrF,CAAC;;YAAM,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACtC,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,MAAM,CAAiC,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,CACzG,CAAC,SAAS,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAC5G,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,UAAU,CAAC,KAAK,KAAK,IAAI;YAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5G,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,IAAI,EAAE;YAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;AAC5G,CAAC"}

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

@@ -0,0 +1,94 @@
+import { type MaintenanceCause, type MaintenanceGap } from "@amalgm/live";
+import { type ContentBoundary } from "../content-clock.js";
+interface RootGround {
+    readonly database: string;
+    readonly resourceId: string;
+    readonly rootPath: string;
+    /** Core ground's portable name and every materialized binding it must
+     * reference; null for a bound root. */
+    readonly core: {
+        readonly name: string;
+        readonly bindings: readonly string[];
+    } | null;
+}
+/** Admission: prove the root equal to O and O's selection standing in B,
+ * naming only what differs, or fall back. */
+export interface RootExamination extends RootGround {
+    readonly purpose: "admission";
+    /** The root's content-clock stamp, taken before this examination's reads. */
+    readonly clock: ContentBoundary | null;
+}
+/** Maintenance: name what differs from O for the scoped lanes to serve. */
+export interface RootMaintenance extends RootGround {
+    readonly purpose: "maintenance";
+}
+export interface RootExaminationTimings {
+    readonly sqlMs: number;
+    readonly walkMs: number;
+    readonly gitMs: number;
+    /** Git re-answering each repository's semantic prerequisites. */
+    readonly proofMs: number;
+    readonly closeMs: number;
+}
+/** One address this walk could not prove unchanged against O. `subtree`
+ * leaves everything beneath it, on disk and in O, unexamined. */
+export interface GroundDifference {
+    readonly path: string;
+    /** Evidence only: every reason has one answer, a fresh observation. */
+    readonly reason: string;
+    /** O's identity at this address, or null where O held none. */
+    readonly uuid: string | null;
+    readonly parentUUID: string | null;
+    /** Disk's physical identity; O's for an absence. */
+    readonly physicalKey: string;
+    readonly subtree: boolean;
+}
+/** A repository whose Card and Checkpoint this walk did not answer. */
+export interface RepositoryInvalidation {
+    readonly uuid: string;
+    readonly path: string;
+    readonly reason: string;
+}
+export type RootExaminationResult = {
+    readonly kind: "examined";
+    readonly rootUUID: string;
+    /** The root's committed O/B revision this examination compared against. */
+    readonly revision: string;
+    readonly sequence: string;
+    readonly entries: number;
+    readonly differences: readonly GroundDifference[];
+    readonly invalidated: readonly RepositoryInvalidation[];
+    readonly repositories: readonly string[];
+    readonly footprints: readonly string[];
+    readonly physical: BigInt64Array;
+    readonly timings: RootExaminationTimings;
+} | {
+    readonly kind: "fallback";
+    readonly reason: string;
+    readonly timings: RootExaminationTimings;
+};
+/** One address maintenance saw differ from O. The root, "", stands for O
+ * this walk could not trust; only the complete lane serves it. */
+export interface RootFinding {
+    readonly path: string;
+    readonly cause: MaintenanceCause;
+    /** What stood there: a leaf's signature, a directory's physical key,
+     * "absent", or a repository's seal answer. */
+    readonly observed: string;
+}
+export interface RootMaintenanceResult {
+    readonly kind: "maintained";
+    /** The root O names at this directory, or null when it names none. */
+    readonly rootUUID: string | null;
+    /** S0 and the root's revision the findings were compared against. */
+    readonly basis: string;
+    readonly entries: number;
+    readonly findings: readonly RootFinding[];
+    /** Ground this visit could not read. A gap is never a finding. */
+    readonly gaps: readonly MaintenanceGap[];
+    readonly timings: RootExaminationTimings;
+}
+export declare function examineRoot(job: RootExamination): Promise<RootExaminationResult>;
+export declare function examineRoot(job: RootMaintenance): Promise<RootMaintenanceResult>;
+export declare function examineRoot(job: RootExamination | RootMaintenance): Promise<RootExaminationResult | RootMaintenanceResult>;
+export {};