@agent-teams/engineering-foundation 0.17.0-rc.0 → 0.17.0-rc.2

package/dist/repository-mutation/application/model/known-file-transaction-journal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"known-file-transaction-journal.d.ts","sourceRoot":"","sources":["../../../../src/repository-mutation/application/model/known-file-transaction-journal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,KAAK,EACV,eAAe,EACf,0BAA0B,EAC3B,MAAM,6BAA6B,CAAC;AAErC,MAAM,WAAW,sCAAsC;IACrD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,UAAU,gCAAgC;IACxC,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,oBAAoB,GAAG,WAAW,CAAC;IAClE,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,GAAG,mBAAmB,CAAC;IAC3D,QAAQ,CAAC,iBAAiB,EAAE,sCAAsC,CAAC;IACnE,QAAQ,CAAC,YAAY,EAAE,sCAAsC,CAAC;CAC/D;AAED,MAAM,MAAM,sCAAsC,GAC9C;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,mBAAmB,GAAG,SAAS,GAAG,sBAAsB,CAAC;IACzE,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,yBAAyB,CAAC,EAAE,KAAK,CAAC;IAC3C,QAAQ,CAAC,wBAAwB,CAAC,EAAE,KAAK,CAAC;IAC1C,QAAQ,CAAC,wBAAwB,CAAC,EAAE,KAAK,CAAC;IAC1C,QAAQ,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EACV,iBAAiB,GACjB,oBAAoB,GACpB,eAAe,GACf,mBAAmB,GACnB,qBAAqB,GACrB,YAAY,GACZ,WAAW,GACX,mBAAmB,CAAC;IACxB,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,yBAAyB,CAAC,EAAE,sCAAsC,CAAC;IAC5E,QAAQ,CAAC,iBAAiB,EAAE,sCAAsC,CAAC;IACnE,QAAQ,CAAC,wBAAwB,CAAC,EAAE,sCAAsC,CAAC;IAC3E,QAAQ,CAAC,wBAAwB,CAAC,EAAE,sCAAsC,CAAC;IAC3E,QAAQ,CAAC,UAAU,CAAC,EAAE,gCAAgC,CAAC;CACxD,CAAC;AAEN,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,sCAAsC,EAAE,CAAC;IACvE,QAAQ,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC;IAClD,QAAQ,CAAC,kBAAkB,EAAE,SAAS;QACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,QAAQ,EAAE,sCAAsC,CAAC;KAC3D,EAAE,CAAC;CACL;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,wBAAwB,CAAC;IACjD,QAAQ,CAAC,eAAe,EAAE;QACxB,QAAQ,CAAC,EAAE,EAAE,+BAA+B,CAAC;QAC7C,QAAQ,CAAC,eAAe,EAAE,CAAC,CAAC;KAC7B,CAAC;IACF,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;KACzC,CAAC;IACF,QAAQ,CAAC,sBAAsB,EAAE,CAAC,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,mCAAmC,CAAC;IAC1D,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,6BAA6B,CAAC;IAChD,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,QAAQ,CAAC,cAAc,EAAE,eAAe,CAAC;CAC1C;AAED,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,oBAAoB,GAC7B,sCAAsC,CAMxC;AAED,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,sCAAsC,GAC/C,oBAAoB,CAMtB"}

package/dist/repository-mutation/application/model/known-file-transaction-journal.js

@@ -0,0 +1,15 @@
+export function serializeKnownFileIdentity(identity) {
+    return Object.freeze({
+        birthtimeNs: identity.birthtimeNs.toString(),
+        dev: identity.dev.toString(),
+        ino: identity.ino.toString()
+    });
+}
+export function deserializeKnownFileIdentity(identity) {
+    return {
+        birthtimeNs: BigInt(identity.birthtimeNs),
+        dev: BigInt(identity.dev),
+        ino: BigInt(identity.ino)
+    };
+}
+//# sourceMappingURL=known-file-transaction-journal.js.map

package/dist/repository-mutation/application/model/known-file-transaction-journal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"known-file-transaction-journal.js","sourceRoot":"","sources":["../../../../src/repository-mutation/application/model/known-file-transaction-journal.ts"],"names":[],"mappings":"AA8EA,MAAM,UAAU,0BAA0B,CACxC,QAA8B;IAE9B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,QAAQ,EAAE;QAC5C,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE;QAC5B,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE;KAC7B,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,QAAgD;IAEhD,OAAO;QACL,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC;QACzC,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QACzB,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;KAC1B,CAAC;AACJ,CAAC"}

package/dist/repository-mutation/application/model/known-file-transaction.d.ts

@@ -0,0 +1,64 @@
+export type KnownFileDigest = `sha256:${string}`;
+export interface KnownFileImageV1 {
+    readonly contentBase64: string;
+    readonly digest: KnownFileDigest;
+    readonly mode: number;
+    readonly size: number;
+}
+export type KnownFilePreconditionV1 = {
+    readonly state: "absent";
+} | {
+    readonly state: "known-file";
+    readonly acceptedPreimages: readonly KnownFileImageV1[];
+};
+export interface KnownFileTransactionOperationV1 {
+    readonly path: string;
+    readonly precondition: KnownFilePreconditionV1;
+    readonly postimage: KnownFileImageV1;
+}
+export interface KnownFileTransactionPlanV1 {
+    readonly schemaVersion: 1;
+    readonly protocol: "foundation.replace-known-file/v1";
+    readonly operations: readonly KnownFileTransactionOperationV1[];
+    readonly planDigest: KnownFileDigest;
+}
+export type KnownFileTransactionOperationOutcome = "already-satisfied" | "created" | "replaced" | "rolled-back-to-absent" | "rolled-back-to-preimage";
+export interface KnownFileTransactionReceiptV1 {
+    readonly schemaVersion: 1;
+    readonly protocol: "foundation.replace-known-file/v1";
+    readonly planDigest: KnownFileDigest;
+    readonly outcome: "already-satisfied" | "applied" | "rolled-back";
+    readonly operations: readonly {
+        readonly path: string;
+        readonly outcome: KnownFileTransactionOperationOutcome;
+        readonly resultDigest?: KnownFileDigest;
+    }[];
+    readonly receiptDigest: KnownFileDigest;
+}
+export type KnownFileTransactionOperationInput = {
+    readonly path: string;
+    readonly precondition: {
+        readonly state: "absent";
+    };
+    readonly postimage: {
+        readonly bytes: Uint8Array;
+        readonly mode?: number;
+    };
+} | {
+    readonly path: string;
+    readonly precondition: {
+        readonly state: "known-file";
+        readonly acceptedPreimages: readonly {
+            readonly bytes: Uint8Array;
+            readonly mode: number;
+        }[];
+    };
+    readonly postimage: {
+        readonly bytes: Uint8Array;
+        readonly mode: number;
+    };
+};
+export interface CompileKnownFileTransactionPlanInput {
+    readonly operations: readonly KnownFileTransactionOperationInput[];
+}
+//# sourceMappingURL=known-file-transaction.d.ts.map

