@xemahq/contracts 0.86.0 → 0.88.0

package/dist/hook/lib/hook-binding-feed.js

@@ -0,0 +1,107 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.HookBindingFeedPageSchema = exports.HookBindingChangeSchema = exports.HookBindingFeedSnapshotSchema = exports.HookBindingCursorSchema = void 0;
+exports.checkHookBindingFeedPage = checkHookBindingFeedPage;
+const zod_1 = require("zod");
+const hook_binding_1 = require("./hook-binding");
+const hook_enums_1 = require("./hook-enums");
+const hook_identifiers_1 = require("./hook-identifiers");
+exports.HookBindingCursorSchema = zod_1.z.number().int().min(0);
+exports.HookBindingFeedSnapshotSchema = zod_1.z
+    .object({
+    revision: hook_identifiers_1.HookRevisionSchema,
+    bindings: zod_1.z.array(hook_binding_1.HookBindingSchema).readonly(),
+    suppressions: zod_1.z.array(hook_binding_1.HookBindingSuppressionSchema).readonly(),
+})
+    .strict();
+exports.HookBindingChangeSchema = zod_1.z.discriminatedUnion('kind', [
+    zod_1.z
+        .object({
+        kind: zod_1.z.literal(hook_enums_1.HookBindingChangeKind.BindingUpserted),
+        revision: hook_identifiers_1.HookRevisionSchema,
+        binding: hook_binding_1.HookBindingSchema,
+    })
+        .strict(),
+    zod_1.z
+        .object({
+        kind: zod_1.z.literal(hook_enums_1.HookBindingChangeKind.BindingRemoved),
+        revision: hook_identifiers_1.HookRevisionSchema,
+        bindingId: hook_identifiers_1.HookRecordIdSchema,
+    })
+        .strict(),
+    zod_1.z
+        .object({
+        kind: zod_1.z.literal(hook_enums_1.HookBindingChangeKind.SuppressionAdded),
+        revision: hook_identifiers_1.HookRevisionSchema,
+        suppression: hook_binding_1.HookBindingSuppressionSchema,
+    })
+        .strict(),
+    zod_1.z
+        .object({
+        kind: zod_1.z.literal(hook_enums_1.HookBindingChangeKind.SuppressionRemoved),
+        revision: hook_identifiers_1.HookRevisionSchema,
+        suppression: hook_binding_1.HookBindingSuppressionSchema,
+    })
+        .strict(),
+]);
+exports.HookBindingFeedPageSchema = zod_1.z
+    .discriminatedUnion('kind', [
+    zod_1.z
+        .object({
+        kind: zod_1.z.literal(hook_enums_1.HookBindingFeedPageKind.Changes),
+        throughRevision: exports.HookBindingCursorSchema,
+        headRevision: exports.HookBindingCursorSchema,
+        changes: zod_1.z.array(exports.HookBindingChangeSchema).readonly(),
+    })
+        .strict(),
+    zod_1.z
+        .object({
+        kind: zod_1.z.literal(hook_enums_1.HookBindingFeedPageKind.ResyncRequired),
+        headRevision: exports.HookBindingCursorSchema,
+    })
+        .strict(),
+])
+    .superRefine((page, ctx) => {
+    if (page.kind !== hook_enums_1.HookBindingFeedPageKind.Changes)
+        return;
+    if (page.throughRevision > page.headRevision) {
+        ctx.addIssue({
+            code: zod_1.z.ZodIssueCode.custom,
+            path: ['throughRevision'],
+            message: 'throughRevision is beyond headRevision',
+        });
+    }
+    let previous = 0;
+    page.changes.forEach((change, index) => {
+        if (change.revision < previous) {
+            ctx.addIssue({
+                code: zod_1.z.ZodIssueCode.custom,
+                path: ['changes', index, 'revision'],
+                message: 'change revisions must be non-decreasing',
+            });
+        }
+        if (change.revision > page.throughRevision) {
+            ctx.addIssue({
+                code: zod_1.z.ZodIssueCode.custom,
+                path: ['changes', index, 'revision'],
+                message: 'change revision is beyond throughRevision',
+            });
+        }
+        previous = change.revision;
+    });
+});
+function checkHookBindingFeedPage(page, requestedRevision) {
+    if (page.kind === hook_enums_1.HookBindingFeedPageKind.ResyncRequired)
+        return [];
+    const violations = [];
+    if (page.throughRevision < requestedRevision) {
+        violations.push(`throughRevision ${page.throughRevision} is before the requested ${requestedRevision}`);
+    }
+    for (const change of page.changes) {
+        if (change.revision <= requestedRevision || change.revision > page.throughRevision) {
+            violations.push(`change revision ${change.revision} is outside (${requestedRevision}, ${page.throughRevision}]`);
+        }
+    }
+    return violations;
+}
+//# sourceMappingURL=hook-binding-feed.js.map

