@arden-hq/revisions 0.0.0-stage → 0.1.2

package/dist/domain/tree.js

@@ -0,0 +1,59 @@
+import { Effect } from "effect";
+import { ResourceVersion } from "./model.js";
+import { CorruptRepositoryError } from "./errors.js";
+import {} from "./format.js";
+import { validateActivePaths } from "./integrity.js";
+import { compareCodePoints } from "@arden-hq/std/json";
+const failCorrupt = (message) => Effect.fail(new CorruptRepositoryError({ message }));
+export const materializeSnapshot = Effect.fn("Revision.materializeSnapshot")(function* (readTree, treeId, cache) {
+    const active = new Set();
+    const visit = function* (id, prefix, depth) {
+        if (depth > 64)
+            return yield* failCorrupt(`tree ${treeId} exceeds the maximum directory depth`);
+        if (active.has(id))
+            return yield* failCorrupt(`tree ${treeId} contains a cycle at ${id}`);
+        const key = `${prefix}\0${id}`;
+        const existing = cache?.get(key);
+        if (existing !== undefined)
+            return yield* existing;
+        const read = Effect.gen(function* () {
+            active.add(id);
+            const tree = yield* readTree(id);
+            const resources = new Map();
+            const activePaths = new Set();
+            for (const entry of tree.entries) {
+                const versions = entry.kind === "subtree"
+                    ? (yield* visit(entry.tree_id, `${prefix}${entry.name}/`, depth + 1)).values()
+                    : [
+                        new ResourceVersion({
+                            resourceId: entry.resource_id,
+                            path: `${prefix}${entry.name}`,
+                            blobId: entry.blob_id,
+                            state: entry.state,
+                            versionId: entry.version_id
+                        }, { disableChecks: true })
+                    ];
+                for (const version of versions) {
+                    if (version.state === "active" && activePaths.has(version.path))
+                        return yield* failCorrupt(`tree repeats active path ${version.path}`);
+                    if (version.state === "active")
+                        activePaths.add(version.path);
+                    if (resources.has(version.resourceId))
+                        return yield* failCorrupt(`tree repeats resource ${version.resourceId}`);
+                    resources.set(version.resourceId, version);
+                }
+            }
+            active.delete(id);
+            return resources;
+        });
+        if (cache === undefined)
+            return yield* read;
+        const shared = yield* Effect.cached(read);
+        cache.set(key, shared);
+        return yield* shared;
+    };
+    const snapshot = yield* visit(treeId, "", 0);
+    yield* validateActivePaths(snapshot);
+    return new Map([...snapshot.entries()].sort(([left], [right]) => compareCodePoints(left, right)));
+});
+//# sourceMappingURL=tree.js.map

package/dist/domain/tree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tree.js","sourceRoot":"","sources":["../../src/domain/tree.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAC5C,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,EAAmB,MAAM,aAAa,CAAA;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAEtD,MAAM,WAAW,GAAG,CAAC,OAAe,EAAgD,EAAE,CACpF,MAAM,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AAEtD,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,EAAE,CAAC,8BAA8B,CAAC,CAAC,QAAQ,CAAC,EACpF,QAAsD,EACtD,MAAc,EACd,KAAgF;IAEhF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;IAChC,MAAM,KAAK,GAAG,QAAQ,CAAC,EACrB,EAAU,EACV,MAAc,EACd,KAAa;QAEb,IAAI,KAAK,GAAG,EAAE;YAAE,OAAO,KAAK,CAAC,CAAC,WAAW,CAAC,QAAQ,MAAM,sCAAsC,CAAC,CAAA;QAC/F,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,WAAW,CAAC,QAAQ,MAAM,wBAAwB,EAAE,EAAE,CAAC,CAAA;QACzF,MAAM,GAAG,GAAG,GAAG,MAAM,KAAK,EAAE,EAAE,CAAA;QAC9B,MAAM,QAAQ,GAAG,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAA;QAChC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAA;QAClD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC/B,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACd,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;YAChC,MAAM,SAAS,GAAG,IAAI,GAAG,EAA2B,CAAA;YACpD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;YACrC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjC,MAAM,QAAQ,GACZ,KAAK,CAAC,IAAI,KAAK,SAAS;oBACtB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,MAAM,GAAG,KAAK,CAAC,IAAI,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE;oBAC9E,CAAC,CAAC;wBACE,IAAI,eAAe,CACjB;4BACE,UAAU,EAAE,KAAK,CAAC,WAAW;4BAC7B,IAAI,EAAE,GAAG,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE;4BAC9B,MAAM,EAAE,KAAK,CAAC,OAAO;4BACrB,KAAK,EAAE,KAAK,CAAC,KAAK;4BAClB,SAAS,EAAE,KAAK,CAAC,UAAU;yBAC5B,EACD,EAAE,aAAa,EAAE,IAAI,EAAE,CACxB;qBACF,CAAA;gBACP,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;oBAC/B,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;wBAC7D,OAAO,KAAK,CAAC,CAAC,WAAW,CAAC,4BAA4B,OAAO,CAAC,IAAI,EAAE,CAAC,CAAA;oBACvE,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ;wBAAE,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;oBAC7D,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC;wBACnC,OAAO,KAAK,CAAC,CAAC,WAAW,CAAC,yBAAyB,OAAO,CAAC,UAAU,EAAE,CAAC,CAAA;oBAC1E,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;gBAC5C,CAAC;YACH,CAAC;YACD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACjB,OAAO,SAAS,CAAA;QAClB,CAAC,CAAC,CAAA;QACF,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,CAAC,IAAI,CAAA;QAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACzC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;QACtB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAA;IACtB,CAAC,CAAA;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;IAC5C,KAAK,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAA;IACpC,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;AACnG,CAAC,CAAC,CAAA"}

package/dist/effect/index.d.ts

@@ -0,0 +1,10 @@
+export { ManagedFileRepository } from "../repository/service.js";
+export type { AdoptWorkingChangesOptions, CommitInput, ManagedFileRepositoryOptions, ManagedFileRepositoryShape, RepositoryError, RepositoryOpenPhase, WorkingTreeChangesPreview } from "../repository/service.js";
+export type { CommitResult } from "../repository/commit.js";
+export { managedFileRepositoryNodeLayer } from "../storage/node.js";
+export { CorruptRepositoryError, IdempotencyConflictError, InvalidRevisionInputError, NoChangesError, RepositoryClosedError, RevisionConflictError, RevisionContentLimitError, RevisionStorageError, UnsafePathError } from "../domain/errors.js";
+export type { RevisionError } from "../domain/errors.js";
+export type { Commit, ResourceChange, ResourceVersion, WorkingTreeChange } from "../domain/model.js";
+export type { ResourceDiff, ResourceDiffPage } from "../domain/query.js";
+export type { CollectionReport, IntegrityReport, StorageReport } from "../storage/maintenance.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/effect/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/effect/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AAChE,YAAY,EACV,0BAA0B,EAC1B,WAAW,EACX,4BAA4B,EAC5B,0BAA0B,EAC1B,eAAe,EACf,mBAAmB,EACnB,yBAAyB,EAC1B,MAAM,0BAA0B,CAAA;AACjC,YAAY,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,8BAA8B,EAAE,MAAM,oBAAoB,CAAA;AACnE,OAAO,EACL,sBAAsB,EACtB,wBAAwB,EACxB,yBAAyB,EACzB,cAAc,EACd,qBAAqB,EACrB,qBAAqB,EACrB,yBAAyB,EACzB,oBAAoB,EACpB,eAAe,EAChB,MAAM,qBAAqB,CAAA;AAC5B,YAAY,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,YAAY,EAAE,MAAM,EAAE,cAAc,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AACpG,YAAY,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAA;AACxE,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA"}

