@arden-hq/revisions 0.0.0-stage → 0.1.2

package/dist/domain/model.d.ts

@@ -0,0 +1,114 @@
+import { Effect, Schema } from "effect";
+import { InvalidRevisionInputError, UnsafePathError } from "./errors.js";
+/** The only states represented by a resource version. */
+export declare const ResourceState: Schema.Union<readonly [Schema.Literal<"active">, Schema.Literal<"archived">]>;
+export type ResourceState = typeof ResourceState.Type;
+declare const ResourceVersion_base: Schema.Class<ResourceVersion, Schema.Struct<{
+    readonly resourceId: Schema.String;
+    readonly path: Schema.String;
+    readonly blobId: Schema.String;
+    readonly state: Schema.Union<readonly [Schema.Literal<"active">, Schema.Literal<"archived">]>;
+    readonly versionId: Schema.String;
+}>, {}>;
+/** A normalized, immutable resource version. */
+export declare class ResourceVersion extends ResourceVersion_base {
+}
+declare const WorkingTreeChange_base: Schema.Class<WorkingTreeChange, Schema.Struct<{
+    readonly resourceId: Schema.String;
+    readonly path: Schema.String;
+    readonly expectedVersion: Schema.String;
+    readonly content: Schema.Uint8Array;
+}>, {}>;
+/** Exact bytes observed for one externally changed active resource. */
+export declare class WorkingTreeChange extends WorkingTreeChange_base {
+}
+declare const WorkingTreeAdoption_base: Schema.Class<WorkingTreeAdoption, Schema.Struct<{
+    readonly expectedHead: Schema.NullOr<Schema.String>;
+    readonly changes: Schema.$Array<typeof WorkingTreeChange>;
+    readonly actor: Schema.String;
+    readonly origin: Schema.String;
+    readonly reason: Schema.String;
+    readonly idempotencyKey: Schema.String;
+}>, {}>;
+/** A guarded request to publish already-materialized working-tree changes. */
+export declare class WorkingTreeAdoption extends WorkingTreeAdoption_base {
+}
+declare const Create_base: Schema.Class<Create, Schema.TaggedStruct<"Create", {
+    readonly resourceId: Schema.String;
+    readonly path: Schema.String;
+    readonly content: Schema.Uint8Array;
+}>, {}>;
+/** A newly created resource. */
+export declare class Create extends Create_base {
+}
+declare const Update_base: Schema.Class<Update, Schema.TaggedStruct<"Update", {
+    readonly resourceId: Schema.String;
+    readonly expectedVersion: Schema.String;
+    readonly content: Schema.Uint8Array;
+}>, {}>;
+/** A replacement guarded by an exact previous version. */
+export declare class Update extends Update_base {
+}
+declare const Move_base: Schema.Class<Move, Schema.TaggedStruct<"Move", {
+    readonly resourceId: Schema.String;
+    readonly expectedVersion: Schema.String;
+    readonly path: Schema.String;
+    readonly content: Schema.optionalKey<Schema.Uint8Array>;
+}>, {}>;
+declare class Move extends Move_base {
+}
+declare const Archive_base: Schema.Class<Archive, Schema.TaggedStruct<"Archive", {
+    readonly resourceId: Schema.String;
+    readonly expectedVersion: Schema.String;
+}>, {}>;
+declare class Archive extends Archive_base {
+}
+declare const Restore_base: Schema.Class<Restore, Schema.TaggedStruct<"Restore", {
+    readonly resourceId: Schema.String;
+    readonly expectedVersion: Schema.String;
+    readonly path: Schema.optionalKey<Schema.String>;
+    readonly content: Schema.optionalKey<Schema.Uint8Array>;
+}>, {}>;
+/** Re-activates an archived resource, optionally changing path/content. */
+export declare class Restore extends Restore_base {
+}
+export declare const Operation: Schema.Union<readonly [typeof Create, typeof Update, typeof Move, typeof Archive, typeof Restore]>;
+export type Operation = typeof Operation.Type;
+declare const ChangeSet_base: Schema.Class<ChangeSet, Schema.Struct<{
+    readonly operations: Schema.$Array<Schema.Union<readonly [typeof Create, typeof Update, typeof Move, typeof Archive, typeof Restore]>>;
+    readonly actor: Schema.String;
+    readonly origin: Schema.String;
+    readonly reason: Schema.String;
+    readonly idempotencyKey: Schema.String;
+    readonly expectedHead: Schema.optionalKey<Schema.NullOr<Schema.String>>;
+    readonly enforceExpectedHead: Schema.optionalKey<Schema.Boolean>;
+}>, {}>;
+/** A validated immutable request submitted to the repository boundary. */
+export declare class ChangeSet extends ChangeSet_base {
+}
+declare const ResourceChange_base: Schema.Class<ResourceChange, Schema.Struct<{
+    readonly action: Schema.String;
+    readonly before: Schema.NullOr<typeof ResourceVersion>;
+    readonly after: Schema.NullOr<typeof ResourceVersion>;
+}>, {}>;
+export declare class ResourceChange extends ResourceChange_base {
+}
+declare const Commit_base: Schema.Class<Commit, Schema.Struct<{
+    readonly commitId: Schema.String;
+    readonly parentId: Schema.NullOr<Schema.String>;
+    readonly treeId: Schema.String;
+    readonly actor: Schema.String;
+    readonly origin: Schema.String;
+    readonly reason: Schema.String;
+    readonly timestamp: Schema.String;
+    readonly changes: Schema.$Array<typeof ResourceChange>;
+}>, {}>;
+/** A parsed immutable commit. Timestamp is kept as canonical text to retain microseconds. */
+export declare class Commit extends Commit_base {
+}
+/** Validate and return an already-normalized POSIX-relative managed path. */
+export declare const normalizeRelativePath: (value: string) => Effect.Effect<string, UnsafePathError, never>;
+/** Build the canonical version token from an immutable resource identity. */
+export declare const makeVersion: (resourceId: string, path: string, blobId: string, state: "active" | "archived", previousVersionId?: string | null | undefined) => Effect.Effect<ResourceVersion, InvalidRevisionInputError | UnsafePathError, never>;
+export {};
+//# sourceMappingURL=model.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/domain/model.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,yBAAyB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAOxE,yDAAyD;AACzD,eAAO,MAAM,aAAa,+EAAuE,CAAA;AACjG,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;;;;;;;;AAErD,gDAAgD;AAChD,qBAAa,eAAgB,SAAQ,oBAQnC;CAAG;;;;;;;AAEL,uEAAuE;AACvE,qBAAa,iBAAkB,SAAQ,sBAOrC;CAAG;;;;;;;;;AAEL,8EAA8E;AAC9E,qBAAa,mBAAoB,SAAQ,wBASvC;CAAG;;;;;;AAEL,gCAAgC;AAChC,qBAAa,MAAO,SAAQ,WAI1B;CAAG;;;;;;AAEL,0DAA0D;AAC1D,qBAAa,MAAO,SAAQ,WAI1B;CAAG;;;;;;;AAEL,cAAM,IAAK,SAAQ,SAKjB;CAAG;;;;;AAEL,cAAM,OAAQ,SAAQ,YAGpB;CAAG;;;;;;;AAEL,2EAA2E;AAC3E,qBAAa,OAAQ,SAAQ,YAK3B;CAAG;AAEL,eAAO,MAAM,SAAS,oGAAyD,CAAA;AAC/E,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;;;;;;;;;;AAE7C,0EAA0E;AAC1E,qBAAa,SAAU,SAAQ,cAQ7B;CAAG;;;;;;AAEL,qBAAa,cAAe,SAAQ,mBAIlC;CAAG;;;;;;;;;;;AAEL,6FAA6F;AAC7F,qBAAa,MAAO,SAAQ,WAS1B;CAAG;AAEL,6EAA6E;AAC7E,eAAO,MAAM,qBAAqB,kEAmBhC,CAAA;AAEF,6EAA6E;AAC7E,eAAO,MAAM,WAAW,uNAgDtB,CAAA"}

