@canhta/dsh-autopilot 0.1.0-alpha.1

package/lib/operations/cleanup-inspector.js

@@ -0,0 +1,132 @@
+import { randomUUID } from 'node:crypto';
+import { gitCommand } from '../dispatch/git.js';
+import { allocatedRun, cleanupRejections, directoryBytes, fingerprint, inspectOwnership, parseStatus, pathExists, } from './inspection.js';
+import { appendMaintenanceAudit, existingMergeObservation } from './state.js';
+export class CleanupInspector {
+    ctx;
+    store;
+    now;
+    codeHostFailure;
+    constructor(ctx, store, now) {
+        this.ctx = ctx;
+        this.store = store;
+        this.now = now;
+    }
+    async inspect(runId) {
+        const admission = this.ctx.admission.snapshot();
+        const run = allocatedRun(admission, runId);
+        const settings = this.ctx.autopilotConfig.get();
+        const disposition = await this.ctx.pullRequestDisposition.inspect(run.execution.codeHost.providerId, run);
+        this.codeHostFailure = disposition.state === 'unknown' ? disposition.reason : undefined;
+        let firstObservedMergedAt;
+        if (disposition.state === 'merged')
+            firstObservedMergedAt = await this.observeMerged(run, disposition);
+        let ownership = false;
+        let missing = false;
+        let head;
+        let dirtyFiles = [];
+        let untrackedFiles = [];
+        let removableBytes = 'unknown';
+        try {
+            await inspectOwnership(this.ctx, run, settings.managedWorktreeRoot);
+            ownership = true;
+            head = (await gitCommand(this.ctx.subprocess, run.execution.worktreePath, ['rev-parse', 'HEAD'])).trim();
+            const status = await gitCommand(this.ctx.subprocess, run.execution.worktreePath, [
+                'status',
+                '--porcelain=v1',
+                '-z',
+                '--untracked-files=all',
+            ]);
+            ({ dirtyFiles, untrackedFiles } = parseStatus(status));
+            removableBytes = await directoryBytes(run.execution.worktreePath);
+        }
+        catch {
+            missing = !(await pathExists(run.execution.worktreePath));
+        }
+        let unpushedCommits = 'unknown';
+        if (ownership && head !== undefined && 'head' in disposition && disposition.head !== undefined) {
+            try {
+                unpushedCommits = Number.parseInt((await gitCommand(this.ctx.subprocess, run.execution.worktreePath, [
+                    'rev-list',
+                    '--count',
+                    `${disposition.head}..${head}`,
+                ])).trim(), 10);
+                if (!Number.isSafeInteger(unpushedCommits) || unpushedCommits < 0)
+                    unpushedCommits = 'unknown';
+            }
+            catch {
+                unpushedCommits = 'unknown';
+            }
+        }
+        const retentionReference = disposition.state === 'merged' ? (disposition.mergedAt ?? firstObservedMergedAt) : undefined;
+        const retentionEligibleAt = retentionReference === undefined
+            ? undefined
+            : new Date(Date.parse(retentionReference) + settings.cleanupRetentionDays * 86_400_000).toISOString();
+        const rejections = cleanupRejections({
+            run,
+            disposition,
+            ownership,
+            missing,
+            dirtyFiles,
+            untrackedFiles,
+            unpushedCommits,
+            ...(retentionEligibleAt === undefined ? {} : { retentionEligibleAt }),
+            now: this.now(),
+        });
+        const preview = {
+            runId,
+            admissionRevision: admission.revision,
+            worktreePath: run.execution.worktreePath,
+            branch: run.execution.branch,
+            ...(head === undefined ? {} : { head }),
+            dirtyFiles,
+            untrackedFiles,
+            unpushedCommits,
+            disposition,
+            ...(retentionReference === undefined ? {} : { retentionReference }),
+            ...(retentionEligibleAt === undefined ? {} : { retentionEligibleAt }),
+            removableBytes,
+            retainedData: ['run', 'session', 'audit'],
+            eligible: rejections.length === 0,
+            rejections,
+        };
+        return {
+            preview,
+            fingerprint: fingerprint({
+                runId: preview.runId,
+                worktreePath: preview.worktreePath,
+                branch: preview.branch,
+                head: preview.head,
+                dirtyFiles: preview.dirtyFiles,
+                untrackedFiles: preview.untrackedFiles,
+                unpushedCommits: preview.unpushedCommits,
+                disposition: preview.disposition,
+                eligible: preview.eligible,
+                rejections: preview.rejections,
+            }),
+        };
+    }
+    async observeMerged(run, disposition) {
+        const now = new Date(this.now()).toISOString();
+        let first = now;
+        await this.store.update((state) => {
+            const existing = state.mergeObservations.find((observation) => observation.runId === run.runId);
+            if (existing !== undefined)
+                first = existing.firstObservedMergedAt;
+            const observations = state.mergeObservations.filter((observation) => observation.runId !== run.runId);
+            observations.push({ runId: run.runId, firstObservedMergedAt: first, lastObservedMergedAt: now });
+            return appendMaintenanceAudit({ ...state, mergeObservations: observations }, {
+                id: randomUUID(),
+                at: now,
+                kind: 'merge-observed',
+                runId: run.runId,
+                worktreePath: run.execution.worktreePath,
+                detail: disposition.mergedAt === undefined
+                    ? 'merged PR observed without provider merge time'
+                    : 'provider merge time observed',
+            });
+        }, existingMergeObservation(this.store.current(), run.runId) === undefined);
+        return first;
+    }
+}
+//# sourceMappingURL=cleanup-inspector.js.map

