@arden-hq/revisions 0.0.0-stage → 0.1.2

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -1,3 +1,85 @@
-# Temporary Holding Version
+# `@arden-hq/revisions`
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+Durable, content-addressed history for files that an application manages. `@arden-hq/server` uses it.
+
+The files stay in a normal working directory. The library keeps immutable history, stable resource IDs, atomic changes, diffs and recovery. All managed writes go through the repository.
+
+It is smaller than Git. It has one linear history. It has no branches, remotes, staging or merges.
+
+The one entry is `@arden-hq/revisions/effect`. It exports the `ManagedFileRepository` Effect service, `managedFileRepositoryNodeLayer` and the tagged errors. Effect is a peer dependency.
+
+## Example
+
+```ts
+import { Effect } from "effect"
+import { ManagedFileRepository, managedFileRepositoryNodeLayer } from "@arden-hq/revisions/effect"
+
+const program = Effect.gen(function* () {
+  const revisions = yield* ManagedFileRepository
+  yield* revisions.commit({
+    actor: "editor",
+    origin: "desktop",
+    reason: "Create the guide",
+    expectedHead: null,
+    enforceExpectedHead: true,
+    operations: [
+      { _tag: "Create", resourceId: "guide", path: "docs/guide.md", content: new TextEncoder().encode("# Guide\n") }
+    ]
+  })
+  return yield* revisions.read("guide")
+})
+
+Effect.runPromise(program.pipe(Effect.provide(managedFileRepositoryNodeLayer({ workingRoot: "./content" }))))
+```
+
+`resourceId` is the stable identity. `path` can change. Content is bytes. History lives in `<workingRoot>/.managed-history`.
+
+## Rules
+
+- All operations in one `commit` apply together or not at all. The operations are `Create`, `Update`, `Move`, `Archive` and `Restore`.
+- Every operation except `Create` names the `expectedVersion` it replaces. A stale version fails with `RevisionConflictError`.
+- `expectedHead` guards the whole repository. Leave it out for no check.
+- Every commit has an `idempotencyKey`. The same key with the same request returns the first commit with `replayed: true`. The same key with a different request fails with `IdempotencyConflictError`.
+- `previewWorkingChanges` and `adoptWorkingChanges` turn edits made outside the library into one guarded revision. Adoption fails if anything changed after the preview.
+- Reads use the current revision. Pass `at` to read an older one.
+- `listResources` and `findByPath` hide archived resources unless you pass `includeArchived`.
+
+## Service members
+
+| Task | Members |
+| --- | --- |
+| Current state | `currentRevision`, `get`, `findByPath`, `listResources` |
+| Content | `read`, `readVersion`, `contentSize` |
+| Writes | `commit`, `idempotencyReceipt`, `finalizeIdempotencyReceipt` |
+| External edits | `previewWorkingChanges`, `adoptWorkingChanges` |
+| History | `history`, `inspectCommit`, `isReachable`, `restoreFromCommit` |
+| Diffs | `diff`, `diffPage`, `diffVersionsPage` |
+| Maintenance | `integrityReport`, `storageReport`, `collect` |
+
+## Errors
+
+Every error has a `_tag`. The union is `RevisionError`. The tags are `RevisionConflictError`, `UnsafePathError`, `InvalidRevisionInputError`, `NoChangesError`, `RevisionContentLimitError`, `IdempotencyConflictError`, `CorruptRepositoryError`, `RevisionStorageError` and `RepositoryClosedError`.
+
+A write installs content, working files and the new revision as one recoverable step. Opening the repository finishes safe prepared steps. A rollback conflict goes to `conflicts/` for inspection. Use `integrityReport` for a full check. `currentRevision` and `isReachable` do not scan objects.
+
+## Limits
+
+- Use it in Node, Bun and Electron main or utility processes. Do not use it in a browser or a renderer.
+- Managed paths are relative POSIX paths. Unsafe symlinks and hardlinks are rejected.
+- The storage root must be a trusted folder.
+- Processes share the repository through a heartbeat lock. A second process that holds the lock makes a write fail with `RevisionConflictError`.
+
+## Layout
+
+- `src/domain/` holds the model, format, validation and queries.
+- `src/repository/` holds the service and its transactions.
+- `src/storage/` holds the filesystem adapter, recovery and maintenance.
+- `src/effect/` holds the package entry.
+
+## Build
+
+```bash
+bun run build
+bun run typecheck
+bun run test
+```