package/dist/repository-mutation/application/model/known-file-transaction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"known-file-transaction.d.ts","sourceRoot":"","sources":["../../../../src/repository-mutation/application/model/known-file-transaction.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,eAAe,GAAG,UAAU,MAAM,EAAE,CAAC;AAEjD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,uBAAuB,GAC/B;IAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GAC5B;IACE,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACzD,CAAC;AAEN,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,uBAAuB,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;CACtC;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,kCAAkC,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,SAAS,+BAA+B,EAAE,CAAC;IAChE,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;CACtC;AAED,MAAM,MAAM,oCAAoC,GAC5C,mBAAmB,GACnB,SAAS,GACT,UAAU,GACV,uBAAuB,GACvB,yBAAyB,CAAC;AAE9B,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,kCAAkC,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,GAAG,SAAS,GAAG,aAAa,CAAC;IAClE,QAAQ,CAAC,UAAU,EAAE,SAAS;QAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,EAAE,oCAAoC,CAAC;QACvD,QAAQ,CAAC,YAAY,CAAC,EAAE,eAAe,CAAC;KACzC,EAAE,CAAC;IACJ,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;CACzC;AAED,MAAM,MAAM,kCAAkC,GAC1C;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;KAAE,CAAC;IACpD,QAAQ,CAAC,SAAS,EAAE;QAClB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;QAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;KACxB,CAAC;CACH,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE;QACrB,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;QAC7B,QAAQ,CAAC,iBAAiB,EAAE,SAAS;YACnC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;YAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;SACvB,EAAE,CAAC;KACL,CAAC;IACF,QAAQ,CAAC,SAAS,EAAE;QAClB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;QAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;KACvB,CAAC;CACH,CAAC;AAEN,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,UAAU,EAAE,SAAS,kCAAkC,EAAE,CAAC;CACpE"}

package/dist/repository-mutation/application/model/known-file-transaction.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=known-file-transaction.js.map

package/dist/repository-mutation/application/model/known-file-transaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"known-file-transaction.js","sourceRoot":"","sources":["../../../../src/repository-mutation/application/model/known-file-transaction.ts"],"names":[],"mappings":""}

package/dist/repository-mutation/application/policies/known-file-transaction-envelope.d.ts

@@ -0,0 +1,8 @@
+import type { KnownFileTransactionEnvelopeV1, KnownFileTransactionJournalV1 } from "../model/known-file-transaction-journal.js";
+export declare function compileKnownFileTransactionEnvelope(input: {
+    readonly foundation: KnownFileTransactionEnvelopeV1["foundation"];
+    readonly journal: KnownFileTransactionJournalV1;
+    readonly state: KnownFileTransactionEnvelopeV1["state"];
+}): KnownFileTransactionEnvelopeV1;
+export declare function assertKnownFileTransactionEnvelope(value: unknown): asserts value is KnownFileTransactionEnvelopeV1;
+//# sourceMappingURL=known-file-transaction-envelope.d.ts.map

package/dist/repository-mutation/application/policies/known-file-transaction-envelope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"known-file-transaction-envelope.d.ts","sourceRoot":"","sources":["../../../../src/repository-mutation/application/policies/known-file-transaction-envelope.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,8BAA8B,EAC9B,6BAA6B,EAC9B,MAAM,4CAA4C,CAAC;AA6OpD,wBAAgB,mCAAmC,CAAC,KAAK,EAAE;IACzD,QAAQ,CAAC,UAAU,EAAE,8BAA8B,CAAC,YAAY,CAAC,CAAC;IAClE,QAAQ,CAAC,OAAO,EAAE,6BAA6B,CAAC;IAChD,QAAQ,CAAC,KAAK,EAAE,8BAA8B,CAAC,OAAO,CAAC,CAAC;CACzD,GAAG,8BAA8B,CAUjC;AAED,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,KAAK,IAAI,8BAA8B,CAgCjD"}

package/dist/repository-mutation/application/policies/known-file-transaction-envelope.js

