@cats-inc/cats-platform 0.1.0

package/build/server/platform/supervision/runCancellation.js

@@ -0,0 +1,410 @@
+/**
+ * SPEC-096 / PLAN-085 — generic Run stop and Mission cancel service.
+ *
+ * `stopRun` is the canonical primitive: it classifies whether a single
+ * `CoreRunRecord` can be stopped, requests runtime cancellation through
+ * the supervision boundary when an active runtime session exists, and
+ * persists `cancelled` state with append-only audit metadata.
+ * `cancelMission` composes `stopRun` over every active run associated
+ * with a mission.
+ *
+ * Runs without a supervised runtime bridge while in `running` state are
+ * deliberately classified as `not_stoppable` rather than getting a
+ * metadata-only cancellation — the public contract must not lie about
+ * whether the runtime was actually aborted.
+ */
+import { randomUUID } from 'node:crypto';
+import { appendCoreTrace, upsertCoreMission, upsertCoreRun } from '../../core/model/index.js';
+const DEFAULT_REQUESTED_BY = 'actor-owner';
+export class RunCancellationError extends Error {
+    code;
+    constructor(message, code) {
+        super(message);
+        this.code = code;
+        this.name = 'RunCancellationError';
+    }
+}
+/**
+ * Stop a single run. Returns `null` when the run does not exist (callers
+ * map this to HTTP 404).
+ */
+export async function stopRun(dependencies, runId, options = {}) {
+    const now = dependencies.now?.() ?? new Date();
+    const requestedAt = now.toISOString();
+    const command = {
+        commandId: options.idempotencyKey?.trim() || `cancel-${randomUUID()}`,
+        requestedAt,
+        requestedByActorId: options.requestedByActorId?.trim() || DEFAULT_REQUESTED_BY,
+        reason: options.reason?.trim() || null,
+        source: options.source ?? 'run_stop',
+    };
+    const initial = await readRunSnapshot(dependencies.coreStore, runId);
+    if (!initial) {
+        return null;
+    }
+    if (isTerminalRunStatus(initial.run.status)) {
+        return {
+            status: 'already_terminal',
+            run: initial.run,
+            mission: initial.mission,
+            runtimeAbort: notApplicableRuntimeAbort(),
+            message: `Run ${runId} is already ${initial.run.status}.`,
+        };
+    }
+    if (initial.run.status === 'running') {
+        if (!initial.sessionId) {
+            return blockedRunResponse({
+                run: initial.run,
+                mission: initial.mission,
+                message: 'Running run is not stoppable: no supervised runtime session is bridged.',
+                runtimeAbort: { attempted: false, sessionId: null, status: 'not_applicable' },
+            });
+        }
+        if (!dependencies.runtimeClient) {
+            return blockedRunResponse({
+                run: initial.run,
+                mission: initial.mission,
+                message: 'Runtime client is unavailable; cannot request runtime cancellation.',
+                runtimeAbort: {
+                    attempted: false,
+                    sessionId: initial.sessionId,
+                    status: 'failed',
+                    error: 'runtime_client_unavailable',
+                },
+            });
+        }
+        try {
+            await dependencies.runtimeClient.cancelSession(initial.sessionId);
+        }
+        catch (error) {
+            const message = error instanceof Error ? error.message : String(error);
+            return blockedRunResponse({
+                run: initial.run,
+                mission: initial.mission,
+                message: `Runtime cancellation failed: ${message}`,
+                runtimeAbort: {
+                    attempted: true,
+                    sessionId: initial.sessionId,
+                    status: 'failed',
+                    error: message,
+                },
+            });
+        }
+    }
+    const runtimeAbort = initial.run.status === 'running'
+        ? {
+            attempted: true,
+            sessionId: initial.sessionId,
+            status: 'requested',
+        }
+        : initial.sessionId
+            ? {
+                attempted: false,
+                sessionId: initial.sessionId,
+                status: 'not_applicable',
+            }
+            : notApplicableRuntimeAbort();
+    return persistRunCancellation({
+        coreStore: dependencies.coreStore,
+        runId,
+        command,
+        runtimeAbort,
+        now,
+    });
+}
+/**
+ * Cancel a mission and stop every active associated run. Returns `null`
+ * when the mission does not exist.
+ */
+export async function cancelMission(dependencies, missionId, options = {}) {
+    const now = dependencies.now?.() ?? new Date();
+    const requestedAt = now.toISOString();
+    const command = {
+        commandId: options.idempotencyKey?.trim() || `cancel-${randomUUID()}`,
+        requestedAt,
+        requestedByActorId: options.requestedByActorId?.trim() || DEFAULT_REQUESTED_BY,
+        reason: options.reason?.trim() || null,
+        source: 'mission_cancel',
+    };
+    const core = await dependencies.coreStore.readCore();
+    const mission = core.missions.find((candidate) => candidate.id === missionId) ?? null;
+    if (!mission) {
+        return null;
+    }
+    if (isTerminalMissionStatus(mission.status)) {
+        return {
+            status: 'already_terminal',
+            mission,
+            runResults: [],
+            blockers: [],
+            message: `Mission ${missionId} is already ${mission.status}.`,
+        };
+    }
+    const activeRuns = core.runs.filter((run) => readRunMissionId(run) === missionId
+        && !isTerminalRunStatus(run.status));
+    const runResults = [];
+    for (const candidate of activeRuns) {
+        const result = await stopRun(dependencies, candidate.id, {
+            ...options,
+            // Cascade the same command id so per-run audit rows correlate with
+            // the mission cancel command.
+            idempotencyKey: command.commandId,
+            source: 'mission_cancel',
+        });
+        if (result) {
+            runResults.push(result);
+        }
+    }
+    const blockers = runResults
+        .filter((result) => result.status === 'not_stoppable')
+        .map((result) => ({
+        runId: result.run.id,
+        reason: result.message ?? 'Run is not stoppable.',
+    }));
+    if (blockers.length > 0) {
+        return {
+            status: 'blocked',
+            mission,
+            runResults,
+            blockers,
+            message: `Mission cancel blocked by ${blockers.length} active run(s).`,
+        };
+    }
+    return persistMissionCancellation({
+        coreStore: dependencies.coreStore,
+        missionId,
+        command,
+        runResults,
+        now,
+    });
+}
+async function readRunSnapshot(coreStore, runId) {
+    const core = await coreStore.readCore();
+    const run = core.runs.find((candidate) => candidate.id === runId) ?? null;
+    if (!run) {
+        return null;
+    }
+    return {
+        run,
+        mission: resolveRunMission(core, run),
+        sessionId: readRuntimeBridgeSessionId(run),
+    };
+}
+function blockedRunResponse(input) {
+    return {
+        status: 'not_stoppable',
+        run: input.run,
+        mission: input.mission,
+        runtimeAbort: input.runtimeAbort,
+        message: input.message,
+    };
+}
+async function persistRunCancellation(input) {
+    let result = null;
+    await input.coreStore.updateCore((core) => {
+        const latestRun = core.runs.find((candidate) => candidate.id === input.runId) ?? null;
+        if (!latestRun) {
+            throw new RunCancellationError(`Run ${input.runId} disappeared during cancellation.`, 'run_not_found');
+        }
+        if (isTerminalRunStatus(latestRun.status)) {
+            result = {
+                status: 'already_terminal',
+                run: latestRun,
+                mission: resolveRunMission(core, latestRun),
+                runtimeAbort: notApplicableRuntimeAbort(),
+                message: `Run ${input.runId} reached ${latestRun.status} before cancellation persisted.`,
+            };
+            return core;
+        }
+        const cancellationMetadata = {
+            source: input.command.source,
+            commandId: input.command.commandId,
+            requestedAt: input.command.requestedAt,
+            requestedByActorId: input.command.requestedByActorId,
+            reason: input.command.reason,
+            status: 'succeeded',
+            runtimeAbort: input.runtimeAbort,
+        };
+        const nextMetadata = appendRunCancellationMetadata(latestRun.metadata, cancellationMetadata, { runtimeAbort: input.runtimeAbort, requestedAt: input.command.requestedAt });
+        const completedAt = input.command.requestedAt;
+        const summary = input.command.source === 'schedule_replace'
+            ? 'Cancelled scheduled run for replacement.'
+            : input.command.source === 'mission_cancel'
+                ? 'Cancelled by mission cancel command.'
+                : 'Cancelled by run stop command.';
+        const upsertResult = upsertCoreRun(core, {
+            id: latestRun.id,
+            title: latestRun.title,
+            status: 'cancelled',
+            startedAt: latestRun.startedAt,
+            completedAt,
+            summary,
+            metadata: nextMetadata,
+        }, input.now);
+        const traced = appendCoreTrace(upsertResult.core, {
+            id: `${latestRun.id}:${input.command.commandId}`,
+            traceId: latestRun.traceId ?? `trace-${latestRun.id}`,
+            kind: 'outcome',
+            conversationId: latestRun.conversationId,
+            runId: latestRun.id,
+            taskId: latestRun.taskId,
+            actorId: latestRun.orchestratorActorId ?? input.command.requestedByActorId,
+            message: cancellationTraceMessage(input.command, input.runtimeAbort),
+            metadata: {
+                source: input.command.source,
+                commandId: input.command.commandId,
+                requestedByActorId: input.command.requestedByActorId,
+                reason: input.command.reason,
+                runtimeAbort: input.runtimeAbort,
+            },
+        }, input.now);
+        const persistedRun = traced.core.runs.find((candidate) => candidate.id === latestRun.id)
+            ?? upsertResult.run;
+        result = {
+            status: 'stopped',
+            run: persistedRun,
+            mission: resolveRunMission(traced.core, persistedRun),
+            runtimeAbort: input.runtimeAbort,
+            message: null,
+        };
+        return traced.core;
+    });
+    if (!result) {
+        throw new RunCancellationError(`Run cancellation did not persist a result for ${input.runId}.`, 'cancellation_no_result');
+    }
+    return result;
+}
+async function persistMissionCancellation(input) {
+    let result = null;
+    await input.coreStore.updateCore((core) => {
+        const latestMission = core.missions.find((candidate) => candidate.id === input.missionId)
+            ?? null;
+        if (!latestMission) {
+            throw new RunCancellationError(`Mission ${input.missionId} disappeared during cancellation.`, 'mission_not_found');
+        }
+        if (isTerminalMissionStatus(latestMission.status)) {
+            result = {
+                status: 'already_terminal',
+                mission: latestMission,
+                runResults: input.runResults,
+                blockers: [],
+                message: `Mission ${input.missionId} reached ${latestMission.status} before cancellation persisted.`,
+            };
+            return core;
+        }
+        const cancellationMetadata = {
+            source: input.command.source,
+            commandId: input.command.commandId,
+            requestedAt: input.command.requestedAt,
+            requestedByActorId: input.command.requestedByActorId,
+            reason: input.command.reason,
+            status: 'succeeded',
+            runtimeAbort: notApplicableRuntimeAbort(),
+        };
+        const nextMetadata = {
+            ...latestMission.metadata,
+            cancellation: appendCancellationEntry(latestMission.metadata.cancellation, cancellationMetadata),
+        };
+        const upsertResult = upsertCoreMission(core, {
+            id: latestMission.id,
+            title: latestMission.title,
+            status: 'cancelled',
+            conversationId: latestMission.conversationId,
+            assignedAgentId: latestMission.assignedAgentId,
+            summary: latestMission.summary,
+            createdAt: latestMission.createdAt,
+            metadata: nextMetadata,
+        }, input.now);
+        result = {
+            status: 'cancelled',
+            mission: upsertResult.mission,
+            runResults: input.runResults,
+            blockers: [],
+            message: null,
+        };
+        return upsertResult.core;
+    });
+    if (!result) {
+        throw new RunCancellationError(`Mission cancellation did not persist a result for ${input.missionId}.`, 'cancellation_no_result');
+    }
+    return result;
+}
+function appendRunCancellationMetadata(existing, entry, bridgeUpdate) {
+    const metadata = { ...(existing ?? {}) };
+    metadata.cancellation = appendCancellationEntry(metadata.cancellation, entry);
+    // Only update runtimeBridge when the metadata block already exists; we
+    // don't synthesize one for runs that never had supervision wiring.
+    const supervision = asRecord(metadata.supervision);
+    const existingBridge = supervision ? asRecord(supervision.runtimeBridge) : null;
+    if (supervision && existingBridge) {
+        metadata.supervision = {
+            ...supervision,
+            runtimeBridge: {
+                ...existingBridge,
+                status: 'cancel_requested',
+                cancelRequestedAt: bridgeUpdate.requestedAt,
+                cancelRuntimeAbort: bridgeUpdate.runtimeAbort,
+            },
+        };
+    }
+    return metadata;
+}
+function appendCancellationEntry(existing, entry) {
+    const list = Array.isArray(existing)
+        ? existing.filter((candidate) => isCancellationEntry(candidate))
+        : [];
+    return [...list, entry];
+}
+function isCancellationEntry(value) {
+    if (!value || typeof value !== 'object' || Array.isArray(value)) {
+        return false;
+    }
+    const candidate = value;
+    return typeof candidate.commandId === 'string' && typeof candidate.source === 'string';
+}
+function notApplicableRuntimeAbort() {
+    return { attempted: false, sessionId: null, status: 'not_applicable' };
+}
+function isTerminalRunStatus(status) {
+    return status === 'completed' || status === 'failed' || status === 'cancelled';
+}
+function isTerminalMissionStatus(status) {
+    return status === 'completed' || status === 'failed' || status === 'cancelled';
+}
+function readRunMissionId(run) {
+    const value = run.metadata.missionId;
+    return typeof value === 'string' && value.trim().length > 0 ? value : null;
+}
+function resolveRunMission(core, run) {
+    const missionId = readRunMissionId(run);
+    return missionId
+        ? core.missions.find((candidate) => candidate.id === missionId) ?? null
+        : null;
+}
+function readRuntimeBridgeSessionId(run) {
+    const supervision = asRecord(run.metadata.supervision);
+    const bridge = supervision ? asRecord(supervision.runtimeBridge) : null;
+    if (!bridge) {
+        return null;
+    }
+    const sessionId = bridge.sessionId;
+    return typeof sessionId === 'string' && sessionId.trim().length > 0
+        ? sessionId
+        : null;
+}
+function cancellationTraceMessage(command, runtimeAbort) {
+    const parts = [`Run cancelled by ${command.source}`];
+    if (runtimeAbort.attempted && runtimeAbort.sessionId) {
+        parts.push(`runtime session ${runtimeAbort.sessionId} cancellation requested`);
+    }
+    if (command.reason) {
+        parts.push(`reason: ${command.reason}`);
+    }
+    return parts.join('; ');
+}
+function asRecord(value) {
+    return value && typeof value === 'object' && !Array.isArray(value)
+        ? value
+        : null;
+}
+//# sourceMappingURL=runCancellation.js.map