package/lib/operations/cleanup-inspector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cleanup-inspector.js","sourceRoot":"","sources":["../../src/operations/cleanup-inspector.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAGxC,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAE/C,OAAO,EAEL,YAAY,EACZ,iBAAiB,EACjB,cAAc,EACd,WAAW,EACX,gBAAgB,EAChB,WAAW,EACX,UAAU,GACX,MAAM,iBAAiB,CAAA;AAExB,OAAO,EAAE,sBAAsB,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAA;AAG7E,MAAM,OAAO,gBAAgB;IAIR,GAAG;IACH,KAAK;IACL,GAAG;IALtB,eAAe,CAAoB;IAEnC,YACmB,GAAY,EACZ,KAA4B,EAC5B,GAAiB;mBAFjB,GAAG;qBACH,KAAK;mBACL,GAAG;IACnB,CAAC;IAEJ,KAAK,CAAC,OAAO,CAAC,KAAY;QAIxB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAA;QAC/C,MAAM,GAAG,GAAG,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,EAAE,CAAA;QAC/C,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,CAAA;QACzG,IAAI,CAAC,eAAe,GAAG,WAAW,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;QACvF,IAAI,qBAAyC,CAAA;QAC7C,IAAI,WAAW,CAAC,KAAK,KAAK,QAAQ;YAAE,qBAAqB,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,CAAA;QAEtG,IAAI,SAAS,GAAG,KAAK,CAAA;QACrB,IAAI,OAAO,GAAG,KAAK,CAAA;QACnB,IAAI,IAAwB,CAAA;QAC5B,IAAI,UAAU,GAAa,EAAE,CAAA;QAC7B,IAAI,cAAc,GAAa,EAAE,CAAA;QACjC,IAAI,cAAc,GAAuB,SAAS,CAAA;QAClD,IAAI,CAAC;YACH,MAAM,gBAAgB,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,mBAAmB,CAAC,CAAA;YACnE,SAAS,GAAG,IAAI,CAAA;YAChB,IAAI,GAAG,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,YAAY,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;YACxG,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,YAAY,EAAE;gBAC/E,QAAQ;gBACR,gBAAgB;gBAChB,IAAI;gBACJ,uBAAuB;aACxB,CAAC,CACD;YAAA,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;YACvD,cAAc,GAAG,MAAM,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAA;QACnE,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,GAAG,CAAC,CAAC,MAAM,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAA;QAC3D,CAAC;QAED,IAAI,eAAe,GAAuB,SAAS,CAAA;QACnD,IAAI,SAAS,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,IAAI,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/F,IAAI,CAAC;gBACH,eAAe,GAAG,MAAM,CAAC,QAAQ,CAC/B,CACE,MAAM,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,YAAY,EAAE;oBAChE,UAAU;oBACV,SAAS;oBACT,GAAG,WAAW,CAAC,IAAI,KAAK,IAAI,EAAE;iBAC/B,CAAC,CACH,CAAC,IAAI,EAAE,EACR,EAAE,CACH,CAAA;gBACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,eAAe,CAAC,IAAI,eAAe,GAAG,CAAC;oBAAE,eAAe,GAAG,SAAS,CAAA;YAChG,CAAC;YAAC,MAAM,CAAC;gBACP,eAAe,GAAG,SAAS,CAAA;YAC7B,CAAC;QACH,CAAC;QAED,MAAM,kBAAkB,GACtB,WAAW,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,IAAI,qBAAqB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC9F,MAAM,mBAAmB,GACvB,kBAAkB,KAAK,SAAS;YAC9B,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,QAAQ,CAAC,oBAAoB,GAAG,UAAU,CAAC,CAAC,WAAW,EAAE,CAAA;QACzG,MAAM,UAAU,GAAG,iBAAiB,CAAC;YACnC,GAAG;YACH,WAAW;YACX,SAAS;YACT,OAAO;YACP,UAAU;YACV,cAAc;YACd,eAAe;YACf,GAAG,CAAC,mBAAmB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,CAAC;YACrE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;SAChB,CAAC,CAAA;QACF,MAAM,OAAO,GAAG;YACd,KAAK;YACL,iBAAiB,EAAE,SAAS,CAAC,QAAQ;YACrC,YAAY,EAAE,GAAG,CAAC,SAAS,CAAC,YAAY;YACxC,MAAM,EAAE,GAAG,CAAC,SAAS,CAAC,MAAM;YAC5B,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;YACvC,UAAU;YACV,cAAc;YACd,eAAe;YACf,WAAW;YACX,GAAG,CAAC,kBAAkB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC;YACnE,GAAG,CAAC,mBAAmB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,CAAC;YACrE,cAAc;YACd,YAAY,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAU;YAClD,QAAQ,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;YACjC,UAAU;SACX,CAAA;QACD,OAAO;YACL,OAAO;YACP,WAAW,EAAE,WAAW,CAAC;gBACvB,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,cAAc,EAAE,OAAO,CAAC,cAAc;gBACtC,eAAe,EAAE,OAAO,CAAC,eAAe;gBACxC,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;aAC/B,CAAC;SACH,CAAA;IACH,CAAC;IAEO,KAAK,CAAC,aAAa,CACzB,GAAiB,EACjB,WAAiE;QAEjE,MAAM,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,CAAA;QAC9C,IAAI,KAAK,GAAG,GAAG,CAAA;QACf,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;YAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,CAAC,CAAA;YAC/F,IAAI,QAAQ,KAAK,SAAS;gBAAE,KAAK,GAAG,QAAQ,CAAC,qBAAqB,CAAA;YAClE,MAAM,YAAY,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,CAAC,CAAA;YACrG,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,qBAAqB,EAAE,KAAK,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC,CAAA;YAChG,OAAO,sBAAsB,CAC3B,EAAE,GAAG,KAAK,EAAE,iBAAiB,EAAE,YAAY,EAAE,EAC7C;gBACE,EAAE,EAAE,UAAU,EAAE;gBAChB,EAAE,EAAE,GAAG;gBACP,IAAI,EAAE,gBAAgB;gBACtB,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,YAAY,EAAE,GAAG,CAAC,SAAS,CAAC,YAAY;gBACxC,MAAM,EACJ,WAAW,CAAC,QAAQ,KAAK,SAAS;oBAChC,CAAC,CAAC,gDAAgD;oBAClD,CAAC,CAAC,8BAA8B;aACrC,CACF,CAAA;QACH,CAAC,EAAE,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,CAAA;QAC3E,OAAO,KAAK,CAAA;IACd,CAAC;CACF"}