package/dist/hook/lib/hook-binding-feed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook-binding-feed.js","sourceRoot":"","sources":["../../../src/hook/lib/hook-binding-feed.ts"],"names":[],"mappings":";;;AA2KA,4DAiBC;AA5LD,6BAAwB;AAExB,iDAKwB;AACxB,6CAA8E;AAC9E,yDAA4E;AAqB/D,QAAA,uBAAuB,GAAG,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AASlD,QAAA,6BAA6B,GAAuC,OAAC;KAC/E,MAAM,CAAC;IACN,QAAQ,EAAE,qCAAkB;IAC5B,QAAQ,EAAE,OAAC,CAAC,KAAK,CAAC,gCAAiB,CAAC,CAAC,QAAQ,EAAE;IAC/C,YAAY,EAAE,OAAC,CAAC,KAAK,CAAC,2CAA4B,CAAC,CAAC,QAAQ,EAAE;CAC/D,CAAC;KACD,MAAM,EAAmD,CAAC;AAwBhD,QAAA,uBAAuB,GAAiC,OAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAChG,OAAC;SACE,MAAM,CAAC;QACN,IAAI,EAAE,OAAC,CAAC,OAAO,CAAC,kCAAqB,CAAC,eAAe,CAAC;QACtD,QAAQ,EAAE,qCAAkB;QAC5B,OAAO,EAAE,gCAAiB;KAC3B,CAAC;SACD,MAAM,EAAE;IACX,OAAC;SACE,MAAM,CAAC;QACN,IAAI,EAAE,OAAC,CAAC,OAAO,CAAC,kCAAqB,CAAC,cAAc,CAAC;QACrD,QAAQ,EAAE,qCAAkB;QAC5B,SAAS,EAAE,qCAAkB;KAC9B,CAAC;SACD,MAAM,EAAE;IACX,OAAC;SACE,MAAM,CAAC;QACN,IAAI,EAAE,OAAC,CAAC,OAAO,CAAC,kCAAqB,CAAC,gBAAgB,CAAC;QACvD,QAAQ,EAAE,qCAAkB;QAC5B,WAAW,EAAE,2CAA4B;KAC1C,CAAC;SACD,MAAM,EAAE;IACX,OAAC;SACE,MAAM,CAAC;QACN,IAAI,EAAE,OAAC,CAAC,OAAO,CAAC,kCAAqB,CAAC,kBAAkB,CAAC;QACzD,QAAQ,EAAE,qCAAkB;QAC5B,WAAW,EAAE,2CAA4B;KAC1C,CAAC;SACD,MAAM,EAAE;CACZ,CAA4C,CAAC;AAqBjC,QAAA,yBAAyB,GAAmC,OAAC;KACvE,kBAAkB,CAAC,MAAM,EAAE;IAC1B,OAAC;SACE,MAAM,CAAC;QACN,IAAI,EAAE,OAAC,CAAC,OAAO,CAAC,oCAAuB,CAAC,OAAO,CAAC;QAChD,eAAe,EAAE,+BAAuB;QACxC,YAAY,EAAE,+BAAuB;QACrC,OAAO,EAAE,OAAC,CAAC,KAAK,CAAC,+BAAuB,CAAC,CAAC,QAAQ,EAAE;KACrD,CAAC;SACD,MAAM,EAAE;IACX,OAAC;SACE,MAAM,CAAC;QACN,IAAI,EAAE,OAAC,CAAC,OAAO,CAAC,oCAAuB,CAAC,cAAc,CAAC;QACvD,YAAY,EAAE,+BAAuB;KACtC,CAAC;SACD,MAAM,EAAE;CACZ,CAAC;KACD,WAAW,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IACzB,IAAI,IAAI,CAAC,IAAI,KAAK,oCAAuB,CAAC,OAAO;QAAE,OAAO;IAC1D,IAAI,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAC7C,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,OAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,IAAI,EAAE,CAAC,iBAAiB,CAAC;YACzB,OAAO,EAAE,wCAAwC;SAClD,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QACrC,IAAI,MAAM,CAAC,QAAQ,GAAG,QAAQ,EAAE,CAAC;YAC/B,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,OAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,IAAI,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC;gBACpC,OAAO,EAAE,yCAAyC;aACnD,CAAC,CAAC;QACL,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;YAC3C,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,OAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,IAAI,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC;gBACpC,OAAO,EAAE,2CAA2C;aACrD,CAAC,CAAC;QACL,CAAC;QACD,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAA8C,CAAC;AAQlD,SAAgB,wBAAwB,CACtC,IAAyB,EACzB,iBAAyB;IAEzB,IAAI,IAAI,CAAC,IAAI,KAAK,oCAAuB,CAAC,cAAc;QAAE,OAAO,EAAE,CAAC;IACpE,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,IAAI,CAAC,eAAe,GAAG,iBAAiB,EAAE,CAAC;QAC7C,UAAU,CAAC,IAAI,CAAC,mBAAmB,IAAI,CAAC,eAAe,4BAA4B,iBAAiB,EAAE,CAAC,CAAC;IAC1G,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,QAAQ,IAAI,iBAAiB,IAAI,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;YACnF,UAAU,CAAC,IAAI,CACb,mBAAmB,MAAM,CAAC,QAAQ,gBAAgB,iBAAiB,KAAK,IAAI,CAAC,eAAe,GAAG,CAChG,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/hook/lib/hook-binding-set.d.ts

@@ -0,0 +1,58 @@
+import { z } from 'zod';
+import { type HookBinding } from './hook-binding';
+import { HookFailureCode, HookMode, HookParticipation, HookPhase, HookProjectionState } from './hook-enums';
+import type { HookPointLimits } from './hook-point';
+export interface HookBindingSetSnapshot {
+    readonly hookPointId: string;
+    readonly revision: number;
+    readonly bindings: readonly HookBinding[];
+}
+export declare const HookBindingSetSnapshotSchema: z.ZodType<HookBindingSetSnapshot>;
+export type HookBindingProjection = {
+    readonly state: HookProjectionState.Synced;
+    readonly snapshot: HookBindingSetSnapshot;
+} | {
+    readonly state: HookProjectionState.Unhydrated;
+} | {
+    readonly state: HookProjectionState.Stale;
+    readonly syncedRevision: number;
+} | {
+    readonly state: HookProjectionState.RevisionMismatched;
+    readonly syncedRevision: number;
+} | {
+    readonly state: HookProjectionState.Failed;
+};
+export type HookProjectionResolution = {
+    readonly ok: true;
+    readonly snapshot: HookBindingSetSnapshot;
+} | {
+    readonly ok: false;
+    readonly state: Exclude<HookProjectionState, HookProjectionState.Synced>;
+};
+export declare function resolveHookBindingProjection(projection: HookBindingProjection, requiredRevision: number): HookProjectionResolution;
+export interface HookApplication {
+    readonly key: string;
+    readonly mode: HookMode;
+    readonly participation: HookParticipation;
+    readonly bindings: readonly HookBinding[];
+}
+export interface HookFanOutSkip {
+    readonly bindingId: string;
+    readonly code: HookFailureCode.Saturation;
+}
+export interface HookPhaseFanOut {
+    readonly applications: readonly HookApplication[];
+    readonly skipped: readonly HookFanOutSkip[];
+}
+export type HookFanOutPlan = {
+    readonly ok: true;
+    readonly phases: Readonly<Record<HookPhase, HookPhaseFanOut>>;
+} | {
+    readonly ok: false;
+    readonly code: HookFailureCode.Saturation;
+    readonly bindingCount: number;
+    readonly maxFanOut: number;
+};
+export declare function planHookFanOut(snapshot: HookBindingSetSnapshot, limits: HookPointLimits): HookFanOutPlan;
+export declare function isHookRecursion(synchronousChain: readonly string[], hookPointId: string): boolean;
+//# sourceMappingURL=hook-binding-set.d.ts.map