package/build/server/platform/supervision/runCancellation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runCancellation.js","sourceRoot":"","sources":["../../../../src/platform/supervision/runCancellation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAiB9F,MAAM,oBAAoB,GAAG,aAAa,CAAC;AAqB3C,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IACP;IAAtC,YAAY,OAAe,EAAW,IAAY;QAChD,KAAK,CAAC,OAAO,CAAC,CAAC;QADqB,SAAI,GAAJ,IAAI,CAAQ;QAEhD,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAC3B,YAAyC,EACzC,KAAa,EACb,UAA0B,EAAE;IAE5B,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;IAC/C,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;IACtC,MAAM,OAAO,GAAoB;QAC/B,SAAS,EAAE,OAAO,CAAC,cAAc,EAAE,IAAI,EAAE,IAAI,UAAU,UAAU,EAAE,EAAE;QACrE,WAAW;QACX,kBAAkB,EAChB,OAAO,CAAC,kBAAkB,EAAE,IAAI,EAAE,IAAI,oBAAoB;QAC5D,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,IAAI;QACtC,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,UAAU;KACrC,CAAC;IAEF,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACrE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,mBAAmB,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,OAAO;YACL,MAAM,EAAE,kBAAkB;YAC1B,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,YAAY,EAAE,yBAAyB,EAAE;YACzC,OAAO,EAAE,OAAO,KAAK,eAAe,OAAO,CAAC,GAAG,CAAC,MAAM,GAAG;SAC1D,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACrC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;YACvB,OAAO,kBAAkB,CAAC;gBACxB,GAAG,EAAE,OAAO,CAAC,GAAG;gBAChB,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,OAAO,EACL,yEAAyE;gBAC3E,YAAY,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE;aAC9E,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,aAAa,EAAE,CAAC;YAChC,OAAO,kBAAkB,CAAC;gBACxB,GAAG,EAAE,OAAO,CAAC,GAAG;gBAChB,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,OAAO,EACL,qEAAqE;gBACvE,YAAY,EAAE;oBACZ,SAAS,EAAE,KAAK;oBAChB,SAAS,EAAE,OAAO,CAAC,SAAS;oBAC5B,MAAM,EAAE,QAAQ;oBAChB,KAAK,EAAE,4BAA4B;iBACpC;aACF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC;YACH,MAAM,YAAY,CAAC,aAAa,CAAC,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACpE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACvE,OAAO,kBAAkB,CAAC;gBACxB,GAAG,EAAE,OAAO,CAAC,GAAG;gBAChB,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,OAAO,EAAE,gCAAgC,OAAO,EAAE;gBAClD,YAAY,EAAE;oBACZ,SAAS,EAAE,IAAI;oBACf,SAAS,EAAE,OAAO,CAAC,SAAS;oBAC5B,MAAM,EAAE,QAAQ;oBAChB,KAAK,EAAE,OAAO;iBACf;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAChB,OAAO,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS;QAC9B,CAAC,CAAC;YACE,SAAS,EAAE,IAAI;YACf,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,MAAM,EAAE,WAAW;SACpB;QACH,CAAC,CAAC,OAAO,CAAC,SAAS;YACjB,CAAC,CAAC;gBACE,SAAS,EAAE,KAAK;gBAChB,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,MAAM,EAAE,gBAAgB;aACzB;YACH,CAAC,CAAC,yBAAyB,EAAE,CAAC;IAEpC,OAAO,sBAAsB,CAAC;QAC5B,SAAS,EAAE,YAAY,CAAC,SAAS;QACjC,KAAK;QACL,OAAO;QACP,YAAY;QACZ,GAAG;KACJ,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,YAAyC,EACzC,SAAiB,EACjB,UAAgC,EAAE;IAElC,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;IAC/C,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;IACtC,MAAM,OAAO,GAAoB;QAC/B,SAAS,EAAE,OAAO,CAAC,cAAc,EAAE,IAAI,EAAE,IAAI,UAAU,UAAU,EAAE,EAAE;QACrE,WAAW;QACX,kBAAkB,EAChB,OAAO,CAAC,kBAAkB,EAAE,IAAI,EAAE,IAAI,oBAAoB;QAC5D,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,IAAI;QACtC,MAAM,EAAE,gBAAgB;KACzB,CAAC;IAEF,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;IACrD,MAAM,OAAO,GACX,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,IAAI,IAAI,CAAC;IACxE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,uBAAuB,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,OAAO;YACL,MAAM,EAAE,kBAAkB;YAC1B,OAAO;YACP,UAAU,EAAE,EAAE;YACd,QAAQ,EAAE,EAAE;YACZ,OAAO,EAAE,WAAW,SAAS,eAAe,OAAO,CAAC,MAAM,GAAG;SAC9D,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CACjC,CAAC,GAAG,EAAE,EAAE,CACN,gBAAgB,CAAC,GAAG,CAAC,KAAK,SAAS;WAChC,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,CACtC,CAAC;IAEF,MAAM,UAAU,GAA0B,EAAE,CAAC;IAC7C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,YAAY,EAAE,SAAS,CAAC,EAAE,EAAE;YACvD,GAAG,OAAO;YACV,mEAAmE;YACnE,8BAA8B;YAC9B,cAAc,EAAE,OAAO,CAAC,SAAS;YACjC,MAAM,EAAE,gBAAgB;SACzB,CAAC,CAAC;QACH,IAAI,MAAM,EAAE,CAAC;YACX,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU;SACxB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,eAAe,CAAC;SACrD,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;QACpB,MAAM,EAAE,MAAM,CAAC,OAAO,IAAI,uBAAuB;KAClD,CAAC,CAAC,CAAC;IAEN,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,OAAO;YACP,UAAU;YACV,QAAQ;YACR,OAAO,EAAE,6BAA6B,QAAQ,CAAC,MAAM,iBAAiB;SACvE,CAAC;IACJ,CAAC;IAED,OAAO,0BAA0B,CAAC;QAChC,SAAS,EAAE,YAAY,CAAC,SAAS;QACjC,SAAS;QACT,OAAO;QACP,UAAU;QACV,GAAG;KACJ,CAAC,CAAC;AACL,CAAC;AAgBD,KAAK,UAAU,eAAe,CAC5B,SAAoB,EACpB,KAAa;IAEb,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,QAAQ,EAAE,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC;IAC1E,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,GAAG;QACH,OAAO,EAAE,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC;QACrC,SAAS,EAAE,0BAA0B,CAAC,GAAG,CAAC;KAC3C,CAAC;AACJ,CAAC;AASD,SAAS,kBAAkB,CAAC,KAAsB;IAChD,OAAO;QACL,MAAM,EAAE,eAAe;QACvB,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC;AACJ,CAAC;AAUD,KAAK,UAAU,sBAAsB,CACnC,KAAkC;IAElC,IAAI,MAAM,GAA+B,IAAI,CAAC;IAC9C,MAAM,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE;QACxC,MAAM,SAAS,GACb,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;QACtE,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,MAAM,IAAI,oBAAoB,CAC5B,OAAO,KAAK,CAAC,KAAK,mCAAmC,EACrD,eAAe,CAChB,CAAC;QACJ,CAAC;QACD,IAAI,mBAAmB,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,MAAM,GAAG;gBACP,MAAM,EAAE,kBAAkB;gBAC1B,GAAG,EAAE,SAAS;gBACd,OAAO,EAAE,iBAAiB,CAAC,IAAI,EAAE,SAAS,CAAC;gBAC3C,YAAY,EAAE,yBAAyB,EAAE;gBACzC,OAAO,EAAE,OAAO,KAAK,CAAC,KAAK,YAAY,SAAS,CAAC,MAAM,iCAAiC;aACzF,CAAC;YACF,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,oBAAoB,GAA6B;YACrD,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;YAC5B,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS;YAClC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW;YACtC,kBAAkB,EAAE,KAAK,CAAC,OAAO,CAAC,kBAAkB;YACpD,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;YAC5B,MAAM,EAAE,WAAW;YACnB,YAAY,EAAE,KAAK,CAAC,YAAY;SACjC,CAAC;QAEF,MAAM,YAAY,GAAG,6BAA6B,CAChD,SAAS,CAAC,QAAQ,EAClB,oBAAoB,EACpB,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,CAC7E,CAAC;QAEF,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;QAC9C,MAAM,OAAO,GACX,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,kBAAkB;YACzC,CAAC,CAAC,0CAA0C;YAC5C,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,gBAAgB;gBACzC,CAAC,CAAC,sCAAsC;gBACxC,CAAC,CAAC,gCAAgC,CAAC;QAEzC,MAAM,YAAY,GAAG,aAAa,CAChC,IAAI,EACJ;YACE,EAAE,EAAE,SAAS,CAAC,EAAE;YAChB,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,MAAM,EAAE,WAAW;YACnB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,WAAW;YACX,OAAO;YACP,QAAQ,EAAE,YAAY;SACvB,EACD,KAAK,CAAC,GAAG,CACV,CAAC;QAEF,MAAM,MAAM,GAAG,eAAe,CAC5B,YAAY,CAAC,IAAI,EACjB;YACE,EAAE,EAAE,GAAG,SAAS,CAAC,EAAE,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE;YAChD,OAAO,EAAE,SAAS,CAAC,OAAO,IAAI,SAAS,SAAS,CAAC,EAAE,EAAE;YACrD,IAAI,EAAE,SAAS;YACf,cAAc,EAAE,SAAS,CAAC,cAAc;YACxC,KAAK,EAAE,SAAS,CAAC,EAAE;YACnB,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,OAAO,EACL,SAAS,CAAC,mBAAmB,IAAI,KAAK,CAAC,OAAO,CAAC,kBAAkB;YACnE,OAAO,EAAE,wBAAwB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC;YACpE,QAAQ,EAAE;gBACR,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;gBAC5B,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS;gBAClC,kBAAkB,EAAE,KAAK,CAAC,OAAO,CAAC,kBAAkB;gBACpD,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;gBAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;aACjC;SACF,EACD,KAAK,CAAC,GAAG,CACV,CAAC;QAEF,MAAM,YAAY,GAChB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CAAC;eAChE,YAAY,CAAC,GAAG,CAAC;QACtB,MAAM,GAAG;YACP,MAAM,EAAE,SAAS;YACjB,GAAG,EAAE,YAAY;YACjB,OAAO,EAAE,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC;YACrD,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,OAAO,EAAE,IAAI;SACd,CAAC;QACF,OAAO,MAAM,CAAC,IAAI,CAAC;IACrB,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,oBAAoB,CAC5B,iDAAiD,KAAK,CAAC,KAAK,GAAG,EAC/D,wBAAwB,CACzB,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAUD,KAAK,UAAU,0BAA0B,CACvC,KAAsC;IAEtC,IAAI,MAAM,GAAqC,IAAI,CAAC;IACpD,MAAM,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE;QACxC,MAAM,aAAa,GACjB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,CAAC,SAAS,CAAC;eAChE,IAAI,CAAC;QACV,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,MAAM,IAAI,oBAAoB,CAC5B,WAAW,KAAK,CAAC,SAAS,mCAAmC,EAC7D,mBAAmB,CACpB,CAAC;QACJ,CAAC;QACD,IAAI,uBAAuB,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;YAClD,MAAM,GAAG;gBACP,MAAM,EAAE,kBAAkB;gBAC1B,OAAO,EAAE,aAAa;gBACtB,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,QAAQ,EAAE,EAAE;gBACZ,OAAO,EAAE,WAAW,KAAK,CAAC,SAAS,YAAY,aAAa,CAAC,MAAM,iCAAiC;aACrG,CAAC;YACF,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,oBAAoB,GAA6B;YACrD,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;YAC5B,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS;YAClC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW;YACtC,kBAAkB,EAAE,KAAK,CAAC,OAAO,CAAC,kBAAkB;YACpD,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;YAC5B,MAAM,EAAE,WAAW;YACnB,YAAY,EAAE,yBAAyB,EAAE;SAC1C,CAAC;QAEF,MAAM,YAAY,GAA4B;YAC5C,GAAG,aAAa,CAAC,QAAQ;YACzB,YAAY,EAAE,uBAAuB,CACnC,aAAa,CAAC,QAAQ,CAAC,YAAY,EACnC,oBAAoB,CACrB;SACF,CAAC;QAEF,MAAM,YAAY,GAAG,iBAAiB,CACpC,IAAI,EACJ;YACE,EAAE,EAAE,aAAa,CAAC,EAAE;YACpB,KAAK,EAAE,aAAa,CAAC,KAAK;YAC1B,MAAM,EAAE,WAAW;YACnB,cAAc,EAAE,aAAa,CAAC,cAAc;YAC5C,eAAe,EAAE,aAAa,CAAC,eAAe;YAC9C,OAAO,EAAE,aAAa,CAAC,OAAO;YAC9B,SAAS,EAAE,aAAa,CAAC,SAAS;YAClC,QAAQ,EAAE,YAAY;SACvB,EACD,KAAK,CAAC,GAAG,CACV,CAAC;QAEF,MAAM,GAAG;YACP,MAAM,EAAE,WAAW;YACnB,OAAO,EAAE,YAAY,CAAC,OAAO;YAC7B,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,QAAQ,EAAE,EAAE;YACZ,OAAO,EAAE,IAAI;SACd,CAAC;QACF,OAAO,YAAY,CAAC,IAAI,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,oBAAoB,CAC5B,qDAAqD,KAAK,CAAC,SAAS,GAAG,EACvE,wBAAwB,CACzB,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,6BAA6B,CACpC,QAAoD,EACpD,KAA+B,EAC/B,YAAqE;IAErE,MAAM,QAAQ,GAA4B,EAAE,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;IAClE,QAAQ,CAAC,YAAY,GAAG,uBAAuB,CAC7C,QAAQ,CAAC,YAAY,EACrB,KAAK,CACN,CAAC;IAEF,uEAAuE;IACvE,mEAAmE;IACnE,MAAM,WAAW,GAAG,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACnD,MAAM,cAAc,GAAG,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChF,IAAI,WAAW,IAAI,cAAc,EAAE,CAAC;QAClC,QAAQ,CAAC,WAAW,GAAG;YACrB,GAAG,WAAW;YACd,aAAa,EAAE;gBACb,GAAG,cAAc;gBACjB,MAAM,EAAE,kBAAkB;gBAC1B,iBAAiB,EAAE,YAAY,CAAC,WAAW;gBAC3C,kBAAkB,EAAE,YAAY,CAAC,YAAY;aAC9C;SACF,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,uBAAuB,CAC9B,QAAiB,EACjB,KAA+B;IAE/B,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAClC,CAAC,CAAE,QAAQ,CAAC,MAAM,CACd,CAAC,SAAS,EAAyC,EAAE,CACnD,mBAAmB,CAAC,SAAS,CAAC,CACF;QAClC,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc;IACzC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,KAA0C,CAAC;IAC7D,OAAO,OAAO,SAAS,CAAC,SAAS,KAAK,QAAQ,IAAI,OAAO,SAAS,CAAC,MAAM,KAAK,QAAQ,CAAC;AACzF,CAAC;AAED,SAAS,yBAAyB;IAChC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,mBAAmB,CAAC,MAA+B;IAC1D,OAAO,MAAM,KAAK,WAAW,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,WAAW,CAAC;AACjF,CAAC;AAED,SAAS,uBAAuB,CAAC,MAA+B;IAC9D,OAAO,MAAM,KAAK,WAAW,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,WAAW,CAAC;AACjF,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAkB;IAC1C,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC;IACrC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7E,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAmB,EACnB,GAAkB;IAElB,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACxC,OAAO,SAAS;QACd,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,IAAI,IAAI;QACvE,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,0BAA0B,CAAC,GAAkB;IACpD,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;IACnC,OAAO,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QACjE,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,wBAAwB,CAC/B,OAAwB,EACxB,YAA8B;IAE9B,MAAM,KAAK,GAAa,CAAC,oBAAoB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/D,IAAI,YAAY,CAAC,SAAS,IAAI,YAAY,CAAC,SAAS,EAAE,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,mBAAmB,YAAY,CAAC,SAAS,yBAAyB,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,WAAW,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAChE,CAAC,CAAE,KAAiC;QACpC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}

