@zhin.js/workroom 0.0.0 → 0.0.1

package/lib/workroom-runtime/workroom-portfolio-sponsor.d.ts

@@ -0,0 +1,96 @@
+import { type PortfolioGovernanceProof, type PortfolioJournalRepository, type PortfolioLane, type PortfolioProjectPolicy, type PortfolioProjectStatus } from '../portfolio/portfolio-journal.js';
+import { type PortfolioSponsorProjection } from '../portfolio/sponsor-projection.js';
+export type { PortfolioSponsorProjection } from '../portfolio/sponsor-projection.js';
+import type { WorkroomCatalog } from '../workroom/catalog.js';
+import type { WorkroomProjectionReadAuthorityPort } from '../workroom/runtime.js';
+import type { HumanIngressTypedControlPort } from '../workroom/human-ingress-orchestrator.js';
+export interface PortfolioSponsorAuthenticatedPrincipal {
+    readonly principalId: string;
+}
+export type PortfolioSponsorCommand = Readonly<{
+    kind: 'set_lane';
+    commandId: string;
+    projectId: string;
+    expectedProjectRevision: number;
+    lane: PortfolioLane;
+}> | Readonly<{
+    kind: 'set_status';
+    commandId: string;
+    projectId: string;
+    expectedProjectRevision: number;
+    status: PortfolioProjectStatus;
+}> | Readonly<{
+    kind: 'transfer_budget';
+    commandId: string;
+    fromProjectId: string;
+    toProjectId: string;
+    amountMicros: number;
+    expectedFromRevision: number;
+    expectedToRevision: number;
+}>;
+export interface PortfolioSponsorCommandAuthorization {
+    readonly commandDigest: string;
+    readonly sourceSequence: number;
+    readonly authorizedBy: string;
+    readonly projectProofs: Readonly<Record<string, PortfolioGovernanceProof>>;
+}
+export interface PortfolioSponsorCommandAuthorityPort {
+    authorize(input: Readonly<{
+        generation: number;
+        portfolioId: string;
+        sourceSequence: number;
+        command: PortfolioSponsorCommand;
+        commandDigest: string;
+        projectCandidates: readonly PortfolioProjectPolicy[];
+        authenticatedPrincipal: PortfolioSponsorAuthenticatedPrincipal;
+    }>): Promise<PortfolioSponsorCommandAuthorization | undefined>;
+}
+export interface PortfolioSponsorCommandPort {
+    execute(portfolioId: string, command: PortfolioSponsorCommand, authenticatedPrincipal: PortfolioSponsorAuthenticatedPrincipal): Promise<PortfolioSponsorProjection>;
+    read(portfolioId: string): Promise<PortfolioSponsorProjection>;
+}
+export type PortfolioSponsorProjectionReadResult = Readonly<{
+    status: 'ready';
+    projection: PortfolioSponsorProjection;
+}> | Readonly<{
+    status: 'forbidden';
+}>;
+/** Authenticated, per-request Portfolio projection; raw Portfolio reads stay Root-internal. */
+export interface PortfolioSponsorProjectionReadPort {
+    read(portfolioId: string, authenticatedPrincipal: PortfolioSponsorAuthenticatedPrincipal): Promise<PortfolioSponsorProjectionReadResult>;
+}
+/**
+ * Joins the exact Portfolio Project set to the current Catalog/P12 Console authority.
+ * A principal must remain authorized for every Project because the aggregate budget and
+ * fairness fields disclose cross-Project state even though the payload is content-free.
+ */
+export declare function createGovernedPortfolioSponsorProjectionReader(options: Readonly<{
+    source: Pick<PortfolioSponsorCommandPort, 'read'>;
+    authority: WorkroomProjectionReadAuthorityPort;
+}>): PortfolioSponsorProjectionReadPort;
+export declare const portfolioSponsorCommandAuthorityToken: import("@zhin.js/plugin-runtime").Token<PortfolioSponsorCommandAuthorityPort>;
+export declare const portfolioSponsorCommandToken: import("@zhin.js/plugin-runtime").Token<PortfolioSponsorCommandPort>;
+/** Strict Sponsor Room adapter; Portfolio/Project/principal come from authenticated ingress. */
+export declare function createPortfolioSponsorHumanIngressControlPort(options: Readonly<{
+    resolve: () => PortfolioSponsorCommandPort | undefined;
+    generationSignal: AbortSignal;
+    fallback?: HumanIngressTypedControlPort;
+}>): HumanIngressTypedControlPort;
+export declare class WorkroomPortfolioSponsorRuntime implements PortfolioSponsorCommandPort {
+    #private;
+    readonly options: Readonly<{
+        generation: number;
+        repository: PortfolioJournalRepository;
+        authority: PortfolioSponsorCommandAuthorityPort;
+    }>;
+    constructor(options: Readonly<{
+        generation: number;
+        repository: PortfolioJournalRepository;
+        authority: PortfolioSponsorCommandAuthorityPort;
+    }>);
+    execute(portfolioId: string, input: PortfolioSponsorCommand, authenticatedPrincipal: PortfolioSponsorAuthenticatedPrincipal): Promise<PortfolioSponsorProjection>;
+    read(portfolioId: string): Promise<PortfolioSponsorProjection>;
+}
+/** Current Catalog membership is re-read for every command; full HTTP scope alone grants nothing. */
+export declare function createCatalogPortfolioSponsorCommandAuthority(catalog: Pick<WorkroomCatalog, 'read'>): PortfolioSponsorCommandAuthorityPort;
+//# sourceMappingURL=workroom-portfolio-sponsor.d.ts.map

