@arden-hq/revisions 0.0.0-stage → 0.1.2

package/dist/storage/maintenance-adapter.js

@@ -0,0 +1,177 @@
+import { Effect, Exit } from "effect";
+import { parseIdempotencyRecord, parseTransaction } from "../domain/transaction.js";
+import { normalizeRelativePath } from "../domain/model.js";
+import { CorruptRepositoryError, RevisionStorageError, UnsafePathError } from "../domain/errors.js";
+import { compareCodePoints } from "@arden-hq/std/json";
+const transactionDirectories = ["publish", "backups", "displaced", "rejected", "markers"];
+const isHash = (value) => typeof value === "string" &&
+    value.length === 64 &&
+    [...value].every((character) => "0123456789abcdef".includes(character));
+const corrupt = (message) => Effect.fail(new CorruptRepositoryError({ message }));
+const storageErrorMessage = (error) => `${error._tag}: ${error.message}`;
+const adaptStorageError = (error) => {
+    switch (error._tag) {
+        case "RevisionStorageError":
+            return error;
+        case "UnsafePathError":
+            return error;
+        case "RevisionConflictError":
+            return new RevisionStorageError({ message: storageErrorMessage(error), cause: error });
+    }
+};
+const fromStorage = (effect) => effect.pipe(Effect.mapError(adaptStorageError));
+const objectFilename = (kind, id) => kind === "blob" ? id : `${id}.jsonl`;
+const objectPath = (kind, id) => `${kind === "commit" ? "commits" : `objects/${kind === "blob" ? "blobs" : "trees"}`}/${objectFilename(kind, id)}`;
+const checkedStat = (target, stat) => {
+    if (stat === null)
+        return corrupt(`metadata entry disappeared: ${target}`);
+    if (!Number.isSafeInteger(stat.size) || stat.size < 0) {
+        return corrupt(`metadata entry has an invalid byte size: ${target}`);
+    }
+    if (stat.mtimeMillis === null || !Number.isSafeInteger(stat.mtimeMillis)) {
+        return corrupt(`metadata entry has an invalid modification time: ${target}`);
+    }
+    return Effect.succeed({ byteSize: stat.size, modifiedAtMillis: stat.mtimeMillis });
+};
+const metadataBytes = Effect.fn("maintenanceAdapter.metadataBytes")(function* (storage, target) {
+    const listed = yield* Effect.exit(fromStorage(storage.listMetadata(target)));
+    if (Exit.isSuccess(listed)) {
+        let total = 0;
+        for (const name of [...listed.value].sort(compareCodePoints)) {
+            total += yield* metadataBytes(storage, `${target}/${name}`);
+        }
+        return total;
+    }
+    const content = yield* fromStorage(storage.readMetadata(target, true));
+    if (content === null)
+        return yield* corrupt(`metadata entry disappeared: ${target}`);
+    const stat = yield* fromStorage(storage.metadataStat(target));
+    const measured = yield* checkedStat(target, stat);
+    if (measured.byteSize !== content.length) {
+        return yield* corrupt(`metadata entry changed during accounting: ${target}`);
+    }
+    return measured.byteSize;
+});
+const optionalMetadataBytes = Effect.fn("maintenanceAdapter.optionalMetadataBytes")(function* (storage, target) {
+    if (!(yield* fromStorage(storage.metadataExists(target))))
+        return null;
+    return yield* metadataBytes(storage, target);
+});
+const readProtectedTransaction = Effect.fn("maintenanceAdapter.readProtectedTransaction")(function* (storage, parent, transactionId) {
+    const prefix = `${parent}/${transactionId}`;
+    const prepared = yield* fromStorage(storage.readMetadata(`${prefix}/PREPARED`, true));
+    if (prepared === null)
+        return null;
+    if (prepared.length !== 0)
+        return yield* corrupt(`transaction ${transactionId} PREPARED marker is not empty`);
+    for (const directory of transactionDirectories) {
+        yield* fromStorage(storage.listMetadata(`${prefix}/${directory}`));
+    }
+    const content = yield* fromStorage(storage.readMetadata(`${prefix}/manifest.jsonl`));
+    if (content === null)
+        return yield* corrupt(`transaction manifest is missing: ${transactionId}`);
+    return {
+        ...(yield* parseTransaction(transactionId, content)),
+        conflicted: parent === "conflicts"
+    };
+});
+const listProtectedTransactions = Effect.fn("maintenanceAdapter.listProtectedTransactions")(function* (storage, parent) {
+    const names = yield* fromStorage(storage.listMetadata(parent));
+    const output = [];
+    for (const name of [...names].sort(compareCodePoints)) {
+        if (!isHash(name))
+            return yield* corrupt(`invalid ${parent} transaction directory: ${name}`);
+        const transaction = yield* readProtectedTransaction(storage, parent, name);
+        if (transaction !== null)
+            output.push(transaction);
+    }
+    return output;
+});
+/** Adapt the repository's low-level storage contract to maintenance operations. */
+export const maintenanceStorageFromRevisionStorage = (storage) => {
+    const listObjects = Effect.fn("maintenanceAdapter.listObjects")(function* (kind) {
+        const ids = yield* fromStorage(storage.listObjectIds(kind));
+        const entries = [];
+        for (const id of [...ids].sort(compareCodePoints)) {
+            if (!isHash(id))
+                return yield* corrupt(`invalid ${kind} object identifier: ${id}`);
+            const target = objectPath(kind, id);
+            const measured = yield* checkedStat(target, yield* fromStorage(storage.metadataStat(target)));
+            entries.push({ name: objectFilename(kind, id), ...measured });
+        }
+        return entries;
+    });
+    const readObject = (kind, id) => {
+        if (!isHash(id))
+            return Effect.fail(new UnsafePathError({ message: `${kind} identifier is invalid: ${id}` }));
+        switch (kind) {
+            case "blob":
+                return fromStorage(storage.readBlob(id));
+            case "tree":
+                return fromStorage(storage.readTree(id));
+            case "commit":
+                return fromStorage(storage.readCommit(id));
+        }
+    };
+    const listIdempotency = Effect.gen(function* () {
+        const names = yield* fromStorage(storage.listMetadata("idempotency"));
+        const output = [];
+        for (const name of [...names].sort(compareCodePoints)) {
+            if (!name.endsWith(".jsonl"))
+                return yield* corrupt(`invalid idempotency filename: ${name}`);
+            const keyHash = name.slice(0, -".jsonl".length);
+            if (!isHash(keyHash))
+                return yield* corrupt(`invalid idempotency filename: ${name}`);
+            const content = yield* fromStorage(storage.readIdempotency(keyHash));
+            if (content === null)
+                return yield* corrupt(`idempotency record disappeared: ${keyHash}`);
+            output.push(yield* parseIdempotencyRecord(content, keyHash));
+        }
+        return output;
+    });
+    const listProtected = Effect.gen(function* () {
+        const transactions = yield* listProtectedTransactions(storage, "transactions");
+        const conflicts = yield* listProtectedTransactions(storage, "conflicts");
+        return [...transactions, ...conflicts];
+    });
+    const metadataStats = Effect.gen(function* () {
+        const transactionBytes = yield* metadataBytes(storage, "transactions");
+        const conflictBytes = yield* metadataBytes(storage, "conflicts");
+        const idempotencyBytes = yield* metadataBytes(storage, "idempotency");
+        const publicationBytes = yield* metadataBytes(storage, "published");
+        const refBytes = yield* metadataBytes(storage, "refs");
+        const lockBytes = yield* optionalMetadataBytes(storage, "repository.lock");
+        return {
+            transactionBytes,
+            conflictBytes,
+            idempotencyBytes,
+            publicationBytes,
+            refBytes,
+            lockBytes
+        };
+    });
+    return {
+        readRef: fromStorage(storage.readRef),
+        listObjects,
+        readObject,
+        readWorking: (path) => normalizeRelativePath(path).pipe(Effect.flatMap((normalized) => fromStorage(storage.readWorking(normalized, true, true)))),
+        listPublished: fromStorage(storage.listPublished).pipe(Effect.flatMap(Effect.fn("maintenanceAdapter.listPublished.ids")(function* (ids) {
+            const output = [];
+            for (const id of [...ids].sort(compareCodePoints)) {
+                if (!isHash(id))
+                    return yield* corrupt(`invalid publication marker: ${id}`);
+                output.push({ commitId: id });
+            }
+            return output;
+        }))),
+        listIdempotency,
+        listProtectedTransactions: listProtected,
+        metadataStats,
+        removeObject: (kind, id) => {
+            if (!isHash(id))
+                return Effect.fail(new UnsafePathError({ message: `${kind} identifier is invalid: ${id}` }));
+            return fromStorage(storage.removeObject(kind, id));
+        }
+    };
+};
+//# sourceMappingURL=maintenance-adapter.js.map