package/build/server/platform/supervision/runCancellationContracts.d.ts

@@ -0,0 +1,67 @@
+/**
+ * SPEC-096 / PLAN-085 — public Run stop and Mission cancel contract.
+ *
+ * Types are kept in a dedicated module so renderer/route code can pull them
+ * without dragging in the future service implementation. Cross-checked
+ * against `MissionRecord` and `CoreRunRecord` shapes in `src/core/types.ts`.
+ */
+import type { CoreRunRecord, MissionRecord } from '../../core/types.js';
+export type CancellationSource = 'run_stop' | 'mission_cancel' | 'schedule_replace' | 'task_supervised_run_cancel';
+export type RuntimeAbortStatus = 'not_applicable' | 'requested' | 'failed';
+export interface RuntimeAbortInfo {
+    attempted: boolean;
+    sessionId: string | null;
+    status: RuntimeAbortStatus;
+    error?: string;
+}
+/** Optional cancellation request body. Empty body is acceptable in v1. */
+export interface WorkCancellationRequest {
+    requestedByActorId?: string;
+    reason?: string;
+    /**
+     * Caller-supplied idempotency token. The service may persist it on
+     * cancellation metadata so repeated requests are detectable, but the
+     * service itself is structurally idempotent for terminal records.
+     */
+    idempotencyKey?: string;
+}
+export type RunStopStatus = 'stopped' | 'already_terminal' | 'not_stoppable';
+export interface WorkRunStopResponse {
+    status: RunStopStatus;
+    run: CoreRunRecord;
+    /**
+     * The mission that owns this run, when discoverable through
+     * `metadata.missionId`. `null` when the run is not mission-scoped or the
+     * mission record has been removed.
+     */
+    mission: MissionRecord | null;
+    runtimeAbort: RuntimeAbortInfo;
+    message: string | null;
+}
+export type MissionCancelStatus = 'cancelled' | 'already_terminal' | 'blocked';
+export interface MissionCancelBlocker {
+    runId: string;
+    reason: string;
+}
+export interface WorkMissionCancelResponse {
+    status: MissionCancelStatus;
+    mission: MissionRecord;
+    runResults: WorkRunStopResponse[];
+    blockers: MissionCancelBlocker[];
+    message: string | null;
+}
+/**
+ * Cancellation audit metadata appended to `CoreRunRecord.metadata.cancellation`
+ * (and `MissionRecord.metadata.cancellation`) by the service. Append-only so
+ * retries / repeated requests don't erase prior history.
+ */
+export interface CoreCancellationMetadata {
+    source: CancellationSource;
+    commandId: string;
+    requestedAt: string;
+    requestedByActorId: string;
+    reason: string | null;
+    status: 'requested' | 'succeeded' | 'blocked';
+    runtimeAbort: RuntimeAbortInfo;
+}
+//# sourceMappingURL=runCancellationContracts.d.ts.map