@@ -0,0 +1,241 @@
+import { canonicalJson, sha256Json } from "../../../canonical-json.js";
+import { deserializeKnownFileIdentity } from "../model/known-file-transaction-journal.js";
+import { portableRepositoryPathProblem } from "../model/repository-path.js";
+import { assertKnownFileTransactionPlan } from "./known-file-transaction-plan.js";
+const SHA256 = /^sha256:[0-9a-f]{64}$/u;
+const POSITIVE_INTEGER = /^[1-9][0-9]*$/u;
+class KnownFileTransactionEnvelopeError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "KnownFileTransactionEnvelopeError";
+    }
+}
+function record(value, subject) {
+    if (typeof value !== "object" || value === null || Array.isArray(value)) {
+        throw new KnownFileTransactionEnvelopeError(`${subject} is invalid.`);
+    }
+    return value;
+}
+function exactKeys(value, keys, subject) {
+    if (Object.keys(value).toSorted().join(",") !== [...keys].toSorted().join(",")) {
+        throw new KnownFileTransactionEnvelopeError(`${subject} has unknown or missing fields.`);
+    }
+}
+function assertIdentity(value, subject) {
+    const identity = record(value, subject);
+    exactKeys(identity, ["birthtimeNs", "dev", "ino"], subject);
+    for (const field of ["birthtimeNs", "dev", "ino"]) {
+        if (!POSITIVE_INTEGER.test(String(identity[field]))) {
+            throw new KnownFileTransactionEnvelopeError(`${subject}.${field} is invalid.`);
+        }
+    }
+    deserializeKnownFileIdentity(identity);
+}
+function journalOperationKeys(operation, withTemporary) {
+    if (!withTemporary) {
+        return operation["matchedPreimage"] === undefined
+            ? ["path", "state"]
+            : ["matchedPreimage", "path", "state"];
+    }
+    return [
+        ...(operation["matchedPreimage"] === undefined ? [] : ["matchedPreimage"]),
+        "path",
+        ...(operation["rollbackTemporaryIdentity"] === undefined
+            ? []
+            : ["rollbackTemporaryIdentity"]),
+        ...(operation["captureDirectoryIdentity"] === undefined
+            ? []
+            : ["captureDirectoryIdentity"]),
+        ...(operation["capturedPreimageIdentity"] === undefined
+            ? []
+            : ["capturedPreimageIdentity"]),
+        ...(operation["retirement"] === undefined ? [] : ["retirement"]),
+        "state",
+        "temporaryIdentity"
+    ];
+}
+function assertJournalOperationIdentities(options) {
+    const subject = `Known-file journal operation ${options.index}`;
+    assertIdentity(options.operation["temporaryIdentity"], `${subject} temporary identity`);
+    if (options.operation["rollbackTemporaryIdentity"] !== undefined) {
+        if (options.precondition?.state !== "known-file") {
+            throw new KnownFileTransactionEnvelopeError(`${subject} rollback identity is invalid.`);
+        }
+        assertIdentity(options.operation["rollbackTemporaryIdentity"], `${subject} rollback temporary identity`);
+    }
+    if (options.operation["captureDirectoryIdentity"] !== undefined) {
+        if (options.precondition?.state !== "known-file") {
+            throw new KnownFileTransactionEnvelopeError(`${subject} capture directory identity is invalid.`);
+        }
+        assertIdentity(options.operation["captureDirectoryIdentity"], `${subject} capture directory identity`);
+    }
+    if (options.operation["capturedPreimageIdentity"] !== undefined) {
+        if (options.precondition?.state !== "known-file" ||
+            options.operation["captureDirectoryIdentity"] === undefined ||
+            !["preimage-captured", "destination-retired", "publishing", "published", "rollback-restored"].includes(String(options.state))) {
+            throw new KnownFileTransactionEnvelopeError(`${subject} captured preimage identity is invalid.`);
+        }
+        assertIdentity(options.operation["capturedPreimageIdentity"], `${subject} captured preimage identity`);
+    }
+    if (options.operation["retirement"] !== undefined) {
+        const retirement = record(options.operation["retirement"], `${subject} retirement`);
+        exactKeys(retirement, ["directoryIdentity", "kind", "pathIdentity", "state"], `${subject} retirement`);
+        if (!["destination", "rollback-temporary", "temporary"].includes(String(retirement["kind"])) ||
+            !["ready", "captured", "unlink-authorized"].includes(String(retirement["state"]))) {
+            throw new KnownFileTransactionEnvelopeError(`${subject} retirement transition is invalid.`);
+        }
+        assertIdentity(retirement["directoryIdentity"], `${subject} retirement directory identity`);
+        assertIdentity(retirement["pathIdentity"], `${subject} retirement path identity`);
+    }
+    if (["capture-ready", "preimage-captured", "destination-retired"].includes(String(options.state)) &&
+        options.operation["captureDirectoryIdentity"] === undefined) {
+        throw new KnownFileTransactionEnvelopeError(`${subject} lacks capture directory identity.`);
+    }
+}
+function assertJournalOperation(candidate, index, plan) {
+    const operation = record(candidate, `Known-file journal operation ${index}`);
+    const state = operation["state"];
+    const withTemporary = [
+        "temporary-ready", "capture-authorized", "capture-ready", "preimage-captured",
+        "destination-retired", "publishing", "published", "rollback-restored"
+    ].includes(String(state));
+    exactKeys(operation, journalOperationKeys(operation, withTemporary), `Known-file journal operation ${index}`);
+    if (operation["path"] !== plan.operations[index]?.path ||
+        ![
+            "already-satisfied", "pending", "temporary-authorized", "temporary-ready", "capture-authorized", "capture-ready",
+            "preimage-captured", "destination-retired", "publishing", "published", "rollback-restored"
+        ].includes(String(state))) {
+        throw new KnownFileTransactionEnvelopeError(`Known-file journal operation ${index} is invalid.`);
+    }
+    const matched = operation["matchedPreimage"];
+    const precondition = plan.operations[index]?.precondition;
+    if (matched !== undefined &&
+        (!Number.isSafeInteger(matched) || matched < 0 ||
+            precondition?.state !== "known-file" || matched >= precondition.acceptedPreimages.length)) {
+        throw new KnownFileTransactionEnvelopeError(`Known-file journal operation ${index} preimage binding is invalid.`);
+    }
+    if (withTemporary) {
+        assertJournalOperationIdentities({ index, operation, precondition, state });
+    }
+}
+function permittedParentDirectories(plan) {
+    const permitted = new Set();
+    for (const operation of plan.operations) {
+        const segments = operation.path.split("/");
+        segments.pop();
+        for (let count = 1; count <= segments.length; count += 1) {
+            permitted.add(segments.slice(0, count).join("/"));
+        }
+    }
+    return permitted;
+}
+function assertCreatedDirectories(value, plan) {
+    if (!Array.isArray(value) || value.length > 128) {
+        throw new KnownFileTransactionEnvelopeError("Known-file created-directory evidence is invalid.");
+    }
+    const permitted = permittedParentDirectories(plan);
+    const paths = [];
+    for (const [index, candidate] of value.entries()) {
+        const directory = record(candidate, `Known-file created directory ${index}`);
+        exactKeys(directory, ["identity", "path"], `Known-file created directory ${index}`);
+        if (typeof directory["path"] !== "string" ||
+            portableRepositoryPathProblem(directory["path"]) !== undefined ||
+            directory["path"].normalize("NFC") !== directory["path"] ||
+            !permitted.has(directory["path"])) {
+            throw new KnownFileTransactionEnvelopeError(`Known-file created directory ${index} path is invalid.`);
+        }
+        assertIdentity(directory["identity"], `Known-file created directory ${index} identity`);
+        paths.push(directory["path"]);
+    }
+    if (new Set(paths).size !== paths.length) {
+        throw new KnownFileTransactionEnvelopeError("Known-file created-directory evidence contains duplicates.");
+    }
+    return paths;
+}
+function assertJournal(value) {
+    const journal = record(value, "Known-file transaction journal");
+    exactKeys(journal, ["authorizedDirectories", "createdDirectories", "operations", "plan", "schemaVersion"], "Known-file transaction journal");
+    if (journal["schemaVersion"] !== 1) {
+        throw new KnownFileTransactionEnvelopeError("Known-file transaction journal version is unsupported.");
+    }
+    assertKnownFileTransactionPlan(journal["plan"]);
+    const plan = journal["plan"];
+    if (!Array.isArray(journal["operations"]) || journal["operations"].length !== plan.operations.length) {
+        throw new KnownFileTransactionEnvelopeError("Known-file transaction journal operations do not bind the Plan.");
+    }
+    journal["operations"].forEach((candidate, index) => {
+        assertJournalOperation(candidate, index, plan);
+    });
+    const createdPaths = assertCreatedDirectories(journal["createdDirectories"], plan);
+    const authorizedDirectories = journal["authorizedDirectories"];
+    if (!Array.isArray(authorizedDirectories) || authorizedDirectories.length > 128 ||
+        authorizedDirectories.some((path) => typeof path !== "string" ||
+            portableRepositoryPathProblem(path) !== undefined || path.normalize("NFC") !== path ||
+            !permittedParentDirectories(plan).has(path)) ||
+        new Set(authorizedDirectories).size !== authorizedDirectories.length ||
+        authorizedDirectories.some((path) => createdPaths.includes(path))) {
+        throw new KnownFileTransactionEnvelopeError("Known-file authorized-directory evidence is invalid.");
+    }
+}
+function body(input) {
+    const payloadDigest = sha256Json(input.journal);
+    return {
+        schemaVersion: 5,
+        operationKind: "known-file-transaction",
+        recoveryHandler: {
+            id: "foundation.replace-known-file",
+            contractVersion: 1
+        },
+        foundation: input.foundation,
+        adapterContractVersion: 1,
+        payloadKind: "known-file-transaction-journal/v1",
+        state: input.state,
+        journal: input.journal,
+        payloadDigest
+    };
+}
+export function compileKnownFileTransactionEnvelope(input) {
+    assertJournal(input.journal);
+    if (!SHA256.test(input.foundation.buildIdentity) || input.foundation.version.length === 0) {
+        throw new KnownFileTransactionEnvelopeError("Known-file transaction Foundation identity is invalid.");
+    }
+    const envelopeBody = body(input);
+    return Object.freeze({
+        ...envelopeBody,
+        envelopeDigest: sha256Json(envelopeBody)
+    });
+}
+export function assertKnownFileTransactionEnvelope(value) {
+    const envelope = record(value, "Known-file transaction envelope");
+    exactKeys(envelope, [
+        "adapterContractVersion", "envelopeDigest", "foundation", "journal",
+        "operationKind", "payloadDigest", "payloadKind", "recoveryHandler",
+        "schemaVersion", "state"
+    ], "Known-file transaction envelope");
+    const foundation = record(envelope["foundation"], "Known-file Foundation identity");
+    const recovery = record(envelope["recoveryHandler"], "Known-file recovery handler");
+    exactKeys(foundation, ["buildIdentity", "version"], "Known-file Foundation identity");
+    exactKeys(recovery, ["contractVersion", "id"], "Known-file recovery handler");
+    if (envelope["schemaVersion"] !== 5 ||
+        envelope["operationKind"] !== "known-file-transaction" ||
+        envelope["adapterContractVersion"] !== 1 ||
+        envelope["payloadKind"] !== "known-file-transaction-journal/v1" ||
+        !["APPLYING", "COMMITTED"].includes(String(envelope["state"])) ||
+        recovery["id"] !== "foundation.replace-known-file" ||
+        recovery["contractVersion"] !== 1 ||
+        typeof foundation["version"] !== "string" ||
+        !SHA256.test(String(foundation["buildIdentity"]))) {
+        throw new KnownFileTransactionEnvelopeError("Known-file transaction envelope binding is invalid.");
+    }
+    assertJournal(envelope["journal"]);
+    const reconstructed = compileKnownFileTransactionEnvelope({
+        foundation: foundation,
+        journal: envelope["journal"],
+        state: envelope["state"]
+    });
+    if (canonicalJson(reconstructed) !==
+        canonicalJson(value)) {
+        throw new KnownFileTransactionEnvelopeError("Known-file transaction envelope is non-canonical or tampered.");
+    }
+}
+//# sourceMappingURL=known-file-transaction-envelope.js.map