package/lib/operations/cleanup.d.ts

@@ -0,0 +1,25 @@
+import type { Context } from '@deepseek-ai/cordis';
+import type { RunId } from '../admission.js';
+import type { CleanupInspector } from './cleanup-inspector.js';
+import type { CleanupPreview } from './model.js';
+import type { MaintenanceStateStore } from './store.js';
+export declare class CleanupOperations {
+    private readonly ctx;
+    private readonly store;
+    private readonly inspector;
+    private readonly ensureReady;
+    private readonly now;
+    private readonly previews;
+    private attempt;
+    constructor(ctx: Context, store: MaintenanceStateStore, inspector: CleanupInspector, ensureReady: () => Promise<void>, now: () => number);
+    activeAttempt(): Promise<CleanupPreview> | undefined;
+    discardPreview(previewId: string): void;
+    /** Inspect current cleanup facts without creating an authorization preview. */
+    inspect(runId: RunId): Promise<Omit<CleanupPreview, 'previewId'>>;
+    preview(runId: RunId): Promise<CleanupPreview>;
+    remove(previewId: string, operationId?: string): Promise<CleanupPreview>;
+    private performRemoval;
+    private finish;
+    private auditRejection;
+    private nowIso;
+}

package/lib/operations/cleanup.js

@@ -0,0 +1,151 @@
+import { randomUUID } from 'node:crypto';
+import { gitCommand } from '../dispatch/git.js';
+import { allocatedRun, boundedError } from './inspection.js';
+import { appendMaintenanceAudit } from './state.js';
+const MAX_PREVIEWS = 100;
+export class CleanupOperations {
+    ctx;
+    store;
+    inspector;
+    ensureReady;
+    now;
+    previews = new Map();
+    attempt;
+    constructor(ctx, store, inspector, ensureReady, now) {
+        this.ctx = ctx;
+        this.store = store;
+        this.inspector = inspector;
+        this.ensureReady = ensureReady;
+        this.now = now;
+    }
+    activeAttempt() {
+        return this.attempt;
+    }
+    discardPreview(previewId) {
+        this.previews.delete(previewId);
+    }
+    /** Inspect current cleanup facts without creating an authorization preview. */
+    async inspect(runId) {
+        await this.ensureReady();
+        return await this.ctx.admission.runOperations.exclusive(runId, async () => {
+            const inspected = await this.inspector.inspect(runId);
+            return structuredClone(inspected.preview);
+        });
+    }
+    async preview(runId) {
+        await this.ensureReady();
+        return await this.ctx.admission.runOperations.exclusive(runId, async () => {
+            const inspected = await this.inspector.inspect(runId);
+            const previewId = randomUUID();
+            const preview = { previewId, ...inspected.preview };
+            this.previews.set(previewId, {
+                preview,
+                fingerprint: inspected.fingerprint,
+                runGeneration: this.ctx.admission.runOperations.generation(runId),
+            });
+            while (this.previews.size > MAX_PREVIEWS)
+                this.previews.delete(this.previews.keys().next().value);
+            return structuredClone(preview);
+        });
+    }
+    async remove(previewId, operationId = randomUUID()) {
+        if (this.attempt !== undefined)
+            throw new Error('another cleanup operation is already in progress');
+        const attempt = this.performRemoval(previewId, operationId);
+        this.attempt = attempt;
+        try {
+            return await attempt;
+        }
+        finally {
+            if (this.attempt === attempt)
+                this.attempt = undefined;
+        }
+    }
+    async performRemoval(previewId, operationId) {
+        await this.ensureReady();
+        const retained = this.previews.get(previewId);
+        this.previews.delete(previewId);
+        if (retained === undefined) {
+            throw new Error('cleanup preview is missing, expired, or belongs to another Host process');
+        }
+        if (!retained.preview.eligible) {
+            await this.auditRejection(retained.preview, 'cleanup preview was not eligible');
+            throw new Error(`cleanup rejected: ${retained.preview.rejections.join(', ')}`);
+        }
+        return await this.ctx.admission.runOperations.exclusive(retained.preview.runId, async () => {
+            if (this.ctx.admission.runOperations.generation(retained.preview.runId) !== retained.runGeneration) {
+                await this.auditRejection(retained.preview, 'run lifecycle changed after cleanup preview');
+                throw new Error('cleanup preview is stale; run lifecycle changed');
+            }
+            const current = await this.inspector.inspect(retained.preview.runId);
+            if (current.fingerprint !== retained.fingerprint) {
+                await this.auditRejection(retained.preview, 'cleanup preview changed during the mandatory recheck');
+                throw new Error('cleanup preview is stale; run, Git, PR, or retention facts changed');
+            }
+            if (!current.preview.eligible)
+                throw new Error(`cleanup rejected: ${current.preview.rejections.join(', ')}`);
+            const startedAt = this.nowIso();
+            await this.store.update((state) => ({
+                ...appendMaintenanceAudit(state, {
+                    id: randomUUID(),
+                    operationId,
+                    at: startedAt,
+                    kind: 'cleanup-started',
+                    runId: current.preview.runId,
+                    worktreePath: current.preview.worktreePath,
+                    detail: `cleanup intent ${operationId} persisted after authoritative recheck`,
+                }),
+                pendingCleanup: {
+                    operationId,
+                    runId: current.preview.runId,
+                    worktreePath: current.preview.worktreePath,
+                    previewFingerprint: current.fingerprint,
+                    startedAt,
+                },
+            }));
+            const run = allocatedRun(this.ctx.admission.snapshot(), current.preview.runId);
+            try {
+                await gitCommand(this.ctx.subprocess, run.execution.targetRepository, [
+                    'worktree',
+                    'remove',
+                    current.preview.worktreePath,
+                ]);
+            }
+            catch (error) {
+                await this.finish(current.preview, operationId, 'cleanup-rejected', 'retry-required', `Git refused cleanup: ${boundedError(error)}`);
+                throw error;
+            }
+            await this.finish(current.preview, operationId, 'cleanup-removed', 'completed', 'managed worktree removed; branch and retained data preserved');
+            return structuredClone({ ...retained.preview, removableBytes: 0 });
+        });
+    }
+    async finish(preview, operationId, kind, outcome, detail) {
+        await this.store.update((state) => ({
+            ...appendMaintenanceAudit(state, {
+                id: randomUUID(),
+                operationId,
+                at: this.nowIso(),
+                kind,
+                runId: preview.runId,
+                worktreePath: preview.worktreePath,
+                outcome,
+                detail,
+            }),
+            pendingCleanup: undefined,
+        }));
+    }
+    async auditRejection(preview, detail) {
+        await this.store.update((state) => appendMaintenanceAudit(state, {
+            id: randomUUID(),
+            at: this.nowIso(),
+            kind: 'cleanup-rejected',
+            runId: preview.runId,
+            worktreePath: preview.worktreePath,
+            detail,
+        }));
+    }
+    nowIso() {
+        return new Date(this.now()).toISOString();
+    }
+}
+//# sourceMappingURL=cleanup.js.map