package/dist/domain/model.js

@@ -0,0 +1,145 @@
+import { posix, win32 } from "node:path";
+import { Effect, Schema } from "effect";
+import { InvalidRevisionInputError, UnsafePathError } from "./errors.js";
+import { canonicalJsonl } from "./format.js";
+import { sha256Hex } from "@arden-hq/std/hash";
+const NonEmptyText = Schema.String.check(Schema.isMinLength(1));
+const Hash = Schema.String.check(Schema.isPattern(/^[0-9a-f]{64}$/));
+/** The only states represented by a resource version. */
+export const ResourceState = Schema.Union([Schema.Literal("active"), Schema.Literal("archived")]);
+/** A normalized, immutable resource version. */
+export class ResourceVersion extends Schema.Class("arden/revisions/ResourceVersion")({
+    resourceId: NonEmptyText,
+    path: NonEmptyText,
+    blobId: Hash,
+    state: ResourceState,
+    versionId: Hash
+}) {
+}
+/** Exact bytes observed for one externally changed active resource. */
+export class WorkingTreeChange extends Schema.Class("arden/revisions/WorkingTreeChange")({
+    resourceId: NonEmptyText,
+    path: NonEmptyText,
+    expectedVersion: Hash,
+    content: Schema.Uint8Array
+}) {
+}
+/** A guarded request to publish already-materialized working-tree changes. */
+export class WorkingTreeAdoption extends Schema.Class("arden/revisions/WorkingTreeAdoption")({
+    expectedHead: Schema.NullOr(Hash),
+    changes: Schema.Array(WorkingTreeChange).check(Schema.isMinLength(1)),
+    actor: NonEmptyText,
+    origin: NonEmptyText,
+    reason: NonEmptyText,
+    idempotencyKey: NonEmptyText
+}) {
+}
+/** A newly created resource. */
+export class Create extends Schema.TaggedClass()("Create", {
+    resourceId: NonEmptyText,
+    path: NonEmptyText,
+    content: Schema.Uint8Array
+}) {
+}
+/** A replacement guarded by an exact previous version. */
+export class Update extends Schema.TaggedClass()("Update", {
+    resourceId: NonEmptyText,
+    expectedVersion: Hash,
+    content: Schema.Uint8Array
+}) {
+}
+class Move extends Schema.TaggedClass()("Move", {
+    resourceId: NonEmptyText,
+    expectedVersion: Hash,
+    path: NonEmptyText,
+    content: Schema.optionalKey(Schema.Uint8Array)
+}) {
+}
+class Archive extends Schema.TaggedClass()("Archive", {
+    resourceId: NonEmptyText,
+    expectedVersion: Hash
+}) {
+}
+/** Re-activates an archived resource, optionally changing path/content. */
+export class Restore extends Schema.TaggedClass()("Restore", {
+    resourceId: NonEmptyText,
+    expectedVersion: Hash,
+    path: Schema.optionalKey(NonEmptyText),
+    content: Schema.optionalKey(Schema.Uint8Array)
+}) {
+}
+export const Operation = Schema.Union([Create, Update, Move, Archive, Restore]);
+/** A validated immutable request submitted to the repository boundary. */
+export class ChangeSet extends Schema.Class("arden/revisions/ChangeSet")({
+    operations: Schema.Array(Operation).check(Schema.isMinLength(1)),
+    actor: NonEmptyText,
+    origin: NonEmptyText,
+    reason: NonEmptyText,
+    idempotencyKey: NonEmptyText,
+    expectedHead: Schema.optionalKey(Schema.NullOr(Hash)),
+    enforceExpectedHead: Schema.optionalKey(Schema.Boolean)
+}) {
+}
+export class ResourceChange extends Schema.Class("arden/revisions/ResourceChange")({
+    action: NonEmptyText,
+    before: Schema.NullOr(ResourceVersion),
+    after: Schema.NullOr(ResourceVersion)
+}) {
+}
+/** A parsed immutable commit. Timestamp is kept as canonical text to retain microseconds. */
+export class Commit extends Schema.Class("arden/revisions/Commit")({
+    commitId: Hash,
+    parentId: Schema.NullOr(Hash),
+    treeId: Hash,
+    actor: NonEmptyText,
+    origin: NonEmptyText,
+    reason: NonEmptyText,
+    timestamp: NonEmptyText,
+    changes: Schema.Array(ResourceChange).check(Schema.isMinLength(1))
+}) {
+}
+/** Validate and return an already-normalized POSIX-relative managed path. */
+export const normalizeRelativePath = Effect.fn("normalizeRelativePath")(function* (value) {
+    const normalized = posix.normalize(value);
+    const parts = value.split(posix.sep);
+    const invalid = value.length === 0 ||
+        value.includes("\u0000") ||
+        value.includes("\\") ||
+        posix.isAbsolute(value) ||
+        win32.isAbsolute(value) ||
+        normalized !== value ||
+        parts.some((part) => part.length === 0 || part === "." || part === "..");
+    if (invalid) {
+        return yield* new UnsafePathError({
+            message: `managed path must be normalized and relative: ${value}`
+        });
+    }
+    return normalized;
+});
+/** Build the canonical version token from an immutable resource identity. */
+export const makeVersion = Effect.fn("makeVersion")(function* (resourceId, path, blobId, state, previousVersionId = null) {
+    const normalizedPath = yield* normalizeRelativePath(path);
+    const validResourceId = yield* Schema.decodeUnknownEffect(NonEmptyText)(resourceId).pipe(Effect.mapError(() => new InvalidRevisionInputError({ message: "resourceId must not be empty" })));
+    const validBlobId = yield* Schema.decodeUnknownEffect(Hash)(blobId).pipe(Effect.mapError(() => new InvalidRevisionInputError({ message: "blobId must be a SHA-256 identifier" })));
+    const validState = yield* Schema.decodeUnknownEffect(ResourceState)(state).pipe(Effect.mapError(() => new InvalidRevisionInputError({ message: "state must be active or archived" })));
+    const validPreviousId = previousVersionId === null
+        ? null
+        : yield* Schema.decodeUnknownEffect(Hash)(previousVersionId).pipe(Effect.mapError(() => new InvalidRevisionInputError({
+            message: "previousVersionId must be a SHA-256 identifier"
+        })));
+    const identity = {
+        blob_id: validBlobId,
+        path: normalizedPath,
+        previous_version_id: validPreviousId,
+        resource_id: validResourceId,
+        state: validState
+    };
+    return new ResourceVersion({
+        resourceId: validResourceId,
+        path: normalizedPath,
+        blobId: validBlobId,
+        state: validState,
+        versionId: sha256Hex(canonicalJsonl(identity))
+    });
+});
+//# sourceMappingURL=model.js.map