package/dist/repository-mutation/application/policies/known-file-transaction-envelope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"known-file-transaction-envelope.js","sourceRoot":"","sources":["../../../../src/repository-mutation/application/policies/known-file-transaction-envelope.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EACb,UAAU,EAEX,MAAM,4BAA4B,CAAC;AAKpC,OAAO,EAAE,4BAA4B,EAAE,MAAM,4CAA4C,CAAC;AAE1F,OAAO,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF,MAAM,MAAM,GAAG,wBAAwB,CAAC;AACxC,MAAM,gBAAgB,GAAG,gBAAgB,CAAC;AAE1C,MAAM,iCAAkC,SAAQ,KAAK;IACnD,YAAmB,OAAe;QAChC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,mCAAmC,CAAC;IAClD,CAAC;CACF;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,OAAe;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,iCAAiC,CAAC,GAAG,OAAO,cAAc,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED,SAAS,SAAS,CAChB,KAA8B,EAC9B,IAAuB,EACvB,OAAe;IAEf,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/E,MAAM,IAAI,iCAAiC,CAAC,GAAG,OAAO,iCAAiC,CAAC,CAAC;IAC3F,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,OAAe;IACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACxC,SAAS,CAAC,QAAQ,EAAE,CAAC,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;IAC5D,KAAK,MAAM,KAAK,IAAI,CAAC,aAAa,EAAE,KAAK,EAAE,KAAK,CAAU,EAAE,CAAC;QAC3D,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,iCAAiC,CAAC,GAAG,OAAO,IAAI,KAAK,cAAc,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IACD,4BAA4B,CAAC,QAI5B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,oBAAoB,CAC3B,SAAkC,EAClC,aAAsB;IAEtB,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC,iBAAiB,CAAC,KAAK,SAAS;YAC/C,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC;YACnB,CAAC,CAAC,CAAC,iBAAiB,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO;QACL,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;QAC1E,MAAM;QACN,GAAG,CAAC,SAAS,CAAC,2BAA2B,CAAC,KAAK,SAAS;YACtD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC;QAClC,GAAG,CAAC,SAAS,CAAC,0BAA0B,CAAC,KAAK,SAAS;YACrD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;QACjC,GAAG,CAAC,SAAS,CAAC,0BAA0B,CAAC,KAAK,SAAS;YACrD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;QACjC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAChE,OAAO;QACP,mBAAmB;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,gCAAgC,CAAC,OAKzC;IACC,MAAM,OAAO,GAAG,gCAAgC,OAAO,CAAC,KAAK,EAAE,CAAC;IAChE,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,mBAAmB,CAAC,EAAE,GAAG,OAAO,qBAAqB,CAAC,CAAC;IACxF,IAAI,OAAO,CAAC,SAAS,CAAC,2BAA2B,CAAC,KAAK,SAAS,EAAE,CAAC;QACjE,IAAI,OAAO,CAAC,YAAY,EAAE,KAAK,KAAK,YAAY,EAAE,CAAC;YACjD,MAAM,IAAI,iCAAiC,CAAC,GAAG,OAAO,gCAAgC,CAAC,CAAC;QAC1F,CAAC;QACD,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,2BAA2B,CAAC,EAAE,GAAG,OAAO,8BAA8B,CAAC,CAAC;IAC3G,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,CAAC,0BAA0B,CAAC,KAAK,SAAS,EAAE,CAAC;QAChE,IAAI,OAAO,CAAC,YAAY,EAAE,KAAK,KAAK,YAAY,EAAE,CAAC;YACjD,MAAM,IAAI,iCAAiC,CAAC,GAAG,OAAO,yCAAyC,CAAC,CAAC;QACnG,CAAC;QACD,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,0BAA0B,CAAC,EAAE,GAAG,OAAO,6BAA6B,CAAC,CAAC;IACzG,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,CAAC,0BAA0B,CAAC,KAAK,SAAS,EAAE,CAAC;QAChE,IAAI,OAAO,CAAC,YAAY,EAAE,KAAK,KAAK,YAAY;YAC9C,OAAO,CAAC,SAAS,CAAC,0BAA0B,CAAC,KAAK,SAAS;YAC3D,CAAC,CAAC,mBAAmB,EAAE,qBAAqB,EAAE,YAAY,EAAE,WAAW,EAAE,mBAAmB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAChI,MAAM,IAAI,iCAAiC,CAAC,GAAG,OAAO,yCAAyC,CAAC,CAAC;QACnG,CAAC;QACD,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,0BAA0B,CAAC,EAAE,GAAG,OAAO,6BAA6B,CAAC,CAAC;IACzG,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,SAAS,EAAE,CAAC;QAClD,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,GAAG,OAAO,aAAa,CAAC,CAAC;QACpF,SAAS,CAAC,UAAU,EAAE,CAAC,mBAAmB,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,CAAC,EAAE,GAAG,OAAO,aAAa,CAAC,CAAC;QACvG,IAAI,CAAC,CAAC,aAAa,EAAE,oBAAoB,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;YAC1F,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,mBAAmB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACpF,MAAM,IAAI,iCAAiC,CAAC,GAAG,OAAO,oCAAoC,CAAC,CAAC;QAC9F,CAAC;QACD,cAAc,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,GAAG,OAAO,gCAAgC,CAAC,CAAC;QAC5F,cAAc,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,GAAG,OAAO,2BAA2B,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,CAAC,eAAe,EAAE,mBAAmB,EAAE,qBAAqB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC/F,OAAO,CAAC,SAAS,CAAC,0BAA0B,CAAC,KAAK,SAAS,EAAE,CAAC;QAC9D,MAAM,IAAI,iCAAiC,CAAC,GAAG,OAAO,oCAAoC,CAAC,CAAC;IAC9F,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,SAAkB,EAClB,KAAa,EACb,IAAgC;IAE9B,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,EAAE,gCAAgC,KAAK,EAAE,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,aAAa,GAAG;QACpB,iBAAiB,EAAE,oBAAoB,EAAE,eAAe,EAAE,mBAAmB;QAC7E,qBAAqB,EAAE,YAAY,EAAE,WAAW,EAAE,mBAAmB;KACtE,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1B,SAAS,CAAC,SAAS,EAAE,oBAAoB,CAAC,SAAS,EAAE,aAAa,CAAC,EAAE,gCAAgC,KAAK,EAAE,CAAC,CAAC;IAC9G,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,IAAI;QACpD,CAAC;YACC,mBAAmB,EAAE,SAAS,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,eAAe;YAChH,mBAAmB,EAAE,qBAAqB,EAAE,YAAY,EAAE,WAAW,EAAE,mBAAmB;SAC3F,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,iCAAiC,CAAC,gCAAgC,KAAK,cAAc,CAAC,CAAC;IACnG,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC;IAC1D,IAAI,OAAO,KAAK,SAAS;QACvB,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,IAAK,OAAkB,GAAG,CAAC;YACxD,YAAY,EAAE,KAAK,KAAK,YAAY,IAAK,OAAkB,IAAI,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1G,MAAM,IAAI,iCAAiC,CAAC,gCAAgC,KAAK,+BAA+B,CAAC,CAAC;IACpH,CAAC;IACD,IAAI,aAAa,EAAE,CAAC;QAClB,gCAAgC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9E,CAAC;AACL,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAgC;IAClE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3C,QAAQ,CAAC,GAAG,EAAE,CAAC;QACf,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAc,EACd,IAAgC;IAEhC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;QAChD,MAAM,IAAI,iCAAiC,CAAC,mDAAmD,CAAC,CAAC;IACnG,CAAC;IACD,MAAM,SAAS,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,EAAE,gCAAgC,KAAK,EAAE,CAAC,CAAC;QAC7E,SAAS,CAAC,SAAS,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,gCAAgC,KAAK,EAAE,CAAC,CAAC;QACpF,IAAI,OAAO,SAAS,CAAC,MAAM,CAAC,KAAK,QAAQ;YACvC,6BAA6B,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,SAAS;YAC9D,SAAS,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,MAAM,CAAC;YACxD,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YACpC,MAAM,IAAI,iCAAiC,CAAC,gCAAgC,KAAK,mBAAmB,CAAC,CAAC;QACxG,CAAC;QACD,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,gCAAgC,KAAK,WAAW,CAAC,CAAC;QACxF,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACzC,MAAM,IAAI,iCAAiC,CAAC,4DAA4D,CAAC,CAAC;IAC5G,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,EAAE,gCAAgC,CAAC,CAAC;IAChE,SAAS,CAAC,OAAO,EAAE,CAAC,uBAAuB,EAAE,oBAAoB,EAAE,YAAY,EAAE,MAAM,EAAE,eAAe,CAAC,EAAE,gCAAgC,CAAC,CAAC;IAC7I,IAAI,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,iCAAiC,CAAC,wDAAwD,CAAC,CAAC;IACxG,CAAC;IACD,8BAA8B,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QACrG,MAAM,IAAI,iCAAiC,CAAC,iEAAiE,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QACjD,sBAAsB,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,wBAAwB,CAAC,OAAO,CAAC,oBAAoB,CAAC,EAAE,IAAI,CAAC,CAAC;IACnF,MAAM,qBAAqB,GAAY,OAAO,CAAC,uBAAuB,CAAC,CAAC;IACxE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,qBAAqB,CAAC,IAAI,qBAAqB,CAAC,MAAM,GAAG,GAAG;QAC7E,qBAAqB,CAAC,IAAI,CAAC,CAAC,IAAa,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ;YACpE,6BAA6B,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,IAAI;YACnF,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,GAAG,CAAC,qBAAiC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,MAAM;QAC/E,qBAAkC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAClF,MAAM,IAAI,iCAAiC,CAAC,sDAAsD,CAAC,CAAC;IACtG,CAAC;AACH,CAAC;AAED,SAAS,IAAI,CAAC,KAIb;IACC,MAAM,aAAa,GAAG,UAAU,CAAC,KAAK,CAAC,OAAwC,CAAC,CAAC;IACjF,OAAO;QACL,aAAa,EAAE,CAAU;QACzB,aAAa,EAAE,wBAAiC;QAChD,eAAe,EAAE;YACf,EAAE,EAAE,+BAAwC;YAC5C,eAAe,EAAE,CAAU;SAC5B;QACD,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,sBAAsB,EAAE,CAAU;QAClC,WAAW,EAAE,mCAA4C;QACzD,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,aAAa;KACd,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mCAAmC,CAAC,KAInD;IACC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1F,MAAM,IAAI,iCAAiC,CAAC,wDAAwD,CAAC,CAAC;IACxG,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,YAAY;QACf,cAAc,EAAE,UAAU,CAAC,YAA6C,CAAC;KAC1E,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,kCAAkC,CAChD,KAAc;IAEd,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,iCAAiC,CAAC,CAAC;IAClE,SAAS,CAAC,QAAQ,EAAE;QAClB,wBAAwB,EAAE,gBAAgB,EAAE,YAAY,EAAE,SAAS;QACnE,eAAe,EAAE,eAAe,EAAE,aAAa,EAAE,iBAAiB;QAClE,eAAe,EAAE,OAAO;KACzB,EAAE,iCAAiC,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,gCAAgC,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,6BAA6B,CAAC,CAAC;IACpF,SAAS,CAAC,UAAU,EAAE,CAAC,eAAe,EAAE,SAAS,CAAC,EAAE,gCAAgC,CAAC,CAAC;IACtF,SAAS,CAAC,QAAQ,EAAE,CAAC,iBAAiB,EAAE,IAAI,CAAC,EAAE,6BAA6B,CAAC,CAAC;IAC9E,IAAI,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC;QACjC,QAAQ,CAAC,eAAe,CAAC,KAAK,wBAAwB;QACtD,QAAQ,CAAC,wBAAwB,CAAC,KAAK,CAAC;QACxC,QAAQ,CAAC,aAAa,CAAC,KAAK,mCAAmC;QAC/D,CAAC,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QAC9D,QAAQ,CAAC,IAAI,CAAC,KAAK,+BAA+B;QAClD,QAAQ,CAAC,iBAAiB,CAAC,KAAK,CAAC;QACjC,OAAO,UAAU,CAAC,SAAS,CAAC,KAAK,QAAQ;QACzC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,iCAAiC,CAAC,qDAAqD,CAAC,CAAC;IACrG,CAAC;IACD,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACnC,MAAM,aAAa,GAAG,mCAAmC,CAAC;QACxD,UAAU,EAAE,UAAqE;QACjF,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC;QAC5B,KAAK,EAAE,QAAQ,CAAC,OAAO,CAA4C;KACpE,CAAC,CAAC;IACH,IAAI,aAAa,CAAC,aAA8C,CAAC;QAC/D,aAAa,CAAC,KAA2B,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,iCAAiC,CAAC,+DAA+D,CAAC,CAAC;IAC/G,CAAC;AACH,CAAC"}