package/lib/workroom-runtime/workroom-portfolio-sponsor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workroom-portfolio-sponsor.d.ts","sourceRoot":"","sources":["../../src/workroom-runtime/workroom-portfolio-sponsor.ts"],"names":[],"mappings":"AAKA,OAAO,EAEL,KAAK,wBAAwB,EAC7B,KAAK,0BAA0B,EAC/B,KAAK,aAAa,EAClB,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,EAC5B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAEL,KAAK,0BAA0B,EAChC,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAMrF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,KAAK,EAAE,mCAAmC,EAAE,MAAM,wBAAwB,CAAC;AAClF,OAAO,KAAK,EAGV,4BAA4B,EAC7B,MAAM,2CAA2C,CAAC;AAEnD,MAAM,WAAW,sCAAsC;IACrD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,MAAM,uBAAuB,GAC/B,QAAQ,CAAC;IACP,IAAI,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IACvD,uBAAuB,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC;CACtD,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,YAAY,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IACzD,uBAAuB,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAC;CACjE,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,iBAAiB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IACvF,YAAY,EAAE,MAAM,CAAC;IAAC,oBAAoB,EAAE,MAAM,CAAC;IAAC,kBAAkB,EAAE,MAAM,CAAC;CAChF,CAAC,CAAC;AAEP,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC,CAAC;CAC5E;AAED,MAAM,WAAW,oCAAoC;IACnD,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC;QACxB,UAAU,EAAE,MAAM,CAAC;QACnB,WAAW,EAAE,MAAM,CAAC;QACpB,cAAc,EAAE,MAAM,CAAC;QACvB,OAAO,EAAE,uBAAuB,CAAC;QACjC,aAAa,EAAE,MAAM,CAAC;QACtB,iBAAiB,EAAE,SAAS,sBAAsB,EAAE,CAAC;QACrD,sBAAsB,EAAE,sCAAsC,CAAC;KAChE,CAAC,GAAG,OAAO,CAAC,oCAAoC,GAAG,SAAS,CAAC,CAAC;CAChE;AAED,MAAM,WAAW,2BAA2B;IAC1C,OAAO,CACL,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,uBAAuB,EAChC,sBAAsB,EAAE,sCAAsC,GAC7D,OAAO,CAAC,0BAA0B,CAAC,CAAC;IACvC,IAAI,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAC;CAChE;AAED,MAAM,MAAM,oCAAoC,GAC5C,QAAQ,CAAC;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,0BAA0B,CAAA;CAAE,CAAC,GACrE,QAAQ,CAAC;IAAE,MAAM,EAAE,WAAW,CAAA;CAAE,CAAC,CAAC;AAEtC,+FAA+F;AAC/F,MAAM,WAAW,kCAAkC;IACjD,IAAI,CACF,WAAW,EAAE,MAAM,EACnB,sBAAsB,EAAE,sCAAsC,GAC7D,OAAO,CAAC,oCAAoC,CAAC,CAAC;CAClD;AAED;;;;GAIG;AACH,wBAAgB,8CAA8C,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC/E,MAAM,EAAE,IAAI,CAAC,2BAA2B,EAAE,MAAM,CAAC,CAAC;IAClD,SAAS,EAAE,mCAAmC,CAAC;CAChD,CAAC,GAAG,kCAAkC,CAyBtC;AAED,eAAO,MAAM,qCAAqC,+EAGjD,CAAC;AAEF,eAAO,MAAM,4BAA4B,sEAGxC,CAAC;AAEF,gGAAgG;AAChG,wBAAgB,6CAA6C,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC9E,OAAO,EAAE,MAAM,2BAA2B,GAAG,SAAS,CAAC;IACvD,gBAAgB,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,EAAE,4BAA4B,CAAC;CACzC,CAAC,GAAG,4BAA4B,CAuChC;AAED,qBAAa,+BAAgC,YAAW,2BAA2B;;IAGrE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;QACrC,UAAU,EAAE,MAAM,CAAC;QACnB,UAAU,EAAE,0BAA0B,CAAC;QACvC,SAAS,EAAE,oCAAoC,CAAC;KACjD,CAAC;gBAJmB,OAAO,EAAE,QAAQ,CAAC;QACrC,UAAU,EAAE,MAAM,CAAC;QACnB,UAAU,EAAE,0BAA0B,CAAC;QACvC,SAAS,EAAE,oCAAoC,CAAC;KACjD,CAAC;IAII,OAAO,CACX,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,uBAAuB,EAC9B,sBAAsB,EAAE,sCAAsC,GAC7D,OAAO,CAAC,0BAA0B,CAAC;IAuBhC,IAAI,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,0BAA0B,CAAC;CAgBrE;AAED,qGAAqG;AACrG,wBAAgB,6CAA6C,CAC3D,OAAO,EAAE,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,GACrC,oCAAoC,CAmCtC"}

package/lib/workroom-runtime/workroom-portfolio-sponsor.js