package/dist/domain/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/domain/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,WAAW,CAAA;AAExC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,yBAAyB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAA;AAE9C,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;AAC/D,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,CAAA;AAEpE,yDAAyD;AACzD,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;AAGjG,gDAAgD;AAChD,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,KAAK,CAC/C,iCAAiC,CAClC,CAAC;IACA,UAAU,EAAE,YAAY;IACxB,IAAI,EAAE,YAAY;IAClB,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,aAAa;IACpB,SAAS,EAAE,IAAI;CAChB,CAAC;CAAG;AAEL,uEAAuE;AACvE,MAAM,OAAO,iBAAkB,SAAQ,MAAM,CAAC,KAAK,CACjD,mCAAmC,CACpC,CAAC;IACA,UAAU,EAAE,YAAY;IACxB,IAAI,EAAE,YAAY;IAClB,eAAe,EAAE,IAAI;IACrB,OAAO,EAAE,MAAM,CAAC,UAAU;CAC3B,CAAC;CAAG;AAEL,8EAA8E;AAC9E,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,KAAK,CACnD,qCAAqC,CACtC,CAAC;IACA,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACrE,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,YAAY;IACpB,MAAM,EAAE,YAAY;IACpB,cAAc,EAAE,YAAY;CAC7B,CAAC;CAAG;AAEL,gCAAgC;AAChC,MAAM,OAAO,MAAO,SAAQ,MAAM,CAAC,WAAW,EAAU,CAAC,QAAQ,EAAE;IACjE,UAAU,EAAE,YAAY;IACxB,IAAI,EAAE,YAAY;IAClB,OAAO,EAAE,MAAM,CAAC,UAAU;CAC3B,CAAC;CAAG;AAEL,0DAA0D;AAC1D,MAAM,OAAO,MAAO,SAAQ,MAAM,CAAC,WAAW,EAAU,CAAC,QAAQ,EAAE;IACjE,UAAU,EAAE,YAAY;IACxB,eAAe,EAAE,IAAI;IACrB,OAAO,EAAE,MAAM,CAAC,UAAU;CAC3B,CAAC;CAAG;AAEL,MAAM,IAAK,SAAQ,MAAM,CAAC,WAAW,EAAQ,CAAC,MAAM,EAAE;IACpD,UAAU,EAAE,YAAY;IACxB,eAAe,EAAE,IAAI;IACrB,IAAI,EAAE,YAAY;IAClB,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC;CAC/C,CAAC;CAAG;AAEL,MAAM,OAAQ,SAAQ,MAAM,CAAC,WAAW,EAAW,CAAC,SAAS,EAAE;IAC7D,UAAU,EAAE,YAAY;IACxB,eAAe,EAAE,IAAI;CACtB,CAAC;CAAG;AAEL,2EAA2E;AAC3E,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,WAAW,EAAW,CAAC,SAAS,EAAE;IACpE,UAAU,EAAE,YAAY;IACxB,eAAe,EAAE,IAAI;IACrB,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC;IACtC,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC;CAC/C,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAA;AAG/E,0EAA0E;AAC1E,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,KAAK,CAAY,2BAA2B,CAAC,CAAC;IAClF,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAChE,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,YAAY;IACpB,MAAM,EAAE,YAAY;IACpB,cAAc,EAAE,YAAY;IAC5B,YAAY,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrD,mBAAmB,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;CACxD,CAAC;CAAG;AAEL,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,KAAK,CAAiB,gCAAgC,CAAC,CAAC;IACjG,MAAM,EAAE,YAAY;IACpB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC;IACtC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC;CACtC,CAAC;CAAG;AAEL,6FAA6F;AAC7F,MAAM,OAAO,MAAO,SAAQ,MAAM,CAAC,KAAK,CAAS,wBAAwB,CAAC,CAAC;IACzE,QAAQ,EAAE,IAAI;IACd,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAC7B,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,YAAY;IACpB,MAAM,EAAE,YAAY;IACpB,SAAS,EAAE,YAAY;IACvB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;CACnE,CAAC;CAAG;AAEL,6EAA6E;AAC7E,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,QAAQ,CAAC,EAC/E,KAAa;IAEb,MAAM,UAAU,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACpC,MAAM,OAAO,GACX,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACxB,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QACpB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC;QACvB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC;QACvB,UAAU,KAAK,KAAK;QACpB,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,CAAC,CAAA;IAC1E,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC;YAChC,OAAO,EAAE,iDAAiD,KAAK,EAAE;SAClE,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,UAAU,CAAA;AACnB,CAAC,CAAC,CAAA;AAEF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,EAC3D,UAAkB,EAClB,IAAY,EACZ,MAAc,EACd,KAAoB,EACpB,iBAAiB,GAAkB,IAAI;IAEvC,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAA;IACzD,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,YAAY,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CACtF,MAAM,CAAC,QAAQ,CACb,GAAG,EAAE,CAAC,IAAI,yBAAyB,CAAC,EAAE,OAAO,EAAE,8BAA8B,EAAE,CAAC,CACjF,CACF,CAAA;IACD,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CACtE,MAAM,CAAC,QAAQ,CACb,GAAG,EAAE,CAAC,IAAI,yBAAyB,CAAC,EAAE,OAAO,EAAE,qCAAqC,EAAE,CAAC,CACxF,CACF,CAAA;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAC7E,MAAM,CAAC,QAAQ,CACb,GAAG,EAAE,CAAC,IAAI,yBAAyB,CAAC,EAAE,OAAO,EAAE,kCAAkC,EAAE,CAAC,CACrF,CACF,CAAA;IACD,MAAM,eAAe,GACnB,iBAAiB,KAAK,IAAI;QACxB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAC7D,MAAM,CAAC,QAAQ,CACb,GAAG,EAAE,CACH,IAAI,yBAAyB,CAAC;YAC5B,OAAO,EAAE,gDAAgD;SAC1D,CAAC,CACL,CACF,CAAA;IACP,MAAM,QAAQ,GAAG;QACf,OAAO,EAAE,WAAW;QACpB,IAAI,EAAE,cAAc;QACpB,mBAAmB,EAAE,eAAe;QACpC,WAAW,EAAE,eAAe;QAC5B,KAAK,EAAE,UAAU;KACT,CAAA;IACV,OAAO,IAAI,eAAe,CAAC;QACzB,UAAU,EAAE,eAAe;QAC3B,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,UAAU;QACjB,SAAS,EAAE,SAAS,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;KAC/C,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/dist/domain/query.d.ts