package/lib/operations/cleanup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cleanup.js","sourceRoot":"","sources":["../../src/operations/cleanup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAGxC,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAE/C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAE5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AAGnD,MAAM,YAAY,GAAG,GAAG,CAAA;AAExB,MAAM,OAAO,iBAAiB;IAKT,GAAG;IACH,KAAK;IACL,SAAS;IACT,WAAW;IACX,GAAG;IARL,QAAQ,GAAG,IAAI,GAAG,EAAmF,CAAA;IAC9G,OAAO,CAAqC;IAEpD,YACmB,GAAY,EACZ,KAA4B,EAC5B,SAA2B,EAC3B,WAAgC,EAChC,GAAiB;mBAJjB,GAAG;qBACH,KAAK;yBACL,SAAS;2BACT,WAAW;mBACX,GAAG;IACnB,CAAC;IAEJ,aAAa;QACX,OAAO,IAAI,CAAC,OAAO,CAAA;IACrB,CAAC;IAED,cAAc,CAAC,SAAiB;QAC9B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IACjC,CAAC;IAED,+EAA+E;IAC/E,KAAK,CAAC,OAAO,CAAC,KAAY;QACxB,MAAM,IAAI,CAAC,WAAW,EAAE,CAAA;QACxB,OAAO,MAAM,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE;YACxE,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;YACrD,OAAO,eAAe,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;QAC3C,CAAC,CAAC,CAAA;IACJ,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,KAAY;QACxB,MAAM,IAAI,CAAC,WAAW,EAAE,CAAA;QACxB,OAAO,MAAM,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE;YACxE,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;YACrD,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;YAC9B,MAAM,OAAO,GAAmB,EAAE,SAAS,EAAE,GAAG,SAAS,CAAC,OAAO,EAAE,CAAA;YACnE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE;gBAC3B,OAAO;gBACP,WAAW,EAAE,SAAS,CAAC,WAAW;gBAClC,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC;aAClE,CAAC,CAAA;YACF,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,YAAY;gBAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAe,CAAC,CAAA;YAC3G,OAAO,eAAe,CAAC,OAAO,CAAC,CAAA;QACjC,CAAC,CAAC,CAAA;IACJ,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,SAAiB,EAAE,WAAW,GAAW,UAAU,EAAE;QAChE,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAA;QACnG,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,WAAW,CAAC,CAAA;QAC3D,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACtB,IAAI,CAAC;YACH,OAAO,MAAM,OAAO,CAAA;QACtB,CAAC;gBAAS,CAAC;YACT,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO;gBAAE,IAAI,CAAC,OAAO,GAAG,SAAS,CAAA;QACxD,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,cAAc,CAAC,SAAiB,EAAE,WAAmB;QACjE,MAAM,IAAI,CAAC,WAAW,EAAE,CAAA;QACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QAC7C,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;QAC/B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAA;QAC5F,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC/B,MAAM,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,OAAO,EAAE,kCAAkC,CAAC,CAAA;YAC/E,MAAM,IAAI,KAAK,CAAC,qBAAqB,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAChF,CAAC;QACD,OAAO,MAAM,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE;YACzF,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,aAAa,EAAE,CAAC;gBACnG,MAAM,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,OAAO,EAAE,6CAA6C,CAAC,CAAA;gBAC1F,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAA;YACpE,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;YACpE,IAAI,OAAO,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW,EAAE,CAAC;gBACjD,MAAM,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,OAAO,EAAE,sDAAsD,CAAC,CAAA;gBACnG,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAA;YACvF,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAE5G,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,CAAA;YAC/B,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClC,GAAG,sBAAsB,CAAC,KAAK,EAAE;oBAC/B,EAAE,EAAE,UAAU,EAAE;oBAChB,WAAW;oBACX,EAAE,EAAE,SAAS;oBACb,IAAI,EAAE,iBAAiB;oBACvB,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK;oBAC5B,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,YAAY;oBAC1C,MAAM,EAAE,kBAAkB,WAAW,wCAAwC;iBAC9E,CAAC;gBACF,cAAc,EAAE;oBACd,WAAW;oBACX,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK;oBAC5B,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,YAAY;oBAC1C,kBAAkB,EAAE,OAAO,CAAC,WAAW;oBACvC,SAAS;iBACV;aACF,CAAC,CAAC,CAAA;YAEH,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;YAC9E,IAAI,CAAC;gBACH,MAAM,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,gBAAgB,EAAE;oBACpE,UAAU;oBACV,QAAQ;oBACR,OAAO,CAAC,OAAO,CAAC,YAAY;iBAC7B,CAAC,CAAA;YACJ,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,IAAI,CAAC,MAAM,CACf,OAAO,CAAC,OAAO,EACf,WAAW,EACX,kBAAkB,EAClB,gBAAgB,EAChB,wBAAwB,YAAY,CAAC,KAAK,CAAC,EAAE,CAC9C,CAAA;gBACD,MAAM,KAAK,CAAA;YACb,CAAC;YACD,MAAM,IAAI,CAAC,MAAM,CACf,OAAO,CAAC,OAAO,EACf,WAAW,EACX,iBAAiB,EACjB,WAAW,EACX,8DAA8D,CAC/D,CAAA;YACD,OAAO,eAAe,CAAC,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC,CAAA;QACpE,CAAC,CAAC,CAAA;IACJ,CAAC;IAEO,KAAK,CAAC,MAAM,CAClB,OAA0C,EAC1C,WAAmB,EACnB,IAA4C,EAC5C,OAAuC,EACvC,MAAc;QAEd,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAClC,GAAG,sBAAsB,CAAC,KAAK,EAAE;gBAC/B,EAAE,EAAE,UAAU,EAAE;gBAChB,WAAW;gBACX,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE;gBACjB,IAAI;gBACJ,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,OAAO;gBACP,MAAM;aACP,CAAC;YACF,cAAc,EAAE,SAAS;SAC1B,CAAC,CAAC,CAAA;IACL,CAAC;IAEO,KAAK,CAAC,cAAc,CAAC,OAAuB,EAAE,MAAc;QAClE,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAChC,sBAAsB,CAAC,KAAK,EAAE;YAC5B,EAAE,EAAE,UAAU,EAAE;YAChB,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE;YACjB,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,MAAM;SACP,CAAC,CACH,CAAA;IACH,CAAC;IAEO,MAAM;QACZ,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,CAAA;IAC3C,CAAC;CACF"}