@@ -0,0 +1,313 @@
+import { createRootPrivateToken } from '@zhin.js/plugin-runtime';
+import { PortfolioAdmissionApplication, } from '../portfolio/portfolio-admission.js';
+import { parsePortfolioProjectPolicy, } from '../portfolio/portfolio-journal.js';
+import { createPortfolioSponsorProjection, } from '../portfolio/sponsor-projection.js';
+import { compareCanonicalWorkroomText, deepFreezeWorkroomValue as deepFreeze, digestCanonicalWorkroomValue as digest, } from '../workroom/canonical-value.js';
+/**
+ * Joins the exact Portfolio Project set to the current Catalog/P12 Console authority.
+ * A principal must remain authorized for every Project because the aggregate budget and
+ * fairness fields disclose cross-Project state even though the payload is content-free.
+ */
+export function createGovernedPortfolioSponsorProjectionReader(options) {
+    return Object.freeze({
+        async read(portfolioId, authenticatedPrincipal) {
+            const principalId = authenticatedPrincipal?.principalId?.trim();
+            if (!principalId || principalId !== authenticatedPrincipal.principalId) {
+                return Object.freeze({ status: 'forbidden' });
+            }
+            const projection = await options.source.read(portfolioId);
+            const projectIds = Object.keys(projection.projects).sort();
+            if (projectIds.length === 0)
+                return Object.freeze({ status: 'forbidden' });
+            for (const projectId of projectIds) {
+                const authorization = await options.authority.authorize({
+                    destination: 'console',
+                    projectId,
+                    recipientPrincipalId: principalId,
+                    requestedMode: 'metadata_only',
+                });
+                if (!authorization)
+                    return Object.freeze({ status: 'forbidden' });
+            }
+            return Object.freeze({ status: 'ready', projection });
+        },
+    });
+}
+export const portfolioSponsorCommandAuthorityToken = createRootPrivateToken('zhin.agent.portfolio-sponsor-command-authority', 'Authenticated exact Sponsor authority for typed Portfolio policy commands');
+export const portfolioSponsorCommandToken = createRootPrivateToken('zhin.agent.portfolio-sponsor-command', 'Generation-owned typed Portfolio Sponsor command application');
+/** Strict Sponsor Room adapter; Portfolio/Project/principal come from authenticated ingress. */
+export function createPortfolioSponsorHumanIngressControlPort(options) {
+    return Object.freeze({
+        async apply(input) {
+            options.generationSignal.throwIfAborted();
+            if (!/^\/control\s+portfolio(?:\s|$)/iu.test(input.text.trim())) {
+                return options.fallback
+                    ? await options.fallback.apply(input)
+                    : controlClarification('missing_control_target');
+            }
+            if (input.authorityRequirement !== 'typed_sponsor_control') {
+                return controlClarification('unauthorized_control');
+            }
+            const parsed = parsePortfolioHumanIngressCommand(input);
+            if (!parsed)
+                return controlClarification('missing_control_target');
+            const port = options.resolve();
+            if (!port)
+                return controlClarification('unauthorized_control');
+            const projection = await port.execute(parsed.portfolioId, parsed.command, {
+                principalId: required(input.principalId, 'authenticatedPrincipal.principalId'),
+            });
+            options.generationSignal.throwIfAborted();
+            const receiptRef = `portfolio-sponsor:${digest({
+                operationId: input.operationId,
+                commandId: parsed.command.commandId,
+            })}`;
+            return deepFreeze({
+                status: 'authorized',
+                receiptRef,
+                receiptDigest: digest({
+                    version: 1,
+                    kind: 'portfolio_sponsor_control',
+                    operationDigest: digest({ operationId: input.operationId }),
+                    portfolioId: parsed.portfolioId,
+                    projectId: input.projectId,
+                    commandDigest: digest(parsed.command),
+                    projectionDigest: projection.digest,
+                }),
+            });
+        },
+    });
+}
+export class WorkroomPortfolioSponsorRuntime {
+    options;
+    #applications = new Map();
+    constructor(options) {
+        this.options = options;
+        positive(options.generation, 'generation');
+    }
+    async execute(portfolioId, input, authenticatedPrincipal) {
+        const id = required(portfolioId, 'portfolioId');
+        const command = parseCommand(input);
+        const application = this.#application(id);
+        const state = await application.read();
+        const candidates = commandCandidates(state, command);
+        const commandDigest = digest(command);
+        const authorization = await this.options.authority.authorize({
+            generation: this.options.generation,
+            portfolioId: id,
+            sourceSequence: state.sequence,
+            command,
+            commandDigest,
+            projectCandidates: candidates,
+            authenticatedPrincipal: Object.freeze({
+                principalId: required(authenticatedPrincipal?.principalId, 'authenticatedPrincipal.principalId'),
+            }),
+        });
+        assertAuthorization(authorization, state.sequence, commandDigest, candidates);
+        await application.updateProjectPolicies(candidates, authorization.projectProofs);
+        return createPortfolioSponsorProjection(await application.read());
+    }
+    async read(portfolioId) {
+        return createPortfolioSponsorProjection(await this.#application(required(portfolioId, 'portfolioId')).read());
+    }
+    #application(portfolioId) {
+        let application = this.#applications.get(portfolioId);
+        if (!application) {
+            application = new PortfolioAdmissionApplication({
+                portfolioId,
+                repository: this.options.repository,
+                ids: { eventId: (type, identity) => `${type}:${encodeURIComponent(identity)}` },
+            });
+            this.#applications.set(portfolioId, application);
+        }
+        return application;
+    }
+}
+/** Current Catalog membership is re-read for every command; full HTTP scope alone grants nothing. */
+export function createCatalogPortfolioSponsorCommandAuthority(catalog) {
+    return Object.freeze({
+        async authorize(input) {
+            const snapshot = await catalog.read();
+            const principalId = required(input.authenticatedPrincipal.principalId, 'authenticatedPrincipal.principalId');
+            for (const candidate of input.projectCandidates) {
+                const definition = snapshot.definitions[candidate.projectId];
+                if (!definition || definition.enabled === false || !definition.sponsors?.includes(principalId)) {
+                    return undefined;
+                }
+            }
+            const authorizedBy = [
+                'workroom-catalog-portfolio-sponsor:v1', snapshot.revision, principalId,
+            ].map(encodeURIComponent).join(':');
+            const reasonDigest = digest({
+                version: 1, portfolioId: input.portfolioId, sourceSequence: input.sourceSequence,
+                commandDigest: input.commandDigest, catalogRevision: snapshot.revision, principalId,
+            });
+            return Object.freeze({
+                commandDigest: input.commandDigest,
+                sourceSequence: input.sourceSequence,
+                authorizedBy,
+                projectProofs: Object.freeze(Object.fromEntries(input.projectCandidates.map((candidate) => [
+                    candidate.projectId,
+                    Object.freeze({
+                        principalId,
+                        authorizedBy,
+                        reasonDigest,
+                        targetDigest: digest(candidate),
+                        expectedRevision: candidate.revision - 1,
+                    }),
+                ]))),
+            });
+        },
+    });
+}
+function parseCommand(value) {
+    const common = ['kind', 'commandId'];
+    if (value.kind === 'set_lane') {
+        exactKeys(value, [...common, 'projectId', 'expectedProjectRevision', 'lane']);
+        if (!['urgent', 'high', 'normal', 'low'].includes(value.lane))
+            throw new Error('Sponsor lane is invalid');
+        return Object.freeze({ ...value, commandId: required(value.commandId, 'commandId'),
+            projectId: required(value.projectId, 'projectId'),
+            expectedProjectRevision: positive(value.expectedProjectRevision, 'expectedProjectRevision') });
+    }
+    if (value.kind === 'set_status') {
+        exactKeys(value, [...common, 'projectId', 'expectedProjectRevision', 'status']);
+        if (!['active', 'paused', 'reclaim_checkpointable'].includes(value.status)) {
+            throw new Error('Sponsor Project status is invalid');
+        }
+        return Object.freeze({ ...value, commandId: required(value.commandId, 'commandId'),
+            projectId: required(value.projectId, 'projectId'),
+            expectedProjectRevision: positive(value.expectedProjectRevision, 'expectedProjectRevision') });
+    }
+    if (value.kind === 'transfer_budget') {
+        exactKeys(value, [...common, 'fromProjectId', 'toProjectId', 'amountMicros',
+            'expectedFromRevision', 'expectedToRevision']);
+        const fromProjectId = required(value.fromProjectId, 'fromProjectId');
+        const toProjectId = required(value.toProjectId, 'toProjectId');
+        if (fromProjectId === toProjectId)
+            throw new Error('Budget transfer Projects must differ');
+        return Object.freeze({ ...value, commandId: required(value.commandId, 'commandId'),
+            fromProjectId, toProjectId, amountMicros: positive(value.amountMicros, 'amountMicros'),
+            expectedFromRevision: positive(value.expectedFromRevision, 'expectedFromRevision'),
+            expectedToRevision: positive(value.expectedToRevision, 'expectedToRevision') });
+    }
+    throw new Error('Portfolio Sponsor command exact schema is invalid');
+}
+function parsePortfolioHumanIngressCommand(input) {
+    const prefix = /^\/control\s+portfolio\s+(\S+)\s+(.+)$/iu.exec(input.text.trim());
+    if (!prefix)
+        return undefined;
+    const portfolioId = required(prefix[1], 'portfolioId');
+    let commandText = required(prefix[2], 'Portfolio command');
+    const scoped = /^project\s+(\S+)\s+(.+)$/iu.exec(commandText);
+    if (scoped) {
+        if (scoped[1] !== input.projectId)
+            return undefined;
+        commandText = required(scoped[2], 'Portfolio command');
+    }
+    else if (input.projectionReply?.projectId !== input.projectId) {
+        return undefined;
+    }
+    let match = /^lane\s+(\d+)\s+(urgent|high|normal|low)\s+(\S+)$/iu.exec(commandText);
+    if (match) {
+        return deepFreeze({
+            portfolioId,
+            command: {
+                kind: 'set_lane', commandId: required(match[3], 'commandId'),
+                projectId: required(input.projectId, 'projectId'),
+                expectedProjectRevision: positive(Number(match[1]), 'expectedProjectRevision'),
+                lane: match[2].toLowerCase(),
+            },
+        });
+    }
+    match = /^status\s+(\d+)\s+(active|paused|reclaim_checkpointable)\s+(\S+)$/iu.exec(commandText);
+    if (match) {
+        return deepFreeze({
+            portfolioId,
+            command: {
+                kind: 'set_status', commandId: required(match[3], 'commandId'),
+                projectId: required(input.projectId, 'projectId'),
+                expectedProjectRevision: positive(Number(match[1]), 'expectedProjectRevision'),
+                status: match[2].toLowerCase(),
+            },
+        });
+    }
+    match = /^transfer-budget\s+(\S+)\s+(\d+)\s+(\d+)\s+(\d+)\s+(\S+)$/iu.exec(commandText);
+    if (!match)
+        return undefined;
+    return deepFreeze({
+        portfolioId,
+        command: {
+            kind: 'transfer_budget', commandId: required(match[5], 'commandId'),
+            fromProjectId: required(input.projectId, 'fromProjectId'),
+            toProjectId: required(match[1], 'toProjectId'),
+            amountMicros: positive(Number(match[2]), 'amountMicros'),
+            expectedFromRevision: positive(Number(match[3]), 'expectedFromRevision'),
+            expectedToRevision: positive(Number(match[4]), 'expectedToRevision'),
+        },
+    });
+}
+function controlClarification(reason) {
+    return deepFreeze({ status: 'clarification_required', reason, candidateRefs: [] });
+}
+function commandCandidates(state, command) {
+    const policy = state.policy;
+    if (!policy)
+        throw new Error('Portfolio Sponsor command requires pinned Policy');
+    if (command.kind === 'set_lane' || command.kind === 'set_status') {
+        const current = requireProject(policy.projects[command.projectId], command.projectId);
+        if (current.revision !== command.expectedProjectRevision)
+            throw new Error('Sponsor command Project revision is stale');
+        return Object.freeze([parsePortfolioProjectPolicy({
+                ...current,
+                revision: current.revision + 1,
+                ...(command.kind === 'set_lane' ? { lane: command.lane } : { status: command.status }),
+            })]);
+    }
+    const from = requireProject(policy.projects[command.fromProjectId], command.fromProjectId);
+    const to = requireProject(policy.projects[command.toProjectId], command.toProjectId);
+    if (from.revision !== command.expectedFromRevision || to.revision !== command.expectedToRevision) {
+        throw new Error('Sponsor Budget transfer Project revision is stale');
+    }
+    if (from.hardBudgetMicros < command.amountMicros)
+        throw new Error('Sponsor Budget transfer exceeds source allocation');
+    return Object.freeze([
+        parsePortfolioProjectPolicy({ ...from, revision: from.revision + 1,
+            hardBudgetMicros: from.hardBudgetMicros - command.amountMicros }),
+        parsePortfolioProjectPolicy({ ...to, revision: to.revision + 1,
+            hardBudgetMicros: to.hardBudgetMicros + command.amountMicros }),
+    ].sort((left, right) => compareCanonicalWorkroomText(left.projectId, right.projectId)));
+}
+function assertAuthorization(value, sourceSequence, commandDigest, candidates) {
+    if (!value || value.sourceSequence !== sourceSequence || value.commandDigest !== commandDigest
+        || !required(value.authorizedBy, 'authorizedBy')) {
+        throw new Error('Portfolio Sponsor command authority is unavailable or stale');
+    }
+    exactKeys(value, ['commandDigest', 'sourceSequence', 'authorizedBy', 'projectProofs']);
+    const projectIds = candidates.map(candidate => candidate.projectId).sort();
+    if (Object.keys(value.projectProofs).sort().join('\0') !== projectIds.join('\0')) {
+        throw new Error('Portfolio Sponsor command authority Project scope drift');
+    }
+}
+function requireProject(value, projectId) {
+    if (!value)
+        throw new Error(`Unknown Portfolio Project ${projectId}`);
+    return value;
+}
+function exactKeys(value, requiredKeys) {
+    const actual = Object.keys(value);
+    if (actual.length !== requiredKeys.length || requiredKeys.some(key => !Object.hasOwn(value, key))) {
+        throw new Error('Portfolio Sponsor command exact schema is invalid');
+    }
+}
+function required(value, label) {
+    if (typeof value !== 'string' || !value.trim() || value !== value.trim())
+        throw new Error(`${label} is invalid`);
+    return value;
+}
+function positive(value, label) {
+    if (!Number.isSafeInteger(value) || Number(value) < 1)
+        throw new Error(`${label} is invalid`);
+    return Number(value);
+}
+//# sourceMappingURL=workroom-portfolio-sponsor.js.map