package/dist/storage/maintenance-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"maintenance-adapter.js","sourceRoot":"","sources":["../../src/storage/maintenance-adapter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAErC,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AACnF,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAC1D,OAAO,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAWnG,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAEtD,MAAM,sBAAsB,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,CAAU,CAAA;AAElG,MAAM,MAAM,GAAG,CAAC,KAAc,EAAmB,EAAE,CACjD,OAAO,KAAK,KAAK,QAAQ;IACzB,KAAK,CAAC,MAAM,KAAK,EAAE;IACnB,CAAC,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAA;AAEzE,MAAM,OAAO,GAAG,CAAC,OAAe,EAAgD,EAAE,CAChF,MAAM,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AAEtD,MAAM,mBAAmB,GAAG,CAAC,KAAmB,EAAU,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAA;AAE9F,MAAM,iBAAiB,GAAG,CAAC,KAAmB,EAA2B,EAAE;IACzE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,sBAAsB;YACzB,OAAO,KAAK,CAAA;QACd,KAAK,iBAAiB;YACpB,OAAO,KAAK,CAAA;QACd,KAAK,uBAAuB;YAC1B,OAAO,IAAI,oBAAoB,CAAC,EAAE,OAAO,EAAE,mBAAmB,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;IAC1F,CAAC;AACH,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAClB,MAAsC,EACK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAA;AAE/F,MAAM,cAAc,GAAG,CAAC,IAA2B,EAAE,EAAU,EAAU,EAAE,CACzE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAA;AAEtC,MAAM,UAAU,GAAG,CAAC,IAA2B,EAAE,EAAU,EAAU,EAAE,CACrE,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAA;AAEnH,MAAM,WAAW,GAAG,CAClB,MAAc,EACd,IAA2E,EAI3E,EAAE;IACF,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,+BAA+B,MAAM,EAAE,CAAC,CAAA;IAC1E,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACtD,OAAO,OAAO,CAAC,4CAA4C,MAAM,EAAE,CAAC,CAAA;IACtE,CAAC;IACD,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACzE,OAAO,OAAO,CAAC,oDAAoD,MAAM,EAAE,CAAC,CAAA;IAC9E,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,gBAAgB,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAA;AACpF,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,MAAM,CAAC,EAAE,CAAC,kCAAkC,CAAC,CAAC,QAAQ,CAAC,EAC3E,OAA6B,EAC7B,MAAc;IAEd,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAC5E,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,IAAI,KAAK,GAAG,CAAC,CAAA;QACb,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC7D,KAAK,IAAI,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,GAAG,MAAM,IAAI,IAAI,EAAE,CAAC,CAAA;QAC7D,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAA;IACtE,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,+BAA+B,MAAM,EAAE,CAAC,CAAA;IACpF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAA;IAC7D,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IACjD,IAAI,QAAQ,CAAC,QAAQ,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;QACzC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,6CAA6C,MAAM,EAAE,CAAC,CAAA;IAC9E,CAAC;IACD,OAAO,QAAQ,CAAC,QAAQ,CAAA;AAC1B,CAAC,CAAC,CAAA;AAEF,MAAM,qBAAqB,GAAG,MAAM,CAAC,EAAE,CAAC,0CAA0C,CAAC,CAAC,QAAQ,CAAC,EAC3F,OAA6B,EAC7B,MAAc;IAEd,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IACtE,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;AAC9C,CAAC,CAAC,CAAA;AAEF,MAAM,wBAAwB,GAAG,MAAM,CAAC,EAAE,CAAC,6CAA6C,CAAC,CACvF,QAAQ,CAAC,EACP,OAA6B,EAC7B,MAAoC,EACpC,aAAqB;IAErB,MAAM,MAAM,GAAG,GAAG,MAAM,IAAI,aAAa,EAAE,CAAA;IAC3C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,MAAM,WAAW,EAAE,IAAI,CAAC,CAAC,CAAA;IACrF,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IAClC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QACvB,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,eAAe,aAAa,+BAA+B,CAAC,CAAA;IACpF,KAAK,MAAM,SAAS,IAAI,sBAAsB,EAAE,CAAC;QAC/C,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,MAAM,IAAI,SAAS,EAAE,CAAC,CAAC,CAAA;IACpE,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,MAAM,iBAAiB,CAAC,CAAC,CAAA;IACpF,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,oCAAoC,aAAa,EAAE,CAAC,CAAA;IAChG,OAAO;QACL,GAAG,CAAC,KAAK,CAAC,CAAC,gBAAgB,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QACpD,UAAU,EAAE,MAAM,KAAK,WAAW;KACnC,CAAA;AACH,CAAC,CACF,CAAA;AAED,MAAM,yBAAyB,GAAG,MAAM,CAAC,EAAE,CAAC,8CAA8C,CAAC,CACzF,QAAQ,CAAC,EACP,OAA6B,EAC7B,MAAoC;IAEpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAA;IAC9D,MAAM,MAAM,GAAsC,EAAE,CAAA;IACpD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACtD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,WAAW,MAAM,2BAA2B,IAAI,EAAE,CAAC,CAAA;QAC5F,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,wBAAwB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAA;QAC1E,IAAI,WAAW,KAAK,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;IACpD,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CACF,CAAA;AAED,mFAAmF;AACnF,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,OAA6B,EACT,EAAE;IACtB,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,gCAAgC,CAAC,CAAC,QAAQ,CAAC,EACvE,IAA2B;QAE3B,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAA;QAC3D,MAAM,OAAO,GAA6B,EAAE,CAAA;QAC5C,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAAE,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,WAAW,IAAI,uBAAuB,EAAE,EAAE,CAAC,CAAA;YAClF,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;YACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;YAC7F,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAA;QAC/D,CAAC;QACD,OAAO,OAAO,CAAA;IAChB,CAAC,CAAC,CAAA;IAEF,MAAM,UAAU,GAAG,CACjB,IAA2B,EAC3B,EAAU,EAC0C,EAAE;QACtD,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACb,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,EAAE,OAAO,EAAE,GAAG,IAAI,2BAA2B,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;QAC9F,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,MAAM;gBACT,OAAO,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAA;YAC1C,KAAK,MAAM;gBACT,OAAO,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAA;YAC1C,KAAK,QAAQ;gBACX,OAAO,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAA;QAC9C,CAAC;IACH,CAAC,CAAA;IAED,MAAM,eAAe,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAA;QACrE,MAAM,MAAM,GAAmC,EAAE,CAAA;QACjD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACtD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,iCAAiC,IAAI,EAAE,CAAC,CAAA;YAC5F,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;YAC/C,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;gBAAE,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,iCAAiC,IAAI,EAAE,CAAC,CAAA;YACpF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAA;YACpE,IAAI,OAAO,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,mCAAmC,OAAO,EAAE,CAAC,CAAA;YACzF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,sBAAsB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAA;QAC9D,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC,CAAC,CAAA;IAEF,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACxC,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,yBAAyB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAA;QAC9E,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,yBAAyB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;QACxE,OAAO,CAAC,GAAG,YAAY,EAAE,GAAG,SAAS,CAAC,CAAA;IACxC,CAAC,CAAC,CAAA;IAEF,MAAM,aAAa,GACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,cAAc,CAAC,CAAA;QACtE,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;QAChE,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,aAAa,CAAC,CAAA;QACrE,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;QACnE,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;QACtD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAA;QAC1E,OAAO;YACL,gBAAgB;YAChB,aAAa;YACb,gBAAgB;YAChB,gBAAgB;YAChB,QAAQ;YACR,SAAS;SACV,CAAA;IACH,CAAC,CAAC,CAAA;IAEJ,OAAO;QACL,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC;QACrC,WAAW;QACX,UAAU;QACV,WAAW,EAAE,CAAC,IAAI,EAAE,EAAE,CACpB,qBAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAC9B,MAAM,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CACzF;QACH,aAAa,EAAE,WAAW,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,IAAI,CACpD,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,EAAE,CAAC,sCAAsC,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAG;YAC9D,MAAM,MAAM,GAAG,EAA0C,CAAA;YACzD,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;gBAClD,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBAAE,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,+BAA+B,EAAE,EAAE,CAAC,CAAA;gBAC3E,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAA;YAC/B,CAAC;YACD,OAAO,MAAM,CAAA;QACf,CAAC,CAAC,CACH,CACF;QACD,eAAe;QACf,yBAAyB,EAAE,aAAa;QACxC,aAAa;QACb,YAAY,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE;YACzB,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACb,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,EAAE,OAAO,EAAE,GAAG,IAAI,2BAA2B,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;YAC9F,OAAO,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAA;QACpD,CAAC;KACF,CAAA;AACH,CAAC,CAAA"}

