mirror of
https://github.com/paperclipai/paperclip.git
synced 2026-11-12 22:39:44 +01:00
## Thinking Path > - Paperclip is the open source app people use to manage AI agents for work. > - Control-plane restarts leave in-progress records that each subsystem releases in its own way. The durable-ownership plan replaces those paths with one shared path. > - Phase 1 added a report-only reconciler. Its light local waves showed zero violations, and that proves little. > - Phase 2 moves kinds to the shared path. It needs data that shows which kinds really leak, and the speed numbers to protect. > - This pull request records that data from harsher waves. It also fixes the harness so that K4 outages past the reconnect grace qualify. > - The benefit is that Phase 2 moves kinds in order of measured risk, against a known speed baseline. ## Linked Issues or Issue Description Refs #19831 (durable-ownership plan), #19861 (report-only reconciler), #19863 (speed budgets), #19797 (K4 hold cap). **What is the problem?** Phase 2 needs per-kind invariant data and speed data from harsh restart waves. Only light local waves existed. In addition, a K4 hold over about 405 s always failed its fault receipt, so the 600 s cap from #19797 could not be used. **Where is it documented?** `doc/plans/2026-11-07-durable-ownership-and-reconciliation.md` (Phase 2 rows) and `tests/restart-chaos/README.md`. **What should change?** Record the data in a dated plan doc. Let chaos K4 holds run up to 600 s and still qualify. ## What Changed - Added `doc/plans/2026-11-07-phase2-reconciler-data.md`. It covers 5 unmasked local waves (two storms, a crash loop, two K4 runs). It gives per-kind violation counts with example rows, owner verdicts, TTFT, boot and restart recovery against the budgets, Phase 3 gate notes, and what is not covered (Daytona). - Added a short pointer to that doc in the durable-ownership plan. - `tests/restart-chaos`: new flag `--k4-hold-max-seconds` (120–600). It raises the upper end of the seeded K4 hold. The default range (120–300 s) does not change. - `tests/runner-e2e/controller-outage.ts`: the receipt's ready bound is now a parameter (`CONTROLLER_READY_BY_MS`, default 420 s). Runner suites keep 420 s. The chaos supervisor passes hold + 420 s, so a hold past the Runner's reconnect grace qualifies. ## Verification - `pnpm exec vitest run --config tests/restart-chaos/vitest.config.ts`: 12 files, 135 tests pass, including the new flag test. - `pnpm exec vitest run --config tests/runner-e2e/vitest.config.ts tests/runner-e2e/controller-outage.test.ts`: 36 pass, including the new long-hold receipt test. - `node scripts/typecheck-test-projects.mjs tests/restart-chaos` and `tests/runner-e2e`: pass. - Live: the K4 wave at seed 9203 failed 3 of 6 tasks with the old bound (fault error "did not produce a qualifying replacement receipt"). It passed 6 of 6 with this fix, with holds of 294–579 s. ## Risks - Low risk. The changes are test harness code and docs only. The runner suites keep the 420 s ready bound by default. - The data is local only. The doc says which kinds the waves do not reach. ## Model Used - Claude Opus 5.5 (`claude-opus-5-5`), Anthropic, in Claude Code with tool use (shell, file edits). The model ran the chaos waves and wrote the analysis and code. ## Checklist - [x] I have included a thinking path that traces from project context to this change - [x] I have specified the model used (with version and capability details) - [x] I have checked ROADMAP.md and confirmed this PR does not duplicate planned core work - [x] I have searched GitHub for duplicate or related PRs and linked them above - [x] I have either (a) linked existing issues with `Fixes: #` / `Closes #` / `Refs #` OR (b) described the issue in-PR following the relevant issue template - [x] I have not referenced internal/instance-local Paperclip issues or links (only public GitHub `#NNN` / `github.com/paperclipai/paperclip` URLs) - [x] My branch name describes the change (e.g. `docs/...`, `fix/...`) and contains no internal Paperclip ticket id or instance-derived details - [x] I have run tests locally and they pass - [x] I have added or updated tests where applicable - [x] I have updated relevant documentation to reflect my changes - [x] I have considered and documented any risks above - [ ] All Paperclip CI gates are green - [ ] Greptile is 5/5 with no open P2s, recommendations, or follow-ups - [ ] I will address all Greptile and reviewer comments before requesting merge 🤖 Generated with [Claude Code](https://claude.com/claude-code) --------- Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
179 lines
9.4 KiB
TypeScript
179 lines
9.4 KiB
TypeScript
import { lstat, rename } from "node:fs/promises";
|
|
import type { ServingArtifact } from "./upgrade-artifacts.js";
|
|
import type { ControllerRecoveryReceipt } from "./controller-recovery-observer.js";
|
|
import { setTimeout as delay } from "node:timers/promises";
|
|
import type { MatrixExecution } from "./types.js";
|
|
import { isRollingWebDeployment } from "./controller-rolling-deployment.js";
|
|
|
|
export interface ControllerOutage {
|
|
signal: "SIGTERM" | "SIGKILL";
|
|
holdMs: number;
|
|
}
|
|
|
|
export interface ControllerOutageReceipt extends ControllerOutage {
|
|
schema: "paperclip.e2e.controller-outage/v1";
|
|
requestId: string;
|
|
previousPid: number;
|
|
replacementPid?: number;
|
|
startedAt: string;
|
|
stoppedAfterMs?: number;
|
|
cacheDiscarded?: boolean;
|
|
replacementStartedAfterMs?: number;
|
|
readyAfterMs?: number;
|
|
previousArtifact?: ServingArtifact;
|
|
replacementArtifact?: ServingArtifact;
|
|
recovery?: ControllerRecoveryReceipt;
|
|
recoveryProgress?: Partial<ControllerRecoveryReceipt>;
|
|
}
|
|
|
|
/**
|
|
* Longest controller outage a harness may inject. Ten minutes lets chaos
|
|
* holds pass Daytona's sandbox auto-stop and the 7-minute runner reconnect
|
|
* grace. The recover-controller receipt check below still requires readiness
|
|
* inside that grace, so this does not loosen the qualification contract.
|
|
*/
|
|
export const MAX_CONTROLLER_OUTAGE_MS = 600_000;
|
|
/** Runner suites need the replacement ready inside the Runner's 7-minute
|
|
* reconnect grace, counted from the start of the outage. Chaos holds that
|
|
* deliberately outlast the grace pass a later bound to `replaceController`. */
|
|
export const CONTROLLER_READY_BY_MS = 420_000;
|
|
|
|
export function parseControllerOutage(value: unknown): ControllerOutage {
|
|
if (!value || typeof value !== "object" || Array.isArray(value)) throw new Error("Invalid controller outage");
|
|
const { signal, holdMs } = value as Record<string, unknown>;
|
|
if ((signal !== "SIGTERM" && signal !== "SIGKILL") || !Number.isSafeInteger(holdMs)
|
|
|| Number(holdMs) < 0 || Number(holdMs) > MAX_CONTROLLER_OUTAGE_MS) {
|
|
throw new Error(`Controller outage requires SIGTERM/SIGKILL and 0..${MAX_CONTROLLER_OUTAGE_MS} integer milliseconds`);
|
|
}
|
|
return { signal, holdMs: Number(holdMs) };
|
|
}
|
|
|
|
export function configuredControllerOutage(env: NodeJS.ProcessEnv, defaultHoldMs = 1_000): ControllerOutage {
|
|
const raw = env.PAPERCLIP_RUNNER_E2E_CONTROLLER_OUTAGE_MS ?? String(defaultHoldMs);
|
|
if (!/^\d+$/.test(raw)) throw new Error("Invalid PAPERCLIP_RUNNER_E2E_CONTROLLER_OUTAGE_MS");
|
|
return parseControllerOutage({ signal: env.PAPERCLIP_RUNNER_E2E_CONTROLLER_STOP_SIGNAL ?? "SIGKILL", holdMs: Number(raw) });
|
|
}
|
|
|
|
export function controllerOutageForExecution(execution: MatrixExecution, env: NodeJS.ProcessEnv): ControllerOutage | undefined {
|
|
if (isRollingWebDeployment(execution)) return undefined;
|
|
if (execution.task.flow !== "everyday_workflow" || execution.task.id !== "recover-controller"
|
|
|| execution.environment.id !== "daytona" || execution.profile.generation !== "native"
|
|
|| (execution.profile.provider !== "codex" && execution.profile.provider !== "acpx")) return undefined;
|
|
const declaredHoldMs = execution.suite.definitionMetadata?.controllerDowntimeMs;
|
|
if (typeof declaredHoldMs !== "number") throw new Error("Controller recovery suite must declare its outage duration");
|
|
const outage = configuredControllerOutage(env, declaredHoldMs);
|
|
if (["daytona-restart-continuity", "remote-workspace-storage"].includes(execution.suite.id) && outage.holdMs < declaredHoldMs) {
|
|
throw new Error("Controller outage is shorter than the dedicated continuity contract");
|
|
}
|
|
return outage;
|
|
}
|
|
|
|
/** A fault receipt is required in addition to the runner's continuity receipts. */
|
|
export function validControllerOutageReceipt(value: unknown, expected?: ControllerOutage, requestId?: string,
|
|
expectedArtifacts?: { previous: Pick<ServingArtifact, "revision" | "treeSha256">;
|
|
replacement: Pick<ServingArtifact, "revision" | "treeSha256"> },
|
|
readyByMs = CONTROLLER_READY_BY_MS): value is ControllerOutageReceipt {
|
|
if (!value || typeof value !== "object" || Array.isArray(value)) return false;
|
|
const r = value as ControllerOutageReceipt;
|
|
try { parseControllerOutage(r); } catch { return false; }
|
|
const durations = [r.stoppedAfterMs, r.replacementStartedAfterMs, r.readyAfterMs];
|
|
return r.schema === "paperclip.e2e.controller-outage/v1"
|
|
&& typeof r.requestId === "string" && /^[A-Za-z0-9._:-]{1,200}$/.test(r.requestId)
|
|
&& typeof r.startedAt === "string" && Number.isFinite(Date.parse(r.startedAt))
|
|
&& Number.isSafeInteger(r.previousPid) && r.previousPid > 0
|
|
&& Number.isSafeInteger(r.replacementPid) && Number(r.replacementPid) > 0 && r.previousPid !== r.replacementPid
|
|
&& r.cacheDiscarded === true
|
|
&& durations.every(ms => typeof ms === "number" && Number.isFinite(ms) && ms >= 0)
|
|
&& r.replacementStartedAfterMs! - r.stoppedAfterMs! >= r.holdMs
|
|
&& r.readyAfterMs! >= r.replacementStartedAfterMs!
|
|
&& r.readyAfterMs! < readyByMs
|
|
&& ((!r.previousArtifact && !r.replacementArtifact) || Boolean(r.previousArtifact && r.replacementArtifact
|
|
&& [r.previousArtifact, r.replacementArtifact].every(a => /^[a-f0-9]{40}$/.test(a.revision)
|
|
&& /^[a-f0-9]{64}$/.test(a.treeSha256) && typeof a.version === "string"
|
|
&& ["released", "development-build"].includes(a.evidence))
|
|
&& r.previousArtifact.revision !== r.replacementArtifact.revision
|
|
&& r.previousArtifact.treeSha256 !== r.replacementArtifact.treeSha256))
|
|
&& (!expectedArtifacts || Boolean(r.previousArtifact && r.replacementArtifact
|
|
&& r.previousArtifact.revision === expectedArtifacts.previous.revision
|
|
&& r.previousArtifact.treeSha256 === expectedArtifacts.previous.treeSha256
|
|
&& r.replacementArtifact.revision === expectedArtifacts.replacement.revision
|
|
&& r.replacementArtifact.treeSha256 === expectedArtifacts.replacement.treeSha256))
|
|
&& (requestId === undefined || r.requestId === requestId)
|
|
&& (!expected || (r.signal === expected.signal && r.holdMs === expected.holdMs));
|
|
}
|
|
|
|
/** Test harness only. Owners supply process cleanup, HTTP probing and cache paths.
|
|
* No database mutation, runner command or production recovery hook is involved.
|
|
*/
|
|
export async function replaceController<T extends { pid?: number }>(input: {
|
|
requestId: string; previousPid: number; outage: ControllerOutage;
|
|
stop: (signal: ControllerOutage["signal"]) => Promise<void>;
|
|
waitForUnhealthy: () => Promise<void>;
|
|
discardCache: () => Promise<void>;
|
|
start: () => Promise<T>;
|
|
waitForReady: (replacement: T) => Promise<void>;
|
|
cancelled: () => boolean;
|
|
record: (receipt: ControllerOutageReceipt) => Promise<void>;
|
|
previousArtifact?: ServingArtifact;
|
|
replacementArtifact?: () => ServingArtifact | undefined;
|
|
afterStopped?: (receipt: ControllerOutageReceipt) => Promise<void>;
|
|
afterReady?: (receipt: ControllerOutageReceipt, record: () => Promise<void>) => Promise<void>;
|
|
/** Upper bound on `readyAfterMs`; defaults to the Runner reconnect grace. */
|
|
readyByMs?: number;
|
|
}): Promise<ControllerOutageReceipt> {
|
|
const outage = parseControllerOutage(input.outage);
|
|
const started = performance.now();
|
|
const receipt: ControllerOutageReceipt = { schema: "paperclip.e2e.controller-outage/v1",
|
|
requestId: input.requestId, previousPid: input.previousPid, startedAt: new Date().toISOString(), ...outage,
|
|
...(input.previousArtifact ? { previousArtifact: input.previousArtifact } : {}) };
|
|
const check = () => { if (input.cancelled()) throw new Error("Wrapper shutdown interrupted the controller outage"); };
|
|
const record = () => input.record({ ...receipt });
|
|
check();
|
|
await record(); // Failed attempts retain the boundary they actually reached.
|
|
await input.stop(outage.signal);
|
|
await input.waitForUnhealthy();
|
|
receipt.stoppedAfterMs = performance.now() - started;
|
|
await input.afterStopped?.(receipt);
|
|
await record();
|
|
await input.discardCache();
|
|
receipt.cacheDiscarded = true;
|
|
await record();
|
|
while (performance.now() - started - receipt.stoppedAfterMs < outage.holdMs) {
|
|
check();
|
|
await delay(Math.min(100, outage.holdMs - (performance.now() - started - receipt.stoppedAfterMs)));
|
|
}
|
|
check();
|
|
receipt.replacementStartedAfterMs = performance.now() - started;
|
|
await record();
|
|
const replacement = await input.start();
|
|
receipt.replacementPid = replacement.pid;
|
|
await record();
|
|
await input.waitForReady(replacement);
|
|
check();
|
|
receipt.readyAfterMs = performance.now() - started;
|
|
if (input.previousArtifact) {
|
|
receipt.replacementArtifact = input.replacementArtifact?.();
|
|
if (!receipt.replacementArtifact) throw new Error("Replacement has no verified serving artifact");
|
|
}
|
|
await record();
|
|
if (!validControllerOutageReceipt(receipt, outage, input.requestId, undefined, input.readyByMs)) throw new Error("Controller outage did not produce a qualifying replacement receipt");
|
|
await input.afterReady?.(receipt, record);
|
|
return receipt;
|
|
}
|
|
|
|
/** Retire only the controller-owned cache; this is not Runner state. */
|
|
export async function retireControllerCache(cache: string, retired: string): Promise<void> {
|
|
try { await rename(cache, retired); }
|
|
catch (error) {
|
|
if ((error as NodeJS.ErrnoException).code !== "ENOENT") throw error;
|
|
// ENOENT can also mean the destination parent is missing. Only absence of
|
|
// the old cache satisfies retirement; preserve every other failure.
|
|
try { await lstat(cache); }
|
|
catch (missing) {
|
|
if ((missing as NodeJS.ErrnoException).code === "ENOENT") return;
|
|
throw missing;
|
|
}
|
|
throw error;
|
|
}
|
|
}
|