package/dist/effect/index.js

@@ -0,0 +1,4 @@
+export { ManagedFileRepository } from "../repository/service.js";
+export { managedFileRepositoryNodeLayer } from "../storage/node.js";
+export { CorruptRepositoryError, IdempotencyConflictError, InvalidRevisionInputError, NoChangesError, RepositoryClosedError, RevisionConflictError, RevisionContentLimitError, RevisionStorageError, UnsafePathError } from "../domain/errors.js";
+//# sourceMappingURL=index.js.map

package/dist/effect/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/effect/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AAWhE,OAAO,EAAE,8BAA8B,EAAE,MAAM,oBAAoB,CAAA;AACnE,OAAO,EACL,sBAAsB,EACtB,wBAAwB,EACxB,yBAAyB,EACzB,cAAc,EACd,qBAAqB,EACrB,qBAAqB,EACrB,yBAAyB,EACzB,oBAAoB,EACpB,eAAe,EAChB,MAAM,qBAAqB,CAAA"}

package/dist/repository/commit.d.ts

@@ -0,0 +1,12 @@
+import { Effect } from "effect";
+import type { ChangeSet, Commit } from "../domain/model.js";
+import { type RevisionError } from "../domain/errors.js";
+import type { RevisionStorageShape } from "../storage/service.js";
+export interface CommitResult {
+    readonly commit: Commit;
+    /** True when the idempotency key already named this exact request and its first commit was returned. */
+    readonly replayed: boolean;
+}
+/** One commit under the repository lock: prepare, materialize, publish. */
+export declare const commit: (storage: RevisionStorageShape, head: Effect.Effect<string | null, RevisionError, never>, changeSet: ChangeSet, checkpoint?: ((stage: string) => Effect.Effect<void, RevisionError>) | undefined, adoptedPaths?: ReadonlyMap<string, string> | undefined) => Effect.Effect<CommitResult, RevisionError, never>;
+//# sourceMappingURL=commit.d.ts.map

package/dist/repository/commit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"commit.d.ts","sourceRoot":"","sources":["../../src/repository/commit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAE,MAAM,QAAQ,CAAA;AAStC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAC3D,OAAO,EAKL,KAAK,aAAa,EACnB,MAAM,qBAAqB,CAAA;AAO5B,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAA;AAejE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,wGAAwG;IACxG,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAC3B;AAKD,2EAA2E;AAC3E,eAAO,MAAM,MAAM,wIAII,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,2HAmLlE,CAAA"}

package/dist/repository/commit.js

