@arden-hq/revisions 0.0.0-stage → 0.1.2

package/dist/domain/codec.js

@@ -0,0 +1,188 @@
+import { DateTime, Effect, Option, Schema } from "effect";
+import { Commit, ResourceChange, ResourceState, ResourceVersion, normalizeRelativePath } from "./model.js";
+import { CorruptRepositoryError } from "./errors.js";
+import { canonicalJsonl, decodeUtf8 } 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 CanonicalTimestamp = Schema.String.pipe(Schema.check(Schema.isPattern(/^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}\.\d{6}Z$/)));
+const VersionRecordSchema = Schema.Struct({
+    resource_id: NonEmptyText,
+    path: NonEmptyText,
+    blob_id: Hash,
+    state: ResourceState,
+    version_id: Hash
+});
+const ChangeRecordSchema = Schema.Struct({
+    action: NonEmptyText,
+    before: Schema.NullOr(VersionRecordSchema),
+    after: Schema.NullOr(VersionRecordSchema)
+});
+const CommitRecordSchema = Schema.Struct({
+    version: Schema.Literal(2),
+    kind: Schema.Literal("commit"),
+    parent_id: Schema.NullOr(Hash),
+    tree_id: Hash,
+    actor: NonEmptyText,
+    origin: NonEmptyText,
+    reason: NonEmptyText,
+    timestamp: CanonicalTimestamp,
+    changes: Schema.Array(ChangeRecordSchema).check(Schema.isMinLength(1))
+});
+const TreeResourceRecordSchema = Schema.Struct({
+    kind: Schema.Literal("resource"),
+    name: NonEmptyText,
+    resource_id: NonEmptyText,
+    blob_id: Hash,
+    state: ResourceState,
+    version_id: Hash
+});
+const TreeSubtreeRecordSchema = Schema.Struct({
+    kind: Schema.Literal("subtree"),
+    name: NonEmptyText,
+    tree_id: Hash
+});
+const TreeRecordSchema = Schema.Struct({
+    version: Schema.Literal(2),
+    kind: Schema.Literal("tree"),
+    entries: Schema.Array(Schema.Union([TreeResourceRecordSchema, TreeSubtreeRecordSchema]))
+});
+const JsonRecordSchema = Schema.Record(Schema.String, Schema.Unknown);
+const JsonRecordFromString = Schema.fromJsonString(JsonRecordSchema);
+const fail = (message) => Effect.fail(new CorruptRepositoryError({ message }));
+const decode = (schema, input, label) => Schema.decodeUnknownEffect(schema)(input, { onExcessProperty: "error" }).pipe(Effect.mapError(() => new CorruptRepositoryError({ message: `${label} has an invalid shape` })));
+const bytesEqual = (left, right) => left.length === right.length && left.every((value, index) => value === right[index]);
+/** Decode one canonical JSONL object and reject non-canonical bytes. */
+export const decodeCanonicalJsonl = Effect.fn("decodeCanonicalJsonl")(function* (content) {
+    if (content.length === 0 ||
+        content[content.length - 1] !== 0x0a ||
+        content.filter((byte) => byte === 0x0a).length !== 1) {
+        return yield* fail("record is not one canonical JSONL object");
+    }
+    const text = yield* Effect.try({
+        try: () => decodeUtf8(content),
+        catch: () => new CorruptRepositoryError({ message: "record is not valid UTF-8" })
+    });
+    const record = yield* Schema.decodeUnknownEffect(JsonRecordFromString)(text).pipe(Effect.mapError(() => new CorruptRepositoryError({ message: "record is invalid JSONL" })));
+    const canonical = canonicalJsonl(record);
+    if (!bytesEqual(content, canonical))
+        return yield* fail("record is not canonical JSONL");
+    return record;
+});
+const decodeVersion = Effect.fn("decodeVersion")(function* (value, label) {
+    const decoded = yield* decode(VersionRecordSchema, value, label);
+    const normalizedPath = yield* normalizeRelativePath(decoded.path).pipe(Effect.mapError(() => new CorruptRepositoryError({ message: `${label} has an unsafe path` })));
+    if (normalizedPath !== decoded.path)
+        return yield* fail(`${label} has a non-normalized path`);
+    return decoded;
+});
+const toResourceVersion = (value, label) => Effect.try({
+    try: () => new ResourceVersion({
+        resourceId: value.resource_id,
+        path: value.path,
+        blobId: value.blob_id,
+        state: value.state,
+        versionId: value.version_id
+    }),
+    catch: () => new CorruptRepositoryError({ message: `${label} has an invalid resource version` })
+});
+const decodeChange = Effect.fn("decodeChange")(function* (value, label) {
+    const decoded = yield* decode(ChangeRecordSchema, value, label);
+    const before = decoded.before === null ? null : yield* decodeVersion(decoded.before, `${label}.before`);
+    const after = decoded.after === null ? null : yield* decodeVersion(decoded.after, `${label}.after`);
+    const beforeVersion = before === null ? null : yield* toResourceVersion(before, `${label}.before`);
+    const afterVersion = after === null ? null : yield* toResourceVersion(after, `${label}.after`);
+    return yield* Effect.try({
+        try: () => new ResourceChange({ action: decoded.action, before: beforeVersion, after: afterVersion }),
+        catch: () => new CorruptRepositoryError({ message: `${label} has an invalid resource change` })
+    });
+});
+/** Parse a v2 tree record, including strict entry shapes and state values. */
+export const parseTreeRecord = Effect.fn("parseTreeRecord")(function* (value) {
+    const decoded = yield* decode(TreeRecordSchema, value, "tree");
+    const entries = [];
+    const subtreeNames = new Set();
+    const activeResourceNames = new Set();
+    for (const [index, entry] of decoded.entries.entries()) {
+        const normalizedName = yield* normalizeRelativePath(entry.name).pipe(Effect.mapError(() => new CorruptRepositoryError({ message: `tree entry ${index} has an invalid name` })));
+        if (normalizedName !== entry.name || entry.name.includes("/")) {
+            return yield* fail(`tree entry ${index} has an invalid name`);
+        }
+        if (entry.kind === "resource") {
+            if (entry.state === "active") {
+                if (activeResourceNames.has(entry.name))
+                    return yield* fail(`tree repeats active name ${entry.name}`);
+                activeResourceNames.add(entry.name);
+            }
+            entries.push(entry);
+        }
+        else {
+            if (subtreeNames.has(entry.name))
+                return yield* fail(`tree repeats subtree name ${entry.name}`);
+            subtreeNames.add(entry.name);
+            entries.push(entry);
+        }
+    }
+    const sortKey = (entry) => `${entry.name}\u0000${entry.kind}\u0000${entry.kind === "resource" ? entry.resource_id : entry.tree_id}`;
+    let previousKey;
+    for (const entry of entries) {
+        const key = sortKey(entry);
+        if (previousKey !== undefined && compareCodePoints(previousKey, key) > 0) {
+            return yield* fail("tree entries are not uniquely ordered");
+        }
+        previousKey = key;
+    }
+    return { version: 2, kind: "tree", entries };
+});
+/** Parse a v2 commit record and validate canonical timestamp precision. */
+export const parseCommitRecord = Effect.fn("parseCommitRecord")(function* (value) {
+    const decoded = yield* decode(CommitRecordSchema, value, "commit");
+    if (Option.isNone(DateTime.make(decoded.timestamp)))
+        return yield* fail("commit timestamp is invalid");
+    const resourceIds = decoded.changes.map((change) => change.after?.resource_id ?? change.before?.resource_id ?? "");
+    const sortedIds = [...resourceIds].sort(compareCodePoints);
+    if (resourceIds.some((resourceId, index) => resourceId !== sortedIds[index]) ||
+        new Set(resourceIds).size !== resourceIds.length) {
+        return yield* fail("commit changes are not uniquely ordered");
+    }
+    return {
+        version: 2,
+        kind: "commit",
+        parent_id: decoded.parent_id,
+        tree_id: decoded.tree_id,
+        actor: decoded.actor,
+        origin: decoded.origin,
+        reason: decoded.reason,
+        timestamp: decoded.timestamp,
+        changes: decoded.changes
+    };
+});
+/** Parse a canonical commit object and attach its content-addressed identifier. */
+export const parseCommitObject = Effect.fn("parseCommitObject")(function* (objectId, content) {
+    const record = yield* decodeCanonicalJsonl(content);
+    const commitRecordValue = yield* parseCommitRecord(record);
+    if (!/^[0-9a-f]{64}$/.test(objectId))
+        return yield* fail("commit identifier is invalid");
+    if (sha256Hex(content) !== objectId)
+        return yield* fail("commit object identifier does not match content");
+    const changes = [];
+    for (const [index, change] of commitRecordValue.changes.entries()) {
+        changes.push(yield* decodeChange(change, `commit change ${index}`));
+    }
+    return new Commit({
+        commitId: objectId,
+        parentId: commitRecordValue.parent_id,
+        treeId: commitRecordValue.tree_id,
+        actor: commitRecordValue.actor,
+        origin: commitRecordValue.origin,
+        reason: commitRecordValue.reason,
+        timestamp: commitRecordValue.timestamp,
+        changes
+    });
+});
+/** Encode a validated commit record into its exact v2 canonical bytes. */
+export const encodeCommitRecord = (record) => canonicalJsonl(record);
+/** Encode a validated tree record into its exact v2 canonical bytes. */
+export const encodeTreeRecord = (record) => canonicalJsonl(record);
+//# sourceMappingURL=codec.js.map