package/lib/workroom-runtime/workroom-portfolio-sponsor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workroom-portfolio-sponsor.js","sourceRoot":"","sources":["../../src/workroom-runtime/workroom-portfolio-sponsor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EACL,6BAA6B,GAE9B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,2BAA2B,GAM5B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,gCAAgC,GAEjC,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EACL,4BAA4B,EAC5B,uBAAuB,IAAI,UAAU,EACrC,4BAA4B,IAAI,MAAM,GACvC,MAAM,gCAAgC,CAAC;AAmExC;;;;GAIG;AACH,MAAM,UAAU,8CAA8C,CAAC,OAG7D;IACA,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,CAAC,IAAI,CACR,WAAmB,EACnB,sBAA8D;YAE9D,MAAM,WAAW,GAAG,sBAAsB,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;YAChE,IAAI,CAAC,WAAW,IAAI,WAAW,KAAK,sBAAsB,CAAC,WAAW,EAAE,CAAC;gBACvE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,WAAoB,EAAE,CAAC,CAAC;YACzD,CAAC;YACD,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC1D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YAC3D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,WAAoB,EAAE,CAAC,CAAC;YACpF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;gBACnC,MAAM,aAAa,GAAG,MAAM,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC;oBACtD,WAAW,EAAE,SAAS;oBACtB,SAAS;oBACT,oBAAoB,EAAE,WAAW;oBACjC,aAAa,EAAE,eAAe;iBAC/B,CAAC,CAAC;gBACH,IAAI,CAAC,aAAa;oBAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,WAAoB,EAAE,CAAC,CAAC;YAC7E,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAgB,EAAE,UAAU,EAAE,CAAC,CAAC;QACjE,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,qCAAqC,GAAG,sBAAsB,CACzE,gDAAgD,EAChD,2EAA2E,CAC5E,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,sBAAsB,CAChE,sCAAsC,EACtC,8DAA8D,CAC/D,CAAC;AAEF,gGAAgG;AAChG,MAAM,UAAU,6CAA6C,CAAC,OAI5D;IACA,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,CAAC,KAAK,CAAC,KAAoC;YAC9C,OAAO,CAAC,gBAAgB,CAAC,cAAc,EAAE,CAAC;YAC1C,IAAI,CAAC,kCAAkC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBAChE,OAAO,OAAO,CAAC,QAAQ;oBACrB,CAAC,CAAC,MAAM,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;oBACrC,CAAC,CAAC,oBAAoB,CAAC,wBAAwB,CAAC,CAAC;YACrD,CAAC;YACD,IAAI,KAAK,CAAC,oBAAoB,KAAK,uBAAuB,EAAE,CAAC;gBAC3D,OAAO,oBAAoB,CAAC,sBAAsB,CAAC,CAAC;YACtD,CAAC;YACD,MAAM,MAAM,GAAG,iCAAiC,CAAC,KAAK,CAAC,CAAC;YACxD,IAAI,CAAC,MAAM;gBAAE,OAAO,oBAAoB,CAAC,wBAAwB,CAAC,CAAC;YACnE,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI;gBAAE,OAAO,oBAAoB,CAAC,sBAAsB,CAAC,CAAC;YAC/D,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,OAAO,EAAE;gBACxE,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,oCAAoC,CAAC;aAC/E,CAAC,CAAC;YACH,OAAO,CAAC,gBAAgB,CAAC,cAAc,EAAE,CAAC;YAC1C,MAAM,UAAU,GAAG,qBAAqB,MAAM,CAAC;gBAC7C,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS;aACpC,CAAC,EAAE,CAAC;YACL,OAAO,UAAU,CAAC;gBAChB,MAAM,EAAE,YAAqB;gBAC7B,UAAU;gBACV,aAAa,EAAE,MAAM,CAAC;oBACpB,OAAO,EAAE,CAAC;oBACV,IAAI,EAAE,2BAA2B;oBACjC,eAAe,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC;oBAC3D,WAAW,EAAE,MAAM,CAAC,WAAW;oBAC/B,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;oBACrC,gBAAgB,EAAE,UAAU,CAAC,MAAM;iBACpC,CAAC;aACH,CAAC,CAAC;QACL,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,OAAO,+BAA+B;IAGrB;IAFZ,aAAa,GAAG,IAAI,GAAG,EAAyC,CAAC;IAE1E,YAAqB,OAInB;QAJmB,YAAO,GAAP,OAAO,CAI1B;QACA,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAC7C,CAAC;IAED,KAAK,CAAC,OAAO,CACX,WAAmB,EACnB,KAA8B,EAC9B,sBAA8D;QAE9D,MAAM,EAAE,GAAG,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;QAChD,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,CAAC;QACvC,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACrD,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC;YAC3D,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU;YACnC,WAAW,EAAE,EAAE;YACf,cAAc,EAAE,KAAK,CAAC,QAAQ;YAC9B,OAAO;YACP,aAAa;YACb,iBAAiB,EAAE,UAAU;YAC7B,sBAAsB,EAAE,MAAM,CAAC,MAAM,CAAC;gBACpC,WAAW,EAAE,QAAQ,CAAC,sBAAsB,EAAE,WAAW,EAAE,oCAAoC,CAAC;aACjG,CAAC;SACH,CAAC,CAAC;QACH,mBAAmB,CAAC,aAAa,EAAE,KAAK,CAAC,QAAQ,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;QAC9E,MAAM,WAAW,CAAC,qBAAqB,CAAC,UAAU,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;QACjF,OAAO,gCAAgC,CAAC,MAAM,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,WAAmB;QAC5B,OAAO,gCAAgC,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAChH,CAAC;IAED,YAAY,CAAC,WAAmB;QAC9B,IAAI,WAAW,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACtD,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,WAAW,GAAG,IAAI,6BAA6B,CAAC;gBAC9C,WAAW;gBACX,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU;gBACnC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,kBAAkB,CAAC,QAAQ,CAAC,EAAE,EAAE;aAChF,CAAC,CAAC;YACH,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;QACnD,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC;CACF;AAED,qGAAqG;AACrG,MAAM,UAAU,6CAA6C,CAC3D,OAAsC;IAEtC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,CAAC,SAAS,CAAC,KAAuE;YACrF,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,CAAC;YACtC,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,sBAAsB,CAAC,WAAW,EAAE,oCAAoC,CAAC,CAAC;YAC7G,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,iBAAiB,EAAE,CAAC;gBAChD,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;gBAC7D,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,OAAO,KAAK,KAAK,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;oBAC/F,OAAO,SAAS,CAAC;gBACnB,CAAC;YACH,CAAC;YACD,MAAM,YAAY,GAAG;gBACnB,uCAAuC,EAAE,QAAQ,CAAC,QAAQ,EAAE,WAAW;aACxE,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpC,MAAM,YAAY,GAAG,MAAM,CAAC;gBAC1B,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc;gBAChF,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,eAAe,EAAE,QAAQ,CAAC,QAAQ,EAAE,WAAW;aACpF,CAAC,CAAC;YACH,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,aAAa,EAAE,KAAK,CAAC,aAAa;gBAClC,cAAc,EAAE,KAAK,CAAC,cAAc;gBACpC,YAAY;gBACZ,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,SAAiC,EAAE,EAAE,CAAC;oBACjH,SAAS,CAAC,SAAS;oBACnB,MAAM,CAAC,MAAM,CAAC;wBACZ,WAAW;wBACX,YAAY;wBACZ,YAAY;wBACZ,YAAY,EAAE,MAAM,CAAC,SAAS,CAAC;wBAC/B,gBAAgB,EAAE,SAAS,CAAC,QAAQ,GAAG,CAAC;qBACzC,CAAC;iBACH,CAAC,CAAC,CAAC;aACL,CAAC,CAAC;QACL,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CAAC,KAA8B;IAClD,MAAM,MAAM,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,SAAS,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,EAAE,WAAW,EAAE,yBAAyB,EAAE,MAAM,CAAC,CAAC,CAAC;QAC9E,IAAI,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAC1G,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC;YAChF,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC;YACjD,uBAAuB,EAAE,QAAQ,CAAC,KAAK,CAAC,uBAAuB,EAAE,yBAAyB,CAAC,EAAE,CAAC,CAAC;IACnG,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAChC,SAAS,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,EAAE,WAAW,EAAE,yBAAyB,EAAE,QAAQ,CAAC,CAAC,CAAC;QAChF,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,wBAAwB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3E,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACvD,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC;YAChF,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC;YACjD,uBAAuB,EAAE,QAAQ,CAAC,KAAK,CAAC,uBAAuB,EAAE,yBAAyB,CAAC,EAAE,CAAC,CAAC;IACnG,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACrC,SAAS,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,EAAE,eAAe,EAAE,aAAa,EAAE,cAAc;YACzE,sBAAsB,EAAE,oBAAoB,CAAC,CAAC,CAAC;QACjD,MAAM,aAAa,GAAG,QAAQ,CAAC,KAAK,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;QACrE,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;QAC/D,IAAI,aAAa,KAAK,WAAW;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;QAC3F,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC;YAChF,aAAa,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,cAAc,CAAC;YACtF,oBAAoB,EAAE,QAAQ,CAAC,KAAK,CAAC,oBAAoB,EAAE,sBAAsB,CAAC;YAClF,kBAAkB,EAAE,QAAQ,CAAC,KAAK,CAAC,kBAAkB,EAAE,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,iCAAiC,CAAC,KAAoC;IAI7E,MAAM,MAAM,GAAG,0CAA0C,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAClF,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;IACvD,IAAI,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,4BAA4B,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC9D,IAAI,MAAM,EAAE,CAAC;QACX,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACpD,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC;IACzD,CAAC;SAAM,IAAI,KAAK,CAAC,eAAe,EAAE,SAAS,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;QAChE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,KAAK,GAAG,qDAAqD,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACpF,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,UAAU,CAAC;YAChB,WAAW;YACX,OAAO,EAAE;gBACP,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBAC5D,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC;gBACjD,uBAAuB,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,yBAAyB,CAAC;gBAC9E,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,WAAW,EAAmB;aAC/C;SACF,CAAC,CAAC;IACL,CAAC;IACD,KAAK,GAAG,qEAAqE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAChG,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,UAAU,CAAC;YAChB,WAAW;YACX,OAAO,EAAE;gBACP,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBAC9D,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC;gBACjD,uBAAuB,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,yBAAyB,CAAC;gBAC9E,MAAM,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,WAAW,EAA4B;aAC1D;SACF,CAAC,CAAC;IACL,CAAC;IACD,KAAK,GAAG,6DAA6D,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,OAAO,UAAU,CAAC;QAChB,WAAW;QACX,OAAO,EAAE;YACP,IAAI,EAAE,iBAAiB,EAAE,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;YACnE,aAAa,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,eAAe,CAAC;YACzD,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC;YAC9C,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC;YACxD,oBAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,sBAAsB,CAAC;YACxE,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,oBAAoB,CAAC;SACrE;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,oBAAoB,CAC3B,MAAyD;IAEzD,OAAO,UAAU,CAAC,EAAE,MAAM,EAAE,wBAAiC,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,iBAAiB,CACxB,KAA8B,EAC9B,OAAgC;IAEhC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACjF,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjE,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;QACtF,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,uBAAuB;YAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QACvH,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,2BAA2B,CAAC;gBAChD,GAAG,OAAO;gBACV,QAAQ,EAAE,OAAO,CAAC,QAAQ,GAAG,CAAC;gBAC9B,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;aACvF,CAAC,CAAC,CAAC,CAAC;IACP,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IAC3F,MAAM,EAAE,GAAG,cAAc,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACrF,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC,oBAAoB,IAAI,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC,kBAAkB,EAAE,CAAC;QACjG,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,IAAI,CAAC,gBAAgB,GAAG,OAAO,CAAC,YAAY;QAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvH,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,2BAA2B,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,GAAG,CAAC;YAChE,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC;QACnE,2BAA2B,CAAC,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,GAAG,CAAC;YAC5D,gBAAgB,EAAE,EAAE,CAAC,gBAAgB,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC;KAClE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAuD,EACvD,cAAsB,EACtB,aAAqB,EACrB,UAA6C;IAE7C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,cAAc,KAAK,cAAc,IAAI,KAAK,CAAC,aAAa,KAAK,aAAa;WACzF,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,cAAc,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;IACjF,CAAC;IACD,SAAS,CAAC,KAAK,EAAE,CAAC,eAAe,EAAE,gBAAgB,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC,CAAC;IACvF,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3E,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAyC,EAAE,SAAiB;IAClF,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,SAAS,EAAE,CAAC,CAAC;IACtE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,KAAa,EAAE,YAA+B;IAC/D,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,MAAM,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAClG,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc,EAAE,KAAa;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,KAAK,KAAK,CAAC,IAAI,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;IACjH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc,EAAE,KAAa;IAC7C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;IAC9F,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC"}