package/dist/storage/maintenance-reader.d.ts

@@ -0,0 +1,17 @@
+import { Effect } from "effect";
+import { Commit, ResourceVersion } from "../domain/model.js";
+import { CorruptRepositoryError } from "../domain/errors.js";
+import { type TreeRecord } from "../domain/format.js";
+import type { MaintenanceError, MaintenanceStorage } from "./maintenance.js";
+export declare const validHash: (value: unknown) => value is string;
+export declare const corrupt: (message: string) => Effect.Effect<never, CorruptRepositoryError>;
+export interface MaintenanceReader {
+    readonly commit: (id: string) => Effect.Effect<Commit, MaintenanceError>;
+    readonly tree: (id: string) => Effect.Effect<TreeRecord, MaintenanceError>;
+    readonly materialize: (id: string) => Effect.Effect<ReadonlyMap<string, ResourceVersion>, MaintenanceError>;
+    readonly treeClosure: (id: string) => Effect.Effect<ReadonlySet<string>, MaintenanceError>;
+    readonly transition: (commit: Commit) => Effect.Effect<ReadonlyMap<string, ResourceVersion>, MaintenanceError>;
+    readonly verifyBlob: (id: string) => Effect.Effect<void, MaintenanceError>;
+}
+export declare const makeReader: (storage: MaintenanceStorage) => MaintenanceReader;
+//# sourceMappingURL=maintenance-reader.d.ts.map