package/lib/operations/disposition.d.ts

@@ -0,0 +1,46 @@
+import { type Context, Service } from '@deepseek-ai/cordis';
+import { z } from 'zod';
+import type { AutopilotRun } from '../admission.js';
+declare const dispositionSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    state: z.ZodLiteral<"open">;
+    head: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    state: z.ZodLiteral<"merged">;
+    head: z.ZodString;
+    mergedAt: z.ZodOptional<z.ZodISODateTime>;
+}, z.core.$strip>, z.ZodObject<{
+    state: z.ZodLiteral<"closed-unmerged">;
+    head: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, z.ZodObject<{
+    state: z.ZodLiteral<"unknown">;
+    reason: z.ZodString;
+}, z.core.$strip>], "state">;
+export type PullRequestDisposition = z.infer<typeof dispositionSchema>;
+export interface PullRequestDispositionResolver {
+    /** Read one run's current PR state without creating, mutating, or authenticating a provider transport. */
+    inspect(run: AutopilotRun, signal?: AbortSignal): Promise<PullRequestDisposition>;
+}
+declare module '@deepseek-ai/cordis' {
+    interface Context {
+        pullRequestDisposition: PullRequestDispositionRegistry;
+    }
+}
+/** Narrow cleanup-only registry; #8 owns code-host transport, publication, credentials, and delivery. */
+export declare class PullRequestDispositionRegistry extends Service {
+    private readonly resolvers;
+    constructor(ctx: Context);
+    [Service.init](): AsyncGenerator<() => Promise<void>, void, void>;
+    /**
+     * Register one unique resolver. The idempotent async disposer withdraws its generation, cancels active reads and
+     * waits for them to settle; invalid/duplicate ids reject before registration.
+     */
+    register(id: string, resolver: PullRequestDispositionResolver): () => Promise<void>;
+    /** Report whether the exact resolver id is live; this detached lookup performs no I/O and never fails. */
+    has(id: string): boolean;
+    /**
+     * Read and validate one current disposition through the selected resolver. Missing, provider, and validation failures
+     * become fail-closed `unknown` facts. Cancellation and generation withdrawal reject and fence late results.
+     */
+    inspect(id: string, run: AutopilotRun, signal?: AbortSignal): Promise<PullRequestDisposition>;
+}
+export default PullRequestDispositionRegistry;