package/build/server/platform/supervision/runCancellationContracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runCancellationContracts.d.ts","sourceRoot":"","sources":["../../../../src/platform/supervision/runCancellationContracts.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAExE,MAAM,MAAM,kBAAkB,GAC1B,UAAU,GACV,gBAAgB,GAChB,kBAAkB,GAClB,4BAA4B,CAAC;AAEjC,MAAM,MAAM,kBAAkB,GAAG,gBAAgB,GAAG,WAAW,GAAG,QAAQ,CAAC;AAE3E,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,0EAA0E;AAC1E,MAAM,WAAW,uBAAuB;IACtC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,kBAAkB,GAAG,eAAe,CAAC;AAE7E,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,aAAa,CAAC;IACtB,GAAG,EAAE,aAAa,CAAC;IACnB;;;;OAIG;IACH,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;IAC9B,YAAY,EAAE,gBAAgB,CAAC;IAC/B,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED,MAAM,MAAM,mBAAmB,GAAG,WAAW,GAAG,kBAAkB,GAAG,SAAS,CAAC;AAE/E,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,yBAAyB;IACxC,MAAM,EAAE,mBAAmB,CAAC;IAC5B,OAAO,EAAE,aAAa,CAAC;IACvB,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,QAAQ,EAAE,oBAAoB,EAAE,CAAC;IACjC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACvC,MAAM,EAAE,kBAAkB,CAAC;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,EAAE,WAAW,GAAG,WAAW,GAAG,SAAS,CAAC;IAC9C,YAAY,EAAE,gBAAgB,CAAC;CAChC"}