@@ -0,0 +1,164 @@
+import { Clock, Effect } from "effect";
+import { parseIdempotencyRecord, transactionRecord } from "../domain/transaction.js";
+import { applyChangeSet, requestIdentity } from "../domain/change-set.js";
+import { encodeCommitRecord, encodeTreeRecord, parseCommitObject } from "../domain/codec.js";
+import { CorruptRepositoryError, IdempotencyConflictError, InvalidRevisionInputError, RevisionConflictError } from "../domain/errors.js";
+import { buildTreeObjects, canonicalJsonl, commitRecord } from "../domain/format.js";
+import { currentMap, timestamp } from "./state.js";
+import { artifact, assertWorking, installRows, recoverTransactions, validateBeforePrepare, validateWorkingTree, workingHash, writeIdempotencyRecord, writePreparedMarker } from "./transaction.js";
+import { sha256Hex } from "@arden-hq/std/hash";
+const bytesEqual = (left, right) => left.length === right.length && left.every((value, index) => value === right[index]);
+/** One commit under the repository lock: prepare, materialize, publish. */
+export const commit = Effect.fn("RevisionRepository.commit")(function* (storage, head, changeSet, checkpoint, adoptedPaths) {
+    const critical = Effect.gen(function* () {
+        yield* recoverTransactions(storage);
+        const identity = yield* requestIdentity(changeSet);
+        const existing = yield* storage.readIdempotency(identity.keyHash);
+        if (existing !== null) {
+            const record = yield* parseIdempotencyRecord(existing, identity.keyHash);
+            if (record.requestHash !== identity.requestHash)
+                return yield* new IdempotencyConflictError({
+                    message: `idempotency key was reused for a different request: ${changeSet.idempotencyKey}`
+                });
+            return {
+                commit: yield* storage
+                    .readCommit(record.commitId)
+                    .pipe(Effect.flatMap((bytes) => parseCommitObject(record.commitId, bytes))),
+                replayed: true
+            };
+        }
+        const oldHead = yield* head;
+        if ((changeSet.expectedHead !== null &&
+            changeSet.expectedHead !== undefined &&
+            changeSet.expectedHead !== oldHead) ||
+            (changeSet.enforceExpectedHead === true && (changeSet.expectedHead ?? null) !== oldHead)) {
+            return yield* new RevisionConflictError({
+                message: `expected head changed: expected ${changeSet.expectedHead ?? "null"}, found ${oldHead ?? "null"}`
+            });
+        }
+        const before = yield* currentMap(storage, oldHead);
+        const applied = yield* applyChangeSet(changeSet, before);
+        const adopted = adoptedPaths === undefined
+            ? null
+            : new Map();
+        if (adoptedPaths !== undefined && adopted !== null) {
+            for (const operation of changeSet.operations) {
+                if (operation._tag !== "Update") {
+                    return yield* new InvalidRevisionInputError({
+                        message: "working-tree adoption only supports active resource updates"
+                    });
+                }
+                const path = adoptedPaths.get(operation.resourceId);
+                if (path === undefined) {
+                    return yield* new InvalidRevisionInputError({
+                        message: `working-tree adoption is missing resource: ${operation.resourceId}`
+                    });
+                }
+                adopted.set(operation.resourceId, { path, content: new Uint8Array(operation.content) });
+            }
+            if (adopted.size !== adoptedPaths.size) {
+                return yield* new InvalidRevisionInputError({
+                    message: "working-tree adoption contains an unknown resource"
+                });
+            }
+        }
+        for (const resource of before.values()) {
+            if (resource.state !== "active")
+                continue;
+            const change = adopted?.get(resource.resourceId);
+            if (change === undefined) {
+                yield* assertWorking(storage, resource.path, resource.blobId);
+                continue;
+            }
+            if (change.path !== resource.path) {
+                return yield* new RevisionConflictError({
+                    message: `managed resource path changed: ${resource.resourceId}`
+                });
+            }
+            const content = yield* storage.readWorking(resource.path, true, true);
+            if (content === null || !bytesEqual(content, change.content)) {
+                return yield* new RevisionConflictError({
+                    message: `working file changed after preview: ${resource.path}`
+                });
+            }
+        }
+        for (const [blobId, content] of applied.payloads)
+            if (sha256Hex(content) !== blobId)
+                return yield* new CorruptRepositoryError({ message: `payload hash mismatch: ${blobId}` });
+        for (const content of applied.payloads.values())
+            yield* storage.writeBlob(content);
+        const trees = buildTreeObjects([...applied.resulting.values()]);
+        for (const [treeId, tree] of trees.objects) {
+            if (sha256Hex(canonicalJsonl(tree)) !== treeId)
+                return yield* new CorruptRepositoryError({ message: `tree hash mismatch: ${treeId}` });
+            yield* storage.writeTree(encodeTreeRecord(tree));
+        }
+        const now = yield* Clock.currentTimeMillis;
+        const record = {
+            parentId: oldHead,
+            treeId: trees.rootId,
+            actor: changeSet.actor,
+            origin: changeSet.origin,
+            reason: changeSet.reason,
+            timestamp: timestamp(now),
+            changes: applied.changes
+        };
+        const commitBytes = encodeCommitRecord(commitRecord(record));
+        const newHead = yield* storage.writeCommit(commitBytes);
+        const rows = applied.rows;
+        const transactionWithoutId = {
+            oldHead,
+            newHead,
+            treeId: trees.rootId,
+            keyHash: identity.keyHash,
+            requestHash: identity.requestHash,
+            rows
+        };
+        const transactionId = sha256Hex(canonicalJsonl(transactionRecord(transactionWithoutId)));
+        const transaction = { transactionId, ...transactionWithoutId };
+        yield* storage.ensureMetadataDirectory(`transactions/${transactionId}`);
+        yield* storage.ensureMetadataDirectory(`transactions/${transactionId}/publish`);
+        yield* storage.ensureMetadataDirectory(`transactions/${transactionId}/backups`);
+        yield* storage.ensureMetadataDirectory(`transactions/${transactionId}/displaced`);
+        yield* storage.ensureMetadataDirectory(`transactions/${transactionId}/rejected`);
+        yield* storage.ensureMetadataDirectory(`transactions/${transactionId}/markers`);
+        for (const [index, row] of rows.entries()) {
+            if (row.newBlob !== null)
+                yield* storage.writeMetadata(artifact(transactionId, "publish", index), yield* storage.readBlob(row.newBlob), true);
+            if (row.oldBlob !== null)
+                yield* storage.writeMetadata(artifact(transactionId, "backups", index), yield* storage.readBlob(row.oldBlob), true);
+        }
+        yield* storage.writeMetadata(`transactions/${transactionId}/manifest.jsonl`, canonicalJsonl(transactionRecord(transactionWithoutId)), true);
+        if (adopted !== null) {
+            yield* storage.writeMetadata(`transactions/${transactionId}/markers/ADOPTING`, new Uint8Array(), true);
+        }
+        yield* writePreparedMarker(storage, yield* validateBeforePrepare(storage, transaction));
+        if (checkpoint !== undefined)
+            yield* checkpoint("after_prepared");
+        yield* storage.readRef.pipe(Effect.flatMap((current) => current === oldHead
+            ? Effect.succeed(undefined)
+            : new RevisionConflictError({ message: "current ref changed before materialization" })));
+        yield* installRows(storage, transaction, adopted !== null);
+        for (const row of rows) {
+            const actual = yield* workingHash(storage, row.path);
+            if (actual !== row.newBlob)
+                return yield* new RevisionConflictError({
+                    message: `materialized path does not match new tree: ${row.path}`
+                });
+        }
+        yield* validateWorkingTree(storage, newHead);
+        if (checkpoint !== undefined)
+            yield* checkpoint("before_ref");
+        yield* storage.compareAndSwapRef(oldHead, newHead);
+        if (checkpoint !== undefined)
+            yield* checkpoint("after_ref");
+        yield* storage.writeMetadata(`transactions/${transactionId}/markers/DECIDED`, new Uint8Array(), true);
+        yield* storage.publish(newHead);
+        yield* writeIdempotencyRecord(storage, identity.keyHash, identity.requestHash, newHead);
+        yield* storage.writeMetadata(`transactions/${transactionId}/markers/COMMITTED`, new Uint8Array(), true);
+        yield* storage.removeMetadataTree(`transactions/${transactionId}`);
+        return { commit: yield* parseCommitObject(newHead, commitBytes), replayed: false };
+    });
+    return yield* storage.withLock(critical);
+});
+//# sourceMappingURL=commit.js.map

