@agent-teams/document-authoring 0.0.0

package/dist/application/policies/assert-v2-planning-profile.js

@@ -0,0 +1,7 @@
+import { DocumentPlanningError } from "../../document-planning-error.js";
+export function assertV2PlanningProfile(profile, requestedPolicy) {
+    if ((requestedPolicy !== undefined) !== (profile.schemaVersion === 2 || profile.schemaVersion === 3)) {
+        throw new DocumentPlanningError("DOCUMENT_PLANNING_INPUT_INVALID", "Profile v2/v3 and create-missing-real-directories must select Document Plan v2 together.");
+    }
+}
+//# sourceMappingURL=assert-v2-planning-profile.js.map

package/dist/application/policies/assert-v2-planning-profile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assert-v2-planning-profile.js","sourceRoot":"","sources":["../../../src/application/policies/assert-v2-planning-profile.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAEzE,MAAM,UAAU,uBAAuB,CACrC,OAAwC,EACxC,eAA8D;IAE9D,IAAI,CAAC,eAAe,KAAK,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,KAAK,CAAC,IAAI,OAAO,CAAC,aAAa,KAAK,CAAC,CAAC,EAAE,CAAC;QACrG,MAAM,IAAI,qBAAqB,CAC7B,iCAAiC,EACjC,0FAA0F,CAC3F,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/application/policies/authoring-profile-semantics.d.ts

@@ -0,0 +1,42 @@
+interface PlacementSemantics {
+    readonly allowedRoots?: readonly string[];
+    readonly kind: string;
+    readonly filename?: string;
+    readonly minimumSegmentsAfterRequired?: number;
+    readonly minimumSegmentsBeforeRequired?: number;
+    readonly requiredBasename?: string;
+    readonly requiredSegmentsInOrder?: readonly string[];
+    readonly root?: string;
+}
+interface ArtifactTypeSemantics {
+    readonly identity?: {
+        readonly format?: string;
+        readonly grammar?: {
+            readonly maxSuffixSegments: number;
+            readonly minSuffixSegments: number;
+            readonly prefixSegments: readonly string[];
+        };
+    };
+    readonly placement: PlacementSemantics;
+    readonly reachability?: {
+        readonly indexPath?: string;
+        readonly kind: string;
+    };
+    readonly type: string;
+}
+export interface AuthoringProfileSemantics {
+    readonly authoring: {
+        readonly artifactTypes: readonly ArtifactTypeSemantics[];
+    };
+}
+export type AuthoringProfileSemanticProblem = "duplicate-artifact-type" | "incompatible-identity-placement" | "invalid-qualified-grammar-range" | "incompatible-reachability-placement" | "overlapping-placement-roots" | "portable-root-collision";
+export declare class AuthoringProfileSemanticError extends Error {
+    readonly problem: AuthoringProfileSemanticProblem;
+    constructor(problem: AuthoringProfileSemanticProblem);
+}
+export declare function assertAuthoringProfileSemantics(profile: AuthoringProfileSemantics): void;
+export declare function matchingPlacementRoot(repositoryPath: string, allowedRoots: readonly string[]): string | undefined;
+export declare function hasContiguousRequiredSegments(repositoryPath: string, requiredSegments: readonly string[], matchedRoot?: string): boolean;
+export declare function isRepositoryPathAllowedByPlacement(repositoryPath: string, placement: PlacementSemantics): boolean;
+export {};
+//# sourceMappingURL=authoring-profile-semantics.d.ts.map

package/dist/application/policies/authoring-profile-semantics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"authoring-profile-semantics.d.ts","sourceRoot":"","sources":["../../../src/application/policies/authoring-profile-semantics.ts"],"names":[],"mappings":"AAEA,UAAU,kBAAkB;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,4BAA4B,CAAC,EAAE,MAAM,CAAC;IAC/C,QAAQ,CAAC,6BAA6B,CAAC,EAAE,MAAM,CAAC;IAChD,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,uBAAuB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,UAAU,qBAAqB;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAClB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,OAAO,CAAC,EAAE;YACjB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;YACnC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;YACnC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;SAC5C,CAAC;KACH,CAAC;IACF,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,YAAY,CAAC,EAAE;QACtB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;KACvB,CAAC;IACF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,SAAS,EAAE;QAClB,QAAQ,CAAC,aAAa,EAAE,SAAS,qBAAqB,EAAE,CAAC;KAC1D,CAAC;CACH;AAED,MAAM,MAAM,+BAA+B,GACvC,yBAAyB,GACzB,iCAAiC,GACjC,iCAAiC,GACjC,qCAAqC,GACrC,6BAA6B,GAC7B,yBAAyB,CAAC;AAE9B,qBAAa,6BAA8B,SAAQ,KAAK;IACtD,QAAQ,CAAC,OAAO,EAAE,+BAA+B,CAAC;IAElD,YAAY,OAAO,EAAE,+BAA+B,EAInD;CACF;AAkCD,wBAAgB,+BAA+B,CAAC,OAAO,EAAE,yBAAyB,GAAG,IAAI,CAgDxF;AAED,wBAAgB,qBAAqB,CACnC,cAAc,EAAE,MAAM,EACtB,YAAY,EAAE,SAAS,MAAM,EAAE,GAC9B,MAAM,GAAG,SAAS,CAKpB;AAED,wBAAgB,6BAA6B,CAC3C,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAkBT;AAED,wBAAgB,kCAAkC,CAChD,cAAc,EAAE,MAAM,EACtB,SAAS,EAAE,kBAAkB,GAC5B,OAAO,CAsCT"}

package/dist/application/policies/authoring-profile-semantics.js