package/lib/workroom-runtime/workroom-preemption-runtime.d.ts

@@ -0,0 +1,57 @@
+import type { AssignmentExecutionEnvelope } from '../workroom/assignment-executor.js';
+import type { WorkroomJournal } from '../workroom/journal/index.js';
+import { type WorkroomPreemptionState } from '../workroom/workroom-preemption.js';
+import type { WorkroomKernel } from '../workroom/workroom-kernel.js';
+export interface WorkroomCheckpointTransportRequest {
+    readonly version: 1;
+    readonly transport: 'local' | 'remote';
+    readonly preemption: WorkroomPreemptionState;
+    readonly envelope: AssignmentExecutionEnvelope;
+    readonly remoteEndpointId?: string;
+}
+/** A typed producer control transport. It can request a checkpoint, never acknowledge one. */
+export interface WorkroomCheckpointDeliveryProviderPort {
+    request(input: WorkroomCheckpointTransportRequest, signal: AbortSignal): Promise<void>;
+}
+export declare const workroomCheckpointDeliveryProviderToken: import("@zhin.js/plugin-runtime").Token<WorkroomCheckpointDeliveryProviderPort>;
+export declare const workroomPreemptionRuntimeToken: import("@zhin.js/plugin-runtime").Token<WorkroomPreemptionRuntime>;
+export declare class WorkroomCheckpointDeliveryUnavailableError extends Error {
+    readonly preemption: WorkroomPreemptionState;
+    readonly reason: 'provider_unavailable' | 'issuance_unavailable' | 'assignment_stale' | 'lease_expired' | 'deadline_expired';
+    constructor(preemption: WorkroomPreemptionState, reason: 'provider_unavailable' | 'issuance_unavailable' | 'assignment_stale' | 'lease_expired' | 'deadline_expired');
+}
+export interface WorkroomAssignmentCheckpointDeliveryOptions {
+    readonly kernel: Pick<WorkroomKernel, 'read' | 'listLocalAssignmentIssuances' | 'listRemoteAssignmentIssuances'>;
+    readonly resolveProvider: () => WorkroomCheckpointDeliveryProviderPort | undefined;
+}
+/** Joins one durable preemption request to its exact persisted Local/Remote producer. */
+export declare class WorkroomAssignmentCheckpointDelivery {
+    readonly options: WorkroomAssignmentCheckpointDeliveryOptions;
+    constructor(options: WorkroomAssignmentCheckpointDeliveryOptions);
+    request(preemption: WorkroomPreemptionState, signal: AbortSignal): Promise<void>;
+}
+export interface WorkroomPreemptionUnavailableControlPort {
+    block(preemption: WorkroomPreemptionState, reason: string): Promise<void>;
+    recover(preemption: WorkroomPreemptionState): Promise<void>;
+}
+export interface WorkroomPreemptionRuntimeOptions {
+    readonly journal: Pick<WorkroomJournal, 'listRunIds' | 'read'>;
+    readonly delivery: WorkroomAssignmentCheckpointDelivery;
+    readonly unavailableControl: WorkroomPreemptionUnavailableControlPort;
+    readonly intervalMs?: number;
+    readonly onError?: (error: unknown) => void;
+}
+export interface WorkroomPreemptionDrainResult {
+    readonly delivered: number;
+    readonly blocked: number;
+}
+/** At-least-once Journal recovery; transport success is deliberately not an ack. */
+export declare class WorkroomPreemptionRuntime {
+    #private;
+    readonly options: WorkroomPreemptionRuntimeOptions;
+    constructor(options: WorkroomPreemptionRuntimeOptions);
+    start(): void;
+    drain(): Promise<WorkroomPreemptionDrainResult>;
+    dispose(): Promise<void>;
+}
+//# sourceMappingURL=workroom-preemption-runtime.d.ts.map