package/dist/repository/commit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"commit.js","sourceRoot":"","sources":["../../src/repository/commit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEtC,OAAO,EACL,sBAAsB,EACtB,iBAAiB,EAElB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AACzE,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAE5F,OAAO,EACL,sBAAsB,EACtB,wBAAwB,EACxB,yBAAyB,EACzB,qBAAqB,EAEtB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EACL,gBAAgB,EAChB,cAAc,EACd,YAAY,EAEb,MAAM,qBAAqB,CAAA;AAE5B,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAClD,OAAO,EACL,QAAQ,EACR,aAAa,EACb,WAAW,EACX,mBAAmB,EACnB,qBAAqB,EACrB,mBAAmB,EACnB,WAAW,EACX,sBAAsB,EACtB,mBAAmB,EACpB,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAA;AAQ9C,MAAM,UAAU,GAAG,CAAC,IAAgB,EAAE,KAAiB,EAAW,EAAE,CAClE,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,CAAA;AAEtF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,QAAQ,CAAC,EACpE,OAA6B,EAC7B,IAAiD,EACjD,SAAoB,EACpB,UAAkE,EAClE,YAA0C;IAE1C,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnC,KAAK,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAA;QACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAA;QAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;QACjE,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,sBAAsB,CAAC,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;YACxE,IAAI,MAAM,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW;gBAC7C,OAAO,KAAK,CAAC,CAAC,IAAI,wBAAwB,CAAC;oBACzC,OAAO,EAAE,uDAAuD,SAAS,CAAC,cAAc,EAAE;iBAC3F,CAAC,CAAA;YACJ,OAAO;gBACL,MAAM,EAAE,KAAK,CAAC,CAAC,OAAO;qBACnB,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC;qBAC3B,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;gBAC7E,QAAQ,EAAE,IAAI;aACf,CAAA;QACH,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,IAAI,CAAA;QAC3B,IACE,CAAC,SAAS,CAAC,YAAY,KAAK,IAAI;YAC9B,SAAS,CAAC,YAAY,KAAK,SAAS;YACpC,SAAS,CAAC,YAAY,KAAK,OAAO,CAAC;YACrC,CAAC,SAAS,CAAC,mBAAmB,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,YAAY,IAAI,IAAI,CAAC,KAAK,OAAO,CAAC,EACxF,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,IAAI,qBAAqB,CAAC;gBACtC,OAAO,EAAE,mCAAmC,SAAS,CAAC,YAAY,IAAI,MAAM,WAAW,OAAO,IAAI,MAAM,EAAE;aAC3G,CAAC,CAAA;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;QAClD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,SAAS,EAAE,MAAM,CAAC,CAAA;QACxD,MAAM,OAAO,GACX,YAAY,KAAK,SAAS;YACxB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,IAAI,GAAG,EAAmE,CAAA;QAChF,IAAI,YAAY,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACnD,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;gBAC7C,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAChC,OAAO,KAAK,CAAC,CAAC,IAAI,yBAAyB,CAAC;wBAC1C,OAAO,EAAE,6DAA6D;qBACvE,CAAC,CAAA;gBACJ,CAAC;gBACD,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,CAAA;gBACnD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,OAAO,KAAK,CAAC,CAAC,IAAI,yBAAyB,CAAC;wBAC1C,OAAO,EAAE,8CAA8C,SAAS,CAAC,UAAU,EAAE;qBAC9E,CAAC,CAAA;gBACJ,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YACzF,CAAC;YACD,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,CAAC;gBACvC,OAAO,KAAK,CAAC,CAAC,IAAI,yBAAyB,CAAC;oBAC1C,OAAO,EAAE,oDAAoD;iBAC9D,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ;gBAAE,SAAQ;YACzC,MAAM,MAAM,GAAG,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;YAChD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAA;gBAC7D,SAAQ;YACV,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;gBAClC,OAAO,KAAK,CAAC,CAAC,IAAI,qBAAqB,CAAC;oBACtC,OAAO,EAAE,kCAAkC,QAAQ,CAAC,UAAU,EAAE;iBACjE,CAAC,CAAA;YACJ,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YACrE,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC7D,OAAO,KAAK,CAAC,CAAC,IAAI,qBAAqB,CAAC;oBACtC,OAAO,EAAE,uCAAuC,QAAQ,CAAC,IAAI,EAAE;iBAChE,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,OAAO,CAAC,QAAQ;YAC9C,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,MAAM;gBAC/B,OAAO,KAAK,CAAC,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,0BAA0B,MAAM,EAAE,EAAE,CAAC,CAAA;QAC7F,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE;YAAE,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;QAClF,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;QAC/D,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAC3C,IAAI,SAAS,CAAC,cAAc,CAAC,IAA6B,CAAC,CAAC,KAAK,MAAM;gBACrE,OAAO,KAAK,CAAC,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,uBAAuB,MAAM,EAAE,EAAE,CAAC,CAAA;YACxF,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAA;QAC1C,MAAM,MAAM,GAAG;YACb,QAAQ,EAAE,OAAO;YACjB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC;YACzB,OAAO,EAAE,OAAO,CAAC,OAAO;SACzB,CAAA;QACD,MAAM,WAAW,GAAG,kBAAkB,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAA;QAC5D,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,WAAW,CAAC,CAAA;QACvD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAA;QACzB,MAAM,oBAAoB,GAAG;YAC3B,OAAO;YACP,OAAO;YACP,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,IAAI;SACL,CAAA;QACD,MAAM,aAAa,GAAG,SAAS,CAAC,cAAc,CAAC,iBAAiB,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAA;QACxF,MAAM,WAAW,GAAgB,EAAE,aAAa,EAAE,GAAG,oBAAoB,EAAE,CAAA;QAC3E,KAAK,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,gBAAgB,aAAa,EAAE,CAAC,CAAA;QACvE,KAAK,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,gBAAgB,aAAa,UAAU,CAAC,CAAA;QAC/E,KAAK,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,gBAAgB,aAAa,UAAU,CAAC,CAAA;QAC/E,KAAK,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,gBAAgB,aAAa,YAAY,CAAC,CAAA;QACjF,KAAK,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,gBAAgB,aAAa,WAAW,CAAC,CAAA;QAChF,KAAK,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,gBAAgB,aAAa,UAAU,CAAC,CAAA;QAC/E,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1C,IAAI,GAAG,CAAC,OAAO,KAAK,IAAI;gBACtB,KAAK,CAAC,CAAC,OAAO,CAAC,aAAa,CAC1B,QAAQ,CAAC,aAAa,EAAE,SAAS,EAAE,KAAK,CAAC,EACzC,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EACpC,IAAI,CACL,CAAA;YACH,IAAI,GAAG,CAAC,OAAO,KAAK,IAAI;gBACtB,KAAK,CAAC,CAAC,OAAO,CAAC,aAAa,CAC1B,QAAQ,CAAC,aAAa,EAAE,SAAS,EAAE,KAAK,CAAC,EACzC,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EACpC,IAAI,CACL,CAAA;QACL,CAAC;QACD,KAAK,CAAC,CAAC,OAAO,CAAC,aAAa,CAC1B,gBAAgB,aAAa,iBAAiB,EAC9C,cAAc,CAAC,iBAAiB,CAAC,oBAAoB,CAAC,CAAC,EACvD,IAAI,CACL,CAAA;QACD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,KAAK,CAAC,CAAC,OAAO,CAAC,aAAa,CAC1B,gBAAgB,aAAa,mBAAmB,EAChD,IAAI,UAAU,EAAE,EAChB,IAAI,CACL,CAAA;QACH,CAAC;QACD,KAAK,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAA;QACvF,IAAI,UAAU,KAAK,SAAS;YAAE,KAAK,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAA;QACjE,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CACzB,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACzB,OAAO,KAAK,OAAO;YACjB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;YAC3B,CAAC,CAAC,IAAI,qBAAqB,CAAC,EAAE,OAAO,EAAE,4CAA4C,EAAE,CAAC,CACzF,CACF,CAAA;QACD,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,KAAK,IAAI,CAAC,CAAA;QAC1D,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAA;YACpD,IAAI,MAAM,KAAK,GAAG,CAAC,OAAO;gBACxB,OAAO,KAAK,CAAC,CAAC,IAAI,qBAAqB,CAAC;oBACtC,OAAO,EAAE,8CAA8C,GAAG,CAAC,IAAI,EAAE;iBAClE,CAAC,CAAA;QACN,CAAC;QACD,KAAK,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;QAC5C,IAAI,UAAU,KAAK,SAAS;YAAE,KAAK,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,CAAA;QAC7D,KAAK,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;QAClD,IAAI,UAAU,KAAK,SAAS;YAAE,KAAK,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAA;QAC5D,KAAK,CAAC,CAAC,OAAO,CAAC,aAAa,CAC1B,gBAAgB,aAAa,kBAAkB,EAC/C,IAAI,UAAU,EAAE,EAChB,IAAI,CACL,CAAA;QACD,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QAC/B,KAAK,CAAC,CAAC,sBAAsB,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,CAAA;QACvF,KAAK,CAAC,CAAC,OAAO,CAAC,aAAa,CAC1B,gBAAgB,aAAa,oBAAoB,EACjD,IAAI,UAAU,EAAE,EAChB,IAAI,CACL,CAAA;QACD,KAAK,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,aAAa,EAAE,CAAC,CAAA;QAClE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;IACpF,CAAC,CAAC,CAAA;IACF,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;AAC1C,CAAC,CAAC,CAAA"}