package/dist/hook/lib/hook-binding-set.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook-binding-set.d.ts","sourceRoot":"","sources":["../../../src/hook/lib/hook-binding-set.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAyC,KAAK,WAAW,EAAE,MAAM,gBAAgB,CAAC;AACzF,OAAO,EAEL,eAAe,EACf,QAAQ,EACR,iBAAiB,EACjB,SAAS,EACT,mBAAmB,EACpB,MAAM,cAAc,CAAC;AAEtB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAiBpD,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAE7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAE1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;CAC3C;AAED,eAAO,MAAM,4BAA4B,EAAE,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAMhE,CAAC;AAEZ,MAAM,MAAM,qBAAqB,GAC7B;IACE,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,MAAM,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;CAC3C,GACD;IAAE,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,UAAU,CAAA;CAAE,GAClD;IACE,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,KAAK,CAAC;IAC1C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC,GACD;IACE,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,kBAAkB,CAAC;IACvD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC,GACD;IAAE,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,MAAM,CAAA;CAAE,CAAC;AAEnD,MAAM,MAAM,wBAAwB,GAChC;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAA;CAAE,GAChE;IACE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC;CAC1E,CAAC;AAQN,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,qBAAqB,EACjC,gBAAgB,EAAE,MAAM,GACvB,wBAAwB,CAY1B;AAQD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,iBAAiB,CAAC;IAE1C,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;CAC3C;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,UAAU,CAAC;CAC3C;AAGD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,YAAY,EAAE,SAAS,eAAe,EAAE,CAAC;IAElD,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;CAC7C;AAED,MAAM,MAAM,cAAc,GACtB;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAElB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC;CAC/D,GACD;IACE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,UAAU,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;AAuCN,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,sBAAsB,EAChC,MAAM,EAAE,eAAe,GACtB,cAAc,CAkDhB;AAOD,wBAAgB,eAAe,CAC7B,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,WAAW,EAAE,MAAM,GAClB,OAAO,CAET"}

package/dist/hook/lib/hook-binding-set.js

@@ -0,0 +1,103 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.HookBindingSetSnapshotSchema = void 0;
+exports.resolveHookBindingProjection = resolveHookBindingProjection;
+exports.planHookFanOut = planHookFanOut;
+exports.isHookRecursion = isHookRecursion;
+const zod_1 = require("zod");
+const hook_binding_1 = require("./hook-binding");
+const hook_enums_1 = require("./hook-enums");
+const hook_identifiers_1 = require("./hook-identifiers");
+exports.HookBindingSetSnapshotSchema = zod_1.z
+    .object({
+    hookPointId: hook_identifiers_1.HookPointIdSchema,
+    revision: hook_identifiers_1.HookRevisionSchema,
+    bindings: zod_1.z.array(hook_binding_1.HookBindingSchema).readonly(),
+})
+    .strict();
+function resolveHookBindingProjection(projection, requiredRevision) {
+    if (projection.state !== hook_enums_1.HookProjectionState.Synced) {
+        return { ok: false, state: projection.state };
+    }
+    const { revision } = projection.snapshot;
+    if (revision < requiredRevision) {
+        return { ok: false, state: hook_enums_1.HookProjectionState.Stale };
+    }
+    if (revision > requiredRevision) {
+        return { ok: false, state: hook_enums_1.HookProjectionState.RevisionMismatched };
+    }
+    return { ok: true, snapshot: projection.snapshot };
+}
+const byKey = (a, b) => a.key < b.key ? -1 : a.key > b.key ? 1 : 0;
+function groupApplications(snapshot) {
+    const grouped = new Map();
+    for (const binding of snapshot.bindings) {
+        const key = (0, hook_binding_1.hookApplicationKey)(binding);
+        const group = grouped.get(key);
+        if (group === undefined)
+            grouped.set(key, [binding]);
+        else
+            group.push(binding);
+    }
+    return [...grouped.entries()].map(([key, group]) => {
+        const bindings = [...group].sort((a, b) => a.bindingId < b.bindingId ? -1 : a.bindingId > b.bindingId ? 1 : 0);
+        return {
+            key,
+            mode: bindings[0].mode,
+            participation: bindings.some((binding) => binding.participation === hook_enums_1.HookParticipation.Required)
+                ? hook_enums_1.HookParticipation.Required
+                : hook_enums_1.HookParticipation.Optional,
+            bindings,
+        };
+    });
+}
+function planHookFanOut(snapshot, limits) {
+    const applications = groupApplications(snapshot).sort(byKey);
+    const required = applications.filter((application) => application.participation === hook_enums_1.HookParticipation.Required);
+    let count = required.reduce((sum, a) => sum + a.bindings.length, 0);
+    if (count > limits.maxFanOut) {
+        return {
+            ok: false,
+            code: hook_enums_1.HookFailureCode.Saturation,
+            bindingCount: count,
+            maxFanOut: limits.maxFanOut,
+        };
+    }
+    const admitted = new Set(required);
+    const skipped = {
+        [hook_enums_1.HookPhase.Transform]: [],
+        [hook_enums_1.HookPhase.Validate]: [],
+    };
+    for (const phase of [hook_enums_1.HookPhase.Transform, hook_enums_1.HookPhase.Validate]) {
+        for (const application of applications) {
+            if (application.participation === hook_enums_1.HookParticipation.Required ||
+                hook_enums_1.HOOK_MODE_PHASE[application.mode] !== phase) {
+                continue;
+            }
+            if (count + application.bindings.length <= limits.maxFanOut) {
+                admitted.add(application);
+                count += application.bindings.length;
+            }
+            else {
+                for (const binding of application.bindings) {
+                    skipped[phase].push({ bindingId: binding.bindingId, code: hook_enums_1.HookFailureCode.Saturation });
+                }
+            }
+        }
+    }
+    const phaseFanOut = (phase) => ({
+        applications: applications.filter((application) => admitted.has(application) && hook_enums_1.HOOK_MODE_PHASE[application.mode] === phase),
+        skipped: skipped[phase],
+    });
+    return {
+        ok: true,
+        phases: {
+            [hook_enums_1.HookPhase.Transform]: phaseFanOut(hook_enums_1.HookPhase.Transform),
+            [hook_enums_1.HookPhase.Validate]: phaseFanOut(hook_enums_1.HookPhase.Validate),
+        },
+    };
+}
+function isHookRecursion(synchronousChain, hookPointId) {
+    return synchronousChain.includes(hookPointId);
+}
+//# sourceMappingURL=hook-binding-set.js.map