package/dist/domain/change-set.d.ts

@@ -0,0 +1,34 @@
+import { Effect } from "effect";
+import { ChangeSet, ResourceChange, ResourceVersion } from "./model.js";
+import { CorruptRepositoryError, InvalidRevisionInputError, NoChangesError, RevisionConflictError, UnsafePathError } from "./errors.js";
+import type { JsonRecord } from "./format.js";
+/** The immutable resource map consumed by the pure change-set algorithms. */
+export type ResourceSnapshot = ReadonlyMap<string, ResourceVersion>;
+/** One active-file publication delta. */
+export interface MaterializationRow {
+    readonly path: string;
+    readonly oldBlob: string | null;
+    readonly newBlob: string | null;
+}
+/** Pure result of applying one validated change set. */
+export interface AppliedChangeSet {
+    readonly resulting: ResourceSnapshot;
+    readonly changes: readonly ResourceChange[];
+    readonly payloads: ReadonlyMap<string, Uint8Array>;
+    readonly rows: readonly MaterializationRow[];
+}
+/** Content-addressed request identities used by idempotent persistence. */
+export interface RequestIdentity {
+    readonly request: JsonRecord;
+    readonly requestHash: string;
+    readonly keyHash: string;
+}
+type ChangeSetError = CorruptRepositoryError | InvalidRevisionInputError | NoChangesError | RevisionConflictError | UnsafePathError;
+/** Calculate file publication rows from two materialized resource snapshots. */
+export declare const materializationRows: (before: ResourceSnapshot, after: ResourceSnapshot) => Effect.Effect<readonly MaterializationRow[], RevisionConflictError, never>;
+/** Apply Create/Update/Move/Archive/Restore to an immutable snapshot. */
+export declare const applyChangeSet: (value: ChangeSet, current: ResourceSnapshot) => Effect.Effect<AppliedChangeSet, ChangeSetError, never>;
+/** Build the deterministic request and idempotency hashes used by persistence. */
+export declare const requestIdentity: (value: ChangeSet) => Effect.Effect<RequestIdentity, InvalidRevisionInputError | UnsafePathError, never>;
+export {};
+//# sourceMappingURL=change-set.d.ts.map

package/dist/domain/change-set.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"change-set.d.ts","sourceRoot":"","sources":["../../src/domain/change-set.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AAEvC,OAAO,EACL,SAAS,EAET,cAAc,EACd,eAAe,EAGhB,MAAM,YAAY,CAAA;AAEnB,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,cAAc,EACd,qBAAqB,EACrB,eAAe,EAChB,MAAM,aAAa,CAAA;AAEpB,OAAO,KAAK,EAAE,UAAU,EAAa,MAAM,aAAa,CAAA;AAIxD,6EAA6E;AAC7E,MAAM,MAAM,gBAAgB,GAAG,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;AAEnE,yCAAyC;AACzC,MAAM,WAAW,kBAAkB;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,wDAAwD;AACxD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAA;IACpC,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAA;IAC3C,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IAClD,QAAQ,CAAC,IAAI,EAAE,SAAS,kBAAkB,EAAE,CAAA;CAC7C;AAED,2EAA2E;AAC3E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAA;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,KAAK,cAAc,GACf,sBAAsB,GACtB,yBAAyB,GACzB,cAAc,GACd,qBAAqB,GACrB,eAAe,CAAA;AAwDnB,gFAAgF;AAChF,eAAO,MAAM,mBAAmB,mIAc9B,CAAA;AAwDF,yEAAyE;AACzE,eAAO,MAAM,cAAc,yGAoGzB,CAAA;AA8BF,kFAAkF;AAClF,eAAO,MAAM,eAAe,0GAwB1B,CAAA"}