package/dist/repository/history.d.ts

@@ -0,0 +1,21 @@
+import { Effect } from "effect";
+import type { Commit } from "../domain/model.js";
+import type { RevisionError } from "../domain/errors.js";
+interface HistoryInput {
+    readonly head: string | null;
+    readonly resourceId?: string | null;
+    readonly start?: string | null;
+    readonly stopBefore?: string | null;
+    readonly limit?: number | null;
+    readonly validHash: (value: unknown) => boolean;
+    readonly requireReachable: (commitId: string) => Effect.Effect<void, RevisionError>;
+    readonly loadCommit: (commitId: string) => Effect.Effect<Commit, RevisionError>;
+    readonly validateCommitTransition: (commit: Commit) => Effect.Effect<unknown, RevisionError>;
+}
+/** Repository-local, derived metadata. Returned revisions are always read and validated afresh. */
+export declare const makeHistoryQuery: () => {
+    readonly prepare: (input: Pick<HistoryInput, "head" | "loadCommit">) => Effect.Effect<void, RevisionError>;
+    readonly query: (input: HistoryInput) => Effect.Effect<readonly Commit[], RevisionError>;
+};
+export {};
+//# sourceMappingURL=history.d.ts.map

package/dist/repository/history.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"history.d.ts","sourceRoot":"","sources":["../../src/repository/history.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAEhD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAExD,UAAU,YAAY;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC9B,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAA;IAC/C,QAAQ,CAAC,gBAAgB,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAA;IACnF,QAAQ,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;IAC/E,QAAQ,CAAC,wBAAwB,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,CAAA;CAC7F;AAoBD,mGAAmG;AACnG,eAAO,MAAM,gBAAgB,QAAO;IAClC,QAAQ,CAAC,OAAO,EAAE,CAChB,KAAK,EAAE,IAAI,CAAC,YAAY,EAAE,MAAM,GAAG,YAAY,CAAC,KAC7C,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAA;IACvC,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,YAAY,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,EAAE,aAAa,CAAC,CAAA;CAyJzF,CAAA"}

package/dist/repository/history.js

@@ -0,0 +1,152 @@
+import { Effect } from "effect";
+import { CorruptRepositoryError, InvalidRevisionInputError } from "../domain/errors.js";
+/** Repository-local, derived metadata. Returned revisions are always read and validated afresh. */
+export const makeHistoryQuery = () => {
+    let index = { ids: [], positions: new Map(), resources: new Map() };
+    let unfinished;
+    const prepareIndex = Effect.fn("Revision.prepareHistoryIndex")(function* (input, start) {
+        const previous = index;
+        let walk = unfinished?.start === start && unfinished.base === previous
+            ? unfinished
+            : { start, base: previous, cursor: start, tail: undefined };
+        unfinished = walk;
+        const seen = new Set();
+        for (let node = walk.tail; node !== undefined; node = node.previous)
+            seen.add(node.commit.commitId);
+        while (walk.cursor !== null && !previous.positions.has(walk.cursor)) {
+            if (seen.has(walk.cursor))
+                return yield* new CorruptRepositoryError({
+                    message: `commit history contains a cycle at ${walk.cursor}`
+                });
+            const commit = yield* input.loadCommit(walk.cursor);
+            seen.add(walk.cursor);
+            const next = {
+                start,
+                base: previous,
+                cursor: commit.parentId,
+                tail: { commit, previous: walk.tail }
+            };
+            if (unfinished === walk)
+                unfinished = next;
+            walk = next;
+        }
+        if (walk.tail !== undefined) {
+            const cursorPosition = walk.cursor === null ? undefined : previous.positions.get(walk.cursor);
+            const prefixLength = cursorPosition === undefined ? 0 : cursorPosition + 1;
+            const ids = previous.ids.slice(0, prefixLength);
+            const positions = new Map(ids.map((id, position) => [id, position]));
+            const resources = new Map();
+            for (const [resourceId, entries] of previous.resources) {
+                const retained = entries.filter((position) => position < prefixLength);
+                if (retained.length > 0)
+                    resources.set(resourceId, retained);
+            }
+            for (let node = walk.tail; node !== undefined; node = node.previous) {
+                const commit = node.commit;
+                const position = ids.length;
+                ids.push(commit.commitId);
+                positions.set(commit.commitId, position);
+                const changed = new Set();
+                for (const change of commit.changes) {
+                    const resource = change.after ?? change.before;
+                    if (resource === null)
+                        return yield* new CorruptRepositoryError({ message: "resource change has no identity" });
+                    changed.add(resource.resourceId);
+                }
+                for (const resourceId of changed) {
+                    const entries = resources.get(resourceId) ?? [];
+                    entries.push(position);
+                    resources.set(resourceId, entries);
+                }
+            }
+            const completed = { ids, positions, resources };
+            if (index === previous)
+                index = completed;
+            if (unfinished === walk)
+                unfinished = undefined;
+            return completed;
+        }
+        if (unfinished === walk)
+            unfinished = undefined;
+        return previous;
+    });
+    const query = Effect.fn("Revision.history")(function* (input) {
+        if (input.limit != null && (!Number.isInteger(input.limit) || input.limit < 1)) {
+            return yield* new InvalidRevisionInputError({ message: "history limit must be positive" });
+        }
+        if (input.stopBefore != null && !input.validHash(input.stopBefore)) {
+            return yield* new InvalidRevisionInputError({
+                message: `unknown history stop boundary: ${input.stopBefore}`
+            });
+        }
+        const start = input.start ?? input.head;
+        if (input.start != null)
+            yield* input.requireReachable(input.start);
+        if (start === input.stopBefore)
+            return [];
+        if (input.resourceId == null) {
+            const commits = [];
+            const seen = new Set();
+            let cursor = start;
+            while (cursor !== null) {
+                if (cursor === input.stopBefore)
+                    return commits;
+                if (seen.has(cursor))
+                    return yield* new CorruptRepositoryError({
+                        message: `commit history contains a cycle at ${cursor}`
+                    });
+                seen.add(cursor);
+                const commit = yield* input.loadCommit(cursor);
+                yield* input.validateCommitTransition(commit);
+                commits.push(commit);
+                if (input.stopBefore == null && input.limit != null && commits.length >= input.limit)
+                    return commits;
+                cursor = commit.parentId;
+            }
+            if (input.stopBefore != null)
+                return yield* new InvalidRevisionInputError({
+                    message: `history stop boundary is not reachable from the selected start: ${input.stopBefore}`
+                });
+            return commits;
+        }
+        const selected = yield* prepareIndex(input, start);
+        const startPosition = start === null ? -1 : selected.positions.get(start);
+        if (startPosition === undefined) {
+            return yield* new CorruptRepositoryError({
+                message: `commit history does not index its start ${start}`
+            });
+        }
+        const stopPosition = input.stopBefore == null ? -1 : selected.positions.get(input.stopBefore);
+        if (stopPosition === undefined || stopPosition > startPosition) {
+            return yield* new InvalidRevisionInputError({
+                message: `history stop boundary is not reachable from the selected start: ${input.stopBefore}`
+            });
+        }
+        const positions = selected.resources.get(input.resourceId) ?? [];
+        const ids = [];
+        for (const position of [...positions].reverse()) {
+            if (position > startPosition)
+                continue;
+            if (position <= stopPosition)
+                break;
+            const id = selected.ids[position];
+            if (id === undefined)
+                return yield* new CorruptRepositoryError({
+                    message: `commit history has no commit at ${position}`
+                });
+            ids.push(id);
+            if (input.stopBefore == null && input.limit != null && ids.length >= input.limit)
+                break;
+        }
+        return yield* Effect.forEach(ids, Effect.fn("Revision.history.id")(function* (id) {
+            const commit = yield* input.loadCommit(id);
+            yield* input.validateCommitTransition(commit);
+            return commit;
+        }), { concurrency: 8 });
+    });
+    return {
+        query,
+        prepare: (input) => prepareIndex(input, input.head).pipe(Effect.asVoid)
+    };
+};
+//# sourceMappingURL=history.js.map