package/lib/workroom-runtime/workroom-preemption-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workroom-preemption-runtime.d.ts","sourceRoot":"","sources":["../../src/workroom-runtime/workroom-preemption-runtime.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACtF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAEL,KAAK,uBAAuB,EAC7B,MAAM,oCAAoC,CAAC;AAC5C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAErE,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,QAAQ,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,uBAAuB,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,2BAA2B,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CACpC;AAED,8FAA8F;AAC9F,MAAM,WAAW,sCAAsC;IACrD,OAAO,CAAC,KAAK,EAAE,kCAAkC,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACxF;AAED,eAAO,MAAM,uCAAuC,iFAIjD,CAAC;AAEJ,eAAO,MAAM,8BAA8B,oEAG1C,CAAC;AAEF,qBAAa,0CAA2C,SAAQ,KAAK;IAEjE,QAAQ,CAAC,UAAU,EAAE,uBAAuB;IAC5C,QAAQ,CAAC,MAAM,EAAE,sBAAsB,GAAG,sBAAsB,GAAG,kBAAkB,GAAG,eAAe,GAAG,kBAAkB;gBADnH,UAAU,EAAE,uBAAuB,EACnC,MAAM,EAAE,sBAAsB,GAAG,sBAAsB,GAAG,kBAAkB,GAAG,eAAe,GAAG,kBAAkB;CAK/H;AAED,MAAM,WAAW,2CAA2C;IAC1D,QAAQ,CAAC,MAAM,EAAE,IAAI,CACnB,cAAc,EACd,MAAM,GAAG,8BAA8B,GAAG,+BAA+B,CAC1E,CAAC;IACF,QAAQ,CAAC,eAAe,EAAE,MAAM,sCAAsC,GAAG,SAAS,CAAC;CACpF;AAED,yFAAyF;AACzF,qBAAa,oCAAoC;IACnC,QAAQ,CAAC,OAAO,EAAE,2CAA2C;gBAApD,OAAO,EAAE,2CAA2C;IAEnE,OAAO,CAAC,UAAU,EAAE,uBAAuB,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC;CAmDvF;AAED,MAAM,WAAW,wCAAwC;IACvD,KAAK,CAAC,UAAU,EAAE,uBAAuB,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1E,OAAO,CAAC,UAAU,EAAE,uBAAuB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAC7D;AAED,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,eAAe,EAAE,YAAY,GAAG,MAAM,CAAC,CAAC;IAC/D,QAAQ,CAAC,QAAQ,EAAE,oCAAoC,CAAC;IACxD,QAAQ,CAAC,kBAAkB,EAAE,wCAAwC,CAAC;IACtE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC;CAC7C;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,oFAAoF;AACpF,qBAAa,yBAAyB;;IAOxB,QAAQ,CAAC,OAAO,EAAE,gCAAgC;gBAAzC,OAAO,EAAE,gCAAgC;IAI9D,KAAK,IAAI,IAAI;IAKP,KAAK,IAAI,OAAO,CAAC,6BAA6B,CAAC;IAY/C,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CA4C/B"}