package/dist/domain/change-set.js

@@ -0,0 +1,206 @@
+import { Effect, Schema } from "effect";
+import { ChangeSet, Operation as OperationSchema, ResourceChange, ResourceVersion, makeVersion, normalizeRelativePath } from "./model.js";
+import { CorruptRepositoryError, InvalidRevisionInputError, NoChangesError, RevisionConflictError, UnsafePathError } from "./errors.js";
+import { canonicalJsonl, encodeUtf8 } from "./format.js";
+import { compareCodePoints } from "@arden-hq/std/json";
+import { sha256Hex } from "@arden-hq/std/hash";
+const failInput = (message) => Effect.fail(new InvalidRevisionInputError({ message }));
+const failConflict = (message) => Effect.fail(new RevisionConflictError({ message }));
+const failCorrupt = (message) => Effect.fail(new CorruptRepositoryError({ message }));
+const failNoChanges = (message) => Effect.fail(new NoChangesError({ message }));
+const bytesEqual = (left, right) => left.length === right.length && left.every((value, index) => value === right[index]);
+const rejectAncestorCollisions = (paths) => {
+    const sorted = [...paths].sort(compareCodePoints);
+    for (const [index, path] of sorted.entries()) {
+        const candidate = sorted[index + 1];
+        if (candidate?.startsWith(`${path}/`) === true) {
+            return failConflict(`managed file paths overlap: ${path} and ${candidate}`);
+        }
+    }
+    return Effect.succeed(undefined);
+};
+const validateActivePaths = Effect.fn("validateActivePaths")(function* (resources) {
+    const paths = [...resources.values()]
+        .filter((version) => version.state === "active")
+        .map((version) => version.path);
+    if (new Set(paths).size !== paths.length) {
+        return yield* failConflict("two active resources cannot share one path");
+    }
+    yield* rejectAncestorCollisions(paths);
+});
+const activePathBlobs = Effect.fn("activePathBlobs")(function* (resources) {
+    const paths = new Map();
+    for (const version of resources.values()) {
+        if (version.state !== "active")
+            continue;
+        if (paths.has(version.path))
+            return yield* failConflict("two active resources cannot share one path");
+        paths.set(version.path, version.blobId);
+    }
+    yield* rejectAncestorCollisions(paths.keys());
+    return paths;
+});
+/** Calculate file publication rows from two materialized resource snapshots. */
+export const materializationRows = Effect.fn("materializationRows")(function* (before, after) {
+    const oldPaths = yield* activePathBlobs(before);
+    const newPaths = yield* activePathBlobs(after);
+    const paths = [...new Set([...oldPaths.keys(), ...newPaths.keys()])].sort(compareCodePoints);
+    return paths
+        .filter((path) => oldPaths.get(path) !== newPaths.get(path))
+        .map((path) => ({
+        path,
+        oldBlob: oldPaths.get(path) ?? null,
+        newBlob: newPaths.get(path) ?? null
+    }));
+});
+const validateOperationSchema = Effect.fn("validateOperationSchema")(function* (operation) {
+    return yield* Schema.decodeUnknownEffect(OperationSchema)(operation).pipe(Effect.mapError(() => new InvalidRevisionInputError({
+        message: "operations contain an invalid revision operation"
+    })));
+});
+const validateChangeSet = Effect.fn("validateChangeSet")(function* (value) {
+    const changeSet = yield* Schema.decodeUnknownEffect(ChangeSet)(value).pipe(Effect.mapError(() => new InvalidRevisionInputError({ message: "change set has an invalid shape" })));
+    for (const operation of changeSet.operations)
+        yield* validateOperationSchema(operation);
+    if (changeSet.expectedHead !== null &&
+        changeSet.expectedHead !== undefined &&
+        changeSet.enforceExpectedHead === true) {
+        return yield* failInput("enforceExpectedHead is only valid when expectedHead is empty");
+    }
+    return changeSet;
+});
+const requireActive = (version, operation) => version.state === "active"
+    ? Effect.succeed(undefined)
+    : failConflict(`cannot ${operation} archived resource ${version.resourceId}`);
+const recordPayload = (payloads, content) => {
+    const copy = new Uint8Array(content);
+    const blobId = sha256Hex(copy);
+    const existing = payloads.get(blobId);
+    if (existing !== undefined && !bytesEqual(existing, copy)) {
+        return failCorrupt(`SHA-256 collision for blob ${blobId}`);
+    }
+    payloads.set(blobId, copy);
+    return Effect.succeed(blobId);
+};
+/** Apply Create/Update/Move/Archive/Restore to an immutable snapshot. */
+export const applyChangeSet = Effect.fn("applyChangeSet")(function* (value, current) {
+    const changeSet = yield* validateChangeSet(value);
+    yield* validateActivePaths(current);
+    const ordered = [...changeSet.operations].sort((left, right) => compareCodePoints(left.resourceId, right.resourceId));
+    const resourceIds = ordered.map((operation) => operation.resourceId);
+    if (new Set(resourceIds).size !== resourceIds.length) {
+        return yield* failInput("a change set may touch each resource only once");
+    }
+    const resulting = new Map(current);
+    const changes = [];
+    const payloads = new Map();
+    for (const operation of ordered) {
+        const before = current.get(operation.resourceId);
+        let after;
+        let action;
+        if (operation._tag === "Create") {
+            if (before !== undefined)
+                return yield* failConflict(`resource already exists: ${operation.resourceId}`);
+            const blobId = yield* recordPayload(payloads, operation.content);
+            after = yield* makeVersion(operation.resourceId, operation.path, blobId, "active", null);
+            action = "create";
+        }
+        else {
+            if (before === undefined)
+                return yield* failConflict(`resource does not exist: ${operation.resourceId}`);
+            if (before.versionId !== operation.expectedVersion) {
+                return yield* failConflict(`resource ${operation.resourceId} changed: expected ${operation.expectedVersion}, found ${before.versionId}`);
+            }
+            if (operation._tag === "Update") {
+                yield* requireActive(before, "update");
+                const blobId = yield* recordPayload(payloads, operation.content);
+                after = yield* makeVersion(operation.resourceId, before.path, blobId, "active", before.versionId);
+                action = "update";
+            }
+            else if (operation._tag === "Move") {
+                yield* requireActive(before, "move");
+                const blobId = operation.content === undefined
+                    ? before.blobId
+                    : yield* recordPayload(payloads, operation.content);
+                after = yield* makeVersion(operation.resourceId, operation.path, blobId, "active", before.versionId);
+                action = "move";
+            }
+            else if (operation._tag === "Archive") {
+                yield* requireActive(before, "archive");
+                after = yield* makeVersion(operation.resourceId, before.path, before.blobId, "archived", before.versionId);
+                action = "archive";
+            }
+            else {
+                const blobId = operation.content === undefined
+                    ? before.blobId
+                    : yield* recordPayload(payloads, operation.content);
+                const path = operation.path === undefined ? before.path : operation.path;
+                after = yield* makeVersion(operation.resourceId, path, blobId, "active", before.versionId);
+                action = "restore";
+            }
+        }
+        if (before !== undefined && isSameSubstance(before, after)) {
+            return yield* failNoChanges(`${action} produces no change for ${operation.resourceId}`);
+        }
+        resulting.set(operation.resourceId, after);
+        changes.push(new ResourceChange({
+            action,
+            before: before ?? null,
+            after
+        }));
+    }
+    yield* validateActivePaths(resulting);
+    const rows = yield* materializationRows(current, resulting);
+    return { resulting, changes, payloads, rows };
+});
+const isSameSubstance = (before, after) => before.path === after.path && before.blobId === after.blobId && before.state === after.state;
+const operationRequestRecord = Effect.fn("operationRequestRecord")(function* (operation) {
+    const base = {
+        resource_id: operation.resourceId,
+        operation: operation._tag.toLowerCase()
+    };
+    if (operation._tag === "Create") {
+        base.path = yield* normalizeRelativePath(operation.path);
+        base.content_hash = sha256Hex(operation.content);
+    }
+    else {
+        base.expected_version = operation.expectedVersion;
+        if (operation._tag === "Update") {
+            base.content_hash = sha256Hex(operation.content);
+        }
+        else if (operation._tag === "Move") {
+            base.path = yield* normalizeRelativePath(operation.path);
+            base.content_hash = operation.content === undefined ? null : sha256Hex(operation.content);
+        }
+        else if (operation._tag === "Restore") {
+            base.path = operation.path === undefined ? null : yield* normalizeRelativePath(operation.path);
+            base.content_hash = operation.content === undefined ? null : sha256Hex(operation.content);
+        }
+    }
+    return base;
+});
+/** Build the deterministic request and idempotency hashes used by persistence. */
+export const requestIdentity = Effect.fn("requestIdentity")(function* (value) {
+    const changeSet = yield* validateChangeSet(value);
+    const operations = [];
+    const ordered = [...changeSet.operations].sort((left, right) => compareCodePoints(left.resourceId, right.resourceId));
+    for (const operation of ordered)
+        operations.push(yield* operationRequestRecord(operation));
+    const request = {
+        version: 1,
+        actor: changeSet.actor,
+        origin: changeSet.origin,
+        reason: changeSet.reason,
+        expected_head: changeSet.expectedHead ?? null,
+        operations
+    };
+    if (changeSet.enforceExpectedHead === true)
+        request.enforce_expected_head = true;
+    const encoded = canonicalJsonl(request);
+    return {
+        request,
+        requestHash: sha256Hex(encoded),
+        keyHash: sha256Hex(encodeUtf8(changeSet.idempotencyKey))
+    };
+});
+//# sourceMappingURL=change-set.js.map