package/dist/repository/history.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"history.js","sourceRoot":"","sources":["../../src/repository/history.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B,OAAO,EAAE,sBAAsB,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAA;AAiCvF,mGAAmG;AACnG,MAAM,CAAC,MAAM,gBAAgB,GAAG,GAK9B,EAAE;IACF,IAAI,KAAK,GAAiB,EAAE,GAAG,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;IACjF,IAAI,UAAmC,CAAA;IAEvC,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,8BAA8B,CAAC,CAAC,QAAQ,CAAC,EACtE,KAAgD,EAChD,KAAoB;QAEpB,MAAM,QAAQ,GAAG,KAAK,CAAA;QACtB,IAAI,IAAI,GACN,UAAU,EAAE,KAAK,KAAK,KAAK,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ;YACzD,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;QAC/D,UAAU,GAAG,IAAI,CAAA;QACjB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,KAAK,IAAI,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,EAAE,IAAI,GAAG,IAAI,CAAC,QAAQ;YACjE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;QAChC,OAAO,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACpE,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;gBACvB,OAAO,KAAK,CAAC,CAAC,IAAI,sBAAsB,CAAC;oBACvC,OAAO,EAAE,sCAAsC,IAAI,CAAC,MAAM,EAAE;iBAC7D,CAAC,CAAA;YACJ,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACnD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACrB,MAAM,IAAI,GAAgB;gBACxB,KAAK;gBACL,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,MAAM,CAAC,QAAQ;gBACvB,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;aACtC,CAAA;YACD,IAAI,UAAU,KAAK,IAAI;gBAAE,UAAU,GAAG,IAAI,CAAA;YAC1C,IAAI,GAAG,IAAI,CAAA;QACb,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YAC7F,MAAM,YAAY,GAAG,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,GAAG,CAAC,CAAA;YAC1E,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,CAAA;YAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;YACpE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAA;YAC7C,KAAK,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;gBACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,GAAG,YAAY,CAAC,CAAA;gBACtE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;oBAAE,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAA;YAC9D,CAAC;YACD,KACE,IAAI,IAAI,GAAgC,IAAI,CAAC,IAAI,EACjD,IAAI,KAAK,SAAS,EAClB,IAAI,GAAG,IAAI,CAAC,QAAQ,EACpB,CAAC;gBACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;gBAC1B,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAA;gBAC3B,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;gBACzB,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;gBACxC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;gBACjC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;oBACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,CAAA;oBAC9C,IAAI,QAAQ,KAAK,IAAI;wBACnB,OAAO,KAAK,CAAC,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,iCAAiC,EAAE,CAAC,CAAA;oBAC1F,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;gBAClC,CAAC;gBACD,KAAK,MAAM,UAAU,IAAI,OAAO,EAAE,CAAC;oBACjC,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAA;oBAC/C,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;oBACtB,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;gBACpC,CAAC;YACH,CAAC;YACD,MAAM,SAAS,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;YAC/C,IAAI,KAAK,KAAK,QAAQ;gBAAE,KAAK,GAAG,SAAS,CAAA;YACzC,IAAI,UAAU,KAAK,IAAI;gBAAE,UAAU,GAAG,SAAS,CAAA;YAC/C,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,IAAI,UAAU,KAAK,IAAI;YAAE,UAAU,GAAG,SAAS,CAAA;QAC/C,OAAO,QAAQ,CAAA;IACjB,CAAC,CAAC,CAAA;IAEF,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAmB;QACxE,IAAI,KAAK,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/E,OAAO,KAAK,CAAC,CAAC,IAAI,yBAAyB,CAAC,EAAE,OAAO,EAAE,gCAAgC,EAAE,CAAC,CAAA;QAC5F,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;YACnE,OAAO,KAAK,CAAC,CAAC,IAAI,yBAAyB,CAAC;gBAC1C,OAAO,EAAE,kCAAkC,KAAK,CAAC,UAAU,EAAE;aAC9D,CAAC,CAAA;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAA;QACvC,IAAI,KAAK,CAAC,KAAK,IAAI,IAAI;YAAE,KAAK,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QACnE,IAAI,KAAK,KAAK,KAAK,CAAC,UAAU;YAAE,OAAO,EAAE,CAAA;QAEzC,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAa,EAAE,CAAA;YAC5B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;YAC9B,IAAI,MAAM,GAAG,KAAK,CAAA;YAClB,OAAO,MAAM,KAAK,IAAI,EAAE,CAAC;gBACvB,IAAI,MAAM,KAAK,KAAK,CAAC,UAAU;oBAAE,OAAO,OAAO,CAAA;gBAC/C,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;oBAClB,OAAO,KAAK,CAAC,CAAC,IAAI,sBAAsB,CAAC;wBACvC,OAAO,EAAE,sCAAsC,MAAM,EAAE;qBACxD,CAAC,CAAA;gBACJ,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;gBAChB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;gBAC9C,KAAK,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAA;gBAC7C,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBACpB,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,IAAI,KAAK,CAAC,KAAK,IAAI,IAAI,IAAI,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK;oBAClF,OAAO,OAAO,CAAA;gBAChB,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAA;YAC1B,CAAC;YACD,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI;gBAC1B,OAAO,KAAK,CAAC,CAAC,IAAI,yBAAyB,CAAC;oBAC1C,OAAO,EAAE,mEAAmE,KAAK,CAAC,UAAU,EAAE;iBAC/F,CAAC,CAAA;YACJ,OAAO,OAAO,CAAA;QAChB,CAAC;QAED,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAClD,MAAM,aAAa,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACzE,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,OAAO,KAAK,CAAC,CAAC,IAAI,sBAAsB,CAAC;gBACvC,OAAO,EAAE,2CAA2C,KAAK,EAAE;aAC5D,CAAC,CAAA;QACJ,CAAC;QACD,MAAM,YAAY,GAAG,KAAK,CAAC,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;QAC7F,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,GAAG,aAAa,EAAE,CAAC;YAC/D,OAAO,KAAK,CAAC,CAAC,IAAI,yBAAyB,CAAC;gBAC1C,OAAO,EAAE,mEAAmE,KAAK,CAAC,UAAU,EAAE;aAC/F,CAAC,CAAA;QACJ,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,CAAA;QAChE,MAAM,GAAG,GAAa,EAAE,CAAA;QACxB,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;YAChD,IAAI,QAAQ,GAAG,aAAa;gBAAE,SAAQ;YACtC,IAAI,QAAQ,IAAI,YAAY;gBAAE,MAAK;YACnC,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;YACjC,IAAI,EAAE,KAAK,SAAS;gBAClB,OAAO,KAAK,CAAC,CAAC,IAAI,sBAAsB,CAAC;oBACvC,OAAO,EAAE,mCAAmC,QAAQ,EAAE;iBACvD,CAAC,CAAA;YACJ,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YACZ,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,IAAI,KAAK,CAAC,KAAK,IAAI,IAAI,IAAI,GAAG,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK;gBAAE,MAAK;QACzF,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAC1B,GAAG,EACH,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE;YAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;YAC1C,KAAK,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAA;YAC7C,OAAO,MAAM,CAAA;QACf,CAAC,CAAC,EACF,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CAAA;IACH,CAAC,CAAC,CAAA;IACF,OAAO;QACL,KAAK;QACL,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;KACxE,CAAA;AACH,CAAC,CAAA"}