@@ -0,0 +1,31 @@
+import { Effect } from "effect";
+import type { ResourceSnapshot } from "./change-set.js";
+import { ResourceVersion } from "./model.js";
+import type { RevisionError } from "./errors.js";
+export interface ResourceDiff {
+    readonly resourceId: string;
+    readonly before: ResourceVersion | null;
+    readonly after: ResourceVersion | null;
+    readonly unifiedDiff: string;
+}
+export interface ResourceDiffPage {
+    readonly resourceId: string;
+    readonly before: ResourceVersion | null;
+    readonly after: ResourceVersion | null;
+    readonly offset: number;
+    readonly endOffset: number;
+    readonly hasMore: boolean;
+    readonly unifiedDiff: string;
+}
+export interface UnifiedDiffPage {
+    readonly offset: number;
+    readonly endOffset: number;
+    readonly hasMore: boolean;
+    readonly text: string;
+}
+export type BlobReader = (blobId: string) => Effect.Effect<Uint8Array, RevisionError>;
+export type BlobSizer = (blobId: string) => Effect.Effect<number, RevisionError>;
+export declare const diff: (before: ResourceSnapshot, after: ResourceSnapshot, resourceIds: Iterable<string> | null | undefined, readBlob: BlobReader) => Effect.Effect<readonly ResourceDiff[], RevisionError, never>;
+export declare const diffPage: (before: ResourceVersion | null, after: ResourceVersion | null, resourceId: string, offset: number, limit: number, tail: boolean, readBlob: BlobReader) => Effect.Effect<ResourceDiffPage, RevisionError, never>;
+export declare const diffVersionsPage: (before: ResourceVersion | null, after: ResourceVersion | null, offset: number, limit: number, tail: boolean, sourceByteLimit: number | null | undefined, blobSize: BlobSizer, readBlob: BlobReader) => Effect.Effect<ResourceDiffPage, RevisionError, never>;
+//# sourceMappingURL=query.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../../src/domain/query.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAM5C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAGhD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,eAAe,GAAG,IAAI,CAAA;IACvC,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,IAAI,CAAA;IACtC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAC7B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,eAAe,GAAG,IAAI,CAAA;IACvC,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,IAAI,CAAA;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,aAAa,CAAC,CAAA;AACrF,MAAM,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;AA4HhF,eAAO,MAAM,IAAI,6LAwCf,CAAA;AAEF,eAAO,MAAM,QAAQ,kNAgCnB,CAAA;AAEF,eAAO,MAAM,gBAAgB,+PAqD3B,CAAA"}

package/dist/domain/query.js