package/dist/storage/maintenance-reader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"maintenance-reader.d.ts","sourceRoot":"","sources":["../../src/storage/maintenance-reader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAC5D,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAGrD,OAAO,KAAK,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA;AAG5E,eAAO,MAAM,SAAS,UAAW,OAAO,KAAG,KAAK,IAAI,MACO,CAAA;AAE3D,eAAO,MAAM,OAAO,YAAa,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,sBAAsB,CAC/B,CAAA;AAEtD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;IACxE,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAA;IAC1E,QAAQ,CAAC,WAAW,EAAE,CACpB,EAAE,EAAE,MAAM,KACP,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,gBAAgB,CAAC,CAAA;IAC1E,QAAQ,CAAC,WAAW,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,gBAAgB,CAAC,CAAA;IAC1F,QAAQ,CAAC,UAAU,EAAE,CACnB,MAAM,EAAE,MAAM,KACX,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,gBAAgB,CAAC,CAAA;IAC1E,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAA;CAC3E;AAED,eAAO,MAAM,UAAU,YAAa,kBAAkB,KAAG,iBAqFxD,CAAA"}

package/dist/storage/maintenance-reader.js

@@ -0,0 +1,82 @@
+import { Effect } from "effect";
+import { decodeCanonicalJsonl, parseCommitObject, parseTreeRecord } from "../domain/codec.js";
+import { Commit, ResourceVersion } from "../domain/model.js";
+import { CorruptRepositoryError } from "../domain/errors.js";
+import {} from "../domain/format.js";
+import { validateSnapshotTransition } from "../domain/integrity.js";
+import { materializeSnapshot } from "../domain/tree.js";
+import { sha256Hex } from "@arden-hq/std/hash";
+export const validHash = (value) => typeof value === "string" && /^[0-9a-f]{64}$/.test(value);
+export const corrupt = (message) => Effect.fail(new CorruptRepositoryError({ message }));
+export const makeReader = (storage) => {
+    const commits = new Map();
+    const trees = new Map();
+    const snapshots = new Map();
+    const blobs = new Set();
+    const commit = Effect.fn("maintenance.readCommit")(function* (id) {
+        if (!validHash(id))
+            return yield* corrupt(`commit identifier is invalid: ${id}`);
+        const cached = commits.get(id);
+        if (cached !== undefined)
+            return cached;
+        const bytes = yield* storage.readObject("commit", id);
+        const parsed = yield* parseCommitObject(id, bytes);
+        commits.set(id, parsed);
+        return parsed;
+    });
+    const tree = Effect.fn("maintenance.readTree")(function* (id) {
+        if (!validHash(id))
+            return yield* corrupt(`tree identifier is invalid: ${id}`);
+        const cached = trees.get(id);
+        if (cached !== undefined)
+            return cached;
+        const bytes = yield* storage.readObject("tree", id);
+        const record = yield* decodeCanonicalJsonl(bytes);
+        const parsed = yield* parseTreeRecord(record);
+        trees.set(id, parsed);
+        return parsed;
+    });
+    const materialize = (id) => materializeSnapshot(tree, id, snapshots);
+    const treeClosure = Effect.fn("maintenance.treeClosure")(function* (id) {
+        const result = new Set();
+        const active = new Set();
+        const visit = Effect.fn("maintenance.treeClosure.visit")(function* (treeId) {
+            if (active.has(treeId))
+                return yield* corrupt(`tree ${id} contains a cycle at ${treeId}`);
+            if (result.has(treeId))
+                return;
+            active.add(treeId);
+            const node = yield* tree(treeId);
+            result.add(treeId);
+            for (const entry of node.entries) {
+                if (entry.kind === "subtree")
+                    yield* visit(entry.tree_id);
+            }
+            active.delete(treeId);
+        });
+        yield* visit(id);
+        return result;
+    });
+    const verifyBlob = Effect.fn("maintenance.verifyBlob")(function* (id) {
+        if (!validHash(id))
+            return yield* corrupt(`blob identifier is invalid: ${id}`);
+        if (blobs.has(id))
+            return;
+        const bytes = yield* storage.readObject("blob", id);
+        if (sha256Hex(bytes) !== id)
+            return yield* corrupt(`blob hash mismatch: ${id}`);
+        blobs.add(id);
+    });
+    const transition = Effect.fn("maintenance.transition")(function* (current) {
+        const after = yield* materialize(current.treeId);
+        const before = current.parentId === null
+            ? new Map()
+            : yield* materialize((yield* commit(current.parentId)).treeId);
+        yield* validateSnapshotTransition(current, before, after);
+        for (const resource of after.values())
+            yield* verifyBlob(resource.blobId);
+        return after;
+    });
+    return { commit, tree, materialize, treeClosure, transition, verifyBlob };
+};
+//# sourceMappingURL=maintenance-reader.js.map