package/dist/domain/codec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec.js","sourceRoot":"","sources":["../../src/domain/codec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEzD,OAAO,EACL,MAAM,EACN,cAAc,EACd,aAAa,EACb,eAAe,EACf,qBAAqB,EACtB,MAAM,YAAY,CAAA;AACnB,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAQxD,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;AAC/D,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC3C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,+CAA+C,CAAC,CAAC,CAChF,CAAA;AAED,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,WAAW,EAAE,YAAY;IACzB,IAAI,EAAE,YAAY;IAClB,OAAO,EAAE,IAAI;IACb,KAAK,EAAE,aAAa;IACpB,UAAU,EAAE,IAAI;CACjB,CAAC,CAAA;AAEF,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,MAAM,EAAE,YAAY;IACpB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC;IAC1C,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC;CAC1C,CAAC,CAAA;AAEF,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC9B,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAC9B,OAAO,EAAE,IAAI;IACb,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,YAAY;IACpB,MAAM,EAAE,YAAY;IACpB,SAAS,EAAE,kBAAkB;IAC7B,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;CACvE,CAAC,CAAA;AAEF,MAAM,wBAAwB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7C,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;IAChC,IAAI,EAAE,YAAY;IAClB,WAAW,EAAE,YAAY;IACzB,OAAO,EAAE,IAAI;IACb,KAAK,EAAE,aAAa;IACpB,UAAU,EAAE,IAAI;CACjB,CAAC,CAAA;AAEF,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAC/B,IAAI,EAAE,YAAY;IAClB,OAAO,EAAE,IAAI;CACd,CAAC,CAAA;AAEF,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IACrC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,wBAAwB,EAAE,uBAAuB,CAAC,CAAC,CAAC;CACzF,CAAC,CAAA;AAEF,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,CAAA;AACrE,MAAM,oBAAoB,GAAG,MAAM,CAAC,cAAc,CAAC,gBAAgB,CAAC,CAAA;AAEpE,MAAM,IAAI,GAAG,CAAC,OAAe,EAAgD,EAAE,CAC7E,MAAM,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AAEtD,MAAM,MAAM,GAAG,CACb,MAAS,EACT,KAAc,EACd,KAAa,EAC4D,EAAE,CAC3E,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,CAC3E,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,GAAG,KAAK,uBAAuB,EAAE,CAAC,CAAC,CAChG,CAAA;AAEH,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,wEAAwE;AACxE,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,QAAQ,CAAC,EAC7E,OAAmB;IAEnB,IACE,OAAO,CAAC,MAAM,KAAK,CAAC;QACpB,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,IAAI;QACpC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EACpD,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAA;IAChE,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QAC7B,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;QAC9B,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC;KAClF,CAAC,CAAA;IACF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAC/E,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC,CAAC,CAC1F,CAAA;IACD,MAAM,SAAS,GAAG,cAAc,CAAC,MAAoB,CAAC,CAAA;IACtD,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAA;IACxF,OAAO,MAAoB,CAAA;AAC7B,CAAC,CAAC,CAAA;AAEF,MAAM,aAAa,GAAG,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,EACxD,KAAc,EACd,KAAa;IAEb,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAChE,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CACpE,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,GAAG,KAAK,qBAAqB,EAAE,CAAC,CAAC,CAC9F,CAAA;IACD,IAAI,cAAc,KAAK,OAAO,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,4BAA4B,CAAC,CAAA;IAC7F,OAAO,OAAO,CAAA;AAChB,CAAC,CAAC,CAAA;AAEF,MAAM,iBAAiB,GAAG,CACxB,KAAoB,EACpB,KAAa,EAC2C,EAAE,CAC1D,MAAM,CAAC,GAAG,CAAC;IACT,GAAG,EAAE,GAAG,EAAE,CACR,IAAI,eAAe,CAAC;QAClB,UAAU,EAAE,KAAK,CAAC,WAAW;QAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,OAAO;QACrB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,SAAS,EAAE,KAAK,CAAC,UAAU;KAC5B,CAAC;IACJ,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,GAAG,KAAK,kCAAkC,EAAE,CAAC;CACjG,CAAC,CAAA;AAEJ,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,QAAQ,CAAC,EACtD,KAAc,EACd,KAAa;IAEb,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,kBAAkB,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAC/D,MAAM,MAAM,GACV,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,CAAC,CAAA;IAC1F,MAAM,KAAK,GACT,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAA;IACvF,MAAM,aAAa,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,iBAAiB,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,CAAC,CAAA;IAClG,MAAM,YAAY,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAA;IAC9F,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QACvB,GAAG,EAAE,GAAG,EAAE,CACR,IAAI,cAAc,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;QAC5F,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,GAAG,KAAK,iCAAiC,EAAE,CAAC;KAChG,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EACnE,KAAc;IAEd,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,gBAAgB,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAC9D,MAAM,OAAO,GAAsB,EAAE,CAAA;IACrC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAA;IACtC,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7C,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACvD,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAClE,MAAM,CAAC,QAAQ,CACb,GAAG,EAAE,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,cAAc,KAAK,sBAAsB,EAAE,CAAC,CACzF,CACF,CAAA;QACD,IAAI,cAAc,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9D,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,cAAc,KAAK,sBAAsB,CAAC,CAAA;QAC/D,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC7B,IAAI,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;oBACrC,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,4BAA4B,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;gBAC9D,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YACrC,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACrB,CAAC;aAAM,CAAC;YACN,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAC9B,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,6BAA6B,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;YAC/D,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YAC5B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACrB,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,KAAsB,EAAU,EAAE,CACjD,GAAG,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAA;IAC1G,IAAI,WAA+B,CAAA;IACnC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;QAC1B,IAAI,WAAW,KAAK,SAAS,IAAI,iBAAiB,CAAC,WAAW,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACzE,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAA;QAC7D,CAAC;QACD,WAAW,GAAG,GAAG,CAAA;IACnB,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAA;AAC9C,CAAC,CAAC,CAAA;AAEF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,EACvE,KAAc;IAEd,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,kBAAkB,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;IAClE,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACjD,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAA;IACnD,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CACrC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,IAAI,MAAM,CAAC,MAAM,EAAE,WAAW,IAAI,EAAE,CAC1E,CAAA;IACD,MAAM,SAAS,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;IAC1D,IACE,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC;QACxE,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,MAAM,EAChD,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAA;IAC/D,CAAC;IACD,OAAO;QACL,OAAO,EAAE,CAAC;QACV,IAAI,EAAE,QAAQ;QACd,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,mFAAmF;AACnF,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,EACvE,QAAgB,EAChB,OAAmB;IAEnB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAA;IACnD,MAAM,iBAAiB,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAA;IAC1D,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAA;IACxF,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,QAAQ;QACjC,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAA;IACvE,MAAM,OAAO,GAAqB,EAAE,CAAA;IACpC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,iBAAiB,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAClE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,iBAAiB,KAAK,EAAE,CAAC,CAAC,CAAA;IACrE,CAAC;IACD,OAAO,IAAI,MAAM,CAAC;QAChB,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,iBAAiB,CAAC,SAAS;QACrC,MAAM,EAAE,iBAAiB,CAAC,OAAO;QACjC,KAAK,EAAE,iBAAiB,CAAC,KAAK;QAC9B,MAAM,EAAE,iBAAiB,CAAC,MAAM;QAChC,MAAM,EAAE,iBAAiB,CAAC,MAAM;QAChC,SAAS,EAAE,iBAAiB,CAAC,SAAS;QACtC,OAAO;KACR,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,0EAA0E;AAC1E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,MAAoB,EAAc,EAAE,CACrE,cAAc,CAAC,MAA+B,CAAC,CAAA;AAEjD,wEAAwE;AACxE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAkB,EAAc,EAAE,CACjE,cAAc,CAAC,MAA+B,CAAC,CAAA"}