package/lib/operations/disposition.js

@@ -0,0 +1,89 @@
+import { Service } from '@deepseek-ai/cordis';
+import { z } from 'zod';
+import { codeHostProviderId } from '../code-host.js';
+const oid = z.string().regex(/^[a-f0-9]{40,64}$/);
+const dispositionSchema = z.discriminatedUnion('state', [
+    z.object({ state: z.literal('open'), head: oid }),
+    z.object({ state: z.literal('merged'), head: oid, mergedAt: z.iso.datetime({ offset: true }).optional() }),
+    z.object({ state: z.literal('closed-unmerged'), head: oid.optional() }),
+    z.object({ state: z.literal('unknown'), reason: z.string().min(1).max(4096) }),
+]);
+/** Narrow cleanup-only registry; #8 owns code-host transport, publication, credentials, and delivery. */
+export class PullRequestDispositionRegistry extends Service {
+    resolvers = new Map();
+    constructor(ctx) {
+        super(ctx, 'pullRequestDisposition');
+    }
+    async *[Service.init]() {
+        yield async () => {
+            const generations = [...this.resolvers.values()];
+            this.resolvers.clear();
+            for (const generation of generations) {
+                generation.controller.abort(new Error('PR disposition registry was disposed'));
+            }
+            await Promise.allSettled(generations.flatMap((generation) => [...generation.active]));
+        };
+    }
+    /**
+     * Register one unique resolver. The idempotent async disposer withdraws its generation, cancels active reads and
+     * waits for them to settle; invalid/duplicate ids reject before registration.
+     */
+    register(id, resolver) {
+        codeHostProviderId(id);
+        if (this.resolvers.has(id))
+            throw new Error(`PR disposition resolver "${id}" is already registered`);
+        const generation = { resolver, controller: new AbortController(), active: new Set() };
+        this.resolvers.set(id, generation);
+        return async () => {
+            if (this.resolvers.get(id) !== generation)
+                return;
+            this.resolvers.delete(id);
+            generation.controller.abort(new Error(`PR disposition resolver "${id}" was withdrawn`));
+            await Promise.allSettled(generation.active);
+        };
+    }
+    /** Report whether the exact resolver id is live; this detached lookup performs no I/O and never fails. */
+    has(id) {
+        return this.resolvers.has(id);
+    }
+    /**
+     * Read and validate one current disposition through the selected resolver. Missing, provider, and validation failures
+     * become fail-closed `unknown` facts. Cancellation and generation withdrawal reject and fence late results.
+     */
+    async inspect(id, run, signal) {
+        if (signal?.aborted)
+            throw signal.reason;
+        const generation = this.resolvers.get(id);
+        if (generation === undefined) {
+            return { state: 'unknown', reason: id === '' ? 'no code-host provider is configured' : 'provider unavailable' };
+        }
+        const operationSignal = signal === undefined ? generation.controller.signal : AbortSignal.any([signal, generation.controller.signal]);
+        const operation = Promise.resolve()
+            .then(() => generation.resolver.inspect(structuredClone(run), operationSignal))
+            .then((value) => dispositionSchema.parse(value))
+            .catch((error) => {
+            if (operationSignal.aborted)
+                throw operationSignal.reason;
+            return { state: 'unknown', reason: boundedError(error) };
+        });
+        generation.active.add(operation);
+        try {
+            const disposition = await operation;
+            if (operationSignal.aborted)
+                throw operationSignal.reason;
+            if (this.resolvers.get(id) !== generation)
+                throw new Error(`PR disposition resolver "${id}" changed during read`);
+            return disposition;
+        }
+        finally {
+            generation.active.delete(operation);
+        }
+    }
+}
+function boundedError(error) {
+    const message = error instanceof Error ? error.message : String(error);
+    const reason = message.length === 0 ? 'provider inspection failed' : message;
+    return reason.length <= 4096 ? reason : reason.slice(0, 4096);
+}
+export default PullRequestDispositionRegistry;
+//# sourceMappingURL=disposition.js.map