@@ -0,0 +1,168 @@
+import { structuredPatch } from "diff";
+import { Effect } from "effect";
+import { ResourceVersion } from "./model.js";
+import { CorruptRepositoryError, InvalidRevisionInputError, RevisionContentLimitError } from "./errors.js";
+import { compareCodePoints } from "@arden-hq/std/json";
+const failInput = (message) => Effect.fail(new InvalidRevisionInputError({ message }));
+const resourceVersionEqual = (left, right) => left === right ||
+    (left !== null &&
+        right !== null &&
+        left.resourceId === right.resourceId &&
+        left.path === right.path &&
+        left.blobId === right.blobId &&
+        left.state === right.state &&
+        left.versionId === right.versionId);
+const diffDecoder = new TextDecoder("utf-8");
+const unifiedRange = (start, count) => {
+    if (count === 0)
+        return `${start - 1},0`;
+    if (count === 1)
+        return `${start}`;
+    return `${start},${count}`;
+};
+const unifiedDiffChunks = (before, after, oldLabel, newLabel) => {
+    const patch = structuredPatch(oldLabel, newLabel, diffDecoder.decode(before), diffDecoder.decode(after), undefined, undefined, { context: 3 });
+    if (patch.hunks.length === 0)
+        return [];
+    const chunks = [`--- ${oldLabel}\n`, `+++ ${newLabel}\n`];
+    for (const hunk of patch.hunks) {
+        chunks.push(`@@ -${unifiedRange(hunk.oldStart, hunk.oldLines)} +${unifiedRange(hunk.newStart, hunk.newLines)} @@\n`);
+        for (const line of hunk.lines)
+            chunks.push(`${line}\n`);
+    }
+    return chunks;
+};
+const unifiedDiff = (before, after, oldLabel, newLabel) => unifiedDiffChunks(before, after, oldLabel, newLabel).join("");
+const codePoints = (value) => Array.from(value);
+const renderPage = Effect.fn("renderPage")(function* (chunks, offset, limit, tail) {
+    const points = codePoints(chunks.join(""));
+    if (tail) {
+        const pageOffset = points.length === 0 ? 0 : Math.floor((points.length - 1) / limit) * limit;
+        return {
+            offset: pageOffset,
+            endOffset: points.length,
+            hasMore: false,
+            text: points.slice(pageOffset).join("")
+        };
+    }
+    if (offset > points.length || (offset === points.length && offset > 0)) {
+        return yield* failInput("offset is outside the resource diff");
+    }
+    const endOffset = Math.min(points.length, offset + limit);
+    return {
+        offset,
+        endOffset,
+        hasMore: endOffset < points.length,
+        text: points.slice(offset, endOffset).join("")
+    };
+});
+const validatePageArguments = Effect.fn("validatePageArguments")(function* (resourceId, offset, limit, tail) {
+    if (typeof resourceId !== "string" || resourceId.length === 0)
+        return yield* failInput("resource_id must be a nonempty string");
+    if (!Number.isInteger(offset) || offset < 0)
+        return yield* failInput("offset must be a nonnegative integer");
+    if (!Number.isInteger(limit) || limit <= 0)
+        return yield* failInput("limit must be a positive integer");
+    if (typeof tail !== "boolean")
+        return yield* failInput("tail must be a bool");
+    if (tail && offset !== 0)
+        return yield* failInput("offset must be zero when tail is requested");
+});
+const unifiedDiffPage = Effect.fn("unifiedDiffPage")(function* (before, after, oldLabel, newLabel, offset, limit, tail) {
+    yield* validatePageArguments("diff", offset, limit, tail);
+    return yield* renderPage(unifiedDiffChunks(before, after, oldLabel, newLabel), offset, limit, tail);
+});
+export const diff = Effect.fn("diff")(function* (before, after, resourceIds, readBlob) {
+    let selected = null;
+    if (resourceIds !== null && resourceIds !== undefined) {
+        if (typeof resourceIds === "string" || resourceIds instanceof Uint8Array) {
+            return yield* failInput("resource_ids must be an iterable of resource IDs");
+        }
+        const values = [...resourceIds];
+        if (!values.every((resourceId) => typeof resourceId === "string" && resourceId.length > 0)) {
+            return yield* failInput("resource_ids must contain only nonempty strings");
+        }
+        selected = new Set(values);
+    }
+    const changedIds = new Set([...before.keys(), ...after.keys()]);
+    const result = [];
+    for (const resourceId of [...changedIds].sort(compareCodePoints)) {
+        if (selected !== null && !selected.has(resourceId))
+            continue;
+        const old = before.get(resourceId) ?? null;
+        const next = after.get(resourceId) ?? null;
+        if (resourceVersionEqual(old, next))
+            continue;
+        const oldContent = old === null ? new Uint8Array() : yield* readBlob(old.blobId);
+        const newContent = next === null ? new Uint8Array() : yield* readBlob(next.blobId);
+        result.push({
+            resourceId,
+            before: old,
+            after: next,
+            unifiedDiff: unifiedDiff(oldContent, newContent, old?.path ?? "/dev/null", next?.path ?? "/dev/null")
+        });
+    }
+    return result;
+});
+export const diffPage = Effect.fn("diffPage")(function* (before, after, resourceId, offset, limit, tail, readBlob) {
+    yield* validatePageArguments(resourceId, offset, limit, tail);
+    if (resourceVersionEqual(before, after))
+        return yield* failInput(`resource did not change between revisions: ${resourceId}`);
+    const oldContent = before === null ? new Uint8Array() : yield* readBlob(before.blobId);
+    const newContent = after === null ? new Uint8Array() : yield* readBlob(after.blobId);
+    const page = yield* unifiedDiffPage(oldContent, newContent, before?.path ?? "/dev/null", after?.path ?? "/dev/null", offset, limit, tail);
+    return {
+        resourceId,
+        before,
+        after,
+        offset: page.offset,
+        endOffset: page.endOffset,
+        hasMore: page.hasMore,
+        unifiedDiff: page.text
+    };
+});
+export const diffVersionsPage = Effect.fn("diffVersionsPage")(function* (before, after, offset, limit, tail, sourceByteLimit, blobSize, readBlob) {
+    if (before !== null && !(before instanceof ResourceVersion))
+        return yield* failInput("before must be a ResourceVersion or None");
+    if (after !== null && !(after instanceof ResourceVersion))
+        return yield* failInput("after must be a ResourceVersion or None");
+    if (before !== null && after !== null && before.resourceId !== after.resourceId) {
+        return yield* failInput("resource versions must have the same resource ID");
+    }
+    const resource = after ?? before;
+    if (resource === null)
+        return yield* failInput("a resource diff requires before or after");
+    if (resourceVersionEqual(before, after)) {
+        return yield* failInput(`resource did not change between versions: ${resource.resourceId}`);
+    }
+    yield* validatePageArguments(resource.resourceId, offset, limit, tail);
+    if (sourceByteLimit !== null &&
+        sourceByteLimit !== undefined &&
+        (!Number.isInteger(sourceByteLimit) || sourceByteLimit <= 0))
+        return yield* failInput("source_byte_limit must be a positive integer or None");
+    const versions = [before, after].filter((version) => version !== null);
+    const unique = new Map();
+    for (const version of versions)
+        unique.set(version.blobId, version);
+    let actualBytes = 0;
+    for (const version of unique.values())
+        actualBytes += yield* blobSize(version.blobId);
+    if (sourceByteLimit !== null && sourceByteLimit !== undefined && actualBytes > sourceByteLimit) {
+        return yield* new RevisionContentLimitError({
+            actualBytes,
+            limitBytes: sourceByteLimit,
+            message: `resource diff source content exceeds ${sourceByteLimit} bytes`
+        });
+    }
+    const contents = new Map();
+    for (const version of unique.values())
+        contents.set(version.blobId, yield* readBlob(version.blobId));
+    const readExactBlob = (blobId) => {
+        const content = contents.get(blobId);
+        return content === undefined
+            ? Effect.fail(new CorruptRepositoryError({ message: `source blob is missing: ${blobId}` }))
+            : Effect.succeed(content);
+    };
+    return yield* diffPage(before, after, resource.resourceId, offset, limit, tail, readExactBlob);
+});
+//# sourceMappingURL=query.js.map