package/dist/repository/service.d.ts

@@ -0,0 +1,114 @@
+import { Context, Effect, Layer, type FileSystem, type Path } from "effect";
+import { ChangeSet, Commit, ResourceVersion, WorkingTreeChange } from "../domain/model.js";
+import type { RevisionError } from "../domain/errors.js";
+import { type CommitResult } from "./commit.js";
+import type { ResourceDiff, ResourceDiffPage } from "../domain/query.js";
+import { type CollectionReport, type IntegrityReport, type StorageReport } from "../storage/maintenance.js";
+import { type RevisionLockFactory, type RevisionStorageOptions } from "../storage/service.js";
+export type RepositoryError = RevisionError;
+export type RepositoryOpenPhase = "revision_storage_ready" | "revision_lock_acquired" | "revision_initialized" | "revision_recovered" | "revision_ref_checked";
+export interface ManagedFileRepositoryOptions extends RevisionStorageOptions {
+    /** Unreachable objects newer than this are retained. Defaults to 30 days. */
+    readonly gcGracePeriodMs?: number;
+    /** Test/diagnostic hook. Production callers normally leave this unset. */
+    readonly checkpoint?: (stage: string) => Effect.Effect<void, RepositoryError>;
+    /** Startup diagnostics only; callback failures never block repository opening. */
+    readonly onOpenPhase?: (phase: RepositoryOpenPhase) => void;
+}
+/**
+ * One commit request. `expectedHead` is a repository-wide compare-and-swap:
+ * omit it for none; `null` with `enforceExpectedHead` asserts an empty repository.
+ * `idempotencyKey` is the durable write identity — a retry with the same key and
+ * request replays the first commit; omit it for a fresh identity.
+ */
+export type CommitInput = Omit<typeof ChangeSet.Encoded, "idempotencyKey"> & {
+    readonly idempotencyKey?: string;
+};
+export interface WorkingTreeChangesPreview {
+    readonly revision: string | null;
+    readonly changes: readonly WorkingTreeChange[];
+}
+export interface AdoptWorkingChangesOptions {
+    readonly actor: string;
+    readonly origin: string;
+    readonly reason: string;
+}
+export interface ManagedFileRepositoryShape {
+    readonly head: Effect.Effect<string | null, RepositoryError>;
+    readonly currentRevision: Effect.Effect<string | null, RepositoryError>;
+    readonly isReachable: (commitId: string) => Effect.Effect<boolean, RepositoryError>;
+    readonly get: (resourceId: string, options?: {
+        readonly at?: string | null;
+    }) => Effect.Effect<ResourceVersion | null, RepositoryError>;
+    readonly findByPath: (path: string, options?: {
+        readonly at?: string | null;
+        readonly includeArchived?: boolean;
+    }) => Effect.Effect<ResourceVersion | null, RepositoryError>;
+    readonly listResources: (options?: {
+        readonly at?: string | null;
+        readonly includeArchived?: boolean;
+    }) => Effect.Effect<readonly ResourceVersion[], RepositoryError>;
+    readonly read: (resourceId: string, options?: {
+        readonly at?: string | null;
+    }) => Effect.Effect<Uint8Array, RepositoryError>;
+    readonly readVersion: (version: ResourceVersion) => Effect.Effect<Uint8Array, RepositoryError>;
+    readonly contentSize: (resource: ResourceVersion | string, options?: {
+        readonly at?: string | null;
+    }) => Effect.Effect<number, RepositoryError>;
+    readonly inspectCommit: (commitId: string) => Effect.Effect<Commit, RepositoryError>;
+    readonly commit: (request: CommitInput) => Effect.Effect<CommitResult, RepositoryError>;
+    readonly idempotencyReceipt: (idempotencyKey: string) => Effect.Effect<{
+        readonly requestHash: string;
+        readonly commitId: string;
+    } | null, RepositoryError>;
+    readonly finalizeIdempotencyReceipt: (idempotencyKey: string, requestIdentity: string) => Effect.Effect<{
+        readonly requestHash: string;
+        readonly commitId: string;
+    }, RepositoryError>;
+    readonly previewWorkingChanges: Effect.Effect<WorkingTreeChangesPreview, RepositoryError>;
+    readonly adoptWorkingChanges: (preview: WorkingTreeChangesPreview, options: AdoptWorkingChangesOptions) => Effect.Effect<CommitResult, RepositoryError>;
+    readonly history: (options?: {
+        readonly resourceId?: string | null;
+        readonly start?: string | null;
+        readonly stopBefore?: string | null;
+        readonly limit?: number | null;
+    }) => Effect.Effect<readonly Commit[], RepositoryError>;
+    /** Prepare derived history metadata; returned commits still receive full validation on read. */
+    readonly prepareHistory: () => Effect.Effect<void, RepositoryError>;
+    readonly diff: (base: string | null, target: string | null, options?: {
+        readonly resourceIds?: Iterable<string> | null;
+    }) => Effect.Effect<readonly ResourceDiff[], RepositoryError>;
+    readonly diffPage: (base: string | null, target: string | null, resourceId: string, options?: {
+        readonly offset?: number;
+        readonly limit?: number;
+        readonly tail?: boolean;
+    }) => Effect.Effect<ResourceDiffPage, RepositoryError>;
+    readonly diffVersionsPage: (before: ResourceVersion | null, after: ResourceVersion | null, options?: {
+        readonly offset?: number;
+        readonly limit?: number;
+        readonly tail?: boolean;
+        readonly sourceByteLimit?: number | null;
+    }) => Effect.Effect<ResourceDiffPage, RepositoryError>;
+    readonly restoreFromCommit: (resourceId: string, sourceCommit: string, options: {
+        readonly expectedVersion: string;
+        readonly expectedHead?: string | null;
+        readonly enforceExpectedHead?: boolean;
+        readonly actor: string;
+        readonly origin: string;
+        readonly reason: string;
+        readonly idempotencyKey?: string;
+        readonly path?: string;
+    }) => Effect.Effect<CommitResult, RepositoryError>;
+    readonly integrityReport: Effect.Effect<IntegrityReport, RepositoryError>;
+    readonly storageReport: Effect.Effect<StorageReport, RepositoryError>;
+    readonly collect: (options?: {
+        readonly nowMillis?: number;
+        readonly gracePeriodMs?: number;
+    }) => Effect.Effect<CollectionReport, RepositoryError>;
+}
+declare const ManagedFileRepository_base: Context.ServiceClass<ManagedFileRepository, "@arden-hq/revisions/ManagedFileRepository", ManagedFileRepositoryShape>;
+export declare class ManagedFileRepository extends ManagedFileRepository_base {
+}
+export declare const managedFileRepositoryLayer: (options: ManagedFileRepositoryOptions) => Layer.Layer<ManagedFileRepository, RepositoryError, FileSystem.FileSystem | Path.Path | RevisionLockFactory>;
+export {};
+//# sourceMappingURL=service.d.ts.map