package/dist/hook/lib/hook-binding-set.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook-binding-set.js","sourceRoot":"","sources":["../../../src/hook/lib/hook-binding-set.ts"],"names":[],"mappings":";;;AA0EA,oEAeC;AA8ED,wCAqDC;AAOD,0CAKC;AAxOD,6BAAwB;AAExB,iDAAyF;AACzF,6CAOsB;AACtB,yDAA2E;AA0B9D,QAAA,4BAA4B,GAAsC,OAAC;KAC7E,MAAM,CAAC;IACN,WAAW,EAAE,oCAAiB;IAC9B,QAAQ,EAAE,qCAAkB;IAC5B,QAAQ,EAAE,OAAC,CAAC,KAAK,CAAC,gCAAiB,CAAC,CAAC,QAAQ,EAAE;CAChD,CAAC;KACD,MAAM,EAAE,CAAC;AA+BZ,SAAgB,4BAA4B,CAC1C,UAAiC,EACjC,gBAAwB;IAExB,IAAI,UAAU,CAAC,KAAK,KAAK,gCAAmB,CAAC,MAAM,EAAE,CAAC;QACpD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC;IAChD,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC;IACzC,IAAI,QAAQ,GAAG,gBAAgB,EAAE,CAAC;QAChC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,gCAAmB,CAAC,KAAK,EAAE,CAAC;IACzD,CAAC;IACD,IAAI,QAAQ,GAAG,gBAAgB,EAAE,CAAC;QAChC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,gCAAmB,CAAC,kBAAkB,EAAE,CAAC;IACtE,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC;AACrD,CAAC;AAyCD,MAAM,KAAK,GAAG,CAAC,CAAkB,EAAE,CAAkB,EAAU,EAAE,CAC/D,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE7C,SAAS,iBAAiB,CAAC,QAAgC;IACzD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,IAAA,iCAAkB,EAAC,OAAO,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;;YAChD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;QACjD,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACxC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACnE,CAAC;QACF,OAAO;YACL,GAAG;YACH,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,IAAI;YACvB,aAAa,EAAE,QAAQ,CAAC,IAAI,CAC1B,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,KAAK,8BAAiB,CAAC,QAAQ,CAClE;gBACC,CAAC,CAAC,8BAAiB,CAAC,QAAQ;gBAC5B,CAAC,CAAC,8BAAiB,CAAC,QAAQ;YAC9B,QAAQ;SACT,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAWD,SAAgB,cAAc,CAC5B,QAAgC,EAChC,MAAuB;IAEvB,MAAM,YAAY,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAClC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,aAAa,KAAK,8BAAiB,CAAC,QAAQ,CAC1E,CAAC;IACF,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACpE,IAAI,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;QAC7B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,4BAAe,CAAC,UAAU;YAChC,YAAY,EAAE,KAAK;YACnB,SAAS,EAAE,MAAM,CAAC,SAAS;SAC5B,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAkB,QAAQ,CAAC,CAAC;IACpD,MAAM,OAAO,GAAwC;QACnD,CAAC,sBAAS,CAAC,SAAS,CAAC,EAAE,EAAE;QACzB,CAAC,sBAAS,CAAC,QAAQ,CAAC,EAAE,EAAE;KACzB,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,CAAC,sBAAS,CAAC,SAAS,EAAE,sBAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9D,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;YACvC,IACE,WAAW,CAAC,aAAa,KAAK,8BAAiB,CAAC,QAAQ;gBACxD,4BAAe,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,KAAK,EAC3C,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IAAI,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;gBAC5D,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBAC1B,KAAK,IAAI,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC;YACvC,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;oBAC3C,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,4BAAe,CAAC,UAAU,EAAE,CAAC,CAAC;gBAC1F,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,WAAW,GAAG,CAAC,KAAgB,EAAmB,EAAE,CAAC,CAAC;QAC1D,YAAY,EAAE,YAAY,CAAC,MAAM,CAC/B,CAAC,WAAW,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,4BAAe,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,KAAK,CAC1F;QACD,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC;KACxB,CAAC,CAAC;IACH,OAAO;QACL,EAAE,EAAE,IAAI;QACR,MAAM,EAAE;YACN,CAAC,sBAAS,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,sBAAS,CAAC,SAAS,CAAC;YACvD,CAAC,sBAAS,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,sBAAS,CAAC,QAAQ,CAAC;SACtD;KACF,CAAC;AACJ,CAAC;AAOD,SAAgB,eAAe,CAC7B,gBAAmC,EACnC,WAAmB;IAEnB,OAAO,gBAAgB,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;AAChD,CAAC"}

package/dist/hook/lib/hook-binding.d.ts