package/dist/domain/errors.d.ts

@@ -0,0 +1,61 @@
+import { Schema } from "effect";
+declare const RevisionConflictError_base: Schema.Class<RevisionConflictError, Schema.TaggedStruct<"RevisionConflictError", {
+    readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/** A revision request violates a current resource or repository precondition. */
+export declare class RevisionConflictError extends RevisionConflictError_base {
+}
+declare const IdempotencyConflictError_base: Schema.Class<IdempotencyConflictError, Schema.TaggedStruct<"IdempotencyConflictError", {
+    readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/** An idempotency key was reused for a different request. */
+export declare class IdempotencyConflictError extends IdempotencyConflictError_base {
+}
+declare const CorruptRepositoryError_base: Schema.Class<CorruptRepositoryError, Schema.TaggedStruct<"CorruptRepositoryError", {
+    readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/** Persisted revision metadata or an immutable object is invalid. */
+export declare class CorruptRepositoryError extends CorruptRepositoryError_base {
+}
+declare const RevisionContentLimitError_base: Schema.Class<RevisionContentLimitError, Schema.TaggedStruct<"RevisionContentLimitError", {
+    readonly actualBytes: Schema.Int;
+    readonly limitBytes: Schema.Int;
+    readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/** A content operation exceeds its caller-declared byte bound. */
+export declare class RevisionContentLimitError extends RevisionContentLimitError_base {
+}
+declare const UnsafePathError_base: Schema.Class<UnsafePathError, Schema.TaggedStruct<"UnsafePathError", {
+    readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/** A managed or metadata path is not a normalized relative path. */
+export declare class UnsafePathError extends UnsafePathError_base {
+}
+declare const NoChangesError_base: Schema.Class<NoChangesError, Schema.TaggedStruct<"NoChangesError", {
+    readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/** A change set does not produce a new repository state. */
+export declare class NoChangesError extends NoChangesError_base {
+}
+declare const InvalidRevisionInputError_base: Schema.Class<InvalidRevisionInputError, Schema.TaggedStruct<"InvalidRevisionInputError", {
+    readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/** An input record cannot be represented by the revisions v2 contract. */
+export declare class InvalidRevisionInputError extends InvalidRevisionInputError_base {
+}
+declare const RevisionStorageError_base: Schema.Class<RevisionStorageError, Schema.TaggedStruct<"RevisionStorageError", {
+    readonly message: Schema.String;
+    readonly cause: Schema.optionalKey<Schema.Defect>;
+}>, import("effect/Cause").YieldableError>;
+/** A filesystem operation could not be completed by the repository adapter. */
+export declare class RevisionStorageError extends RevisionStorageError_base {
+}
+declare const RepositoryClosedError_base: Schema.Class<RepositoryClosedError, Schema.TaggedStruct<"RepositoryClosedError", {
+    readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/** The repository's scope closed; the service handle outlived its layer. */
+export declare class RepositoryClosedError extends RepositoryClosedError_base {
+}
+export type RevisionError = RevisionConflictError | IdempotencyConflictError | CorruptRepositoryError | RevisionContentLimitError | UnsafePathError | NoChangesError | InvalidRevisionInputError | RevisionStorageError | RepositoryClosedError;
+export {};
+//# sourceMappingURL=errors.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/domain/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;;;;AAE/B,iFAAiF;AACjF,qBAAa,qBAAsB,SAAQ,0BAK1C;CAAG;;;;AAEJ,6DAA6D;AAC7D,qBAAa,wBAAyB,SAAQ,6BAG7C;CAAG;;;;AAEJ,qEAAqE;AACrE,qBAAa,sBAAuB,SAAQ,2BAK3C;CAAG;;;;;;AAEJ,kEAAkE;AAClE,qBAAa,yBAA0B,SAAQ,8BAO9C;CAAG;;;;AAEJ,oEAAoE;AACpE,qBAAa,eAAgB,SAAQ,oBAEnC;CAAG;;;;AAEL,4DAA4D;AAC5D,qBAAa,cAAe,SAAQ,mBAElC;CAAG;;;;AAEL,0EAA0E;AAC1E,qBAAa,yBAA0B,SAAQ,8BAG9C;CAAG;;;;;AAEJ,+EAA+E;AAC/E,qBAAa,oBAAqB,SAAQ,yBAMzC;CAAG;;;;AAEJ,4EAA4E;AAC5E,qBAAa,qBAAsB,SAAQ,0BAG1C;CAAG;AAEJ,MAAM,MAAM,aAAa,GACrB,qBAAqB,GACrB,wBAAwB,GACxB,sBAAsB,GACtB,yBAAyB,GACzB,eAAe,GACf,cAAc,GACd,yBAAyB,GACzB,oBAAoB,GACpB,qBAAqB,CAAA"}

package/dist/domain/errors.js

@@ -0,0 +1,44 @@
+import { Schema } from "effect";
+/** A revision request violates a current resource or repository precondition. */
+export class RevisionConflictError extends Schema.TaggedError()("RevisionConflictError", {
+    message: Schema.String
+}) {
+}
+/** An idempotency key was reused for a different request. */
+export class IdempotencyConflictError extends Schema.TaggedError()("IdempotencyConflictError", { message: Schema.String }) {
+}
+/** Persisted revision metadata or an immutable object is invalid. */
+export class CorruptRepositoryError extends Schema.TaggedError()("CorruptRepositoryError", {
+    message: Schema.String
+}) {
+}
+/** A content operation exceeds its caller-declared byte bound. */
+export class RevisionContentLimitError extends Schema.TaggedError()("RevisionContentLimitError", {
+    actualBytes: Schema.Int,
+    limitBytes: Schema.Int,
+    message: Schema.String
+}) {
+}
+/** A managed or metadata path is not a normalized relative path. */
+export class UnsafePathError extends Schema.TaggedError()("UnsafePathError", {
+    message: Schema.String
+}) {
+}
+/** A change set does not produce a new repository state. */
+export class NoChangesError extends Schema.TaggedError()("NoChangesError", {
+    message: Schema.String
+}) {
+}
+/** An input record cannot be represented by the revisions v2 contract. */
+export class InvalidRevisionInputError extends Schema.TaggedError()("InvalidRevisionInputError", { message: Schema.String }) {
+}
+/** A filesystem operation could not be completed by the repository adapter. */
+export class RevisionStorageError extends Schema.TaggedError()("RevisionStorageError", {
+    message: Schema.String,
+    cause: Schema.optionalKey(Schema.Defect())
+}) {
+}
+/** The repository's scope closed; the service handle outlived its layer. */
+export class RepositoryClosedError extends Schema.TaggedError()("RepositoryClosedError", { message: Schema.String }) {
+}
+//# sourceMappingURL=errors.js.map

package/dist/domain/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/domain/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,iFAAiF;AACjF,MAAM,OAAO,qBAAsB,SAAQ,MAAM,CAAC,WAAW,EAAyB,CACpF,uBAAuB,EACvB;IACE,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CACF;CAAG;AAEJ,6DAA6D;AAC7D,MAAM,OAAO,wBAAyB,SAAQ,MAAM,CAAC,WAAW,EAA4B,CAC1F,0BAA0B,EAC1B,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,CAC3B;CAAG;AAEJ,qEAAqE;AACrE,MAAM,OAAO,sBAAuB,SAAQ,MAAM,CAAC,WAAW,EAA0B,CACtF,wBAAwB,EACxB;IACE,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CACF;CAAG;AAEJ,kEAAkE;AAClE,MAAM,OAAO,yBAA0B,SAAQ,MAAM,CAAC,WAAW,EAA6B,CAC5F,2BAA2B,EAC3B;IACE,WAAW,EAAE,MAAM,CAAC,GAAG;IACvB,UAAU,EAAE,MAAM,CAAC,GAAG;IACtB,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CACF;CAAG;AAEJ,oEAAoE;AACpE,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,EAAmB,CAAC,iBAAiB,EAAE;IAC5F,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AAEL,4DAA4D;AAC5D,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,EAAkB,CAAC,gBAAgB,EAAE;IACzF,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AAEL,0EAA0E;AAC1E,MAAM,OAAO,yBAA0B,SAAQ,MAAM,CAAC,WAAW,EAA6B,CAC5F,2BAA2B,EAC3B,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,CAC3B;CAAG;AAEJ,+EAA+E;AAC/E,MAAM,OAAO,oBAAqB,SAAQ,MAAM,CAAC,WAAW,EAAwB,CAClF,sBAAsB,EACtB;IACE,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;CAC3C,CACF;CAAG;AAEJ,4EAA4E;AAC5E,MAAM,OAAO,qBAAsB,SAAQ,MAAM,CAAC,WAAW,EAAyB,CACpF,uBAAuB,EACvB,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,CAC3B;CAAG"}

package/dist/domain/format.d.ts

@@ -0,0 +1,72 @@
+import type { ResourceChange, ResourceState, ResourceVersion } from "./model.js";
+type JsonPrimitive = null | boolean | number | string;
+export type JsonValue = JsonPrimitive | readonly JsonValue[] | {
+    readonly [key: string]: JsonValue;
+};
+export type JsonRecord = {
+    readonly [key: string]: JsonValue;
+};
+export declare const encodeUtf8: (value: string) => Uint8Array;
+export declare const decodeUtf8: (value: Uint8Array) => string;
+/** Encode the canonical compact, key-sorted JSON representation followed by LF. */
+export declare const canonicalJsonl: (value: JsonRecord) => Uint8Array;
+export interface VersionRecord {
+    readonly resource_id: string;
+    readonly path: string;
+    readonly blob_id: string;
+    readonly state: ResourceState;
+    readonly version_id: string;
+}
+export interface ChangeRecord {
+    readonly action: string;
+    readonly before: VersionRecord | null;
+    readonly after: VersionRecord | null;
+}
+export interface CommitRecord {
+    readonly version: 2;
+    readonly kind: "commit";
+    readonly parent_id: string | null;
+    readonly tree_id: string;
+    readonly actor: string;
+    readonly origin: string;
+    readonly reason: string;
+    readonly timestamp: string;
+    readonly changes: readonly ChangeRecord[];
+}
+interface TreeResourceRecord {
+    readonly kind: "resource";
+    readonly name: string;
+    readonly resource_id: string;
+    readonly blob_id: string;
+    readonly state: ResourceState;
+    readonly version_id: string;
+}
+interface TreeSubtreeRecord {
+    readonly kind: "subtree";
+    readonly name: string;
+    readonly tree_id: string;
+}
+export type TreeEntryRecord = TreeResourceRecord | TreeSubtreeRecord;
+export interface TreeRecord {
+    readonly version: 2;
+    readonly kind: "tree";
+    readonly entries: readonly TreeEntryRecord[];
+}
+export interface TreeObjects {
+    readonly rootId: string;
+    readonly objects: ReadonlyMap<string, TreeRecord>;
+}
+/** Build the exact v2 commit record before content-addressing it. */
+export declare const commitRecord: (value: {
+    readonly parentId: string | null;
+    readonly treeId: string;
+    readonly actor: string;
+    readonly origin: string;
+    readonly reason: string;
+    readonly timestamp: string;
+    readonly changes: readonly ResourceChange[];
+}) => CommitRecord;
+/** Build v2 per-directory tree objects with structural sharing by identity. */
+export declare const buildTreeObjects: (resources: readonly ResourceVersion[]) => TreeObjects;
+export {};
+//# sourceMappingURL=format.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"format.d.ts","sourceRoot":"","sources":["../../src/domain/format.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAEhF,KAAK,aAAa,GAAG,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAA;AACrD,MAAM,MAAM,SAAS,GAAG,aAAa,GAAG,SAAS,SAAS,EAAE,GAAG;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAA;AACpG,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAA;AAK9D,eAAO,MAAM,UAAU,UAAW,MAAM,KAAG,UAAmC,CAAA;AAE9E,eAAO,MAAM,UAAU,UAAW,UAAU,KAAG,MAA+B,CAAA;AAa9E,mFAAmF;AACnF,eAAO,MAAM,cAAc,UAAW,UAAU,KAAG,UAGlD,CAAA;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAC5B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,IAAI,CAAA;IACrC,QAAQ,CAAC,KAAK,EAAE,aAAa,GAAG,IAAI,CAAA;CACrC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;CAC1C;AAED,UAAU,kBAAkB;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAC5B;AAED,UAAU,iBAAiB;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,MAAM,eAAe,GAAG,kBAAkB,GAAG,iBAAiB,CAAA;AAEpE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAA;CAC7C;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;CAClD;AAgBD,qEAAqE;AACrE,eAAO,MAAM,YAAY,UAAW;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAA;CAC5C,KAAG,YAUF,CAAA;AA2CF,+EAA+E;AAC/E,eAAO,MAAM,gBAAgB,cAAe,SAAS,eAAe,EAAE,KAAG,WAIxE,CAAA"}

package/dist/domain/format.js

@@ -0,0 +1,93 @@
+import { sha256Hex } from "@arden-hq/std/hash";
+import { canonicalJson, compareCodePoints } from "@arden-hq/std/json";
+const encoder = new TextEncoder();
+const decoder = new TextDecoder("utf-8", { fatal: true });
+export const encodeUtf8 = (value) => encoder.encode(value);
+export const decodeUtf8 = (value) => decoder.decode(value);
+const assertSafeIntegers = (value) => {
+    if (typeof value === "number") {
+        if (!Number.isSafeInteger(value))
+            throw new TypeError("revision records support only safe integers");
+    }
+    else if (Array.isArray(value)) {
+        value.forEach(assertSafeIntegers);
+    }
+    else if (typeof value === "object" && value !== null) {
+        Object.values(value).forEach(assertSafeIntegers);
+    }
+};
+/** Encode the canonical compact, key-sorted JSON representation followed by LF. */
+export const canonicalJsonl = (value) => {
+    assertSafeIntegers(value);
+    return encodeUtf8(`${canonicalJson(value, { lenient: true })}\n`);
+};
+const versionRecord = (value) => ({
+    resource_id: value.resourceId,
+    path: value.path,
+    blob_id: value.blobId,
+    state: value.state,
+    version_id: value.versionId
+});
+const changeRecord = (value) => ({
+    action: value.action,
+    before: value.before === null ? null : versionRecord(value.before),
+    after: value.after === null ? null : versionRecord(value.after)
+});
+/** Build the exact v2 commit record before content-addressing it. */
+export const commitRecord = (value) => ({
+    version: 2,
+    kind: "commit",
+    parent_id: value.parentId,
+    tree_id: value.treeId,
+    actor: value.actor,
+    origin: value.origin,
+    reason: value.reason,
+    timestamp: value.timestamp,
+    changes: value.changes.map(changeRecord)
+});
+const entrySortKey = (entry) => `${entry.name}\u0000${entry.kind}\u0000${entry.kind === "resource" ? entry.resource_id : entry.tree_id}`;
+const buildTreeNode = (items, objects) => {
+    const resources = [];
+    const children = new Map();
+    for (const [[name, ...rest], resource] of items) {
+        if (name === undefined)
+            continue;
+        if (rest.length === 0) {
+            resources.push({
+                kind: "resource",
+                name,
+                resource_id: resource.resourceId,
+                blob_id: resource.blobId,
+                state: resource.state,
+                version_id: resource.versionId
+            });
+        }
+        else {
+            const child = children.get(name);
+            if (child === undefined)
+                children.set(name, [[rest, resource]]);
+            else
+                child.push([rest, resource]);
+        }
+    }
+    const entries = [...resources];
+    for (const [name, childItems] of children) {
+        entries.push({ kind: "subtree", name, tree_id: buildTreeNode(childItems, objects) });
+    }
+    entries.sort((left, right) => {
+        const leftKey = entrySortKey(left);
+        const rightKey = entrySortKey(right);
+        return compareCodePoints(leftKey, rightKey);
+    });
+    const record = { version: 2, kind: "tree", entries };
+    const treeId = sha256Hex(canonicalJsonl(record));
+    objects.set(treeId, record);
+    return treeId;
+};
+/** Build v2 per-directory tree objects with structural sharing by identity. */
+export const buildTreeObjects = (resources) => {
+    const objects = new Map();
+    const items = resources.map((resource) => [resource.path.split("/"), resource]);
+    return { rootId: buildTreeNode(items, objects), objects };
+};
+//# sourceMappingURL=format.js.map

package/dist/domain/format.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"format.js","sourceRoot":"","sources":["../../src/domain/format.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAQrE,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAA;AACjC,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;AAEzD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAa,EAAc,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAE9E,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAiB,EAAU,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAE9E,MAAM,kBAAkB,GAAG,CAAC,KAAgB,EAAQ,EAAE;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;YAC9B,MAAM,IAAI,SAAS,CAAC,6CAA6C,CAAC,CAAA;IACtE,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAA;IACnC,CAAC;SAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACvD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAA;IAClD,CAAC;AACH,CAAC,CAAA;AAED,mFAAmF;AACnF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAiB,EAAc,EAAE;IAC9D,kBAAkB,CAAC,KAAK,CAAC,CAAA;IACzB,OAAO,UAAU,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAA;AACnE,CAAC,CAAA;AAwDD,MAAM,aAAa,GAAG,CAAC,KAAsB,EAAiB,EAAE,CAAC,CAAC;IAChE,WAAW,EAAE,KAAK,CAAC,UAAU;IAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;IAChB,OAAO,EAAE,KAAK,CAAC,MAAM;IACrB,KAAK,EAAE,KAAK,CAAC,KAAK;IAClB,UAAU,EAAE,KAAK,CAAC,SAAS;CAC5B,CAAC,CAAA;AAEF,MAAM,YAAY,GAAG,CAAC,KAAqB,EAAgB,EAAE,CAAC,CAAC;IAC7D,MAAM,EAAE,KAAK,CAAC,MAAM;IACpB,MAAM,EAAE,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC;IAClE,KAAK,EAAE,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;CAChE,CAAC,CAAA;AAEF,qEAAqE;AACrE,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAQ5B,EAAgB,EAAE,CAAC,CAAC;IACnB,OAAO,EAAE,CAAC;IACV,IAAI,EAAE,QAAQ;IACd,SAAS,EAAE,KAAK,CAAC,QAAQ;IACzB,OAAO,EAAE,KAAK,CAAC,MAAM;IACrB,KAAK,EAAE,KAAK,CAAC,KAAK;IAClB,MAAM,EAAE,KAAK,CAAC,MAAM;IACpB,MAAM,EAAE,KAAK,CAAC,MAAM;IACpB,SAAS,EAAE,KAAK,CAAC,SAAS;IAC1B,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC;CACzC,CAAC,CAAA;AAEF,MAAM,YAAY,GAAG,CAAC,KAAsB,EAAU,EAAE,CACtD,GAAG,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAA;AAE1G,MAAM,aAAa,GAAG,CACpB,KAAiE,EACjE,OAAgC,EACxB,EAAE;IACV,MAAM,SAAS,GAAyB,EAAE,CAAA;IAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAgE,CAAA;IACxF,KAAK,MAAM,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,EAAE,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC;QAChD,IAAI,IAAI,KAAK,SAAS;YAAE,SAAQ;QAChC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,UAAU;gBAChB,IAAI;gBACJ,WAAW,EAAE,QAAQ,CAAC,UAAU;gBAChC,OAAO,EAAE,QAAQ,CAAC,MAAM;gBACxB,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,UAAU,EAAE,QAAQ,CAAC,SAAS;aAC/B,CAAC,CAAA;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAChC,IAAI,KAAK,KAAK,SAAS;gBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;;gBAC1D,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAA;QACnC,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAsB,CAAC,GAAG,SAAS,CAAC,CAAA;IACjD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC1C,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;IACtF,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC3B,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;QAClC,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;QACpC,OAAO,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;IAC7C,CAAC,CAAC,CAAA;IACF,MAAM,MAAM,GAAe,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAA;IAChE,MAAM,MAAM,GAAG,SAAS,CAAC,cAAc,CAAC,MAA+B,CAAC,CAAC,CAAA;IACzE,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC3B,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,+EAA+E;AAC/E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,SAAqC,EAAe,EAAE;IACrF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAA;IAC7C,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAU,CAAC,CAAA;IACxF,OAAO,EAAE,MAAM,EAAE,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,CAAA;AAC3D,CAAC,CAAA"}

package/dist/domain/integrity.d.ts

@@ -0,0 +1,7 @@
+import { Effect } from "effect";
+import type { ResourceSnapshot } from "./change-set.js";
+import { Commit } from "./model.js";
+import { CorruptRepositoryError } from "./errors.js";
+export declare const validateSnapshotTransition: (commit: Commit, before: ResourceSnapshot, after: ResourceSnapshot) => Effect.Effect<void, CorruptRepositoryError, never>;
+export declare const validateActivePaths: (snapshot: ResourceSnapshot) => Effect.Effect<void, CorruptRepositoryError, never>;
+//# sourceMappingURL=integrity.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"integrity.d.ts","sourceRoot":"","sources":["../../src/domain/integrity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AACvD,OAAO,EAAE,MAAM,EAAgC,MAAM,YAAY,CAAA;AACjE,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AA8DpD,eAAO,MAAM,0BAA0B,2HAwEtC,CAAA;AAED,eAAO,MAAM,mBAAmB,oFAc9B,CAAA"}

package/dist/domain/integrity.js

@@ -0,0 +1,100 @@
+import { Effect } from "effect";
+import { Commit, ResourceVersion, makeVersion } from "./model.js";
+import { CorruptRepositoryError } from "./errors.js";
+import { compareCodePoints } from "@arden-hq/std/json";
+const failCorrupt = (message) => Effect.fail(new CorruptRepositoryError({ message }));
+const versionsEqual = (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 changeResourceId = (change) => change.after?.resourceId ?? change.before?.resourceId ?? null;
+const validChangeAction = (change) => {
+    const { before, after } = change;
+    if (change.action === "create")
+        return before === null && after !== null;
+    if (before === null ||
+        after === null ||
+        before.resourceId !== after.resourceId ||
+        versionsEqual(before, after))
+        return false;
+    if (change.action === "update") {
+        return (before.state === "active" &&
+            after.state === "active" &&
+            before.path === after.path &&
+            before.blobId !== after.blobId);
+    }
+    if (change.action === "move") {
+        return (before.state === "active" &&
+            after.state === "active" &&
+            (before.path !== after.path || before.blobId !== after.blobId));
+    }
+    if (change.action === "archive") {
+        return (before.state === "active" &&
+            after.state === "archived" &&
+            before.path === after.path &&
+            before.blobId === after.blobId);
+    }
+    if (change.action === "restore")
+        return after.state === "active";
+    return false;
+};
+export const validateSnapshotTransition = Effect.fn("Revision.validateSnapshotTransition")(function* (commit, before, after) {
+    const identified = commit.changes.flatMap((change) => {
+        const resourceId = changeResourceId(change);
+        return resourceId === null ? [] : [[resourceId, change]];
+    });
+    if (identified.length !== commit.changes.length)
+        return yield* failCorrupt(`commit ${commit.commitId} contains a change without a resource identity`);
+    const recordedIds = identified.map(([resourceId]) => resourceId);
+    const changedIds = [];
+    for (const [resourceId, version] of before) {
+        if (!versionsEqual(version, after.get(resourceId) ?? null))
+            changedIds.push(resourceId);
+    }
+    for (const resourceId of after.keys()) {
+        if (!before.has(resourceId))
+            changedIds.push(resourceId);
+    }
+    changedIds.sort(compareCodePoints);
+    if (recordedIds.length !== changedIds.length ||
+        recordedIds.some((resourceId, index) => resourceId !== changedIds[index]))
+        return yield* failCorrupt(`commit ${commit.commitId} changes do not match its parent and resulting trees`);
+    const changed = new Map(identified);
+    if (changed.size !== commit.changes.length)
+        return yield* failCorrupt(`commit ${commit.commitId} repeats a resource change`);
+    for (const resourceId of changedIds) {
+        const beforeVersion = before.get(resourceId) ?? null;
+        const afterVersion = after.get(resourceId) ?? null;
+        const change = changed.get(resourceId);
+        if (change === undefined ||
+            change.after === null ||
+            !versionsEqual(beforeVersion, change.before) ||
+            !versionsEqual(afterVersion, change.after)) {
+            return yield* failCorrupt(`commit ${commit.commitId} does not describe its full tree transition`);
+        }
+        const recomputed = yield* makeVersion(change.after.resourceId, change.after.path, change.after.blobId, change.after.state, beforeVersion?.versionId ?? null).pipe(Effect.mapError(() => new CorruptRepositoryError({
+            message: `commit ${commit.commitId} contains an invalid version identity`
+        })));
+        if (recomputed.versionId !== change.after.versionId)
+            return yield* failCorrupt(`commit ${commit.commitId} contains a non-canonical version identity`);
+        if (!validChangeAction(change))
+            return yield* failCorrupt(`commit ${commit.commitId} has invalid ${change.action} semantics for ${resourceId}`);
+    }
+    yield* validateActivePaths(after);
+});
+export const validateActivePaths = Effect.fn("Revision.validateActivePaths")(function* (snapshot) {
+    const activePaths = new Set([...snapshot.values()]
+        .filter((version) => version.state === "active")
+        .map((version) => version.path));
+    for (const path of activePaths) {
+        for (let slash = path.indexOf("/"); slash !== -1; slash = path.indexOf("/", slash + 1)) {
+            if (activePaths.has(path.slice(0, slash)))
+                return yield* failCorrupt("tree contains an active path ancestor collision");
+        }
+    }
+});
+//# sourceMappingURL=integrity.js.map

package/dist/domain/integrity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"integrity.js","sourceRoot":"","sources":["../../src/domain/integrity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AACjE,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAEtD,MAAM,WAAW,GAAG,CAAC,OAAe,EAAgD,EAAE,CACpF,MAAM,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AAEtD,MAAM,aAAa,GAAG,CAAC,IAA4B,EAAE,KAA6B,EAAW,EAAE,CAC7F,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,gBAAgB,GAAG,CAAC,MAGzB,EAAiB,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,IAAI,MAAM,CAAC,MAAM,EAAE,UAAU,IAAI,IAAI,CAAA;AAElF,MAAM,iBAAiB,GAAG,CAAC,MAI1B,EAAW,EAAE;IACZ,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAA;IAChC,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,MAAM,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,CAAA;IACxE,IACE,MAAM,KAAK,IAAI;QACf,KAAK,KAAK,IAAI;QACd,MAAM,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;QACtC,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC;QAE5B,OAAO,KAAK,CAAA;IACd,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,CACL,MAAM,CAAC,KAAK,KAAK,QAAQ;YACzB,KAAK,CAAC,KAAK,KAAK,QAAQ;YACxB,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;YAC1B,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAC/B,CAAA;IACH,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC7B,OAAO,CACL,MAAM,CAAC,KAAK,KAAK,QAAQ;YACzB,KAAK,CAAC,KAAK,KAAK,QAAQ;YACxB,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,CAC/D,CAAA;IACH,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,CACL,MAAM,CAAC,KAAK,KAAK,QAAQ;YACzB,KAAK,CAAC,KAAK,KAAK,UAAU;YAC1B,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;YAC1B,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAC/B,CAAA;IACH,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAA;IAChE,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,0BAA0B,GAAG,MAAM,CAAC,EAAE,CAAC,qCAAqC,CAAC,CACxF,QAAQ,CAAC,EACP,MAAc,EACd,MAAwB,EACxB,KAAuB;IAEvB,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QACnD,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAA;QAC3C,OAAO,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,CAAU,CAAC,CAAA;IACnE,CAAC,CAAC,CAAA;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC,OAAO,CAAC,MAAM;QAC7C,OAAO,KAAK,CAAC,CAAC,WAAW,CACvB,UAAU,MAAM,CAAC,QAAQ,gDAAgD,CAC1E,CAAA;IACH,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAA;IAChE,MAAM,UAAU,GAAa,EAAE,CAAA;IAC/B,KAAK,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,MAAM,EAAE,CAAC;QAC3C,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IACzF,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IAC1D,CAAC;IACD,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;IAClC,IACE,WAAW,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM;QACxC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,KAAK,UAAU,CAAC,KAAK,CAAC,CAAC;QAEzE,OAAO,KAAK,CAAC,CAAC,WAAW,CACvB,UAAU,MAAM,CAAC,QAAQ,sDAAsD,CAChF,CAAA;IACH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAA;IACnC,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,OAAO,CAAC,MAAM;QACxC,OAAO,KAAK,CAAC,CAAC,WAAW,CAAC,UAAU,MAAM,CAAC,QAAQ,4BAA4B,CAAC,CAAA;IAClF,KAAK,MAAM,UAAU,IAAI,UAAU,EAAE,CAAC;QACpC,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;QACpD,MAAM,YAAY,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;QAClD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACtC,IACE,MAAM,KAAK,SAAS;YACpB,MAAM,CAAC,KAAK,KAAK,IAAI;YACrB,CAAC,aAAa,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC;YAC5C,CAAC,aAAa,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,EAC1C,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,WAAW,CACvB,UAAU,MAAM,CAAC,QAAQ,6CAA6C,CACvE,CAAA;QACH,CAAC;QACD,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,WAAW,CACnC,MAAM,CAAC,KAAK,CAAC,UAAU,EACvB,MAAM,CAAC,KAAK,CAAC,IAAI,EACjB,MAAM,CAAC,KAAK,CAAC,MAAM,EACnB,MAAM,CAAC,KAAK,CAAC,KAAK,EAClB,aAAa,EAAE,SAAS,IAAI,IAAI,CACjC,CAAC,IAAI,CACJ,MAAM,CAAC,QAAQ,CACb,GAAG,EAAE,CACH,IAAI,sBAAsB,CAAC;YACzB,OAAO,EAAE,UAAU,MAAM,CAAC,QAAQ,uCAAuC;SAC1E,CAAC,CACL,CACF,CAAA;QACD,IAAI,UAAU,CAAC,SAAS,KAAK,MAAM,CAAC,KAAK,CAAC,SAAS;YACjD,OAAO,KAAK,CAAC,CAAC,WAAW,CACvB,UAAU,MAAM,CAAC,QAAQ,4CAA4C,CACtE,CAAA;QACH,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC;YAC5B,OAAO,KAAK,CAAC,CAAC,WAAW,CACvB,UAAU,MAAM,CAAC,QAAQ,gBAAgB,MAAM,CAAC,MAAM,kBAAkB,UAAU,EAAE,CACrF,CAAA;IACL,CAAC;IACD,KAAK,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAA;AACnC,CAAC,CACF,CAAA;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,EAAE,CAAC,8BAA8B,CAAC,CAAC,QAAQ,CAAC,EACpF,QAA0B;IAE1B,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;SACnB,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,CAClC,CAAA;IACD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;YACvF,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvC,OAAO,KAAK,CAAC,CAAC,WAAW,CAAC,iDAAiD,CAAC,CAAA;QAChF,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAA"}