package/lib/operations/disposition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"disposition.js","sourceRoot":"","sources":["../../src/operations/disposition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,OAAO,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAA;AAEpD,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAA;AACjD,MAAM,iBAAiB,GAAG,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE;IACtD,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACjD,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;IAC1G,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC;IACvE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;CAC/E,CAAC,CAAA;AAqBF,yGAAyG;AACzG,MAAM,OAAO,8BAA+B,SAAQ,OAAO;IACxC,SAAS,GAAG,IAAI,GAAG,EAA8B,CAAA;IAElE,YAAY,GAAY;QACtB,KAAK,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAA;IACtC,CAAC;IAED,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;QACnB,MAAM,KAAK,IAAI,EAAE;YACf,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;YAChD,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAA;YACtB,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;gBACrC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC,CAAA;YAChF,CAAC;YACD,MAAM,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACvF,CAAC,CAAA;IACH,CAAC;IAED;;;OAGG;IACH,QAAQ,CAAC,EAAU,EAAE,QAAwC;QAC3D,kBAAkB,CAAC,EAAE,CAAC,CAAA;QACtB,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,EAAE,yBAAyB,CAAC,CAAA;QACpG,MAAM,UAAU,GAAuB,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,eAAe,EAAE,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;QACzG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,UAAU,CAAC,CAAA;QAClC,OAAO,KAAK,IAAI,EAAE;YAChB,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,UAAU;gBAAE,OAAM;YACjD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACzB,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,4BAA4B,EAAE,iBAAiB,CAAC,CAAC,CAAA;YACvF,MAAM,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;QAC7C,CAAC,CAAA;IACH,CAAC;IAED,0GAA0G;IAC1G,GAAG,CAAC,EAAU;QACZ,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC/B,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,OAAO,CAAC,EAAU,EAAE,GAAiB,EAAE,MAAoB;QAC/D,IAAI,MAAM,EAAE,OAAO;YAAE,MAAM,MAAM,CAAC,MAAM,CAAA;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACzC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC,CAAC,sBAAsB,EAAE,CAAA;QACjH,CAAC;QACD,MAAM,eAAe,GACnB,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAA;QAC/G,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,EAAE;aAChC,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,eAAe,CAAC,CAAC;aAC9E,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;aAC/C,KAAK,CAAC,CAAC,KAAK,EAA0B,EAAE;YACvC,IAAI,eAAe,CAAC,OAAO;gBAAE,MAAM,eAAe,CAAC,MAAM,CAAA;YACzD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAA;QAC1D,CAAC,CAAC,CAAA;QACJ,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QAChC,IAAI,CAAC;YACH,MAAM,WAAW,GAAG,MAAM,SAAS,CAAA;YACnC,IAAI,eAAe,CAAC,OAAO;gBAAE,MAAM,eAAe,CAAC,MAAM,CAAA;YACzD,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,UAAU;gBAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,EAAE,uBAAuB,CAAC,CAAA;YACjH,OAAO,WAAW,CAAA;QACpB,CAAC;gBAAS,CAAC;YACT,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;QACrC,CAAC;IACH,CAAC;CACF;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACtE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,OAAO,CAAA;IAC5E,OAAO,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAC/D,CAAC;AAED,eAAe,8BAA8B,CAAA"}

package/lib/operations/health.d.ts

@@ -0,0 +1,6 @@
+import type { Context } from '@deepseek-ai/cordis';
+import type { CleanupInspector } from './cleanup-inspector.js';
+import type { OperationsHealth } from './model.js';
+import type { RecoveryParticipants } from './recovery.js';
+import type { MaintenanceStateStore } from './store.js';
+export declare function projectOperationsHealth(ctx: Context, store: MaintenanceStateStore, recovery: RecoveryParticipants, inspector: CleanupInspector): OperationsHealth;

package/lib/operations/health.js

@@ -0,0 +1,41 @@
+export function projectOperationsHealth(ctx, store, recovery, inspector) {
+    const admission = ctx.admission.snapshot();
+    const runIds = admission.runs
+        .filter((run) => 'execution' in run && run.execution.recovery !== undefined)
+        .map((run) => run.runId);
+    const participantFacts = recovery.snapshot();
+    const participantFailure = store.failure !== undefined || Object.values(participantFacts).some((fact) => fact.failure !== undefined);
+    const participantPending = Object.values(participantFacts).some((fact) => fact.pending > 0);
+    const pendingCleanup = store.ready() ? store.current().pendingCleanup !== undefined : false;
+    const recoveryStatus = participantFailure
+        ? 'failed'
+        : runIds.length > 0 || participantPending || pendingCleanup
+            ? 'required'
+            : 'complete';
+    const mode = admission.scheduler.mode;
+    return {
+        process: { status: 'alive', owner: ctx.runtimeOwner.snapshot() },
+        persistence: store.failure === undefined
+            ? { status: store.ready() ? 'ready' : 'unconfigured' }
+            : { status: 'failed', failure: store.failure },
+        recovery: {
+            status: recoveryStatus,
+            runIds,
+            pendingCleanup,
+            participants: participantFacts,
+        },
+        integrations: { codeHost: codeHostHealth(ctx, inspector) },
+        admission: {
+            status: mode !== 'enabled' ? 'paused' : recoveryStatus === 'complete' ? 'permitted' : 'blocked',
+            mode,
+        },
+    };
+}
+function codeHostHealth(ctx, inspector) {
+    if (!ctx.pullRequestDisposition.has(ctx.autopilotConfig.get().codeHostProvider))
+        return { status: 'unavailable' };
+    return inspector.codeHostFailure === undefined
+        ? { status: 'available' }
+        : { status: 'failed', failure: inspector.codeHostFailure };
+}
+//# sourceMappingURL=health.js.map