@@ -0,0 +1,51 @@
+import { z } from 'zod';
+import { type CapabilityInvocationDescriptorBinding } from '../../capability-error';
+import { type SpaceRef } from '../../space';
+import { SubjectKind, type SubjectRef } from '../../subject';
+import { ActionCatalogKind } from '../../action-catalog';
+import { HookBindingRefusalCode, HookMode, HookParticipation, HookScopeRefusalCode } from './hook-enums';
+import { type HookPointDeclaration } from './hook-point';
+export interface HookHandlerRef {
+    readonly actionKind: ActionCatalogKind;
+    readonly descriptor: CapabilityInvocationDescriptorBinding;
+}
+export declare const HookHandlerRefSchema: z.ZodType<HookHandlerRef>;
+export interface HookBinding {
+    readonly bindingId: string;
+    readonly revision: number;
+    readonly hookPointId: string;
+    readonly space: SpaceRef;
+    readonly mode: HookMode;
+    readonly participation: HookParticipation;
+    readonly handler: HookHandlerRef;
+    readonly projection: readonly string[];
+    readonly executeAs: SubjectRef;
+}
+export declare const HookBindingSchema: z.ZodType<HookBinding>;
+export declare const HOOK_EXECUTE_AUTHORITY_SUBJECT_KINDS: ReadonlySet<SubjectKind>;
+export declare function admitHookBinding(declaration: HookPointDeclaration, binding: HookBinding): readonly HookBindingRefusalCode[];
+export interface HookBindingSuppression {
+    readonly space: SpaceRef;
+    readonly bindingId: string;
+}
+export declare const HookBindingSuppressionSchema: z.ZodType<HookBindingSuppression>;
+export interface HookScopeRefusal {
+    readonly code: HookScopeRefusalCode;
+    readonly bindingId: string;
+    readonly space: string;
+}
+export type HookScopeResolution = {
+    readonly ok: true;
+    readonly bindings: readonly HookBinding[];
+} | {
+    readonly ok: false;
+    readonly refusals: readonly HookScopeRefusal[];
+};
+export declare function resolveEffectiveHookBindings(input: {
+    readonly hookPointId: string;
+    readonly operationSpace: SpaceRef;
+    readonly bindings: readonly HookBinding[];
+    readonly suppressions: readonly HookBindingSuppression[];
+}): HookScopeResolution;
+export declare function hookApplicationKey(binding: HookBinding): string;
+//# sourceMappingURL=hook-binding.d.ts.map

package/dist/hook/lib/hook-binding.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook-binding.d.ts","sourceRoot":"","sources":["../../../src/hook/lib/hook-binding.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAEL,KAAK,qCAAqC,EAC3C,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAIL,KAAK,QAAQ,EACd,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,WAAW,EAAoB,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AAC/E,OAAO,EACL,iBAAiB,EAElB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,sBAAsB,EACtB,QAAQ,EAER,iBAAiB,EAEjB,oBAAoB,EACrB,MAAM,cAAc,CAAC;AAQtB,OAAO,EAAwB,KAAK,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAmB/E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,qCAAqC,CAAC;CAC5D;AAED,eAAO,MAAM,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAKhD,CAAC;AAEZ,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAE3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,iBAAiB,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IAEjC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAEvC,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;CAChC;AAED,eAAO,MAAM,iBAAiB,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAYL,CAAC;AAQjD,eAAO,MAAM,oCAAoC,EAAE,WAAW,CAAC,WAAW,CAQvE,CAAC;AAOJ,wBAAgB,gBAAgB,CAC9B,WAAW,EAAE,oBAAoB,EACjC,OAAO,EAAE,WAAW,GACnB,SAAS,sBAAsB,EAAE,CA0BnC;AAGD,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,eAAO,MAAM,4BAA4B,EAAE,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAKhB,CAAC;AAE5D,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,MAAM,mBAAmB,GAC3B;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAA;CAAE,GAChE;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAAE,CAAC;AAa3E,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,SAAS,sBAAsB,EAAE,CAAC;CAC1D,GAAG,mBAAmB,CAyCtB;AAGD,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,WAAW,GAAG,MAAM,CAU/D"}

package/dist/hook/lib/hook-binding.js