package/build/server/platform/supervision/runCancellationContracts.js

@@ -0,0 +1,9 @@
+/**
+ * SPEC-096 / PLAN-085 — public Run stop and Mission cancel contract.
+ *
+ * Types are kept in a dedicated module so renderer/route code can pull them
+ * without dragging in the future service implementation. Cross-checked
+ * against `MissionRecord` and `CoreRunRecord` shapes in `src/core/types.ts`.
+ */
+export {};
+//# sourceMappingURL=runCancellationContracts.js.map

package/build/server/platform/supervision/runCancellationContracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runCancellationContracts.js","sourceRoot":"","sources":["../../../../src/platform/supervision/runCancellationContracts.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}

package/build/server/platform/supervision/runLifecycleService.d.ts

@@ -0,0 +1,75 @@
+import type { CancellationReasonCode, RunBlocker, RunPrimaryState, SupervisionFallbackPolicy, SupervisedToolManifest, CancellationEffectLanded, CancellationContext } from './contracts.js';
+import { type RunApprovalRequestState, type RunLifecycleState, type OperatorCancellationResult, type RunStateEvaluation } from './runState.js';
+export interface SupervisedRunLifecycleRecord {
+    runId: string;
+    lifecycle: RunLifecycleState;
+    blockers: RunBlocker[];
+    approvalRequests: RunApprovalRequestState[];
+    primaryState: RunStateEvaluation['primaryState'];
+    terminalCause?: string;
+    cancelAudit?: OperatorCancellationResult['cancelAudit'];
+    cancellationRequest?: SupervisedRunCancellationRequest;
+    createdAt: string;
+    updatedAt: string;
+    metadata: Record<string, unknown>;
+}
+export interface CreateSupervisedRunLifecycleInput {
+    runId: string;
+    lifecycle?: Extract<RunLifecycleState, 'queued' | 'active'>;
+    blockers?: RunBlocker[];
+    approvalRequests?: RunApprovalRequestState[];
+    metadata?: Record<string, unknown> | null;
+}
+export interface TransitionSupervisedRunLifecycleInput {
+    lifecycle?: RunLifecycleState;
+    blockers?: RunBlocker[];
+    approvalRequests?: RunApprovalRequestState[];
+    terminalCause?: string;
+    metadata?: Record<string, unknown> | null;
+}
+export interface DenySupervisedRunApprovalInput {
+    requestId: string;
+    fallbackPolicy: SupervisionFallbackPolicy;
+}
+export interface CancelSupervisedRunInput {
+    requestedBy: string;
+    reasonCode: CancellationReasonCode;
+    reasonNote?: string;
+}
+export interface SupervisedRunCancellationRequest {
+    requestedAt: string;
+    requestedBy: string;
+    reasonCode: CancellationReasonCode;
+    runStateAtRequest: Exclude<RunPrimaryState, 'completed' | 'failed' | 'cancelled'>;
+    reasonNote?: string;
+}
+export interface TimeoutSupervisedRunInput {
+    timeoutId: string;
+    hardStop?: boolean;
+    message?: string;
+}
+export interface ResumeSupervisedRunInput {
+    approvalRequests?: RunApprovalRequestState[];
+}
+export interface RetrySupervisedRunInput {
+    reason: string;
+    approvalRequests?: RunApprovalRequestState[];
+}
+export interface BuildLifecycleCancellationContextInput {
+    manifest: Pick<SupervisedToolManifest, 'cancellation'>;
+    effectLanded?: CancellationEffectLanded;
+}
+export interface SupervisedRunLifecycleService {
+    create(input: CreateSupervisedRunLifecycleInput): SupervisedRunLifecycleRecord;
+    transition(current: SupervisedRunLifecycleRecord, input: TransitionSupervisedRunLifecycleInput): SupervisedRunLifecycleRecord;
+    denyApproval(current: SupervisedRunLifecycleRecord, input: DenySupervisedRunApprovalInput): SupervisedRunLifecycleRecord;
+    cancel(current: SupervisedRunLifecycleRecord, input: CancelSupervisedRunInput): SupervisedRunLifecycleRecord;
+    timeout(current: SupervisedRunLifecycleRecord, input: TimeoutSupervisedRunInput): SupervisedRunLifecycleRecord;
+    resume(current: SupervisedRunLifecycleRecord, input?: ResumeSupervisedRunInput): SupervisedRunLifecycleRecord;
+    retry(current: SupervisedRunLifecycleRecord, input: RetrySupervisedRunInput): SupervisedRunLifecycleRecord;
+    buildCancellationContext(current: SupervisedRunLifecycleRecord, input: BuildLifecycleCancellationContextInput): CancellationContext;
+}
+export declare function createSupervisedRunLifecycleService(options?: {
+    now?: () => Date;
+}): SupervisedRunLifecycleService;
+//# sourceMappingURL=runLifecycleService.d.ts.map