package/dist/storage/maintenance-reader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"maintenance-reader.js","sourceRoot":"","sources":["../../src/storage/maintenance-reader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAC7F,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAC5D,OAAO,EAAmB,MAAM,qBAAqB,CAAA;AACrD,OAAO,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAA;AAEvD,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAA;AAE9C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAc,EAAmB,EAAE,CAC3D,OAAO,KAAK,KAAK,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAE3D,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAAe,EAAgD,EAAE,CACvF,MAAM,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AAetD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,OAA2B,EAAqB,EAAE;IAC3E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAA;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAA;IAC3C,MAAM,SAAS,GAAG,IAAI,GAAG,EAGtB,CAAA;IACH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAE/B,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC,QAAQ,CAAC,EAC1D,EAAU;QAEV,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,iCAAiC,EAAE,EAAE,CAAC,CAAA;QAChF,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC9B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAA;QACvC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;QACrD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QAClD,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;QACvB,OAAO,MAAM,CAAA;IACf,CAAC,CAAC,CAAA;IAEF,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,QAAQ,CAAC,EACtD,EAAU;QAEV,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,+BAA+B,EAAE,EAAE,CAAC,CAAA;QAC9E,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC5B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAA;QACvC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA;QACnD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAA;QACjD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAA;QAC7C,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;QACrB,OAAO,MAAM,CAAA;IACf,CAAC,CAAC,CAAA;IAEF,MAAM,WAAW,GAAG,CAClB,EAAU,EAC6D,EAAE,CACzE,mBAAmB,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,CAAC,CAAA;IAE1C,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC,QAAQ,CAAC,EAChE,EAAU;QAEV,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;QAChC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,+BAA+B,CAAC,CAAC,QAAQ,CAAC,EAChE,MAAc;YAEd,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,wBAAwB,MAAM,EAAE,CAAC,CAAA;YACzF,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,OAAM;YAC9B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YAChC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;oBAAE,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YAC3D,CAAC;YACD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QACvB,CAAC,CAAC,CAAA;QACF,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAChB,OAAO,MAAM,CAAA;IACf,CAAC,CAAC,CAAA;IAEF,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC,QAAQ,CAAC,EAC9D,EAAU;QAEV,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,+BAA+B,EAAE,EAAE,CAAC,CAAA;QAC9E,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAM;QACzB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA;QACnD,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE;YAAE,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAA;QAC/E,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACf,CAAC,CAAC,CAAA;IAEF,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC,QAAQ,CAAC,EAC9D,OAAe;QAEf,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QAChD,MAAM,MAAM,GACV,OAAO,CAAC,QAAQ,KAAK,IAAI;YACvB,CAAC,CAAC,IAAI,GAAG,EAA2B;YACpC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;QAClE,KAAK,CAAC,CAAC,0BAA0B,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;QACzD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,MAAM,EAAE;YAAE,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QACzE,OAAO,KAAK,CAAA;IACd,CAAC,CAAC,CAAA;IAEF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,CAAA;AAC3E,CAAC,CAAA"}