@@ -0,0 +1,119 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.HookBindingSuppressionSchema = exports.HOOK_EXECUTE_AUTHORITY_SUBJECT_KINDS = exports.HookBindingSchema = exports.HookHandlerRefSchema = void 0;
+exports.admitHookBinding = admitHookBinding;
+exports.resolveEffectiveHookBindings = resolveEffectiveHookBindings;
+exports.hookApplicationKey = hookApplicationKey;
+const zod_1 = require("zod");
+const capability_error_1 = require("../../capability-error");
+const space_1 = require("../../space");
+const subject_1 = require("../../subject");
+const action_catalog_1 = require("../../action-catalog");
+const hook_enums_1 = require("./hook-enums");
+const hook_identifiers_1 = require("./hook-identifiers");
+const hook_point_1 = require("./hook-point");
+exports.HookHandlerRefSchema = zod_1.z
+    .object({
+    actionKind: action_catalog_1.ActionCatalogKindSchema,
+    descriptor: capability_error_1.CapabilityInvocationDescriptorBindingSchema,
+})
+    .strict();
+exports.HookBindingSchema = zod_1.z
+    .object({
+    bindingId: hook_identifiers_1.HookRecordIdSchema,
+    revision: hook_identifiers_1.HookRevisionSchema,
+    hookPointId: hook_identifiers_1.HookPointIdSchema,
+    space: space_1.StrictSpaceRefSchema,
+    mode: hook_enums_1.HookModeSchema,
+    participation: hook_enums_1.HookParticipationSchema,
+    handler: exports.HookHandlerRefSchema,
+    projection: zod_1.z.array(hook_identifiers_1.HookFieldPointerSchema).min(1).readonly(),
+    executeAs: subject_1.SubjectRefSchema,
+})
+    .strict();
+exports.HOOK_EXECUTE_AUTHORITY_SUBJECT_KINDS = Object.freeze(new Set([
+    subject_1.SubjectKind.User,
+    subject_1.SubjectKind.Agent,
+    subject_1.SubjectKind.App,
+    subject_1.SubjectKind.Organization,
+]));
+function admitHookBinding(declaration, binding) {
+    const refusals = [];
+    if (binding.hookPointId !== declaration.id) {
+        refusals.push(hook_enums_1.HookBindingRefusalCode.HookPointMismatch);
+    }
+    const actionKinds = (0, hook_point_1.hookPointActionKinds)(declaration, binding.mode);
+    if (actionKinds === undefined) {
+        refusals.push(hook_enums_1.HookBindingRefusalCode.ModeNotDeclared);
+    }
+    else if (!actionKinds.includes(binding.handler.actionKind)) {
+        refusals.push(hook_enums_1.HookBindingRefusalCode.ActionKindIncompatible);
+    }
+    if (!declaration.participation.includes(binding.participation)) {
+        refusals.push(hook_enums_1.HookBindingRefusalCode.ParticipationNotAllowed);
+    }
+    const projectable = binding.projection.every((field) => declaration.inputProjection.some((allowed) => (0, hook_identifiers_1.isHookFieldPointerWithin)(field, allowed)));
+    if (!projectable) {
+        refusals.push(hook_enums_1.HookBindingRefusalCode.ProjectionOutsideDeclaration);
+    }
+    if (!exports.HOOK_EXECUTE_AUTHORITY_SUBJECT_KINDS.has(binding.executeAs.kind)) {
+        refusals.push(hook_enums_1.HookBindingRefusalCode.AmbientExecuteAuthority);
+    }
+    return refusals;
+}
+exports.HookBindingSuppressionSchema = zod_1.z
+    .object({
+    space: space_1.StrictSpaceRefSchema,
+    bindingId: hook_identifiers_1.HookRecordIdSchema,
+})
+    .strict();
+function resolveEffectiveHookBindings(input) {
+    const chain = (0, space_1.walkAncestors)(input.operationSpace).map((ref) => (0, space_1.formatSpaceRef)(ref));
+    const depthOf = (ref) => chain.indexOf((0, space_1.formatSpaceRef)(ref));
+    const applicable = input.bindings.filter((binding) => binding.hookPointId === input.hookPointId && depthOf(binding.space) >= 0);
+    const refusals = [];
+    const suppressed = new Set();
+    for (const suppression of input.suppressions) {
+        const suppressionDepth = depthOf(suppression.space);
+        if (suppressionDepth < 0)
+            continue;
+        const target = applicable.find((binding) => binding.bindingId === suppression.bindingId &&
+            depthOf(binding.space) >= suppressionDepth);
+        const space = (0, space_1.formatSpaceRef)(suppression.space);
+        if (target === undefined) {
+            refusals.push({
+                code: hook_enums_1.HookScopeRefusalCode.UnknownBindingSuppressed,
+                bindingId: suppression.bindingId,
+                space,
+            });
+        }
+        else if (target.participation === hook_enums_1.HookParticipation.Required) {
+            refusals.push({
+                code: hook_enums_1.HookScopeRefusalCode.RequiredBindingSuppressed,
+                bindingId: suppression.bindingId,
+                space,
+            });
+        }
+        else {
+            suppressed.add(target.bindingId);
+        }
+    }
+    if (refusals.length > 0)
+        return { ok: false, refusals };
+    const bindings = applicable
+        .filter((binding) => !suppressed.has(binding.bindingId))
+        .sort((a, b) => (a.bindingId < b.bindingId ? -1 : a.bindingId > b.bindingId ? 1 : 0));
+    return { ok: true, bindings };
+}
+function hookApplicationKey(binding) {
+    return JSON.stringify([
+        binding.mode,
+        binding.handler.actionKind,
+        binding.handler.descriptor.ref,
+        binding.handler.descriptor.expectedDescriptorHash,
+        binding.executeAs.kind,
+        binding.executeAs.id,
+        [...binding.projection].sort(),
+    ]);
+}
+//# sourceMappingURL=hook-binding.js.map

package/dist/hook/lib/hook-binding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook-binding.js","sourceRoot":"","sources":["../../../src/hook/lib/hook-binding.ts"],"names":[],"mappings":";;;AAiHA,4CA6BC;AAoCD,oEA8CC;AAGD,gDAUC;AA7OD,6BAAwB;AAExB,6DAGgC;AAChC,uCAKqB;AACrB,2CAA+E;AAC/E,yDAG8B;AAC9B,6CAOsB;AACtB,yDAM4B;AAC5B,6CAA+E;AAwBlE,QAAA,oBAAoB,GAA8B,OAAC;KAC7D,MAAM,CAAC;IACN,UAAU,EAAE,wCAAuB;IACnC,UAAU,EAAE,8DAA2C;CACxD,CAAC;KACD,MAAM,EAAE,CAAC;AAiBC,QAAA,iBAAiB,GAA2B,OAAC;KACvD,MAAM,CAAC;IACN,SAAS,EAAE,qCAAkB;IAC7B,QAAQ,EAAE,qCAAkB;IAC5B,WAAW,EAAE,oCAAiB;IAC9B,KAAK,EAAE,4BAAoB;IAC3B,IAAI,EAAE,2BAAc;IACpB,aAAa,EAAE,oCAAuB;IACtC,OAAO,EAAE,4BAAoB;IAC7B,UAAU,EAAE,OAAC,CAAC,KAAK,CAAC,yCAAsB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC7D,SAAS,EAAE,0BAAgB;CAC5B,CAAC;KACD,MAAM,EAAuC,CAAC;AAQpC,QAAA,oCAAoC,GAC/C,MAAM,CAAC,MAAM,CACX,IAAI,GAAG,CAAC;IACN,qBAAW,CAAC,IAAI;IAChB,qBAAW,CAAC,KAAK;IACjB,qBAAW,CAAC,GAAG;IACf,qBAAW,CAAC,YAAY;CACzB,CAAC,CACH,CAAC;AAOJ,SAAgB,gBAAgB,CAC9B,WAAiC,EACjC,OAAoB;IAEpB,MAAM,QAAQ,GAA6B,EAAE,CAAC;IAC9C,IAAI,OAAO,CAAC,WAAW,KAAK,WAAW,CAAC,EAAE,EAAE,CAAC;QAC3C,QAAQ,CAAC,IAAI,CAAC,mCAAsB,CAAC,iBAAiB,CAAC,CAAC;IAC1D,CAAC;IACD,MAAM,WAAW,GAAG,IAAA,iCAAoB,EAAC,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACpE,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,QAAQ,CAAC,IAAI,CAAC,mCAAsB,CAAC,eAAe,CAAC,CAAC;IACxD,CAAC;SAAM,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7D,QAAQ,CAAC,IAAI,CAAC,mCAAsB,CAAC,sBAAsB,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/D,QAAQ,CAAC,IAAI,CAAC,mCAAsB,CAAC,uBAAuB,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACrD,WAAW,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAC3C,IAAA,2CAAwB,EAAC,KAAK,EAAE,OAAO,CAAC,CACzC,CACF,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,QAAQ,CAAC,IAAI,CAAC,mCAAsB,CAAC,4BAA4B,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,CAAC,4CAAoC,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACtE,QAAQ,CAAC,IAAI,CAAC,mCAAsB,CAAC,uBAAuB,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAQY,QAAA,4BAA4B,GAAsC,OAAC;KAC7E,MAAM,CAAC;IACN,KAAK,EAAE,4BAAoB;IAC3B,SAAS,EAAE,qCAAkB;CAC9B,CAAC;KACD,MAAM,EAAkD,CAAC;AAuB5D,SAAgB,4BAA4B,CAAC,KAK5C;IACC,MAAM,KAAK,GAAG,IAAA,qBAAa,EAAC,KAAK,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC5D,IAAA,sBAAc,EAAC,GAAG,CAAC,CACpB,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,GAAa,EAAU,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAA,sBAAc,EAAC,GAAG,CAAC,CAAC,CAAC;IAC9E,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CACtC,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAC3E,CAAC;IACF,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC7C,MAAM,gBAAgB,GAAG,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI,gBAAgB,GAAG,CAAC;YAAE,SAAS;QACnC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAC5B,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,SAAS,KAAK,WAAW,CAAC,SAAS;YAC3C,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAC7C,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,sBAAc,EAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAChD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,iCAAoB,CAAC,wBAAwB;gBACnD,SAAS,EAAE,WAAW,CAAC,SAAS;gBAChC,KAAK;aACN,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,MAAM,CAAC,aAAa,KAAK,8BAAiB,CAAC,QAAQ,EAAE,CAAC;YAC/D,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,iCAAoB,CAAC,yBAAyB;gBACpD,SAAS,EAAE,WAAW,CAAC,SAAS;gBAChC,KAAK;aACN,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACxD,MAAM,QAAQ,GAAG,UAAU;SACxB,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;SACvD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC;AAGD,SAAgB,kBAAkB,CAAC,OAAoB;IACrD,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,OAAO,CAAC,IAAI;QACZ,OAAO,CAAC,OAAO,CAAC,UAAU;QAC1B,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG;QAC9B,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,sBAAsB;QACjD,OAAO,CAAC,SAAS,CAAC,IAAI;QACtB,OAAO,CAAC,SAAS,CAAC,EAAE;QACpB,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE;KAC/B,CAAC,CAAC;AACL,CAAC"}