@@ -0,0 +1,129 @@
+import { isDocumentRepositoryPath } from "./document-repository-path.js";
+export class AuthoringProfileSemanticError extends Error {
+    problem;
+    constructor(problem) {
+        super(`Document authoring profile has invalid semantics: ${problem}.`);
+        this.name = "AuthoringProfileSemanticError";
+        this.problem = problem;
+    }
+}
+function portableAsciiIdentity(value) {
+    return value.replace(/[A-Z]/gu, (character) => character.toLowerCase());
+}
+function isSegmentBoundaryPrefix(prefix, candidate) {
+    return candidate === prefix || candidate.startsWith(`${prefix}/`);
+}
+function hasCompatibleIdentityPlacement(artifactType) {
+    const placement = artifactType.placement;
+    if (placement.kind === "qualified-leaf-index") {
+        return artifactType.identity?.format === "qualified";
+    }
+    if (placement.kind === "collection" && placement.filename === "numeric-id-slug") {
+        return artifactType.identity?.format === "adr-four-digits";
+    }
+    return true;
+}
+function assertCompatibleReachabilityPlacement(artifactType) {
+    if (artifactType.reachability?.kind === "manual-colocated-index" &&
+        artifactType.placement.kind !== "explicit") {
+        throw new AuthoringProfileSemanticError("incompatible-reachability-placement");
+    }
+}
+export function assertAuthoringProfileSemantics(profile) {
+    const types = new Set();
+    for (const artifactType of profile.authoring.artifactTypes) {
+        const typeIdentity = portableAsciiIdentity(artifactType.type);
+        if (types.has(typeIdentity)) {
+            throw new AuthoringProfileSemanticError("duplicate-artifact-type");
+        }
+        types.add(typeIdentity);
+        const grammar = artifactType.identity?.grammar;
+        if (grammar !== undefined &&
+            grammar.minSuffixSegments > grammar.maxSuffixSegments) {
+            throw new AuthoringProfileSemanticError("invalid-qualified-grammar-range");
+        }
+        const placement = artifactType.placement;
+        if (!hasCompatibleIdentityPlacement(artifactType)) {
+            throw new AuthoringProfileSemanticError("incompatible-identity-placement");
+        }
+        assertCompatibleReachabilityPlacement(artifactType);
+        const roots = placement.kind === "qualified-leaf-index"
+            ? (placement.root === undefined ? [] : [placement.root])
+            : [...(placement.allowedRoots ?? [])];
+        const identities = roots.map(portableAsciiIdentity);
+        for (const [index, root] of roots.entries()) {
+            if (!isDocumentRepositoryPath(root)) {
+                throw new AuthoringProfileSemanticError("portable-root-collision");
+            }
+            for (let other = 0; other < index; other += 1) {
+                const previous = identities[other];
+                const current = identities[index];
+                if (previous === undefined || current === undefined) {
+                    continue;
+                }
+                if (previous === current) {
+                    throw new AuthoringProfileSemanticError("portable-root-collision");
+                }
+                if (isSegmentBoundaryPrefix(previous, current) ||
+                    isSegmentBoundaryPrefix(current, previous)) {
+                    throw new AuthoringProfileSemanticError("overlapping-placement-roots");
+                }
+            }
+        }
+    }
+}
+export function matchingPlacementRoot(repositoryPath, allowedRoots) {
+    const matches = allowedRoots.filter((root) => isSegmentBoundaryPrefix(root, repositoryPath));
+    return matches.length === 1 ? matches[0] : undefined;
+}
+export function hasContiguousRequiredSegments(repositoryPath, requiredSegments, matchedRoot) {
+    if (requiredSegments.length === 0) {
+        return true;
+    }
+    const rootIdentity = matchedRoot;
+    if (rootIdentity !== undefined &&
+        !isSegmentBoundaryPrefix(rootIdentity, repositoryPath)) {
+        return false;
+    }
+    const suffix = rootIdentity === undefined
+        ? repositoryPath
+        : repositoryPath.slice(rootIdentity.length).replace(/^\//u, "");
+    const segments = suffix.split("/");
+    return segments.some((_segment, start) => requiredSegments.every((segment, offset) => segments[start + offset] === segment));
+}
+export function isRepositoryPathAllowedByPlacement(repositoryPath, placement) {
+    if (!isDocumentRepositoryPath(repositoryPath)) {
+        return false;
+    }
+    const segments = repositoryPath.split("/");
+    const basename = segments.at(-1);
+    if (basename !== placement.requiredBasename) {
+        return false;
+    }
+    if (placement.kind === "qualified-leaf-index") {
+        if (placement.root === undefined) {
+            return false;
+        }
+        const rootSegments = placement.root.split("/");
+        return isSegmentBoundaryPrefix(placement.root, repositoryPath) &&
+            segments.length > rootSegments.length + 1;
+    }
+    if (placement.kind !== "explicit") {
+        return false;
+    }
+    const root = matchingPlacementRoot(repositoryPath, placement.allowedRoots ?? []);
+    const required = placement.requiredSegmentsInOrder ?? [];
+    if (root === undefined ||
+        required.length === 0 ||
+        placement.minimumSegmentsBeforeRequired === undefined ||
+        placement.minimumSegmentsAfterRequired === undefined) {
+        return false;
+    }
+    const suffix = repositoryPath.slice(root.length + 1).split("/");
+    const directories = suffix.slice(0, -1);
+    return directories.some((_segment, start) => start >= placement.minimumSegmentsBeforeRequired &&
+        directories.length - start - required.length >=
+            placement.minimumSegmentsAfterRequired &&
+        required.every((segment, offset) => directories[start + offset] === segment));
+}
+//# sourceMappingURL=authoring-profile-semantics.js.map

package/dist/application/policies/authoring-profile-semantics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authoring-profile-semantics.js","sourceRoot":"","sources":["../../../src/application/policies/authoring-profile-semantics.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AA4CzE,MAAM,OAAO,6BAA8B,SAAQ,KAAK;IAC7C,OAAO,CAAkC;IAElD,YAAY,OAAwC;QAClD,KAAK,CAAC,qDAAqD,OAAO,GAAG,CAAC,CAAC;QACvE,IAAI,CAAC,IAAI,GAAG,+BAA+B,CAAC;QAC5C,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;CACF;AAED,SAAS,qBAAqB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAc,EAAE,SAAiB;IAChE,OAAO,SAAS,KAAK,MAAM,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,8BAA8B,CAAC,YAAmC;IACzE,MAAM,SAAS,GAAG,YAAY,CAAC,SAAS,CAAC;IACzC,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC9C,OAAO,YAAY,CAAC,QAAQ,EAAE,MAAM,KAAK,WAAW,CAAC;IACvD,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,IAAI,SAAS,CAAC,QAAQ,KAAK,iBAAiB,EAAE,CAAC;QAChF,OAAO,YAAY,CAAC,QAAQ,EAAE,MAAM,KAAK,iBAAiB,CAAC;IAC7D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,qCAAqC,CAC5C,YAAmC;IAEnC,IACE,YAAY,CAAC,YAAY,EAAE,IAAI,KAAK,wBAAwB;QAC5D,YAAY,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,EAC1C,CAAC;QACD,MAAM,IAAI,6BAA6B,CACrC,qCAAqC,CACtC,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,OAAkC;IAChF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,YAAY,IAAI,OAAO,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;QAC3D,MAAM,YAAY,GAAG,qBAAqB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC9D,IAAI,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,6BAA6B,CAAC,yBAAyB,CAAC,CAAC;QACrE,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAExB,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC;QAC/C,IACE,OAAO,KAAK,SAAS;YACrB,OAAO,CAAC,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,EACrD,CAAC;YACD,MAAM,IAAI,6BAA6B,CAAC,iCAAiC,CAAC,CAAC;QAC7E,CAAC;QAED,MAAM,SAAS,GAAG,YAAY,CAAC,SAAS,CAAC;QACzC,IAAI,CAAC,8BAA8B,CAAC,YAAY,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,6BAA6B,CAAC,iCAAiC,CAAC,CAAC;QAC7E,CAAC;QACD,qCAAqC,CAAC,YAAY,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,KAAK,sBAAsB;YACrD,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACxD,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;QACpD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,6BAA6B,CAAC,yBAAyB,CAAC,CAAC;YACrE,CAAC;YACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBAC9C,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;gBACnC,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;gBAClC,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBACpD,SAAS;gBACX,CAAC;gBACD,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;oBACzB,MAAM,IAAI,6BAA6B,CAAC,yBAAyB,CAAC,CAAC;gBACrE,CAAC;gBACD,IACE,uBAAuB,CAAC,QAAQ,EAAE,OAAO,CAAC;oBAC1C,uBAAuB,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC1C,CAAC;oBACD,MAAM,IAAI,6BAA6B,CAAC,6BAA6B,CAAC,CAAC;gBACzE,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,cAAsB,EACtB,YAA+B;IAE/B,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3C,uBAAuB,CAAC,IAAI,EAAE,cAAc,CAAC,CAC9C,CAAC;IACF,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,cAAsB,EACtB,gBAAmC,EACnC,WAAoB;IAEpB,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,YAAY,GAAG,WAAW,CAAC;IACjC,IACE,YAAY,KAAK,SAAS;QAC1B,CAAC,uBAAuB,CAAC,YAAY,EAAE,cAAc,CAAC,EACtD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,KAAK,SAAS;QACvC,CAAC,CAAC,cAAc;QAChB,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CACvC,gBAAgB,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,OAAO,CAAC,CAClF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kCAAkC,CAChD,cAAsB,EACtB,SAA6B;IAE7B,IAAI,CAAC,wBAAwB,CAAC,cAAc,CAAC,EAAE,CAAC;QAC9C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,QAAQ,KAAK,SAAS,CAAC,gBAAgB,EAAE,CAAC;QAC5C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC9C,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/C,OAAO,uBAAuB,CAAC,SAAS,CAAC,IAAI,EAAE,cAAc,CAAC;YAC5D,QAAQ,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,qBAAqB,CAAC,cAAc,EAAE,SAAS,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IACjF,MAAM,QAAQ,GAAG,SAAS,CAAC,uBAAuB,IAAI,EAAE,CAAC;IACzD,IACE,IAAI,KAAK,SAAS;QAClB,QAAQ,CAAC,MAAM,KAAK,CAAC;QACrB,SAAS,CAAC,6BAA6B,KAAK,SAAS;QACrD,SAAS,CAAC,4BAA4B,KAAK,SAAS,EACpD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAChE,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxC,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAC1C,KAAK,IAAI,SAAS,CAAC,6BAA8B;QACjD,WAAW,CAAC,MAAM,GAAG,KAAK,GAAG,QAAQ,CAAC,MAAM;YAC1C,SAAS,CAAC,4BAA6B;QACzC,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,OAAO,CAAC,CAC7E,CAAC;AACJ,CAAC"}

package/dist/application/policies/classify-document-recovery.d.ts

@@ -0,0 +1,81 @@
+/**
+ * A closed, side-effect-free recovery decision for the document writer.
+ *
+ * `exact` describes byte equality. Identity relationships are separate so that
+ * byte equality can never accidentally grant ownership or recovery authority.
+ */
+export type DocumentRecoveryTemporaryObservation = {
+    readonly state: "absent";
+} | {
+    readonly state: "exact";
+    readonly identity: "nonzero";
+} | {
+    readonly state: "replaced";
+    readonly identity: "nonzero";
+} | {
+    readonly state: "zero-identity";
+} | {
+    readonly state: "unverifiable";
+};
+export type DocumentRecoveryDestinationObservation = {
+    readonly state: "absent";
+} | {
+    readonly state: "conflict";
+} | {
+    readonly state: "exact";
+    readonly identity: "unbound" | "bound-temporary" | "bound-publication" | "different" | "zero-identity";
+} | {
+    readonly state: "unverifiable";
+};
+type DocumentRecoveryJournalObservation = {
+    readonly version: "none";
+    readonly fileIdentity: "none";
+} | {
+    /** Released v1 evidence is read-only and never grants recovery authority. */
+    readonly version: "v1-legacy";
+    readonly fileIdentity: "nonzero" | "zero-identity" | "unverifiable";
+} | {
+    readonly version: "v2";
+    readonly fileIdentity: "nonzero" | "zero-identity" | "unverifiable";
+    readonly lifecycle: "PREPARED";
+    readonly preparedState: "pending" | "preexisting";
+    readonly boundIdentity: "none";
+} | {
+    readonly version: "v2";
+    readonly fileIdentity: "nonzero" | "zero-identity" | "unverifiable";
+    readonly lifecycle: "PUBLISHING";
+    readonly boundIdentity: "temporary" | "zero-identity" | "unverifiable";
+} | {
+    readonly version: "v2";
+    readonly fileIdentity: "nonzero" | "zero-identity" | "unverifiable";
+    readonly lifecycle: "PUBLISHED";
+    readonly boundIdentity: "publication" | "zero-identity" | "unverifiable";
+};
+export interface DocumentRecoveryObservation {
+    readonly journal: DocumentRecoveryJournalObservation;
+    readonly temporary: DocumentRecoveryTemporaryObservation;
+    readonly destination: DocumentRecoveryDestinationObservation;
+}
+type DocumentRecoveryManualReason = "destination-conflict" | "identity-drift" | "inconsistent-lifecycle" | "legacy-journal" | "orphan-temporary" | "publication-missing" | "temporary-missing" | "unverifiable-identity" | "zero-identity";
+export type DocumentRecoveryDecision = {
+    readonly action: "resume-prepare";
+} | {
+    readonly action: "resume-publish";
+} | {
+    readonly action: "complete-publication";
+} | {
+    readonly action: "finalize-checks";
+} | {
+    readonly action: "already-applied";
+    readonly cleanup: "none" | "owned-temporary";
+} | {
+    readonly action: "manual";
+    readonly reason: DocumentRecoveryManualReason;
+};
+/**
+ * Classifies a fully observed recovery snapshot. This function never mutates
+ * evidence and deliberately has no catch-all optimistic branch.
+ */
+export declare function classifyDocumentRecovery(observation: DocumentRecoveryObservation): DocumentRecoveryDecision;
+export {};
+//# sourceMappingURL=classify-document-recovery.d.ts.map

package/dist/application/policies/classify-document-recovery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"classify-document-recovery.d.ts","sourceRoot":"","sources":["../../../src/application/policies/classify-document-recovery.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,MAAM,oCAAoC,GAC5C;IAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;CAAE,GAC5D;IAAE,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAA;CAAE,GACnC;IAAE,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;CAAE,CAAC;AAEvC,MAAM,MAAM,sCAAsC,GAC9C;IAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAC9B;IACE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,QAAQ,EACb,SAAS,GACT,iBAAiB,GACjB,mBAAmB,GACnB,WAAW,GACX,eAAe,CAAC;CACrB,GACD;IAAE,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;CAAE,CAAC;AAEvC,KAAK,kCAAkC,GACnC;IACE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B,GACD;IACE,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,SAAS,GAAG,eAAe,GAAG,cAAc,CAAC;CACrE,GACD;IACE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,SAAS,GAAG,eAAe,GAAG,cAAc,CAAC;IACpE,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,SAAS,GAAG,aAAa,CAAC;IAClD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,GACD;IACE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,SAAS,GAAG,eAAe,GAAG,cAAc,CAAC;IACpE,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,WAAW,GAAG,eAAe,GAAG,cAAc,CAAC;CACxE,GACD;IACE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,SAAS,GAAG,eAAe,GAAG,cAAc,CAAC;IACpE,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,aAAa,GAAG,eAAe,GAAG,cAAc,CAAC;CAC1E,CAAC;AAEN,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,OAAO,EAAE,kCAAkC,CAAC;IACrD,QAAQ,CAAC,SAAS,EAAE,oCAAoC,CAAC;IACzD,QAAQ,CAAC,WAAW,EAAE,sCAAsC,CAAC;CAC9D;AAED,KAAK,4BAA4B,GAC7B,sBAAsB,GACtB,gBAAgB,GAChB,wBAAwB,GACxB,gBAAgB,GAChB,kBAAkB,GAClB,qBAAqB,GACrB,mBAAmB,GACnB,uBAAuB,GACvB,eAAe,CAAC;AAEpB,MAAM,MAAM,wBAAwB,GAChC;IAAE,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAA;CAAE,GACrC;IAAE,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAA;CAAE,GACrC;IAAE,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAA;CAAE,GAC3C;IAAE,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAA;CAAE,GACtC;IACE,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,iBAAiB,CAAC;CAC9C,GACD;IACE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,4BAA4B,CAAC;CAC/C,CAAC;AAqIN;;;GAGG;AACH,wBAAgB,wBAAwB,CACtC,WAAW,EAAE,2BAA2B,GACvC,wBAAwB,CAsB1B"}

package/dist/application/policies/classify-document-recovery.js

@@ -0,0 +1,138 @@
+function manual(reason) {
+    return { action: "manual", reason };
+}
+function containsZeroIdentity(observation) {
+    if (observation.journal.fileIdentity === "zero-identity") {
+        return true;
+    }
+    if (observation.temporary.state === "zero-identity") {
+        return true;
+    }
+    if (observation.destination.state === "exact" &&
+        observation.destination.identity === "zero-identity") {
+        return true;
+    }
+    return observation.journal.version === "v2" &&
+        observation.journal.boundIdentity === "zero-identity";
+}
+function containsUnverifiableIdentity(observation) {
+    if (observation.journal.fileIdentity === "unverifiable") {
+        return true;
+    }
+    if (observation.temporary.state === "unverifiable") {
+        return true;
+    }
+    if (observation.destination.state === "unverifiable") {
+        return true;
+    }
+    return observation.journal.version === "v2" &&
+        observation.journal.boundIdentity === "unverifiable";
+}
+function classifyWithoutJournal(observation) {
+    if (observation.temporary.state !== "absent") {
+        return manual("orphan-temporary");
+    }
+    switch (observation.destination.state) {
+        case "absent":
+            return { action: "resume-prepare" };
+        case "conflict":
+            return manual("destination-conflict");
+        case "unverifiable":
+            return manual("unverifiable-identity");
+        case "exact":
+            return observation.destination.identity === "unbound"
+                ? { action: "already-applied", cleanup: "none" }
+                : manual("inconsistent-lifecycle");
+    }
+}
+function classifyPrepared(observation) {
+    if (observation.temporary.state !== "absent") {
+        return manual("orphan-temporary");
+    }
+    switch (observation.destination.state) {
+        case "absent":
+            return observation.journal.version === "v2" &&
+                observation.journal.lifecycle === "PREPARED" &&
+                observation.journal.preparedState === "pending"
+                ? { action: "resume-prepare" }
+                : manual("inconsistent-lifecycle");
+        case "conflict":
+            return manual("destination-conflict");
+        case "unverifiable":
+            return manual("unverifiable-identity");
+        case "exact":
+            return observation.journal.version === "v2" &&
+                observation.journal.lifecycle === "PREPARED" &&
+                observation.journal.preparedState === "preexisting"
+                ? { action: "already-applied", cleanup: "none" }
+                : manual("inconsistent-lifecycle");
+    }
+}
+function classifyPublishing(observation) {
+    switch (observation.destination.state) {
+        case "conflict":
+            return manual("destination-conflict");
+        case "unverifiable":
+            return manual("unverifiable-identity");
+        case "absent":
+            if (observation.temporary.state === "absent") {
+                return manual("temporary-missing");
+            }
+            return observation.temporary.state === "exact"
+                ? { action: "resume-publish" }
+                : manual("identity-drift");
+        case "exact":
+            if (observation.destination.identity === "bound-temporary") {
+                return observation.temporary.state === "absent" ||
+                    observation.temporary.state === "exact"
+                    ? { action: "complete-publication" }
+                    : manual("identity-drift");
+            }
+            return manual("identity-drift");
+    }
+}
+function classifyPublished(observation) {
+    if (observation.temporary.state !== "absent") {
+        return manual("orphan-temporary");
+    }
+    switch (observation.destination.state) {
+        case "absent":
+            return manual("publication-missing");
+        case "conflict":
+            return manual("destination-conflict");
+        case "unverifiable":
+            return manual("unverifiable-identity");
+        case "exact":
+            return observation.destination.identity === "bound-publication"
+                ? { action: "finalize-checks" }
+                : manual("identity-drift");
+    }
+}
+/**
+ * Classifies a fully observed recovery snapshot. This function never mutates
+ * evidence and deliberately has no catch-all optimistic branch.
+ */
+export function classifyDocumentRecovery(observation) {
+    if (containsZeroIdentity(observation)) {
+        return manual("zero-identity");
+    }
+    if (containsUnverifiableIdentity(observation)) {
+        return manual("unverifiable-identity");
+    }
+    switch (observation.journal.version) {
+        case "none":
+            return classifyWithoutJournal(observation);
+        case "v1-legacy":
+            return manual("legacy-journal");
+        case "v2":
+            switch (observation.journal.lifecycle) {
+                case "PREPARED":
+                    return classifyPrepared(observation);
+                case "PUBLISHING":
+                    return classifyPublishing(observation);
+                case "PUBLISHED":
+                    return classifyPublished(observation);
+            }
+    }
+}
+//# sourceMappingURL=classify-document-recovery.js.map

package/dist/application/policies/classify-document-recovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classify-document-recovery.js","sourceRoot":"","sources":["../../../src/application/policies/classify-document-recovery.ts"],"names":[],"mappings":"AAwFA,SAAS,MAAM,CAAC,MAAoC;IAClD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,oBAAoB,CAC3B,WAAwC;IAExC,IAAI,WAAW,CAAC,OAAO,CAAC,YAAY,KAAK,eAAe,EAAE,CAAC;QACzD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,WAAW,CAAC,SAAS,CAAC,KAAK,KAAK,eAAe,EAAE,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,WAAW,CAAC,WAAW,CAAC,KAAK,KAAK,OAAO;QACzC,WAAW,CAAC,WAAW,CAAC,QAAQ,KAAK,eAAe,EACpD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,WAAW,CAAC,OAAO,CAAC,OAAO,KAAK,IAAI;QACzC,WAAW,CAAC,OAAO,CAAC,aAAa,KAAK,eAAe,CAAC;AAC1D,CAAC;AAED,SAAS,4BAA4B,CACnC,WAAwC;IAExC,IAAI,WAAW,CAAC,OAAO,CAAC,YAAY,KAAK,cAAc,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,WAAW,CAAC,SAAS,CAAC,KAAK,KAAK,cAAc,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,WAAW,CAAC,WAAW,CAAC,KAAK,KAAK,cAAc,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,WAAW,CAAC,OAAO,CAAC,OAAO,KAAK,IAAI;QACzC,WAAW,CAAC,OAAO,CAAC,aAAa,KAAK,cAAc,CAAC;AACzD,CAAC;AAED,SAAS,sBAAsB,CAC7B,WAAwC;IAExC,IAAI,WAAW,CAAC,SAAS,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC7C,OAAO,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACpC,CAAC;IACD,QAAQ,WAAW,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACtC,KAAK,QAAQ;YACX,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;QACtC,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,sBAAsB,CAAC,CAAC;QACxC,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC,uBAAuB,CAAC,CAAC;QACzC,KAAK,OAAO;YACV,OAAO,WAAW,CAAC,WAAW,CAAC,QAAQ,KAAK,SAAS;gBACnD,CAAC,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,EAAE;gBAChD,CAAC,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAwC;IAExC,IAAI,WAAW,CAAC,SAAS,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC7C,OAAO,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACpC,CAAC;IACD,QAAQ,WAAW,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACtC,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,OAAO,CAAC,OAAO,KAAK,IAAI;gBACzC,WAAW,CAAC,OAAO,CAAC,SAAS,KAAK,UAAU;gBAC5C,WAAW,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS;gBAC/C,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE;gBAC9B,CAAC,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC;QACvC,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,sBAAsB,CAAC,CAAC;QACxC,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC,uBAAuB,CAAC,CAAC;QACzC,KAAK,OAAO;YACV,OAAO,WAAW,CAAC,OAAO,CAAC,OAAO,KAAK,IAAI;gBACzC,WAAW,CAAC,OAAO,CAAC,SAAS,KAAK,UAAU;gBAC5C,WAAW,CAAC,OAAO,CAAC,aAAa,KAAK,aAAa;gBACnD,CAAC,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,EAAE;gBAChD,CAAC,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,WAAwC;IAExC,QAAQ,WAAW,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACtC,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,sBAAsB,CAAC,CAAC;QACxC,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC,uBAAuB,CAAC,CAAC;QACzC,KAAK,QAAQ;YACX,IAAI,WAAW,CAAC,SAAS,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC7C,OAAO,MAAM,CAAC,mBAAmB,CAAC,CAAC;YACrC,CAAC;YACD,OAAO,WAAW,CAAC,SAAS,CAAC,KAAK,KAAK,OAAO;gBAC5C,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE;gBAC9B,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;QAC/B,KAAK,OAAO;YACV,IAAI,WAAW,CAAC,WAAW,CAAC,QAAQ,KAAK,iBAAiB,EAAE,CAAC;gBAC3D,OAAO,WAAW,CAAC,SAAS,CAAC,KAAK,KAAK,QAAQ;oBAC7C,WAAW,CAAC,SAAS,CAAC,KAAK,KAAK,OAAO;oBACvC,CAAC,CAAC,EAAE,MAAM,EAAE,sBAAsB,EAAE;oBACpC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;YAC/B,CAAC;YACD,OAAO,MAAM,CAAC,gBAAgB,CAAC,CAAC;IACpC,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,WAAwC;IAExC,IAAI,WAAW,CAAC,SAAS,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC7C,OAAO,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACpC,CAAC;IACD,QAAQ,WAAW,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACtC,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,qBAAqB,CAAC,CAAC;QACvC,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,sBAAsB,CAAC,CAAC;QACxC,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC,uBAAuB,CAAC,CAAC;QACzC,KAAK,OAAO;YACV,OAAO,WAAW,CAAC,WAAW,CAAC,QAAQ,KAAK,mBAAmB;gBAC7D,CAAC,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE;gBAC/B,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;IACjC,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACtC,WAAwC;IAExC,IAAI,oBAAoB,CAAC,WAAW,CAAC,EAAE,CAAC;QACtC,OAAO,MAAM,CAAC,eAAe,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,4BAA4B,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9C,OAAO,MAAM,CAAC,uBAAuB,CAAC,CAAC;IACzC,CAAC;IACD,QAAQ,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QACpC,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,WAAW,CAAC,CAAC;QAC7C,KAAK,WAAW;YACd,OAAO,MAAM,CAAC,gBAAgB,CAAC,CAAC;QAClC,KAAK,IAAI;YACP,QAAQ,WAAW,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;gBACtC,KAAK,UAAU;oBACb,OAAO,gBAAgB,CAAC,WAAW,CAAC,CAAC;gBACvC,KAAK,YAAY;oBACf,OAAO,kBAAkB,CAAC,WAAW,CAAC,CAAC;gBACzC,KAAK,WAAW;oBACd,OAAO,iBAAiB,CAAC,WAAW,CAAC,CAAC;YAC1C,CAAC;IACL,CAAC;AACH,CAAC"}

package/dist/application/policies/document-authoring-semantic-digests.d.ts

@@ -0,0 +1,31 @@
+import type { DocumentAuthoringProfileDescriptionV2, DocumentAuthoringProfileDescriptionV3 } from "../model/document-authoring-profile-description.js";
+import type { DocumentAuthorityDigest, DocumentDescriptorV2, DocumentationCatalogAuthorityV2, DocumentationCatalogDiagnostic, DocumentationCatalogSnapshotV2, DocumentIdentityProjectionEntry } from "../model/document-catalog.js";
+import type { DocumentIntent, DocumentPlanningProfileSnapshot } from "../model/document-planning.js";
+export declare function documentAuthoringProfileSemanticDigest(description: Omit<DocumentAuthoringProfileDescriptionV2, "semanticDigest">): DocumentAuthorityDigest;
+export declare function documentAuthoringProfileSemanticDigestV3(description: Omit<DocumentAuthoringProfileDescriptionV3, "semanticDigest">): DocumentAuthorityDigest;
+export interface DocumentationCatalogSemanticDigestInput {
+    readonly authority: DocumentationCatalogAuthorityV2;
+    readonly diagnostics: readonly DocumentationCatalogDiagnostic[];
+    readonly documents: readonly DocumentDescriptorV2[];
+    readonly identityProjection: readonly DocumentIdentityProjectionEntry[];
+    readonly ownerIds: readonly string[];
+    readonly projectId: string;
+    readonly status: "complete" | "partial";
+}
+export declare function documentationCatalogSemanticDigest(catalog: DocumentationCatalogSemanticDigestInput): DocumentAuthorityDigest;
+export interface DocumentationCatalogSemanticTransitionV2 {
+    readonly catalogPreimageSemanticDigest: DocumentAuthorityDigest;
+    readonly expectedCatalogPostimageSemanticDigest: DocumentAuthorityDigest;
+}
+/**
+ * Projects the catalog transition caused by publishing one exact v2 Plan.
+ * An already-applied exact document is removed only from the logical preimage,
+ * which keeps the original Plan reproducible after its publication boundary.
+ */
+export declare function projectDocumentationCatalogSemanticTransitionV2(input: {
+    readonly catalog: DocumentationCatalogSnapshotV2;
+    readonly destination: string;
+    readonly intent: DocumentIntent;
+    readonly profile: DocumentPlanningProfileSnapshot;
+}): DocumentationCatalogSemanticTransitionV2;
+//# sourceMappingURL=document-authoring-semantic-digests.d.ts.map

package/dist/application/policies/document-authoring-semantic-digests.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"document-authoring-semantic-digests.d.ts","sourceRoot":"","sources":["../../../src/application/policies/document-authoring-semantic-digests.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACV,qCAAqC,EACrC,qCAAqC,EACtC,MAAM,oDAAoD,CAAC;AAC5D,OAAO,KAAK,EACV,uBAAuB,EACvB,oBAAoB,EACpB,+BAA+B,EAC/B,8BAA8B,EAC9B,8BAA8B,EAC9B,+BAA+B,EAChC,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EACV,cAAc,EACd,+BAA+B,EAChC,MAAM,+BAA+B,CAAC;AAsDvC,wBAAgB,sCAAsC,CACpD,WAAW,EAAE,IAAI,CAAC,qCAAqC,EAAE,gBAAgB,CAAC,GACzE,uBAAuB,CAEzB;AAED,wBAAgB,wCAAwC,CACtD,WAAW,EAAE,IAAI,CAAC,qCAAqC,EAAE,gBAAgB,CAAC,GACzE,uBAAuB,CAEzB;AAED,MAAM,WAAW,uCAAuC;IACtD,QAAQ,CAAC,SAAS,EAAE,+BAA+B,CAAC;IACpD,QAAQ,CAAC,WAAW,EAAE,SAAS,8BAA8B,EAAE,CAAC;IAChE,QAAQ,CAAC,SAAS,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACpD,QAAQ,CAAC,kBAAkB,EAAE,SAAS,+BAA+B,EAAE,CAAC;IACxE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,SAAS,CAAC;CACzC;AAED,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,uCAAuC,GAC/C,uBAAuB,CA4BzB;AAED,MAAM,WAAW,wCAAwC;IACvD,QAAQ,CAAC,6BAA6B,EAAE,uBAAuB,CAAC;IAChE,QAAQ,CAAC,sCAAsC,EAAE,uBAAuB,CAAC;CAC1E;AAmFD;;;;GAIG;AACH,wBAAgB,+CAA+C,CAAC,KAAK,EAAE;IACrE,QAAQ,CAAC,OAAO,EAAE,8BAA8B,CAAC;IACjD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,+BAA+B,CAAC;CACnD,GAAG,wCAAwC,CA6E3C"}

package/dist/application/policies/document-authoring-semantic-digests.js

@@ -0,0 +1,163 @@
+import { compareBinaryStrings } from "../../binary-string-comparator.js";
+import { canonicalJson, sha256Json } from "../../canonical-json.js";
+import { projectCatalogMetadata } from "./project-catalog-metadata.js";
+import { selectDocumentArtifact } from "./resolve-document-authoring.js";
+const DOMAIN_PREFIX = "agent-teams.foundation.document-authoring";
+function domainDigest(domain, payload) {
+    return sha256Json({ domain, payload });
+}
+function canonicalSortKey(value) {
+    return canonicalJson(value);
+}
+function profileSemanticDigest(description, version) {
+    const authority = {
+        ...description.authority,
+        templates: [...description.authority.templates].toSorted((left, right) => compareBinaryStrings(left.type, right.type) ||
+            compareBinaryStrings(left.evidence.path, right.evidence.path))
+    };
+    const catalog = {
+        collections: [...description.catalog.collections].toSorted((left, right) => compareBinaryStrings(canonicalSortKey(left), canonicalSortKey(right))),
+        excludedPrefixes: [...description.catalog.excludedPrefixes].toSorted(compareBinaryStrings)
+    };
+    const payload = {
+        ...description,
+        authority,
+        catalog,
+        ownerIds: [...description.ownerIds].toSorted(compareBinaryStrings),
+        types: [...description.types].toSorted((left, right) => compareBinaryStrings(left.type, right.type))
+    };
+    return domainDigest(`${DOMAIN_PREFIX}/profile-semantic-projection/v${version}`, payload);
+}
+export function documentAuthoringProfileSemanticDigest(description) {
+    return profileSemanticDigest(description, 2);
+}
+export function documentAuthoringProfileSemanticDigestV3(description) {
+    return profileSemanticDigest(description, 3);
+}
+export function documentationCatalogSemanticDigest(catalog) {
+    const payload = {
+        authority: catalog.authority,
+        diagnostics: [...catalog.diagnostics].toSorted((left, right) => compareBinaryStrings(left.ruleId, right.ruleId) ||
+            compareBinaryStrings(left.subject, right.subject) ||
+            compareBinaryStrings(left.message, right.message)),
+        documents: [...catalog.documents].toSorted((left, right) => compareBinaryStrings(left.repositoryPath, right.repositoryPath) ||
+            compareBinaryStrings(left.id, right.id)),
+        identityProjection: [...catalog.identityProjection].toSorted((left, right) => compareBinaryStrings(left.id, right.id) ||
+            compareBinaryStrings(left.repositoryPath, right.repositoryPath)),
+        ownerIds: [...catalog.ownerIds].toSorted(compareBinaryStrings),
+        projectId: catalog.projectId,
+        schemaVersion: 2,
+        status: catalog.status
+    };
+    return domainDigest(`${DOMAIN_PREFIX}/catalog-semantic-projection/v2`, payload);
+}
+function matchesPrefix(path, prefix) {
+    return path === prefix || path.startsWith(`${prefix}/`);
+}
+function catalogDocumentSource(profile, repositoryPath) {
+    return profile.collections.some((collection) => collection.kind === "frontmatter-readme" &&
+        repositoryPath.endsWith("/README.md") &&
+        collection.roots.some((root) => matchesPrefix(repositoryPath, root)))
+        ? "frontmatter-readme"
+        : "markdown-tree";
+}
+function plannedDocumentDescriptor(input) {
+    const artifact = selectDocumentArtifact(input.profile, input.intent.type);
+    const title = artifact.heading.kind === "title"
+        ? input.intent.title
+        : `${input.intent.id}: ${input.intent.title}`;
+    const metadata = projectCatalogMetadata({
+        id: input.intent.id,
+        owner: input.intent.owner,
+        status: artifact.initialStatus,
+        summary: input.intent.summary,
+        type: input.intent.type,
+        ...(input.intent.related === undefined
+            ? {}
+            : { related: input.intent.related }),
+        ...input.intent.additionalMetadata
+    });
+    return Object.freeze({
+        id: input.intent.id,
+        metadata,
+        owner: input.intent.owner,
+        repositoryPath: input.destination,
+        source: catalogDocumentSource(input.profile, input.destination),
+        status: artifact.initialStatus,
+        summary: input.intent.summary,
+        title,
+        type: input.intent.type
+    });
+}
+function sameGovernedDescriptor(left, right) {
+    return left.id === right.id &&
+        left.owner === right.owner &&
+        left.repositoryPath === right.repositoryPath &&
+        left.source === right.source &&
+        left.status === right.status &&
+        left.summary === right.summary &&
+        left.title === right.title &&
+        left.type === right.type;
+}
+function digestCatalogProjection(catalog, documents, identityProjection) {
+    return documentationCatalogSemanticDigest({
+        authority: catalog.authority,
+        diagnostics: catalog.diagnostics,
+        documents,
+        identityProjection,
+        ownerIds: catalog.ownerIds,
+        projectId: catalog.projectId,
+        status: catalog.status
+    });
+}
+/**
+ * Projects the catalog transition caused by publishing one exact v2 Plan.
+ * An already-applied exact document is removed only from the logical preimage,
+ * which keeps the original Plan reproducible after its publication boundary.
+ */
+export function projectDocumentationCatalogSemanticTransitionV2(input) {
+    if (input.catalog.status !== "complete") {
+        throw new Error("Catalog semantic transitions require a complete v2 catalog.");
+    }
+    if (documentationCatalogSemanticDigest(input.catalog) !==
+        input.catalog.semanticDigest) {
+        throw new Error("Catalog semantic transition input does not match its digest.");
+    }
+    const planned = plannedDocumentDescriptor(input);
+    const collisions = input.catalog.documents.filter((document) => document.id === planned.id ||
+        document.repositoryPath === planned.repositoryPath);
+    const exact = collisions.find((document) => document.id === planned.id &&
+        document.repositoryPath === planned.repositoryPath);
+    if (collisions.length > (exact === undefined ? 0 : 1) ||
+        (exact !== undefined && !sameGovernedDescriptor(exact, planned))) {
+        throw new Error("Planned document conflicts with the complete catalog semantic projection.");
+    }
+    const matchingIdentities = input.catalog.identityProjection.filter((identity) => identity.id === planned.id ||
+        identity.repositoryPath === planned.repositoryPath);
+    if (matchingIdentities.length !== (exact === undefined ? 0 : 1) ||
+        matchingIdentities.some((identity) => identity.id !== planned.id ||
+            identity.repositoryPath !== planned.repositoryPath)) {
+        throw new Error("Planned document identity conflicts with the complete catalog projection.");
+    }
+    const preimageDocuments = exact === undefined
+        ? input.catalog.documents
+        : input.catalog.documents.filter((document) => document !== exact);
+    const preimageIdentities = exact === undefined
+        ? input.catalog.identityProjection
+        : input.catalog.identityProjection.filter((identity) => identity.id !== planned.id ||
+            identity.repositoryPath !== planned.repositoryPath);
+    const postimageDocuments = exact === undefined
+        ? [...input.catalog.documents, planned]
+        : input.catalog.documents;
+    const postimageIdentities = exact === undefined
+        ? [
+            ...input.catalog.identityProjection,
+            Object.freeze({ id: planned.id, repositoryPath: planned.repositoryPath })
+        ]
+        : input.catalog.identityProjection;
+    return Object.freeze({
+        catalogPreimageSemanticDigest: digestCatalogProjection(input.catalog, preimageDocuments, preimageIdentities),
+        expectedCatalogPostimageSemanticDigest: digestCatalogProjection(input.catalog, postimageDocuments, postimageIdentities)
+    });
+}
+//# sourceMappingURL=document-authoring-semantic-digests.js.map