package/dist/domain/change-set.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"change-set.js","sourceRoot":"","sources":["../../src/domain/change-set.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EACL,SAAS,EACT,SAAS,IAAI,eAAe,EAC5B,cAAc,EACd,eAAe,EACf,WAAW,EACX,qBAAqB,EACtB,MAAM,YAAY,CAAA;AAEnB,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,cAAc,EACd,qBAAqB,EACrB,eAAe,EAChB,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAExD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAA;AAkC9C,MAAM,SAAS,GAAG,CAAC,OAAe,EAAmD,EAAE,CACrF,MAAM,CAAC,IAAI,CAAC,IAAI,yBAAyB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AAEzD,MAAM,YAAY,GAAG,CAAC,OAAe,EAA+C,EAAE,CACpF,MAAM,CAAC,IAAI,CAAC,IAAI,qBAAqB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AAErD,MAAM,WAAW,GAAG,CAAC,OAAe,EAAgD,EAAE,CACpF,MAAM,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AAEtD,MAAM,aAAa,GAAG,CAAC,OAAe,EAAwC,EAAE,CAC9E,MAAM,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AAE9C,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,MAAM,wBAAwB,GAAG,CAC/B,KAAuB,EACqB,EAAE;IAC9C,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;IACjD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC7C,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QACnC,IAAI,SAAS,EAAE,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;YAC/C,OAAO,YAAY,CAAC,+BAA+B,IAAI,QAAQ,SAAS,EAAE,CAAC,CAAA;QAC7E,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;AAClC,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,EACpE,SAA2B;IAE3B,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC;SAClC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC;SAC/C,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACjC,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACzC,OAAO,KAAK,CAAC,CAAC,YAAY,CAAC,4CAA4C,CAAC,CAAA;IAC1E,CAAC;IACD,KAAK,CAAC,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAA;AACxC,CAAC,CAAC,CAAA;AAEF,MAAM,eAAe,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EAC5D,SAA2B;IAE3B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAA;IACvC,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACzC,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ;YAAE,SAAQ;QACxC,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;YACzB,OAAO,KAAK,CAAC,CAAC,YAAY,CAAC,4CAA4C,CAAC,CAAA;QAC1E,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACzC,CAAC;IACD,KAAK,CAAC,CAAC,wBAAwB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;IAC7C,OAAO,KAAK,CAAA;AACd,CAAC,CAAC,CAAA;AAEF,gFAAgF;AAChF,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,EAC3E,MAAwB,EACxB,KAAuB;IAEvB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAA;IAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAA;IAC9C,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;IAC5F,OAAO,KAAK;SACT,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;SAC3D,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACd,IAAI;QACJ,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI;QACnC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI;KACpC,CAAC,CAAC,CAAA;AACP,CAAC,CAAC,CAAA;AAEF,MAAM,uBAAuB,GAAG,MAAM,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC,QAAQ,CAAC,EAC5E,SAAkB;IAElB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CACvE,MAAM,CAAC,QAAQ,CACb,GAAG,EAAE,CACH,IAAI,yBAAyB,CAAC;QAC5B,OAAO,EAAE,kDAAkD;KAC5D,CAAC,CACL,CACF,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,iBAAiB,GAAG,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,EAChE,KAAc;IAEd,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CACxE,MAAM,CAAC,QAAQ,CACb,GAAG,EAAE,CAAC,IAAI,yBAAyB,CAAC,EAAE,OAAO,EAAE,iCAAiC,EAAE,CAAC,CACpF,CACF,CAAA;IACD,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU;QAAE,KAAK,CAAC,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAA;IACvF,IACE,SAAS,CAAC,YAAY,KAAK,IAAI;QAC/B,SAAS,CAAC,YAAY,KAAK,SAAS;QACpC,SAAS,CAAC,mBAAmB,KAAK,IAAI,EACtC,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,8DAA8D,CAAC,CAAA;IACzF,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAC,CAAA;AAEF,MAAM,aAAa,GAAG,CACpB,OAAwB,EACxB,SAAiB,EAC2B,EAAE,CAC9C,OAAO,CAAC,KAAK,KAAK,QAAQ;IACxB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAC3B,CAAC,CAAC,YAAY,CAAC,UAAU,SAAS,sBAAsB,OAAO,CAAC,UAAU,EAAE,CAAC,CAAA;AAEjF,MAAM,aAAa,GAAG,CACpB,QAAiC,EACjC,OAAmB,EAC4B,EAAE;IACjD,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,OAAO,CAAC,CAAA;IACpC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;IAC9B,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IACrC,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;QAC1D,OAAO,WAAW,CAAC,8BAA8B,MAAM,EAAE,CAAC,CAAA;IAC5D,CAAC;IACD,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IAC1B,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;AAC/B,CAAC,CAAA;AAED,yEAAyE;AACzE,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,EACjE,KAAgB,EAChB,OAAyB;IAEzB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAA;IACjD,KAAK,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAA;IACnC,MAAM,OAAO,GAAG,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC7D,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CACrD,CAAA;IACD,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAA;IACpE,IAAI,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,MAAM,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,gDAAgD,CAAC,CAAA;IAC3E,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAA;IAClC,MAAM,OAAO,GAAqB,EAAE,CAAA;IACpC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAA;IAE9C,KAAK,MAAM,SAAS,IAAI,OAAO,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,CAAA;QAChD,IAAI,KAAsB,CAAA;QAC1B,IAAI,MAAc,CAAA;QAElB,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,IAAI,MAAM,KAAK,SAAS;gBACtB,OAAO,KAAK,CAAC,CAAC,YAAY,CAAC,4BAA4B,SAAS,CAAC,UAAU,EAAE,CAAC,CAAA;YAChF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,CAAC,CAAA;YAChE,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;YACxF,MAAM,GAAG,QAAQ,CAAA;QACnB,CAAC;aAAM,CAAC;YACN,IAAI,MAAM,KAAK,SAAS;gBACtB,OAAO,KAAK,CAAC,CAAC,YAAY,CAAC,4BAA4B,SAAS,CAAC,UAAU,EAAE,CAAC,CAAA;YAChF,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,eAAe,EAAE,CAAC;gBACnD,OAAO,KAAK,CAAC,CAAC,YAAY,CACxB,YAAY,SAAS,CAAC,UAAU,sBAAsB,SAAS,CAAC,eAAe,WAAW,MAAM,CAAC,SAAS,EAAE,CAC7G,CAAA;YACH,CAAC;YAED,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAChC,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;gBACtC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,CAAC,CAAA;gBAChE,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CACxB,SAAS,CAAC,UAAU,EACpB,MAAM,CAAC,IAAI,EACX,MAAM,EACN,QAAQ,EACR,MAAM,CAAC,SAAS,CACjB,CAAA;gBACD,MAAM,GAAG,QAAQ,CAAA;YACnB,CAAC;iBAAM,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACrC,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;gBACpC,MAAM,MAAM,GACV,SAAS,CAAC,OAAO,KAAK,SAAS;oBAC7B,CAAC,CAAC,MAAM,CAAC,MAAM;oBACf,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,CAAC,CAAA;gBACvD,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CACxB,SAAS,CAAC,UAAU,EACpB,SAAS,CAAC,IAAI,EACd,MAAM,EACN,QAAQ,EACR,MAAM,CAAC,SAAS,CACjB,CAAA;gBACD,MAAM,GAAG,MAAM,CAAA;YACjB,CAAC;iBAAM,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACxC,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;gBACvC,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CACxB,SAAS,CAAC,UAAU,EACpB,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,MAAM,EACb,UAAU,EACV,MAAM,CAAC,SAAS,CACjB,CAAA;gBACD,MAAM,GAAG,SAAS,CAAA;YACpB,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GACV,SAAS,CAAC,OAAO,KAAK,SAAS;oBAC7B,CAAC,CAAC,MAAM,CAAC,MAAM;oBACf,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,CAAC,CAAA;gBACvD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAA;gBACxE,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,CAAA;gBAC1F,MAAM,GAAG,SAAS,CAAA;YACpB,CAAC;QACH,CAAC;QAED,IAAI,MAAM,KAAK,SAAS,IAAI,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;YAC3D,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,GAAG,MAAM,2BAA2B,SAAS,CAAC,UAAU,EAAE,CAAC,CAAA;QACzF,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;QAC1C,OAAO,CAAC,IAAI,CACV,IAAI,cAAc,CAAC;YACjB,MAAM;YACN,MAAM,EAAE,MAAM,IAAI,IAAI;YACtB,KAAK;SACN,CAAC,CACH,CAAA;IACH,CAAC;IAED,KAAK,CAAC,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAA;IACrC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;IAC3D,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;AAC/C,CAAC,CAAC,CAAA;AAEF,MAAM,eAAe,GAAG,CAAC,MAAuB,EAAE,KAAsB,EAAW,EAAE,CACnF,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAA;AAE9F,MAAM,sBAAsB,GAAG,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC,QAAQ,CAAC,EAC1E,SAAoB;IAEpB,MAAM,IAAI,GAA8B;QACtC,WAAW,EAAE,SAAS,CAAC,UAAU;QACjC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE;KACxC,CAAA;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;QACxD,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IAClD,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,gBAAgB,GAAG,SAAS,CAAC,eAAe,CAAA;QACjD,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;QAClD,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;YACxD,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;QAC3F,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACxC,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;YAC9F,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;QAC3F,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAC,CAAA;AAEF,kFAAkF;AAClF,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EACnE,KAAgB;IAEhB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAA;IACjD,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,MAAM,OAAO,GAAG,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC7D,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CACrD,CAAA;IACD,KAAK,MAAM,SAAS,IAAI,OAAO;QAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC,CAAA;IAC1F,MAAM,OAAO,GAA8B;QACzC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,aAAa,EAAE,SAAS,CAAC,YAAY,IAAI,IAAI;QAC7C,UAAU;KACX,CAAA;IACD,IAAI,SAAS,CAAC,mBAAmB,KAAK,IAAI;QAAE,OAAO,CAAC,qBAAqB,GAAG,IAAI,CAAA;IAChF,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;IACvC,OAAO;QACL,OAAO;QACP,WAAW,EAAE,SAAS,CAAC,OAAO,CAAC;QAC/B,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;KACzD,CAAA;AACH,CAAC,CAAC,CAAA"}