package/dist/hook/lib/hook-deferral.d.ts

@@ -0,0 +1,46 @@
+import { z } from 'zod';
+import { HookDecisionOutcome, HookDeferralEffect, HookDeferralEventKind, HookDeferralState } from './hook-enums';
+import { type HookDecisionRequirement } from './hook-verdict';
+export interface HookDeferralRecord {
+    readonly key: string;
+    readonly hookPointId: string;
+    readonly candidateId: string;
+    readonly candidateVersion: number;
+    readonly generation: number;
+    readonly bindingSetRevision: number;
+    readonly requirements: readonly HookDecisionRequirement[];
+    readonly approved: readonly HookDecisionRequirement[];
+    readonly state: HookDeferralState;
+}
+export declare const HookDeferralGenerationSchema: z.ZodNumber;
+export declare const HookDeferralRecordSchema: z.ZodType<HookDeferralRecord>;
+export declare function hookDeferralKey(input: {
+    readonly hookPointId: string;
+    readonly candidateId: string;
+    readonly candidateVersion: number;
+    readonly generation: number;
+}): string;
+export type HookDeferralEvent = {
+    readonly kind: HookDeferralEventKind.Settled;
+    readonly candidateVersion: number;
+    readonly requirement: HookDecisionRequirement;
+    readonly outcome: HookDecisionOutcome;
+} | {
+    readonly kind: HookDeferralEventKind.Cancelled;
+} | {
+    readonly kind: HookDeferralEventKind.Expired;
+};
+export declare const HookDeferralEventSchema: z.ZodType<HookDeferralEvent>;
+export interface HookDeferralTransition {
+    readonly record: HookDeferralRecord;
+    readonly effect: HookDeferralEffect;
+}
+export declare function transitionHookDeferral(record: HookDeferralRecord, event: HookDeferralEvent): HookDeferralTransition;
+export declare function isHookCommitCurrent(evaluated: {
+    readonly candidateId: string;
+    readonly candidateVersion: number;
+}, current: {
+    readonly candidateId: string;
+    readonly candidateVersion: number;
+}): boolean;
+//# sourceMappingURL=hook-deferral.d.ts.map

package/dist/hook/lib/hook-deferral.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook-deferral.d.ts","sourceRoot":"","sources":["../../../src/hook/lib/hook-deferral.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,OAAO,EACL,mBAAmB,EAEnB,kBAAkB,EAClB,qBAAqB,EACrB,iBAAiB,EAElB,MAAM,cAAc,CAAC;AAMtB,OAAO,EAGL,KAAK,uBAAuB,EAC7B,MAAM,gBAAgB,CAAC;AAgBxB,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAOlC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,SAAS,uBAAuB,EAAE,CAAC;IAE1D,QAAQ,CAAC,QAAQ,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACtD,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC;CACnC;AAED,eAAO,MAAM,4BAA4B,aAA0B,CAAC;AAEpE,eAAO,MAAM,wBAAwB,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAiC/D,CAAC;AAGL,wBAAgB,eAAe,CAAC,KAAK,EAAE;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAElC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GAAG,MAAM,CAET;AAED,MAAM,MAAM,iBAAiB,GACzB;IACE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC,OAAO,CAAC;IAE7C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAElC,QAAQ,CAAC,WAAW,EAAE,uBAAuB,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;CACvC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC,OAAO,CAAA;CAAE,CAAC;AAErD,eAAO,MAAM,uBAAuB,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAcrB,CAAC;AAE7C,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;CACrC;AAuCD,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,kBAAkB,EAC1B,KAAK,EAAE,iBAAiB,GACvB,sBAAsB,CAsBxB;AAMD,wBAAgB,mBAAmB,CACjC,SAAS,EAAE;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;CAAE,EAC9E,OAAO,EAAE;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;CAAE,GAC3E,OAAO,CAKT"}