package/dist/repository-mutation/application/policies/known-file-transaction-plan.d.ts

@@ -0,0 +1,7 @@
+import type { CompileKnownFileTransactionPlanInput, KnownFileTransactionPlanV1 } from "../model/known-file-transaction.js";
+export declare class KnownFileTransactionPlanError extends Error {
+    constructor(message: string);
+}
+export declare function compileKnownFileTransactionPlan(input: CompileKnownFileTransactionPlanInput): KnownFileTransactionPlanV1;
+export declare function assertKnownFileTransactionPlan(value: unknown): asserts value is KnownFileTransactionPlanV1;
+//# sourceMappingURL=known-file-transaction-plan.d.ts.map

package/dist/repository-mutation/application/policies/known-file-transaction-plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"known-file-transaction-plan.d.ts","sourceRoot":"","sources":["../../../../src/repository-mutation/application/policies/known-file-transaction-plan.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACV,oCAAoC,EAIpC,0BAA0B,EAC3B,MAAM,oCAAoC,CAAC;AAa5C,qBAAa,6BAA8B,SAAQ,KAAK;IACtD,YAAmB,OAAO,EAAE,MAAM,EAGjC;CACF;AAuID,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,oCAAoC,GAC1C,0BAA0B,CAmD5B;AAED,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,KAAK,IAAI,0BAA0B,CAuD7C"}