package/dist/domain/codec.d.ts

@@ -0,0 +1,17 @@
+import { Effect } from "effect";
+import { Commit } from "./model.js";
+import { CorruptRepositoryError } from "./errors.js";
+import type { CommitRecord, JsonRecord, TreeRecord } from "./format.js";
+/** Decode one canonical JSONL object and reject non-canonical bytes. */
+export declare const decodeCanonicalJsonl: (content: Uint8Array<ArrayBufferLike>) => Effect.Effect<JsonRecord, CorruptRepositoryError, never>;
+/** Parse a v2 tree record, including strict entry shapes and state values. */
+export declare const parseTreeRecord: (value: unknown) => Effect.Effect<TreeRecord, CorruptRepositoryError, never>;
+/** Parse a v2 commit record and validate canonical timestamp precision. */
+export declare const parseCommitRecord: (value: unknown) => Effect.Effect<CommitRecord, CorruptRepositoryError, never>;
+/** Parse a canonical commit object and attach its content-addressed identifier. */
+export declare const parseCommitObject: (objectId: string, content: Uint8Array<ArrayBufferLike>) => Effect.Effect<Commit, CorruptRepositoryError, never>;
+/** Encode a validated commit record into its exact v2 canonical bytes. */
+export declare const encodeCommitRecord: (record: CommitRecord) => Uint8Array;
+/** Encode a validated tree record into its exact v2 canonical bytes. */
+export declare const encodeTreeRecord: (record: TreeRecord) => Uint8Array;
+//# sourceMappingURL=codec.d.ts.map

package/dist/domain/codec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/domain/codec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,MAAM,EAAkB,MAAM,QAAQ,CAAA;AAEzD,OAAO,EACL,MAAM,EAKP,MAAM,YAAY,CAAA;AACnB,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AAEpD,OAAO,KAAK,EACV,YAAY,EACZ,UAAU,EAEV,UAAU,EAEX,MAAM,aAAa,CAAA;AA2EpB,wEAAwE;AACxE,eAAO,MAAM,oBAAoB,oGAoB/B,CAAA;AAgDF,8EAA8E;AAC9E,eAAO,MAAM,eAAe,8EAyC1B,CAAA;AAEF,2EAA2E;AAC3E,eAAO,MAAM,iBAAiB,gFA2B5B,CAAA;AAEF,mFAAmF;AACnF,eAAO,MAAM,iBAAiB,kHAuB5B,CAAA;AAEF,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,WAAY,YAAY,KAAG,UACT,CAAA;AAEjD,wEAAwE;AACxE,eAAO,MAAM,gBAAgB,WAAY,UAAU,KAAG,UACL,CAAA"}