package/build/server/platform/supervision/runLifecycleService.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runLifecycleService.d.ts","sourceRoot":"","sources":["../../../../src/platform/supervision/runLifecycleService.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,sBAAsB,EACtB,UAAU,EACV,eAAe,EACf,yBAAyB,EACzB,sBAAsB,EACtB,wBAAwB,EACxB,mBAAmB,EACpB,MAAM,gBAAgB,CAAC;AAIxB,OAAO,EAKL,KAAK,uBAAuB,EAC5B,KAAK,iBAAiB,EACtB,KAAK,0BAA0B,EAC/B,KAAK,kBAAkB,EACxB,MAAM,eAAe,CAAC;AAEvB,MAAM,WAAW,4BAA4B;IAC3C,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,iBAAiB,CAAC;IAC7B,QAAQ,EAAE,UAAU,EAAE,CAAC;IACvB,gBAAgB,EAAE,uBAAuB,EAAE,CAAC;IAC5C,YAAY,EAAE,kBAAkB,CAAC,cAAc,CAAC,CAAC;IACjD,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,WAAW,CAAC,EAAE,0BAA0B,CAAC,aAAa,CAAC,CAAC;IACxD,mBAAmB,CAAC,EAAE,gCAAgC,CAAC;IACvD,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED,MAAM,WAAW,iCAAiC;IAChD,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,OAAO,CAAC,iBAAiB,EAAE,QAAQ,GAAG,QAAQ,CAAC,CAAC;IAC5D,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC;IACxB,gBAAgB,CAAC,EAAE,uBAAuB,EAAE,CAAC;IAC7C,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;CAC3C;AAED,MAAM,WAAW,qCAAqC;IACpD,SAAS,CAAC,EAAE,iBAAiB,CAAC;IAC9B,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC;IACxB,gBAAgB,CAAC,EAAE,uBAAuB,EAAE,CAAC;IAC7C,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;CAC3C;AAED,MAAM,WAAW,8BAA8B;IAC7C,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,yBAAyB,CAAC;CAC3C;AAED,MAAM,WAAW,wBAAwB;IACvC,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,sBAAsB,CAAC;IACnC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,gCAAgC;IAC/C,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,sBAAsB,CAAC;IACnC,iBAAiB,EAAE,OAAO,CAAC,eAAe,EAAE,WAAW,GAAG,QAAQ,GAAG,WAAW,CAAC,CAAC;IAClF,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,yBAAyB;IACxC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,wBAAwB;IACvC,gBAAgB,CAAC,EAAE,uBAAuB,EAAE,CAAC;CAC9C;AAED,MAAM,WAAW,uBAAuB;IACtC,MAAM,EAAE,MAAM,CAAC;IACf,gBAAgB,CAAC,EAAE,uBAAuB,EAAE,CAAC;CAC9C;AAED,MAAM,WAAW,sCAAsC;IACrD,QAAQ,EAAE,IAAI,CAAC,sBAAsB,EAAE,cAAc,CAAC,CAAC;IACvD,YAAY,CAAC,EAAE,wBAAwB,CAAC;CACzC;AAED,MAAM,WAAW,6BAA6B;IAC5C,MAAM,CAAC,KAAK,EAAE,iCAAiC,GAAG,4BAA4B,CAAC;IAC/E,UAAU,CACR,OAAO,EAAE,4BAA4B,EACrC,KAAK,EAAE,qCAAqC,GAC3C,4BAA4B,CAAC;IAChC,YAAY,CACV,OAAO,EAAE,4BAA4B,EACrC,KAAK,EAAE,8BAA8B,GACpC,4BAA4B,CAAC;IAChC,MAAM,CACJ,OAAO,EAAE,4BAA4B,EACrC,KAAK,EAAE,wBAAwB,GAC9B,4BAA4B,CAAC;IAChC,OAAO,CACL,OAAO,EAAE,4BAA4B,EACrC,KAAK,EAAE,yBAAyB,GAC/B,4BAA4B,CAAC;IAChC,MAAM,CACJ,OAAO,EAAE,4BAA4B,EACrC,KAAK,CAAC,EAAE,wBAAwB,GAC/B,4BAA4B,CAAC;IAChC,KAAK,CACH,OAAO,EAAE,4BAA4B,EACrC,KAAK,EAAE,uBAAuB,GAC7B,4BAA4B,CAAC;IAChC,wBAAwB,CACtB,OAAO,EAAE,4BAA4B,EACrC,KAAK,EAAE,sCAAsC,GAC5C,mBAAmB,CAAC;CACxB;AAED,wBAAgB,mCAAmC,CAAC,OAAO,GAAE;IAC3D,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;CACb,GAAG,6BAA6B,CA4MrC"}