package/dist/repository/service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"service.d.ts","sourceRoot":"","sources":["../../src/repository/service.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,OAAO,EACP,MAAM,EACN,KAAK,EAGL,KAAK,UAAU,EACf,KAAK,IAAI,EAEV,MAAM,QAAQ,CAAA;AAGf,OAAO,EACL,SAAS,EACT,MAAM,EAEN,eAAe,EAGf,iBAAiB,EAElB,MAAM,oBAAoB,CAAA;AAQ3B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAExD,OAAO,EAAU,KAAK,YAAY,EAAE,MAAM,aAAa,CAAA;AAOvD,OAAO,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAA;AAExE,OAAO,EAIL,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,aAAa,EACnB,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAGL,KAAK,mBAAmB,EACxB,KAAK,sBAAsB,EAC5B,MAAM,uBAAuB,CAAA;AAc9B,MAAM,MAAM,eAAe,GAAG,aAAa,CAAA;AAE3C,MAAM,MAAM,mBAAmB,GAC3B,wBAAwB,GACxB,wBAAwB,GACxB,sBAAsB,GACtB,oBAAoB,GACpB,sBAAsB,CAAA;AAE1B,MAAM,WAAW,4BAA6B,SAAQ,sBAAsB;IAC1E,6EAA6E;IAC7E,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;IACjC,0EAA0E;IAC1E,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,CAAA;IAC7E,kFAAkF;IAClF,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,mBAAmB,KAAK,IAAI,CAAA;CAC5D;AAED;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,SAAS,CAAC,OAAO,EAAE,gBAAgB,CAAC,GAAG;IAC3E,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;CACjC,CAAA;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAC/C;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,EAAE,eAAe,CAAC,CAAA;IAC5D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,EAAE,eAAe,CAAC,CAAA;IACvE,QAAQ,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC,CAAA;IACnF,QAAQ,CAAC,GAAG,EAAE,CACZ,UAAU,EAAE,MAAM,EAClB,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,KACtC,MAAM,CAAC,MAAM,CAAC,eAAe,GAAG,IAAI,EAAE,eAAe,CAAC,CAAA;IAC3D,QAAQ,CAAC,UAAU,EAAE,CACnB,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAA;KAAE,KAC1E,MAAM,CAAC,MAAM,CAAC,eAAe,GAAG,IAAI,EAAE,eAAe,CAAC,CAAA;IAC3D,QAAQ,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,EAAE;QACjC,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;QAC3B,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAA;KACnC,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,eAAe,EAAE,EAAE,eAAe,CAAC,CAAA;IAChE,QAAQ,CAAC,IAAI,EAAE,CACb,UAAU,EAAE,MAAM,EAClB,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,KACtC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,eAAe,CAAC,CAAA;IAC/C,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,eAAe,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,eAAe,CAAC,CAAA;IAC9F,QAAQ,CAAC,WAAW,EAAE,CACpB,QAAQ,EAAE,eAAe,GAAG,MAAM,EAClC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,KACtC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IAC3C,QAAQ,CAAC,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IACpF,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,eAAe,CAAC,CAAA;IACvF,QAAQ,CAAC,kBAAkB,EAAE,CAC3B,cAAc,EAAE,MAAM,KACnB,MAAM,CAAC,MAAM,CAChB;QAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,EAClE,eAAe,CAChB,CAAA;IACD,QAAQ,CAAC,0BAA0B,EAAE,CACnC,cAAc,EAAE,MAAM,EACtB,eAAe,EAAE,MAAM,KACpB,MAAM,CAAC,MAAM,CAAC;QAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,EAAE,eAAe,CAAC,CAAA;IAChG,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC,MAAM,CAAC,yBAAyB,EAAE,eAAe,CAAC,CAAA;IACzF,QAAQ,CAAC,mBAAmB,EAAE,CAC5B,OAAO,EAAE,yBAAyB,EAClC,OAAO,EAAE,0BAA0B,KAChC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,eAAe,CAAC,CAAA;IACjD,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE;QAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;QACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;QAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;QACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAC/B,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,EAAE,eAAe,CAAC,CAAA;IACvD,gGAAgG;IAChG,QAAQ,CAAC,cAAc,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,CAAA;IACnE,QAAQ,CAAC,IAAI,EAAE,CACb,IAAI,EAAE,MAAM,GAAG,IAAI,EACnB,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,IAAI,CAAA;KAAE,KACzD,MAAM,CAAC,MAAM,CAAC,SAAS,YAAY,EAAE,EAAE,eAAe,CAAC,CAAA;IAC5D,QAAQ,CAAC,QAAQ,EAAE,CACjB,IAAI,EAAE,MAAM,GAAG,IAAI,EACnB,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAA;KAAE,KACrF,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,eAAe,CAAC,CAAA;IACrD,QAAQ,CAAC,gBAAgB,EAAE,CACzB,MAAM,EAAE,eAAe,GAAG,IAAI,EAC9B,KAAK,EAAE,eAAe,GAAG,IAAI,EAC7B,OAAO,CAAC,EAAE;QACR,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;QACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAA;QACvB,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KACzC,KACE,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,eAAe,CAAC,CAAA;IACrD,QAAQ,CAAC,iBAAiB,EAAE,CAC1B,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE;QACP,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;QAChC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;QACrC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAA;QACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;QAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KACvB,KACE,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,eAAe,CAAC,CAAA;IACjD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,eAAe,CAAC,CAAA;IACzE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,eAAe,CAAC,CAAA;IACrE,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE;QAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;QAC3B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;KAChC,KAAK,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,eAAe,CAAC,CAAA;CACvD;;AAED,qBAAa,qBAAsB,SAAQ,0BAGK;CAAG;AA8dnD,eAAO,MAAM,0BAA0B,YAC5B,4BAA4B,KACpC,KAAK,CAAC,KAAK,CACZ,qBAAqB,EACrB,eAAe,EACf,UAAU,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAItD,CAAA"}