package/dist/domain/query.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query.js","sourceRoot":"","sources":["../../src/domain/query.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,MAAM,CAAA;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAC5C,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,yBAAyB,EAC1B,MAAM,aAAa,CAAA;AAEpB,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AA6BtD,MAAM,SAAS,GAAG,CAAC,OAAe,EAAmD,EAAE,CACrF,MAAM,CAAC,IAAI,CAAC,IAAI,yBAAyB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AAEzD,MAAM,oBAAoB,GAAG,CAC3B,IAA4B,EAC5B,KAA6B,EACpB,EAAE,CACX,IAAI,KAAK,KAAK;IACd,CAAC,IAAI,KAAK,IAAI;QACZ,KAAK,KAAK,IAAI;QACd,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;QACpC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QACxB,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAC5B,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;QAC1B,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC,CAAA;AAEvC,MAAM,WAAW,GAAG,IAAI,WAAW,CAAC,OAAO,CAAC,CAAA;AAE5C,MAAM,YAAY,GAAG,CAAC,KAAa,EAAE,KAAa,EAAU,EAAE;IAC5D,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,GAAG,KAAK,GAAG,CAAC,IAAI,CAAA;IACxC,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,GAAG,KAAK,EAAE,CAAA;IAClC,OAAO,GAAG,KAAK,IAAI,KAAK,EAAE,CAAA;AAC5B,CAAC,CAAA;AAED,MAAM,iBAAiB,GAAG,CACxB,MAAkB,EAClB,KAAiB,EACjB,QAAgB,EAChB,QAAgB,EACG,EAAE;IACrB,MAAM,KAAK,GAAG,eAAe,CAC3B,QAAQ,EACR,QAAQ,EACR,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,EAC1B,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EACzB,SAAS,EACT,SAAS,EACT,EAAE,OAAO,EAAE,CAAC,EAAE,CACf,CAAA;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAEvC,MAAM,MAAM,GAAa,CAAC,OAAO,QAAQ,IAAI,EAAE,OAAO,QAAQ,IAAI,CAAC,CAAA;IACnE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,CAAC,IAAI,CACT,OAAO,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CACxG,CAAA;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,CAAA;IACzD,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAClB,MAAkB,EAClB,KAAiB,EACjB,QAAgB,EAChB,QAAgB,EACR,EAAE,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAE1E,MAAM,UAAU,GAAG,CAAC,KAAa,EAAqB,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAE1E,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,EAClD,MAAyB,EACzB,MAAc,EACd,KAAa,EACb,IAAa;IAEb,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;IAC1C,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAA;QAC5F,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,SAAS,EAAE,MAAM,CAAC,MAAM;YACxB,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;SACxC,CAAA;IACH,CAAC;IACD,IAAI,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAA;IAChE,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,CAAA;IACzD,OAAO;QACL,MAAM;QACN,SAAS;QACT,OAAO,EAAE,SAAS,GAAG,MAAM,CAAC,MAAM;QAClC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;KAC/C,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,qBAAqB,GAAG,MAAM,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,QAAQ,CAAC,EACxE,UAAkB,EAClB,MAAc,EACd,KAAa,EACb,IAAa;IAEb,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAC3D,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,uCAAuC,CAAC,CAAA;IAClE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC;QACzC,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,sCAAsC,CAAC,CAAA;IACjE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;QACxC,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,kCAAkC,CAAC,CAAA;IAC7D,IAAI,OAAO,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAA;IAC7E,IAAI,IAAI,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,4CAA4C,CAAC,CAAA;AACjG,CAAC,CAAC,CAAA;AAEF,MAAM,eAAe,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EAC5D,MAAkB,EAClB,KAAiB,EACjB,QAAgB,EAChB,QAAgB,EAChB,MAAc,EACd,KAAa,EACb,IAAa;IAEb,KAAK,CAAC,CAAC,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IACzD,OAAO,KAAK,CAAC,CAAC,UAAU,CACtB,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,EACpD,MAAM,EACN,KAAK,EACL,IAAI,CACL,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,EAC7C,MAAwB,EACxB,KAAuB,EACvB,WAAgD,EAChD,QAAoB;IAEpB,IAAI,QAAQ,GAA+B,IAAI,CAAA;IAC/C,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QACtD,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,WAAW,YAAY,UAAU,EAAE,CAAC;YACzE,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,kDAAkD,CAAC,CAAA;QAC7E,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,GAAG,WAAW,CAAC,CAAA;QAC/B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YAC3F,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,iDAAiD,CAAC,CAAA;QAC5E,CAAC;QACD,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IACvE,MAAM,MAAM,GAAmB,EAAE,CAAA;IACjC,KAAK,MAAM,UAAU,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACjE,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,SAAQ;QAC5D,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;QAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;QAC1C,IAAI,oBAAoB,CAAC,GAAG,EAAE,IAAI,CAAC;YAAE,SAAQ;QAC7C,MAAM,UAAU,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QAChF,MAAM,UAAU,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAClF,MAAM,CAAC,IAAI,CAAC;YACV,UAAU;YACV,MAAM,EAAE,GAAG;YACX,KAAK,EAAE,IAAI;YACX,WAAW,EAAE,WAAW,CACtB,UAAU,EACV,UAAU,EACV,GAAG,EAAE,IAAI,IAAI,WAAW,EACxB,IAAI,EAAE,IAAI,IAAI,WAAW,CAC1B;SACF,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,EACrD,MAA8B,EAC9B,KAA6B,EAC7B,UAAkB,EAClB,MAAc,EACd,KAAa,EACb,IAAa,EACb,QAAoB;IAEpB,KAAK,CAAC,CAAC,qBAAqB,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAC7D,IAAI,oBAAoB,CAAC,MAAM,EAAE,KAAK,CAAC;QACrC,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,8CAA8C,UAAU,EAAE,CAAC,CAAA;IACrF,MAAM,UAAU,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACtF,MAAM,UAAU,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IACpF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,eAAe,CACjC,UAAU,EACV,UAAU,EACV,MAAM,EAAE,IAAI,IAAI,WAAW,EAC3B,KAAK,EAAE,IAAI,IAAI,WAAW,EAC1B,MAAM,EACN,KAAK,EACL,IAAI,CACL,CAAA;IACD,OAAO;QACL,UAAU;QACV,MAAM;QACN,KAAK;QACL,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,WAAW,EAAE,IAAI,CAAC,IAAI;KACvB,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,EACrE,MAA8B,EAC9B,KAA6B,EAC7B,MAAc,EACd,KAAa,EACb,IAAa,EACb,eAA0C,EAC1C,QAAmB,EACnB,QAAoB;IAEpB,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,YAAY,eAAe,CAAC;QACzD,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,0CAA0C,CAAC,CAAA;IACrE,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,YAAY,eAAe,CAAC;QACvD,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,yCAAyC,CAAC,CAAA;IACpE,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;QAChF,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,kDAAkD,CAAC,CAAA;IAC7E,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,IAAI,MAAM,CAAA;IAChC,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,0CAA0C,CAAC,CAAA;IAC1F,IAAI,oBAAoB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,6CAA6C,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;IAC7F,CAAC;IACD,KAAK,CAAC,CAAC,qBAAqB,CAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IACtE,IACE,eAAe,KAAK,IAAI;QACxB,eAAe,KAAK,SAAS;QAC7B,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,eAAe,IAAI,CAAC,CAAC;QAE5D,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,sDAAsD,CAAC,CAAA;IAEjF,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,EAA8B,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,CAAA;IAClG,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAA;IACjD,KAAK,MAAM,OAAO,IAAI,QAAQ;QAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACnE,IAAI,WAAW,GAAG,CAAC,CAAA;IACnB,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE;QAAE,WAAW,IAAI,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IACrF,IAAI,eAAe,KAAK,IAAI,IAAI,eAAe,KAAK,SAAS,IAAI,WAAW,GAAG,eAAe,EAAE,CAAC;QAC/F,OAAO,KAAK,CAAC,CAAC,IAAI,yBAAyB,CAAC;YAC1C,WAAW;YACX,UAAU,EAAE,eAAe;YAC3B,OAAO,EAAE,wCAAwC,eAAe,QAAQ;SACzE,CAAC,CAAA;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAA;IAC9C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE;QACnC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;IAC/D,MAAM,aAAa,GAAe,CAAC,MAAM,EAAE,EAAE;QAC3C,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACpC,OAAO,OAAO,KAAK,SAAS;YAC1B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,2BAA2B,MAAM,EAAE,EAAE,CAAC,CAAC;YAC3F,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IAC7B,CAAC,CAAA;IACD,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,CAAC,CAAA;AAChG,CAAC,CAAC,CAAA"}

