mirror of
https://github.com/paperclipai/paperclip.git
synced 2026-10-07 07:23:08 +02:00
## Thinking Path > - Paperclip manages AI agents and their work. > - The runner executes agent turns on local and remote providers. > - A remote per-turn session must save its state before Paperclip releases its sandbox. > - The session runtime returned after 100 milliseconds while the remote checkpoint still ran. > - The next turn also checked the local state path instead of the verified remote backup. > - This pull request waits for the bounded remote close and accepts only a verified suspended backup. > - The benefit is reliable multi-turn execution without weaker identity checks. ## Linked Issues or Issue Description **What happened?** A successful remote agent turn released its sandbox before the runner saved the verified continuation backup. The next turn failed with `runner_state_identity_mismatch`. **Expected behavior** Paperclip must finish the bounded remote checkpoint before it releases the sandbox. A later turn must validate and restore the digest-matched suspended backup. **Steps to reproduce** 1. Run a native ACPX Claude Plan test in a non-reusable Daytona sandbox. 2. Reject the first plan to start a second turn. 3. Observe that the second turn fails before provider execution. **Paperclip version or commit** The failure reproduced at `13775a90b078ff64872f50961ea1b83d575e7bc6`. **Deployment mode** GitHub Actions with a Daytona sandbox. ## What Changed - Wait for the internally bounded remote runner close and checkpoint before the host returns. - Preserve the existing short cleanup bound for other providers. - Validate remote continuation lifecycle from a complete digest-verified backup when local runner state is absent. - Keep corrupt, non-suspended, mismatched, and unverified state fail-closed. - Make native Plan completion and accepted-Plan wake prompts deterministic. ## Verification - A prior 45-cell local campaign passed 44 cells. The only failure was the OpenCode Plan prompt variance fixed here. - A focused OpenCode local Plan rerun passed. - ACPX Claude Daytona message and question cells passed. - Focused regressions cover delayed checkpoint close and verified remote backup lifecycle. - GitHub Build and the focused ACPX Claude Daytona Plan cell will validate this exact head. ## Risks Remote runnerd sessions now wait for their internally bounded close/checkpoint path before returning; generic provider cleanup retains the existing 100 millisecond bound. Durable run success still cannot be reversed. The environment release guard still blocks sandbox destruction when no verified backup stamp exists. ## Model Used OpenAI Codex, GPT-5.6, extended reasoning, with code execution and GitHub Actions inspection. ## 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 and contains no internal task id - [ ] I have run tests locally and they pass - [x] I have added or updated tests where applicable - [ ] 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 findings - [ ] I will address all Greptile and reviewer comments before requesting merge
233 lines
7.4 KiB
TypeScript
233 lines
7.4 KiB
TypeScript
import { spawn } from "node:child_process";
|
|
import {
|
|
mkdir,
|
|
readFile,
|
|
readdir,
|
|
rm,
|
|
writeFile,
|
|
copyFile,
|
|
} from "node:fs/promises";
|
|
import path from "node:path";
|
|
import {
|
|
assertSecretFree,
|
|
findSecretLeak,
|
|
findSecretLeakInJsonValues,
|
|
redactText,
|
|
sanitizeJson,
|
|
} from "./redaction.js";
|
|
|
|
const TEXT_EXTENSIONS = new Set([
|
|
".json",
|
|
".xml",
|
|
".html",
|
|
".css",
|
|
".js",
|
|
".txt",
|
|
".log",
|
|
".md",
|
|
]);
|
|
const BINARY_EXTENSIONS = new Set([".png", ".webm"]);
|
|
const ACTIVE_CONTENT_EXTENSIONS = new Set([".svg"]);
|
|
const ALLOWED_DIRECTORIES = new Set([
|
|
"snapshots",
|
|
"playwright-output",
|
|
"blob-report",
|
|
"html-report",
|
|
]);
|
|
const ALLOWED_ROOT_FILES = new Set([
|
|
"result.json",
|
|
"final-state.png",
|
|
"failure.png",
|
|
"server.log",
|
|
"playwright.log",
|
|
"junit.xml",
|
|
]);
|
|
const REQUIRED_PASS_FILES = [
|
|
"final-state.png",
|
|
"result.json",
|
|
"junit.xml",
|
|
path.join("html-report", "index.html"),
|
|
path.join("snapshots", "fixtures.json"),
|
|
path.join("snapshots", "api-state.json"),
|
|
] as const;
|
|
|
|
export interface EvidencePackageResult {
|
|
files: string[];
|
|
leaks: Array<{ file: string; reason: string }>;
|
|
missing: string[];
|
|
}
|
|
|
|
async function walk(root: string, relative = ""): Promise<string[]> {
|
|
const directory = path.join(root, relative);
|
|
const entries = await readdir(directory, { withFileTypes: true }).catch(
|
|
() => [],
|
|
);
|
|
const files: string[] = [];
|
|
for (const entry of entries) {
|
|
const next = path.join(relative, entry.name);
|
|
if (entry.isDirectory()) files.push(...(await walk(root, next)));
|
|
else if (entry.isFile()) files.push(next);
|
|
}
|
|
return files;
|
|
}
|
|
|
|
function isAllowed(relative: string) {
|
|
const segments = relative.split(path.sep);
|
|
if (segments.length === 1)
|
|
return (
|
|
ALLOWED_ROOT_FILES.has(relative) ||
|
|
/^(?:plan|question)-[a-z0-9-]+\.png$/.test(relative)
|
|
);
|
|
return ALLOWED_DIRECTORIES.has(segments[0]);
|
|
}
|
|
|
|
async function inspectZip(source: string, secrets: readonly string[]) {
|
|
// Failure traces can exceed Node's child-process output buffer. Stream the
|
|
// expanded archive through the exact-value scanner with enough overlap to
|
|
// detect a credential split across stdout chunks, without retaining the
|
|
// archive in memory or weakening fail-closed evidence publication.
|
|
const overlap = Math.max(
|
|
256,
|
|
...secrets.map((secret) => Buffer.byteLength(secret, "utf8") + 16),
|
|
);
|
|
return new Promise<string | null>((resolve) => {
|
|
const unzip = spawn("unzip", ["-p", source], {
|
|
stdio: ["ignore", "pipe", "pipe"],
|
|
});
|
|
let carry = Buffer.alloc(0);
|
|
let leak: string | null = null;
|
|
let spawnError: Error | null = null;
|
|
|
|
unzip.stdout.on("data", (chunk: Buffer) => {
|
|
if (leak) return;
|
|
const data = Buffer.concat([carry, chunk]);
|
|
leak = findSecretLeak(data, secrets, { includeShapes: false });
|
|
carry = data.subarray(Math.max(0, data.length - overlap));
|
|
if (leak) unzip.kill();
|
|
});
|
|
// Drain diagnostics so a noisy unzip cannot block. Error text is withheld
|
|
// because archive paths and contents belong to private attempt evidence.
|
|
unzip.stderr.resume();
|
|
unzip.on("error", (error) => {
|
|
spawnError = error;
|
|
});
|
|
unzip.on("close", (code) => {
|
|
if (leak) return resolve(leak);
|
|
if (spawnError) {
|
|
return resolve(`zip could not be inspected: ${spawnError.message}`);
|
|
}
|
|
return resolve(
|
|
code === 0
|
|
? null
|
|
: `zip could not be inspected: unzip exited with code ${String(code)}`,
|
|
);
|
|
});
|
|
});
|
|
}
|
|
|
|
export async function packageEvidence(input: {
|
|
privateDir: string;
|
|
uploadDir: string;
|
|
secrets: readonly string[];
|
|
expectPassScreenshot: boolean;
|
|
}): Promise<EvidencePackageResult> {
|
|
await rm(input.uploadDir, { recursive: true, force: true });
|
|
await mkdir(input.uploadDir, { recursive: true });
|
|
const files: string[] = [];
|
|
const leaks: EvidencePackageResult["leaks"] = [];
|
|
const available = await walk(input.privateDir);
|
|
|
|
for (const relative of available.filter(isAllowed)) {
|
|
const source = path.join(input.privateDir, relative);
|
|
const extension = path.extname(relative).toLowerCase();
|
|
const destination = path.join(input.uploadDir, relative);
|
|
await mkdir(path.dirname(destination), { recursive: true });
|
|
if (ACTIVE_CONTENT_EXTENSIONS.has(extension)) {
|
|
// SVG can execute script when opened directly from an artifact. Keep the
|
|
// source in the disposable private attempt directory, but never admit it
|
|
// to the sanitized CI artifact.
|
|
continue;
|
|
} else if (TEXT_EXTENSIONS.has(extension)) {
|
|
const raw = await readFile(source, "utf8");
|
|
const parsed = extension === ".json" ? JSON.parse(raw) : null;
|
|
const leak =
|
|
extension === ".json"
|
|
? findSecretLeakInJsonValues(parsed, input.secrets)
|
|
: findSecretLeak(raw, input.secrets);
|
|
if (leak) leaks.push({ file: relative, reason: leak });
|
|
// Redacting an already serialized JSON string can change escape
|
|
// boundaries around shell commands. Sanitize parsed values instead so
|
|
// uploaded snapshots stay valid JSON.
|
|
const safe =
|
|
extension === ".json"
|
|
? `${JSON.stringify(sanitizeJson(parsed, input.secrets), null, 2)}\n`
|
|
: redactText(raw, input.secrets);
|
|
if (extension === ".json") {
|
|
const safeLeak = findSecretLeakInJsonValues(
|
|
JSON.parse(safe),
|
|
input.secrets,
|
|
);
|
|
if (safeLeak)
|
|
throw new Error(`Secret leak in ${relative}: ${safeLeak}`);
|
|
} else {
|
|
assertSecretFree(safe, input.secrets, relative);
|
|
}
|
|
await writeFile(destination, safe, "utf8");
|
|
files.push(relative);
|
|
} else if (extension === ".zip") {
|
|
const leak = await inspectZip(source, input.secrets);
|
|
if (leak) {
|
|
leaks.push({ file: relative, reason: leak });
|
|
continue;
|
|
}
|
|
await copyFile(source, destination);
|
|
files.push(relative);
|
|
} else if (BINARY_EXTENSIONS.has(extension)) {
|
|
// This raw-byte scan catches embedded plaintext credentials, but cannot
|
|
// inspect rendered pixels. Provider/UI raster and video files remain in
|
|
// the access-controlled CI artifact. The public publisher creates its
|
|
// own synthetic summary image from fixed labels and numeric/status data.
|
|
const raw = await readFile(source);
|
|
const leak = findSecretLeak(raw, input.secrets);
|
|
if (leak) {
|
|
leaks.push({ file: relative, reason: leak });
|
|
continue;
|
|
}
|
|
await copyFile(source, destination);
|
|
files.push(relative);
|
|
}
|
|
}
|
|
|
|
const missing = input.expectPassScreenshot
|
|
? [
|
|
...REQUIRED_PASS_FILES.filter((required) => !files.includes(required)),
|
|
...(files.some(
|
|
(file) =>
|
|
file.startsWith(`blob-report${path.sep}`) && file.endsWith(".zip"),
|
|
)
|
|
? []
|
|
: [path.join("blob-report", "*.zip")]),
|
|
]
|
|
: [];
|
|
const manifest = {
|
|
schema: "paperclip.runner-e2e.evidence/v1",
|
|
files: [...files].sort(),
|
|
leaks,
|
|
missing,
|
|
};
|
|
const manifestText = `${JSON.stringify(sanitizeJson(manifest, input.secrets), null, 2)}\n`;
|
|
const manifestLeak = findSecretLeakInJsonValues(
|
|
JSON.parse(manifestText),
|
|
input.secrets,
|
|
);
|
|
if (manifestLeak)
|
|
throw new Error(`Secret leak in evidence-manifest.json: ${manifestLeak}`);
|
|
await writeFile(
|
|
path.join(input.uploadDir, "evidence-manifest.json"),
|
|
manifestText,
|
|
"utf8",
|
|
);
|
|
files.push("evidence-manifest.json");
|
|
return { files, leaks, missing };
|
|
}
|