package/dist/storage/maintenance.d.ts

@@ -0,0 +1,113 @@
+import { Effect } from "effect";
+import { ResourceVersion } from "../domain/model.js";
+import { CorruptRepositoryError, InvalidRevisionInputError, RevisionStorageError, UnsafePathError } from "../domain/errors.js";
+/** Object families owned by the revisions store. */
+export type MaintenanceObjectKind = "blob" | "tree" | "commit";
+/** One object-directory entry as observed by a storage adapter. */
+export interface MaintenanceObjectEntry {
+    readonly name: string;
+    readonly byteSize: number;
+    readonly modifiedAtMillis: number;
+}
+interface MaintenancePublishedEntry {
+    readonly commitId: string;
+}
+/** A validated idempotency record used as a collection root. */
+export interface MaintenanceIdempotencyRecord {
+    readonly keyHash: string;
+    readonly requestHash: string;
+    readonly commitId: string;
+}
+interface MaintenanceTransactionRow {
+    readonly path: string;
+    readonly oldBlob: string | null;
+    readonly newBlob: string | null;
+}
+/** A validated pending or conflict transaction supplied by the repository adapter. */
+export interface MaintenanceProtectedTransaction {
+    readonly transactionId: string;
+    readonly oldHead: string | null;
+    readonly newHead: string;
+    readonly treeId: string;
+    readonly rows: ReadonlyArray<MaintenanceTransactionRow>;
+    /** True when the manifest came from conflicts/ after an external-write conflict. */
+    readonly conflicted?: boolean;
+}
+/** Byte counts for metadata outside immutable object directories. */
+export interface MaintenanceMetadataStats {
+    readonly transactionBytes: number;
+    readonly conflictBytes: number;
+    readonly idempotencyBytes: number;
+    readonly publicationBytes: number;
+    readonly refBytes: number;
+    readonly lockBytes: number | null;
+}
+/** Errors an adapter may return while maintenance is reading or sweeping. */
+export type MaintenanceStorageError = CorruptRepositoryError | RevisionStorageError | UnsafePathError;
+/** Small adapter boundary for integrity checks, accounting, and collection. */
+export interface MaintenanceStorage {
+    readonly readRef: Effect.Effect<string | null, MaintenanceStorageError>;
+    readonly listObjects: (kind: MaintenanceObjectKind) => Effect.Effect<ReadonlyArray<MaintenanceObjectEntry>, MaintenanceStorageError>;
+    readonly readObject: (kind: MaintenanceObjectKind, id: string) => Effect.Effect<Uint8Array, MaintenanceStorageError>;
+    readonly readWorking: (path: string) => Effect.Effect<Uint8Array | null, MaintenanceStorageError>;
+    readonly listPublished: Effect.Effect<ReadonlyArray<MaintenancePublishedEntry>, MaintenanceStorageError>;
+    readonly listIdempotency: Effect.Effect<ReadonlyArray<MaintenanceIdempotencyRecord>, MaintenanceStorageError>;
+    readonly listProtectedTransactions: Effect.Effect<ReadonlyArray<MaintenanceProtectedTransaction>, MaintenanceStorageError>;
+    readonly metadataStats: Effect.Effect<MaintenanceMetadataStats, MaintenanceStorageError>;
+    readonly removeObject: (kind: MaintenanceObjectKind, id: string) => Effect.Effect<void, MaintenanceStorageError>;
+}
+/** One issue found by an integrity pass. */
+export interface IntegrityIssue {
+    readonly code: string;
+    readonly target: string;
+    readonly detail: string;
+}
+/** Canonical integrity summary. */
+export interface IntegrityReport {
+    readonly ok: boolean;
+    readonly headCommit: string | null;
+    readonly resources: number;
+    readonly objects: number;
+    readonly issues: ReadonlyArray<IntegrityIssue>;
+}
+/** Canonical storage accounting summary. */
+export interface StorageReport {
+    readonly totalBytes: number;
+    readonly blobBytes: number;
+    readonly treeBytes: number;
+    readonly commitBytes: number;
+    readonly recoveryBytes: number;
+    readonly metadataBytes: number;
+    readonly resourceCount: number;
+    readonly commitCount: number;
+    readonly objectCount: number;
+}
+/** Canonical collection summary. */
+export interface CollectionReport {
+    readonly scanned: number;
+    readonly removed: number;
+    readonly retained: number;
+    readonly bytesRemoved: number;
+}
+/** Content-addressed roots retained by collection. */
+export interface CollectionRoots {
+    readonly commits: ReadonlySet<string>;
+    readonly trees: ReadonlySet<string>;
+    readonly blobs: ReadonlySet<string>;
+}
+/** Optional clock/grace controls for collection. */
+export interface CollectionOptions {
+    readonly roots?: CollectionRoots;
+    readonly nowMillis?: number;
+    readonly gracePeriodMs?: number;
+    readonly cutoffMillis?: number;
+}
+export type MaintenanceError = MaintenanceStorageError | InvalidRevisionInputError;
+/** Validate all immutable objects, reachable history, indexes, and materialized files. */
+export declare const integrityReport: (storage: MaintenanceStorage) => Effect.Effect<IntegrityReport, never, never>;
+/** Account immutable objects and metadata bytes without reading object contents. */
+export declare const storageReport: (storage: MaintenanceStorage, resources?: number | readonly ResourceVersion[] | ReadonlyMap<string, ResourceVersion> | undefined) => Effect.Effect<StorageReport, MaintenanceError, never>;
+/** Collect unreachable immutable objects after the configured grace period. */
+export declare const collect: (storage: MaintenanceStorage, input?: CollectionRoots | CollectionOptions, cutoffMillis?: number) => Effect.Effect<CollectionReport, MaintenanceError>;
+export {};
+//# sourceMappingURL=maintenance.d.ts.map