package/dist/repository-mutation/application/policies/known-file-transaction-plan.js

@@ -0,0 +1,215 @@
+import { canonicalJson, sha256Bytes, sha256Json } from "../../../canonical-json.js";
+import { findPortableRepositoryPathCollision, portableRepositoryPathProblem } from "../model/repository-path.js";
+const MAXIMUM_OPERATION_COUNT = 32;
+const MAXIMUM_FILE_BYTES = 8 * 1024 * 1024;
+// Keep the canonical Base64 journal comfortably below its separate 32 MiB
+// serialized limit. Raw transaction evidence expands by at least 4/3.
+const MAXIMUM_TRANSACTION_BYTES = 16 * 1024 * 1024;
+const SHA256 = /^sha256:[0-9a-f]{64}$/u;
+export class KnownFileTransactionPlanError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "KnownFileTransactionPlanError";
+    }
+}
+function binaryCompare(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+function assertMode(mode, subject) {
+    if (!Number.isSafeInteger(mode) || mode < 0 || mode > 0o777) {
+        throw new KnownFileTransactionPlanError(`${subject} mode must be one portable permission value.`);
+    }
+}
+function assertBytes(bytes, subject) {
+    if (!(bytes instanceof Uint8Array)) {
+        throw new KnownFileTransactionPlanError(`${subject} bytes must be Uint8Array.`);
+    }
+    if (bytes.byteLength > MAXIMUM_FILE_BYTES) {
+        throw new KnownFileTransactionPlanError(`${subject} exceeds the ${MAXIMUM_FILE_BYTES} byte limit.`);
+    }
+}
+function image(bytes, mode, subject) {
+    assertBytes(bytes, subject);
+    assertMode(mode, subject);
+    const copied = Buffer.from(bytes);
+    return Object.freeze({
+        contentBase64: copied.toString("base64"),
+        digest: sha256Bytes(copied),
+        mode,
+        size: copied.byteLength
+    });
+}
+function compareImages(left, right) {
+    return binaryCompare(canonicalJson(left), canonicalJson(right));
+}
+function compileOperation(operation) {
+    const problem = portableRepositoryPathProblem(operation.path);
+    if (problem !== undefined) {
+        throw new KnownFileTransactionPlanError(`Operation path ${operation.path} is not portable: ${problem}.`);
+    }
+    if (operation.path.normalize("NFC") !== operation.path) {
+        throw new KnownFileTransactionPlanError(`Operation path ${operation.path} must use NFC normalization.`);
+    }
+    if (operation.path === ".agent-teams-local" ||
+        operation.path.startsWith(".agent-teams-local/")) {
+        throw new KnownFileTransactionPlanError(`Operation path ${operation.path} overlaps Foundation's internal state namespace.`);
+    }
+    if (operation.precondition.state === "absent") {
+        return Object.freeze({
+            path: operation.path,
+            precondition: Object.freeze({ state: "absent" }),
+            postimage: image(operation.postimage.bytes, operation.postimage.mode ?? 0o644, `${operation.path} postimage`)
+        });
+    }
+    if (operation.precondition.acceptedPreimages.length === 0) {
+        throw new KnownFileTransactionPlanError(`${operation.path} replacement requires at least one exact preimage.`);
+    }
+    if (operation.precondition.acceptedPreimages.length > 16) {
+        throw new KnownFileTransactionPlanError(`${operation.path} replacement exceeds the 16 preimage limit.`);
+    }
+    const postimageMode = operation.postimage.mode;
+    if (postimageMode === undefined) {
+        throw new KnownFileTransactionPlanError(`${operation.path} replacement requires an exact file mode.`);
+    }
+    assertMode(postimageMode, `${operation.path} postimage`);
+    const acceptedPreimages = operation.precondition.acceptedPreimages
+        .map((entry, index) => {
+        if (entry.mode !== postimageMode) {
+            throw new KnownFileTransactionPlanError(`${operation.path} replacement must preserve the exact file mode.`);
+        }
+        return image(entry.bytes, entry.mode, `${operation.path} preimage ${index}`);
+    })
+        .toSorted(compareImages);
+    for (let index = 1; index < acceptedPreimages.length; index += 1) {
+        if (canonicalJson(acceptedPreimages[index - 1]) ===
+            canonicalJson(acceptedPreimages[index])) {
+            throw new KnownFileTransactionPlanError(`${operation.path} replacement contains a duplicate exact preimage.`);
+        }
+    }
+    const postimage = image(operation.postimage.bytes, postimageMode, `${operation.path} postimage`);
+    return Object.freeze({
+        path: operation.path,
+        precondition: Object.freeze({
+            state: "known-file",
+            acceptedPreimages: Object.freeze(acceptedPreimages)
+        }),
+        postimage
+    });
+}
+function planBody(operations) {
+    return {
+        schemaVersion: 1,
+        protocol: "foundation.replace-known-file/v1",
+        operations
+    };
+}
+export function compileKnownFileTransactionPlan(input) {
+    if (!Array.isArray(input.operations) || input.operations.length > MAXIMUM_OPERATION_COUNT) {
+        throw new KnownFileTransactionPlanError(`A transaction supports at most ${MAXIMUM_OPERATION_COUNT} operations.`);
+    }
+    const operations = input.operations.map(compileOperation).toSorted((left, right) => binaryCompare(left.path, right.path));
+    const collision = findPortableRepositoryPathCollision(operations.map(({ path }) => path));
+    if (collision !== undefined) {
+        throw new KnownFileTransactionPlanError(`Operation paths collide portably: ${collision.first} and ${collision.second}.`);
+    }
+    for (let index = 1; index < operations.length; index += 1) {
+        const ancestor = operations[index - 1].path;
+        const descendant = operations[index].path;
+        if (descendant.startsWith(`${ancestor}/`)) {
+            throw new KnownFileTransactionPlanError(`Operation paths overlap as ancestor and descendant: ${ancestor} and ${descendant}.`);
+        }
+    }
+    const totalBytes = operations.reduce((total, operation) => total + operation.postimage.size +
+        (operation.precondition.state === "known-file"
+            ? operation.precondition.acceptedPreimages.reduce((preimageTotal, entry) => preimageTotal + entry.size, 0)
+            : 0), 0);
+    if (totalBytes > MAXIMUM_TRANSACTION_BYTES) {
+        throw new KnownFileTransactionPlanError(`Transaction evidence exceeds the ${MAXIMUM_TRANSACTION_BYTES} byte limit.`);
+    }
+    const frozenOperations = Object.freeze(operations);
+    const body = planBody(frozenOperations);
+    const planDigest = sha256Json({
+        domain: "agent-teams.foundation.known-file-transaction-plan/v1",
+        body
+    });
+    if (!SHA256.test(planDigest)) {
+        throw new KnownFileTransactionPlanError("Compiled Plan digest is invalid.");
+    }
+    return Object.freeze({ ...body, planDigest });
+}
+export function assertKnownFileTransactionPlan(value) {
+    if (typeof value !== "object" ||
+        value === null ||
+        Array.isArray(value) ||
+        Reflect.get(value, "schemaVersion") !== 1 ||
+        Reflect.get(value, "protocol") !== "foundation.replace-known-file/v1" ||
+        !SHA256.test(String(Reflect.get(value, "planDigest"))) ||
+        !Array.isArray(Reflect.get(value, "operations"))) {
+        throw new KnownFileTransactionPlanError("Known-file transaction Plan is invalid.");
+    }
+    const operations = Reflect.get(value, "operations");
+    const reconstructed = compileKnownFileTransactionPlan({
+        operations: operations.map((candidate) => {
+            if (typeof candidate !== "object" || candidate === null || Array.isArray(candidate)) {
+                throw new KnownFileTransactionPlanError("Known-file transaction operation is invalid.");
+            }
+            const path = String(Reflect.get(candidate, "path"));
+            const precondition = Reflect.get(candidate, "precondition");
+            const postimage = readImage(Reflect.get(candidate, "postimage"), `${path} postimage`);
+            if (typeof precondition !== "object" || precondition === null || Array.isArray(precondition)) {
+                throw new KnownFileTransactionPlanError(`${path} precondition is invalid.`);
+            }
+            if (Reflect.get(precondition, "state") === "absent") {
+                return { path, precondition: { state: "absent" }, postimage: {
+                        bytes: postimage.bytes,
+                        mode: postimage.mode
+                    } };
+            }
+            const accepted = Reflect.get(precondition, "acceptedPreimages");
+            if (Reflect.get(precondition, "state") !== "known-file" || !Array.isArray(accepted)) {
+                throw new KnownFileTransactionPlanError(`${path} precondition is invalid.`);
+            }
+            return {
+                path,
+                precondition: {
+                    state: "known-file",
+                    acceptedPreimages: accepted.map((entry, index) => {
+                        const parsed = readImage(entry, `${path} preimage ${index}`);
+                        return { bytes: parsed.bytes, mode: parsed.mode };
+                    })
+                },
+                postimage: { bytes: postimage.bytes, mode: postimage.mode }
+            };
+        })
+    });
+    if (canonicalJson(reconstructed) !==
+        canonicalJson(value)) {
+        throw new KnownFileTransactionPlanError("Known-file transaction Plan is not canonical or has an invalid digest.");
+    }
+}
+function readImage(value, subject) {
+    if (typeof value !== "object" || value === null || Array.isArray(value)) {
+        throw new KnownFileTransactionPlanError(`${subject} is invalid.`);
+    }
+    const contentBase64 = Reflect.get(value, "contentBase64");
+    const digest = Reflect.get(value, "digest");
+    const mode = Reflect.get(value, "mode");
+    const size = Reflect.get(value, "size");
+    if (typeof contentBase64 !== "string" ||
+        typeof digest !== "string" ||
+        !SHA256.test(digest) ||
+        typeof mode !== "number" ||
+        typeof size !== "number") {
+        throw new KnownFileTransactionPlanError(`${subject} is invalid.`);
+    }
+    const bytes = Buffer.from(contentBase64, "base64");
+    const canonicalBase64 = bytes.toString("base64");
+    const expected = image(bytes, mode, subject);
+    if (contentBase64 !== canonicalBase64 ||
+        expected.digest !== digest ||
+        expected.size !== size) {
+        throw new KnownFileTransactionPlanError(`${subject} bytes or digest are invalid.`);
+    }
+    return Object.freeze({ ...expected, bytes });
+}
+//# sourceMappingURL=known-file-transaction-plan.js.map

package/dist/repository-mutation/application/policies/known-file-transaction-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"known-file-transaction-plan.js","sourceRoot":"","sources":["../../../../src/repository-mutation/application/policies/known-file-transaction-plan.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EACb,WAAW,EACX,UAAU,EAEX,MAAM,4BAA4B,CAAC;AAQpC,OAAO,EACL,mCAAmC,EACnC,6BAA6B,EAC9B,MAAM,6BAA6B,CAAC;AAErC,MAAM,uBAAuB,GAAG,EAAE,CAAC;AACnC,MAAM,kBAAkB,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AAC3C,0EAA0E;AAC1E,sEAAsE;AACtE,MAAM,yBAAyB,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AACnD,MAAM,MAAM,GAAG,wBAAwB,CAAC;AAExC,MAAM,OAAO,6BAA8B,SAAQ,KAAK;IACtD,YAAmB,OAAe;QAChC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,+BAA+B,CAAC;IAC9C,CAAC;CACF;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,KAAa;IAChD,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,OAAe;IAC/C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,KAAK,EAAE,CAAC;QAC5D,MAAM,IAAI,6BAA6B,CACrC,GAAG,OAAO,8CAA8C,CACzD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAiB,EAAE,OAAe;IACrD,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,6BAA6B,CAAC,GAAG,OAAO,4BAA4B,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,GAAG,kBAAkB,EAAE,CAAC;QAC1C,MAAM,IAAI,6BAA6B,CACrC,GAAG,OAAO,gBAAgB,kBAAkB,cAAc,CAC3D,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,KAAK,CAAC,KAAiB,EAAE,IAAY,EAAE,OAAe;IAC7D,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5B,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACxC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC;QAC3B,IAAI;QACJ,IAAI,EAAE,MAAM,CAAC,UAAU;KACxB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,IAAsB,EAAE,KAAuB;IACpE,OAAO,aAAa,CAClB,aAAa,CAAC,IAAqC,CAAC,EACpD,aAAa,CAAC,KAAsC,CAAC,CACtD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,SAA6C;IAE7C,MAAM,OAAO,GAAG,6BAA6B,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,6BAA6B,CACrC,kBAAkB,SAAS,CAAC,IAAI,qBAAqB,OAAO,GAAG,CAChE,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC;QACvD,MAAM,IAAI,6BAA6B,CACrC,kBAAkB,SAAS,CAAC,IAAI,8BAA8B,CAC/D,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,oBAAoB;QACzC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,qBAAqB,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,6BAA6B,CACrC,kBAAkB,SAAS,CAAC,IAAI,kDAAkD,CACnF,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,YAAY,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9C,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;YAChD,SAAS,EAAE,KAAK,CACd,SAAS,CAAC,SAAS,CAAC,KAAK,EACzB,SAAS,CAAC,SAAS,CAAC,IAAI,IAAI,KAAK,EACjC,GAAG,SAAS,CAAC,IAAI,YAAY,CAC9B;SACF,CAAC,CAAC;IACL,CAAC;IACD,IAAI,SAAS,CAAC,YAAY,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,6BAA6B,CACrC,GAAG,SAAS,CAAC,IAAI,oDAAoD,CACtE,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,YAAY,CAAC,iBAAiB,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QACzD,MAAM,IAAI,6BAA6B,CACrC,GAAG,SAAS,CAAC,IAAI,6CAA6C,CAC/D,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC;IAC/C,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,IAAI,6BAA6B,CACrC,GAAG,SAAS,CAAC,IAAI,2CAA2C,CAC7D,CAAC;IACJ,CAAC;IACD,UAAU,CAAC,aAAa,EAAE,GAAG,SAAS,CAAC,IAAI,YAAY,CAAC,CAAC;IACzD,MAAM,iBAAiB,GAAG,SAAS,CAAC,YAAY,CAAC,iBAAiB;SAC/D,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACpB,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACjC,MAAM,IAAI,6BAA6B,CACrC,GAAG,SAAS,CAAC,IAAI,iDAAiD,CACnE,CAAC;QACJ,CAAC;QACD,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,SAAS,CAAC,IAAI,aAAa,KAAK,EAAE,CAAC,CAAC;IAC/E,CAAC,CAAC;SACD,QAAQ,CAAC,aAAa,CAAC,CAAC;IAC3B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACjE,IACE,aAAa,CAAC,iBAAiB,CAAC,KAAK,GAAG,CAAC,CAAkC,CAAC;YAC5E,aAAa,CAAC,iBAAiB,CAAC,KAAK,CAAkC,CAAC,EACxE,CAAC;YACD,MAAM,IAAI,6BAA6B,CACrC,GAAG,SAAS,CAAC,IAAI,mDAAmD,CACrE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CACrB,SAAS,CAAC,SAAS,CAAC,KAAK,EACzB,aAAa,EACb,GAAG,SAAS,CAAC,IAAI,YAAY,CAC9B,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC;YAC1B,KAAK,EAAE,YAAY;YACnB,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC;SACpD,CAAC;QACF,SAAS;KACV,CAAC,CAAC;AACL,CAAC;AAED,SAAS,QAAQ,CAAC,UAAsD;IACtE,OAAO;QACL,aAAa,EAAE,CAAU;QACzB,QAAQ,EAAE,kCAA2C;QACrD,UAAU;KACX,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,KAA2C;IAE3C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,uBAAuB,EAAE,CAAC;QAC1F,MAAM,IAAI,6BAA6B,CACrC,kCAAkC,uBAAuB,cAAc,CACxE,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACjF,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CACrC,CAAC;IACF,MAAM,SAAS,GAAG,mCAAmC,CACnD,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CACnC,CAAC;IACF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,6BAA6B,CACrC,qCAAqC,SAAS,CAAC,KAAK,QAAQ,SAAS,CAAC,MAAM,GAAG,CAChF,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC;QAC7C,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC;QAC3C,IAAI,UAAU,CAAC,UAAU,CAAC,GAAG,QAAQ,GAAG,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,6BAA6B,CACrC,uDAAuD,QAAQ,QAAQ,UAAU,GAAG,CACrF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAClC,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI;QACpD,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,KAAK,YAAY;YAC5C,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAC7C,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE,CAAC,aAAa,GAAG,KAAK,CAAC,IAAI,EACpD,CAAC,CACF;YACH,CAAC,CAAC,CAAC,CAAC,EACR,CAAC,CACF,CAAC;IACF,IAAI,UAAU,GAAG,yBAAyB,EAAE,CAAC;QAC3C,MAAM,IAAI,6BAA6B,CACrC,oCAAoC,yBAAyB,cAAc,CAC5E,CAAC;IACJ,CAAC;IACD,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IACxC,MAAM,UAAU,GAAG,UAAU,CAAC;QAC5B,MAAM,EAAE,uDAAuD;QAC/D,IAAI;KAC4B,CAAC,CAAC;IACpC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,6BAA6B,CAAC,kCAAkC,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,KAAc;IAEd,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC;QACzC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,kCAAkC;QACrE,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC;QACtD,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,EAChD,CAAC;QACD,MAAM,IAAI,6BAA6B,CAAC,yCAAyC,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAc,CAAC;IACjE,MAAM,aAAa,GAAG,+BAA+B,CAAC;QACpD,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAsC,EAAE;YAC3E,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;gBACpF,MAAM,IAAI,6BAA6B,CAAC,8CAA8C,CAAC,CAAC;YAC1F,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,YAAY,GAAY,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;YACrE,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;YACtF,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,YAAY,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC7F,MAAM,IAAI,6BAA6B,CAAC,GAAG,IAAI,2BAA2B,CAAC,CAAC;YAC9E,CAAC;YACD,IAAI,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACpD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE;wBAC3D,KAAK,EAAE,SAAS,CAAC,KAAK;wBACtB,IAAI,EAAE,SAAS,CAAC,IAAI;qBACrB,EAAE,CAAC;YACN,CAAC;YACD,MAAM,QAAQ,GAAY,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,mBAAmB,CAAC,CAAC;YACzE,IAAI,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,KAAK,YAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpF,MAAM,IAAI,6BAA6B,CAAC,GAAG,IAAI,2BAA2B,CAAC,CAAC;YAC9E,CAAC;YACD,OAAO;gBACL,IAAI;gBACJ,YAAY,EAAE;oBACZ,KAAK,EAAE,YAAY;oBACnB,iBAAiB,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;wBAC/C,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,IAAI,aAAa,KAAK,EAAE,CAAC,CAAC;wBAC7D,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;oBACpD,CAAC,CAAC;iBACH;gBACD,SAAS,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;aAC5D,CAAC;QACJ,CAAC,CAAC;KACH,CAAC,CAAC;IACH,IACE,aAAa,CAAC,aAA8C,CAAC;QAC7D,aAAa,CAAC,KAAsC,CAAC,EACrD,CAAC;QACD,MAAM,IAAI,6BAA6B,CACrC,wEAAwE,CACzE,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAChB,KAAc,EACd,OAAe;IAEf,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,6BAA6B,CAAC,GAAG,OAAO,cAAc,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,aAAa,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IACnE,MAAM,MAAM,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACrD,MAAM,IAAI,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACjD,MAAM,IAAI,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACjD,IACE,OAAO,aAAa,KAAK,QAAQ;QACjC,OAAO,MAAM,KAAK,QAAQ;QAC1B,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QACpB,OAAO,IAAI,KAAK,QAAQ;QACxB,OAAO,IAAI,KAAK,QAAQ,EACxB,CAAC;QACD,MAAM,IAAI,6BAA6B,CAAC,GAAG,OAAO,cAAc,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,IACE,aAAa,KAAK,eAAe;QACjC,QAAQ,CAAC,MAAM,KAAK,MAAM;QAC1B,QAAQ,CAAC,IAAI,KAAK,IAAI,EACtB,CAAC;QACD,MAAM,IAAI,6BAA6B,CAAC,GAAG,OAAO,+BAA+B,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;AAC/C,CAAC"}

package/dist/schema-catalog.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema-catalog.d.ts","sourceRoot":"","sources":["../src/schema-catalog.ts"],"names":[],"mappings":"AAWA,OAAO,EAEL,KAAK,yBAAyB,EAC9B,KAAK,kBAAkB,EACxB,MAAM,iBAAiB,CAAC;AAuCzB,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,kBAAkB,CAE/E;AAUD,wBAAsB,oBAAoB,CACxC,QAAQ,EAAE,kBAAkB,GAC3B,OAAO,CAAC,MAAM,CAAC,CAEjB;AAwDD,wBAAsB,YAAY,CAChC,QAAQ,EAAE,yBAAyB,EACnC,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,IAAI,CAAC,CAUf"}
+{"version":3,"file":"schema-catalog.d.ts","sourceRoot":"","sources":["../src/schema-catalog.ts"],"names":[],"mappings":"AAWA,OAAO,EAEL,KAAK,yBAAyB,EAC9B,KAAK,kBAAkB,EACxB,MAAM,iBAAiB,CAAC;AA0CzB,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,kBAAkB,CAE/E;AAUD,wBAAsB,oBAAoB,CACxC,QAAQ,EAAE,kBAAkB,GAC3B,OAAO,CAAC,MAAM,CAAC,CAEjB;AAwDD,wBAAsB,YAAY,CAChC,QAAQ,EAAE,yBAAyB,EACnC,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,IAAI,CAAC,CAUf"}