package/lib/operations/health.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"health.js","sourceRoot":"","sources":["../../src/operations/health.ts"],"names":[],"mappings":"AAMA,MAAM,UAAU,uBAAuB,CACrC,GAAY,EACZ,KAA4B,EAC5B,QAA8B,EAC9B,SAA2B;IAE3B,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAA;IAC1C,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI;SAC1B,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,IAAI,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC;SAC3E,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IAC1B,MAAM,gBAAgB,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAA;IAC5C,MAAM,kBAAkB,GACtB,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAA;IAC3G,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAA;IAC3F,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAA;IAC3F,MAAM,cAAc,GAAG,kBAAkB;QACvC,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,kBAAkB,IAAI,cAAc;YACzD,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,UAAU,CAAA;IAChB,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,CAAA;IACrC,OAAO;QACL,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE;QAChE,WAAW,EACT,KAAK,CAAC,OAAO,KAAK,SAAS;YACzB,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,EAAE;YACtD,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE;QAClD,QAAQ,EAAE;YACR,MAAM,EAAE,cAAc;YACtB,MAAM;YACN,cAAc;YACd,YAAY,EAAE,gBAAgB;SAC/B;QACD,YAAY,EAAE,EAAE,QAAQ,EAAE,cAAc,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE;QAC1D,SAAS,EAAE;YACT,MAAM,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,KAAK,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;YAC/F,IAAI;SACL;KACF,CAAA;AACH,CAAC;AAED,SAAS,cAAc,CAAC,GAAY,EAAE,SAA2B;IAC/D,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAA;IACjH,OAAO,SAAS,CAAC,eAAe,KAAK,SAAS;QAC5C,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE;QACzB,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,eAAe,EAAE,CAAA;AAC9D,CAAC"}

package/lib/operations/index.d.ts

@@ -0,0 +1,6 @@
+export * from './disposition.js';
+export * from './model.js';
+export { REQUIRED_RECOVERY_PARTICIPANTS } from './recovery.js';
+export * from './runtime-owner.js';
+export * from './service.js';
+export { AutopilotOperations as default } from './service.js';

package/lib/operations/index.js

@@ -0,0 +1,7 @@
+export * from './disposition.js';
+export * from './model.js';
+export { REQUIRED_RECOVERY_PARTICIPANTS } from './recovery.js';
+export * from './runtime-owner.js';
+export * from './service.js';
+export { AutopilotOperations as default } from './service.js';
+//# sourceMappingURL=index.js.map

package/lib/operations/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/operations/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAA;AAChC,cAAc,YAAY,CAAA;AAC1B,OAAO,EAAE,8BAA8B,EAAE,MAAM,eAAe,CAAA;AAC9D,cAAc,oBAAoB,CAAA;AAClC,cAAc,cAAc,CAAA;AAC5B,OAAO,EAAE,mBAAmB,IAAI,OAAO,EAAE,MAAM,cAAc,CAAA"}

package/lib/operations/inspection.d.ts

@@ -0,0 +1,35 @@
+import type { Context } from '@deepseek-ai/cordis';
+import type { AdmissionSnapshot, AutopilotRun, RunExecutionSnapshot, RunId } from '../admission.js';
+import type { PullRequestDisposition } from './disposition.js';
+import type { CleanupRejection } from './model.js';
+export type AllocatedRun = AutopilotRun & {
+    readonly execution: RunExecutionSnapshot;
+};
+export declare function cleanupRejections(input: {
+    run: AllocatedRun;
+    disposition: PullRequestDisposition;
+    ownership: boolean;
+    missing: boolean;
+    dirtyFiles: readonly string[];
+    untrackedFiles: readonly string[];
+    unpushedCommits: number | 'unknown';
+    retentionEligibleAt?: string;
+    now: number;
+}): CleanupRejection[];
+export declare function inspectOwnership(ctx: Context, run: AllocatedRun, managedRoot: string): Promise<void>;
+export declare function listWorktrees(ctx: Context, repository: string): Promise<{
+    path: string;
+    branch?: string;
+}[]>;
+export declare function parseStatus(status: string): {
+    dirtyFiles: string[];
+    untrackedFiles: string[];
+};
+export declare function directoryBytes(path: string): Promise<number>;
+export declare function allocatedRun(snapshot: AdmissionSnapshot, runId: RunId): AllocatedRun;
+export declare function hasExecution(run: AutopilotRun): run is AllocatedRun;
+export declare function fingerprint(value: unknown): string;
+export declare function canonicalExistingPath(path: string): Promise<string>;
+export declare function inside(root: string, candidate: string): boolean;
+export declare function pathExists(path: string): Promise<boolean>;
+export declare function boundedError(error: unknown): string;