package/dist/storage/maintenance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"maintenance.d.ts","sourceRoot":"","sources":["../../src/storage/maintenance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAU,MAAM,QAAQ,CAAA;AAE9C,OAAO,EAAU,eAAe,EAAyB,MAAM,oBAAoB,CAAA;AACnF,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,oBAAoB,EACpB,eAAe,EAChB,MAAM,qBAAqB,CAAA;AAO5B,oDAAoD;AACpD,MAAM,MAAM,qBAAqB,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,CAAA;AAE9D,mEAAmE;AACnE,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;CAClC;AAED,UAAU,yBAAyB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAED,gEAAgE;AAChE,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAED,UAAU,yBAAyB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;CAChC;AAED,sFAAsF;AACtF,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,yBAAyB,CAAC,CAAA;IACvD,oFAAoF;IACpF,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAA;CAC9B;AAED,qEAAqE;AACrE,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;CAClC;AAED,6EAA6E;AAC7E,MAAM,MAAM,uBAAuB,GAC/B,sBAAsB,GACtB,oBAAoB,GACpB,eAAe,CAAA;AAEnB,+EAA+E;AAC/E,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,EAAE,uBAAuB,CAAC,CAAA;IACvE,QAAQ,CAAC,WAAW,EAAE,CACpB,IAAI,EAAE,qBAAqB,KACxB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,sBAAsB,CAAC,EAAE,uBAAuB,CAAC,CAAA;IAClF,QAAQ,CAAC,UAAU,EAAE,CACnB,IAAI,EAAE,qBAAqB,EAC3B,EAAE,EAAE,MAAM,KACP,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAA;IACvD,QAAQ,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,GAAG,IAAI,EAAE,uBAAuB,CAAC,CAAA;IACjG,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,CACnC,aAAa,CAAC,yBAAyB,CAAC,EACxC,uBAAuB,CACxB,CAAA;IACD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC,MAAM,CACrC,aAAa,CAAC,4BAA4B,CAAC,EAC3C,uBAAuB,CACxB,CAAA;IACD,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC,MAAM,CAC/C,aAAa,CAAC,+BAA+B,CAAC,EAC9C,uBAAuB,CACxB,CAAA;IACD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,wBAAwB,EAAE,uBAAuB,CAAC,CAAA;IACxF,QAAQ,CAAC,YAAY,EAAE,CACrB,IAAI,EAAE,qBAAqB,EAC3B,EAAE,EAAE,MAAM,KACP,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAA;CAClD;AAED,4CAA4C;AAC5C,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,mCAAmC;AACnC,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAA;IACpB,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CAC/C;AAED,4CAA4C;AAC5C,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAC7B;AAED,oCAAoC;AACpC,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;CAC9B;AAED,sDAAsD;AACtD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IACrC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IACnC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CACpC;AAED,oDAAoD;AACpD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,eAAe,CAAA;IAChC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAC/B;AAED,MAAM,MAAM,gBAAgB,GAAG,uBAAuB,GAAG,yBAAyB,CAAA;AAkJlF,0FAA0F;AAC1F,eAAO,MAAM,eAAe,+EA+L1B,CAAA;AASF,oFAAoF;AACpF,eAAO,MAAM,aAAa,4LA2CxB,CAAA;AA0HF,+EAA+E;AAC/E,eAAO,MAAM,OAAO,YACT,kBAAkB,UACnB,eAAe,GAAG,iBAAiB,iBAC5B,MAAM,KACpB,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,gBAAgB,CAAgD,CAAA"}