package/dist/hook/lib/hook-deferral.js

@@ -0,0 +1,113 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.HookDeferralEventSchema = exports.HookDeferralRecordSchema = exports.HookDeferralGenerationSchema = void 0;
+exports.hookDeferralKey = hookDeferralKey;
+exports.transitionHookDeferral = transitionHookDeferral;
+exports.isHookCommitCurrent = isHookCommitCurrent;
+const zod_1 = require("zod");
+const state_version_1 = require("../../state-version");
+const hook_enums_1 = require("./hook-enums");
+const hook_identifiers_1 = require("./hook-identifiers");
+const hook_verdict_1 = require("./hook-verdict");
+exports.HookDeferralGenerationSchema = zod_1.z.number().int().min(0);
+exports.HookDeferralRecordSchema = zod_1.z
+    .object({
+    key: zod_1.z.string().min(1).max(1024),
+    hookPointId: hook_identifiers_1.HookPointIdSchema,
+    candidateId: hook_identifiers_1.HookRecordIdSchema,
+    candidateVersion: state_version_1.StateVersionSchema,
+    generation: exports.HookDeferralGenerationSchema,
+    bindingSetRevision: hook_identifiers_1.HookRevisionSchema,
+    requirements: zod_1.z.array(hook_verdict_1.HookDecisionRequirementSchema).min(1).readonly(),
+    approved: zod_1.z.array(hook_verdict_1.HookDecisionRequirementSchema).readonly(),
+    state: hook_enums_1.HookDeferralStateSchema,
+})
+    .strict()
+    .superRefine((record, context) => {
+    const keys = record.requirements.map(hook_verdict_1.hookDecisionRequirementKey);
+    if (new Set(keys).size !== keys.length) {
+        context.addIssue({
+            code: zod_1.z.ZodIssueCode.custom,
+            path: ['requirements'],
+            message: 'Requirements must be distinct.',
+        });
+    }
+    const approvedKeys = record.approved.map(hook_verdict_1.hookDecisionRequirementKey);
+    if (new Set(approvedKeys).size !== approvedKeys.length ||
+        !approvedKeys.every((key) => keys.includes(key))) {
+        context.addIssue({
+            code: zod_1.z.ZodIssueCode.custom,
+            path: ['approved'],
+            message: 'Approved requirements must be distinct members of `requirements`.',
+        });
+    }
+});
+function hookDeferralKey(input) {
+    return `hook-deferral:${input.hookPointId}:${input.candidateId}:${input.candidateVersion}:${input.generation}`;
+}
+exports.HookDeferralEventSchema = zod_1.z.discriminatedUnion('kind', [
+    zod_1.z
+        .object({
+        kind: zod_1.z.literal(hook_enums_1.HookDeferralEventKind.Settled),
+        candidateVersion: state_version_1.StateVersionSchema,
+        requirement: hook_verdict_1.HookDecisionRequirementSchema,
+        outcome: hook_enums_1.HookDecisionOutcomeSchema,
+    })
+        .strict(),
+    zod_1.z.object({ kind: zod_1.z.literal(hook_enums_1.HookDeferralEventKind.Cancelled) }).strict(),
+    zod_1.z.object({ kind: zod_1.z.literal(hook_enums_1.HookDeferralEventKind.Expired) }).strict(),
+]);
+function settle(record, event) {
+    if (event.candidateVersion !== record.candidateVersion) {
+        return { record, effect: hook_enums_1.HookDeferralEffect.RefuseChangedCandidate };
+    }
+    const key = (0, hook_verdict_1.hookDecisionRequirementKey)(event.requirement);
+    if (!record.requirements.some((entry) => (0, hook_verdict_1.hookDecisionRequirementKey)(entry) === key)) {
+        return { record, effect: hook_enums_1.HookDeferralEffect.RefuseUnknownRequirement };
+    }
+    if (record.approved.some((entry) => (0, hook_verdict_1.hookDecisionRequirementKey)(entry) === key)) {
+        return { record, effect: hook_enums_1.HookDeferralEffect.None };
+    }
+    if (event.outcome === hook_enums_1.HookDecisionOutcome.Rejected) {
+        return {
+            record: { ...record, state: hook_enums_1.HookDeferralState.Rejected },
+            effect: hook_enums_1.HookDeferralEffect.Reject,
+        };
+    }
+    const approved = [...record.approved, event.requirement];
+    if (approved.length < record.requirements.length) {
+        return { record: { ...record, approved }, effect: hook_enums_1.HookDeferralEffect.None };
+    }
+    return {
+        record: { ...record, approved, state: hook_enums_1.HookDeferralState.Resumed },
+        effect: hook_enums_1.HookDeferralEffect.Resume,
+    };
+}
+function transitionHookDeferral(record, event) {
+    if (record.state !== hook_enums_1.HookDeferralState.Pending) {
+        return { record, effect: hook_enums_1.HookDeferralEffect.None };
+    }
+    switch (event.kind) {
+        case hook_enums_1.HookDeferralEventKind.Settled:
+            return settle(record, event);
+        case hook_enums_1.HookDeferralEventKind.Cancelled:
+            return {
+                record: { ...record, state: hook_enums_1.HookDeferralState.Cancelled },
+                effect: hook_enums_1.HookDeferralEffect.None,
+            };
+        case hook_enums_1.HookDeferralEventKind.Expired:
+            return {
+                record: { ...record, state: hook_enums_1.HookDeferralState.Expired },
+                effect: hook_enums_1.HookDeferralEffect.None,
+            };
+        default: {
+            const exhaustive = event;
+            throw new Error(`transitionHookDeferral: unhandled event ${JSON.stringify(exhaustive)}.`);
+        }
+    }
+}
+function isHookCommitCurrent(evaluated, current) {
+    return (evaluated.candidateId === current.candidateId &&
+        evaluated.candidateVersion === current.candidateVersion);
+}
+//# sourceMappingURL=hook-deferral.js.map