package/dist/domain/transaction.d.ts

@@ -0,0 +1,26 @@
+import { Effect } from "effect";
+import { CorruptRepositoryError } from "./errors.js";
+import { type JsonRecord } from "./format.js";
+interface TransactionRow {
+    readonly path: string;
+    readonly oldBlob: string | null;
+    readonly newBlob: string | null;
+}
+export interface Transaction {
+    readonly transactionId: string;
+    readonly oldHead: string | null;
+    readonly newHead: string;
+    readonly treeId: string;
+    readonly keyHash: string;
+    readonly requestHash: string;
+    readonly rows: readonly TransactionRow[];
+}
+export declare const transactionRecord: (transaction: Omit<Transaction, "transactionId">) => JsonRecord;
+export declare const parseIdempotencyRecord: (content: Uint8Array<ArrayBufferLike>, keyHash: string) => Effect.Effect<{
+    readonly keyHash: string;
+    readonly requestHash: string;
+    readonly commitId: string;
+}, CorruptRepositoryError, never>;
+export declare const parseTransaction: (transactionId: string, content: Uint8Array<ArrayBufferLike>) => Effect.Effect<Transaction, CorruptRepositoryError, never>;
+export {};
+//# sourceMappingURL=transaction.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"transaction.d.ts","sourceRoot":"","sources":["../../src/domain/transaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AAIvC,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,aAAa,CAAA;AA+B7C,UAAU,cAAc;IACtB,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,MAAM,WAAW,WAAW;IAC1B,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,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,cAAc,EAAE,CAAA;CACzC;AAED,eAAO,MAAM,iBAAiB,gBAAiB,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,KAAG,UAalF,CAAA;AAEF,eAAO,MAAM,sBAAsB;sBAIb,MAAM;0BAAwB,MAAM;uBAAqB,MAAM;iCAmBnF,CAAA;AAEF,eAAO,MAAM,gBAAgB,4HAiD3B,CAAA"}

package/dist/domain/transaction.js

@@ -0,0 +1,93 @@
+import { Effect, Schema } from "effect";
+import { decodeCanonicalJsonl } from "./codec.js";
+import { normalizeRelativePath } from "./model.js";
+import { CorruptRepositoryError } from "./errors.js";
+import {} from "./format.js";
+import { compareCodePoints } from "@arden-hq/std/json";
+import { sha256Hex } from "@arden-hq/std/hash";
+const Hash = Schema.String.check(Schema.isPattern(/^[0-9a-f]{64}$/));
+const NonEmptyText = Schema.String.check(Schema.isMinLength(1));
+const IdempotencyRecord = Schema.Struct({
+    commit_id: Hash,
+    key_hash: Hash,
+    request_hash: Hash,
+    version: Schema.Literal(2)
+});
+const TransactionRowRecord = Schema.Struct({
+    new_blob: Schema.NullOr(Hash),
+    old_blob: Schema.NullOr(Hash),
+    path: NonEmptyText
+});
+const TransactionRecord = Schema.Struct({
+    key_hash: Hash,
+    kind: Schema.Literal("transaction"),
+    new_head: Hash,
+    old_head: Schema.NullOr(Hash),
+    request_hash: Hash,
+    rows: Schema.Array(TransactionRowRecord),
+    tree_id: Hash,
+    version: Schema.Literal(2)
+});
+export const transactionRecord = (transaction) => ({
+    version: 2,
+    kind: "transaction",
+    old_head: transaction.oldHead,
+    new_head: transaction.newHead,
+    tree_id: transaction.treeId,
+    key_hash: transaction.keyHash,
+    request_hash: transaction.requestHash,
+    rows: transaction.rows.map((row) => ({
+        path: row.path,
+        old_blob: row.oldBlob,
+        new_blob: row.newBlob
+    }))
+});
+export const parseIdempotencyRecord = Effect.fn("Revision.parseIdempotencyRecord")(function* (content, keyHash) {
+    const record = yield* decodeCanonicalJsonl(content);
+    const decoded = yield* Schema.decodeUnknownEffect(IdempotencyRecord)(record, {
+        onExcessProperty: "error"
+    }).pipe(Effect.mapError(() => new CorruptRepositoryError({
+        message: `idempotency record ${keyHash} has an invalid shape`
+    })));
+    if (decoded.key_hash !== keyHash)
+        return yield* new CorruptRepositoryError({
+            message: `idempotency record ${keyHash} has the wrong key hash`
+        });
+    return { keyHash, requestHash: decoded.request_hash, commitId: decoded.commit_id };
+});
+export const parseTransaction = Effect.fn("Revision.parseTransaction")(function* (transactionId, content) {
+    if (sha256Hex(content) !== transactionId)
+        return yield* new CorruptRepositoryError({
+            message: `transaction ${transactionId} failed its manifest hash`
+        });
+    const record = yield* decodeCanonicalJsonl(content);
+    const decoded = yield* Schema.decodeUnknownEffect(TransactionRecord)(record, {
+        onExcessProperty: "error"
+    }).pipe(Effect.mapError(() => new CorruptRepositoryError({ message: `transaction ${transactionId} has an invalid shape` })));
+    const rows = [];
+    let previousPath;
+    for (const row of decoded.rows) {
+        const normalized = yield* normalizeRelativePath(row.path).pipe(Effect.mapError(() => new CorruptRepositoryError({ message: `transaction ${transactionId} has an unsafe path` })));
+        if (normalized !== row.path ||
+            (previousPath !== undefined && compareCodePoints(previousPath, row.path) >= 0))
+            return yield* new CorruptRepositoryError({
+                message: `transaction ${transactionId} rows are not uniquely ordered`
+            });
+        if (row.old_blob === row.new_blob)
+            return yield* new CorruptRepositoryError({
+                message: `transaction ${transactionId} row makes no change`
+            });
+        rows.push({ path: row.path, oldBlob: row.old_blob, newBlob: row.new_blob });
+        previousPath = row.path;
+    }
+    return {
+        transactionId,
+        oldHead: decoded.old_head,
+        newHead: decoded.new_head,
+        treeId: decoded.tree_id,
+        keyHash: decoded.key_hash,
+        requestHash: decoded.request_hash,
+        rows
+    };
+});
+//# sourceMappingURL=transaction.js.map

package/dist/domain/transaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transaction.js","sourceRoot":"","sources":["../../src/domain/transaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAA;AACjD,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAA;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,EAAmB,MAAM,aAAa,CAAA;AAC7C,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAA;AAE9C,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,CAAA;AACpE,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;AAE/D,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,SAAS,EAAE,IAAI;IACf,QAAQ,EAAE,IAAI;IACd,YAAY,EAAE,IAAI;IAClB,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;CAC3B,CAAC,CAAA;AAEF,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;IACzC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAC7B,IAAI,EAAE,YAAY;CACnB,CAAC,CAAA;AAEF,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,QAAQ,EAAE,IAAI;IACd,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC;IACnC,QAAQ,EAAE,IAAI;IACd,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAC7B,YAAY,EAAE,IAAI;IAClB,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACxC,OAAO,EAAE,IAAI;IACb,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;CAC3B,CAAC,CAAA;AAkBF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,WAA+C,EAAc,EAAE,CAAC,CAAC;IACjG,OAAO,EAAE,CAAC;IACV,IAAI,EAAE,aAAa;IACnB,QAAQ,EAAE,WAAW,CAAC,OAAO;IAC7B,QAAQ,EAAE,WAAW,CAAC,OAAO;IAC7B,OAAO,EAAE,WAAW,CAAC,MAAM;IAC3B,QAAQ,EAAE,WAAW,CAAC,OAAO;IAC7B,YAAY,EAAE,WAAW,CAAC,WAAW;IACrC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,QAAQ,EAAE,GAAG,CAAC,OAAO;QACrB,QAAQ,EAAE,GAAG,CAAC,OAAO;KACtB,CAAC,CAAC;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,EAAE,CAAC,iCAAiC,CAAC,CAAC,QAAQ,CAAC,EAC1F,OAAmB,EACnB,OAAe;IAKf,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAA;IACnD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,iBAAiB,CAAC,CAAC,MAAM,EAAE;QAC3E,gBAAgB,EAAE,OAAO;KAC1B,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CACb,GAAG,EAAE,CACH,IAAI,sBAAsB,CAAC;QACzB,OAAO,EAAE,sBAAsB,OAAO,uBAAuB;KAC9D,CAAC,CACL,CACF,CAAA;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO;QAC9B,OAAO,KAAK,CAAC,CAAC,IAAI,sBAAsB,CAAC;YACvC,OAAO,EAAE,sBAAsB,OAAO,yBAAyB;SAChE,CAAC,CAAA;IACJ,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,YAAY,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,CAAA;AACpF,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,QAAQ,CAAC,EAC9E,aAAqB,EACrB,OAAmB;IAEnB,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,aAAa;QACtC,OAAO,KAAK,CAAC,CAAC,IAAI,sBAAsB,CAAC;YACvC,OAAO,EAAE,eAAe,aAAa,2BAA2B;SACjE,CAAC,CAAA;IACJ,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAA;IACnD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,iBAAiB,CAAC,CAAC,MAAM,EAAE;QAC3E,gBAAgB,EAAE,OAAO;KAC1B,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CACb,GAAG,EAAE,CACH,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,eAAe,aAAa,uBAAuB,EAAE,CAAC,CAC/F,CACF,CAAA;IACD,MAAM,IAAI,GAAqB,EAAE,CAAA;IACjC,IAAI,YAAgC,CAAA;IACpC,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAC5D,MAAM,CAAC,QAAQ,CACb,GAAG,EAAE,CACH,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,eAAe,aAAa,qBAAqB,EAAE,CAAC,CAC7F,CACF,CAAA;QACD,IACE,UAAU,KAAK,GAAG,CAAC,IAAI;YACvB,CAAC,YAAY,KAAK,SAAS,IAAI,iBAAiB,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAE9E,OAAO,KAAK,CAAC,CAAC,IAAI,sBAAsB,CAAC;gBACvC,OAAO,EAAE,eAAe,aAAa,gCAAgC;aACtE,CAAC,CAAA;QACJ,IAAI,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ;YAC/B,OAAO,KAAK,CAAC,CAAC,IAAI,sBAAsB,CAAC;gBACvC,OAAO,EAAE,eAAe,aAAa,sBAAsB;aAC5D,CAAC,CAAA;QACJ,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAA;QAC3E,YAAY,GAAG,GAAG,CAAC,IAAI,CAAA;IACzB,CAAC;IACD,OAAO;QACL,aAAa;QACb,OAAO,EAAE,OAAO,CAAC,QAAQ;QACzB,OAAO,EAAE,OAAO,CAAC,QAAQ;QACzB,MAAM,EAAE,OAAO,CAAC,OAAO;QACvB,OAAO,EAAE,OAAO,CAAC,QAAQ;QACzB,WAAW,EAAE,OAAO,CAAC,YAAY;QACjC,IAAI;KACL,CAAA;AACH,CAAC,CAAC,CAAA"}

package/dist/domain/tree.d.ts

@@ -0,0 +1,6 @@
+import { Effect } from "effect";
+import type { ResourceSnapshot } from "./change-set.js";
+import { CorruptRepositoryError } from "./errors.js";
+import { type TreeRecord } from "./format.js";
+export declare const materializeSnapshot: <E>(readTree: (id: string) => Effect.Effect<TreeRecord, E>, treeId: string, cache?: Map<string, Effect.Effect<ResourceSnapshot, E | CorruptRepositoryError, never>> | undefined) => Effect.Effect<ResourceSnapshot, E | CorruptRepositoryError, never>;
+//# sourceMappingURL=tree.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tree.d.ts","sourceRoot":"","sources":["../../src/domain/tree.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAEvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,aAAa,CAAA;AAO7C,eAAO,MAAM,mBAAmB,GAAwD,CAAC,iBACxE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,4LAwDtD,CAAA"}