@astrosheep/keiyaku 2.9.13 → 4.0.1

package/build/agents/providers/codex-app-server/events.js

@@ -1,492 +0,0 @@
-import { boundActivityExcerpt, diffstatFromUnifiedPatch } from "../../harness/activity-values.js";
-import { AGENT_PLAN_ITEM_TEXT_MAX_CHARS, AGENT_PLAN_MAX_ITEMS, AGENT_THOUGHT_TEXT_MAX_CHARS, } from "../../harness/events.js";
-import { exactLaunchInputReceipts } from "../../harness/control-types.js";
-import { createProviderFailure } from "../../harness/provider-adapter.js";
-import { createAbortError, emitProviderEvidence, coerceString } from "../../harness/runtime.js";
-import { CODEX_APP_SERVER_PROVIDER } from "./identity.js";
-const CODEX_APP_SERVER_NOTIFICATION_ACKNOWLEDGED = new Set([
-    "item/agentMessage/delta",
-    "item/commandExecution/outputDelta",
-    "item/fileChange/outputDelta",
-    "item/reasoning/summaryTextDelta",
-    "item/reasoning/summaryPartAdded",
-    "item/reasoning/textDelta",
-]);
-const CODEX_APP_SERVER_NOTIFICATION_MAPPED = new Set([
-    "item/completed",
-    "turn/started",
-    "turn/completed",
-    "error",
-]);
-export function codexAppServerNotificationDisposition(method, params) {
-    if (CODEX_APP_SERVER_NOTIFICATION_ACKNOWLEDGED.has(method))
-        return "acknowledged-unpersisted";
-    if (CODEX_APP_SERVER_NOTIFICATION_MAPPED.has(method))
-        return "mapped";
-    if (method === "item/started") {
-        const item = appServerRecord(appServerRecord(params)?.item);
-        if (item && typeof item.type === "string" && isCodexAppServerActivityItemType(item.type))
-            return "mapped";
-    }
-    if (method === "account/rateLimits/updated" && codexAppServerRateLimitCause(params))
-        return "mapped";
-    return "unknown";
-}
-export function appServerRecord(value) {
-    return value !== null && typeof value === "object" && !Array.isArray(value)
-        ? value
-        : undefined;
-}
-const CODEX_APP_SERVER_ACTIVITY_ITEM_TYPES = [
-    "commandExecution",
-    "fileChange",
-    "webSearch",
-    "mcpToolCall",
-];
-function isCodexAppServerActivityItemType(value) {
-    return CODEX_APP_SERVER_ACTIVITY_ITEM_TYPES.includes(value);
-}
-/** Map a native or legacy fileChange kind fact into the public op. */
-function appServerFileChangeOp(kind) {
-    if (kind === "add" || kind === "update" || kind === "delete")
-        return kind;
-    const record = appServerRecord(kind);
-    if (!record)
-        return undefined;
-    if (record.type === "add" || record.type === "update" || record.type === "delete")
-        return record.type;
-    return undefined;
-}
-/** Trustworthy provider patch text only: per-change native `diff`, else legacy `details.patch`. */
-function appServerFileChangeDiffstat(item) {
-    let additions = 0;
-    let deletions = 0;
-    let saw = false;
-    if (Array.isArray(item.changes)) {
-        for (const entry of item.changes) {
-            const change = appServerRecord(entry);
-            if (!change || typeof change.diff !== "string" || !change.diff)
-                continue;
-            const partial = diffstatFromUnifiedPatch(change.diff);
-            if (!partial)
-                continue;
-            saw = true;
-            additions += partial.additions;
-            deletions += partial.deletions;
-        }
-    }
-    if (saw)
-        return additions || deletions ? { additions, deletions } : undefined;
-    const details = appServerRecord(item.details);
-    const patch = typeof details?.patch === "string" ? details.patch : undefined;
-    return patch ? diffstatFromUnifiedPatch(patch) : undefined;
-}
-export function appServerActivityCall(itemType, item) {
-    switch (itemType) {
-        case "commandExecution":
-            return typeof item.command === "string"
-                ? {
-                    kind: "run",
-                    command: item.command,
-                    ...(typeof item.description === "string" && item.description ? { description: item.description } : {}),
-                }
-                : { kind: "other", display: itemType };
-        case "fileChange": {
-            const changes = Array.isArray(item.changes)
-                ? item.changes.flatMap((entry) => {
-                    const change = appServerRecord(entry);
-                    if (!change || typeof change.path !== "string")
-                        return [];
-                    const op = appServerFileChangeOp(change.kind);
-                    if (!op)
-                        return [];
-                    return [{ op, path: change.path }];
-                })
-                : [];
-            if (changes.length > 0)
-                return { kind: "fileChange", changes };
-            return { kind: "other", display: typeof item.path === "string" ? `fileChange ${item.path}` : itemType };
-        }
-        case "webSearch":
-            return typeof item.query === "string" ? { kind: "search", query: item.query } : { kind: "other", display: itemType };
-        case "mcpToolCall":
-            return typeof item.server === "string" && typeof item.tool === "string"
-                ? { kind: "other", display: `${item.server}.${item.tool}` }
-                : { kind: "other", display: itemType };
-    }
-}
-export function appServerActivityResult(item) {
-    const exitCode = typeof item.exitCode === "number" && Number.isFinite(item.exitCode) ? item.exitCode : undefined;
-    const message = typeof item.aggregatedOutput === "string" && item.aggregatedOutput
-        ? boundActivityExcerpt(item.aggregatedOutput)
-        : typeof item.output === "string" && item.output
-            ? boundActivityExcerpt(item.output)
-            : typeof item.error === "string" && item.error
-                ? boundActivityExcerpt(item.error)
-                : undefined;
-    const diffstat = appServerFileChangeDiffstat(item);
-    return {
-        status: item.status === "failed" || (exitCode !== undefined && exitCode !== 0) ? "error" : "ok",
-        ...(message ? { message } : {}),
-        ...(exitCode === undefined ? {} : { exitCode }),
-        ...(diffstat ? { diffstat } : {}),
-    };
-}
-export function extractReasoningSummary(item) {
-    const summary = item.summary;
-    const text = typeof summary === "string"
-        ? summary
-        : Array.isArray(summary)
-            ? summary.map((part) => {
-                if (typeof part === "string")
-                    return part;
-                if (!part || typeof part !== "object")
-                    return "";
-                const record = part;
-                if (record.type !== "summary_text" && record.type !== "text")
-                    return "";
-                return typeof record.text === "string" ? record.text : "";
-            }).join("\n")
-            : "";
-    return text.trim().length > 0 ? text : undefined;
-}
-export function extractPlanItems(item) {
-    if (!Array.isArray(item.items))
-        return [];
-    return item.items.slice(0, AGENT_PLAN_MAX_ITEMS).flatMap((value) => {
-        if (!value || typeof value !== "object")
-            return [];
-        const record = value;
-        if (typeof record.text !== "string" || record.text.trim().length === 0)
-            return [];
-        return [{
-                text: record.text.slice(0, AGENT_PLAN_ITEM_TEXT_MAX_CHARS),
-                done: record.completed === true || record.done === true,
-                ...(record.active === true ? { active: true } : {}),
-            }];
-    });
-}
-export function createCodexAppServerTurnState() {
-    return {
-        responseSeenTurnIds: new Set(),
-        completedBeforeResponseTurnIds: new Set(),
-        activeTurnAcceptingSteer: false,
-        turnInFlight: false,
-        lastAgentMessage: "",
-    };
-}
-/** Admit positive native exhaustion evidence for the typed activity warning. */
-export function codexAppServerRateLimitCause(params) {
-    const rateLimits = appServerRecord(appServerRecord(params)?.rateLimits);
-    if (!rateLimits)
-        return undefined;
-    for (const value of Object.values(rateLimits)) {
-        const window = appServerRecord(value);
-        if (typeof window?.usedPercent === "number" && window.usedPercent >= 100) {
-            return { code: "rate_limit_exhausted", message: "rate limit exhausted" };
-        }
-    }
-    return undefined;
-}
-export function codexAppServerTurnFailureCause(turn) {
-    const error = appServerRecord(turn.error);
-    const httpStatus = [error?.httpStatus, error?.status, error?.statusCode, turn.httpStatus, turn.statusCode]
-        .find((value) => typeof value === "number" && Number.isSafeInteger(value));
-    const code = coerceString(error?.code) ?? coerceString(turn.errorCode);
-    const message = coerceString(error?.message) ?? coerceString(turn.error) ?? coerceString(turn.message);
-    return httpStatus === undefined && code === undefined && message === undefined
-        ? undefined
-        : {
-            ...(httpStatus === undefined ? {} : { httpStatus }),
-            ...(code === undefined ? {} : { code }),
-            ...(message === undefined ? {} : { message }),
-        };
-}
-export function codexAppServerFailureMessage(cause) {
-    if (!cause)
-        return `${CODEX_APP_SERVER_PROVIDER} turn failed`;
-    const httpStatus = typeof cause.httpStatus === "number" ? cause.httpStatus : undefined;
-    const code = typeof cause.code === "string" ? cause.code : undefined;
-    const message = typeof cause.message === "string" ? cause.message : undefined;
-    const label = [
-        httpStatus === undefined ? undefined : `HTTP ${httpStatus}`,
-        code,
-    ].filter((part) => part !== undefined).join(" ");
-    if (label && message)
-        return `${label}: ${message}`;
-    return label || message || `${CODEX_APP_SERVER_PROVIDER} turn failed`;
-}
-export function recordActiveTurnId(state, candidate, source) {
-    const turnId = coerceString(candidate);
-    if (!turnId)
-        throw new Error(`${CODEX_APP_SERVER_PROVIDER} ${source} omitted active turn id`);
-    if (!state.activeTurnId) {
-        state.activeTurnId = turnId;
-        state.activeTurnSource = source;
-        return turnId;
-    }
-    if (state.activeTurnId !== turnId) {
-        throw new Error(`${CODEX_APP_SERVER_PROVIDER} active turn id mismatch: ${state.activeTurnSource ?? "first"}=${state.activeTurnId}, ${source}=${turnId}`);
-    }
-    return state.activeTurnId;
-}
-export function recordTurnStartResponse(state, candidate) {
-    const turnId = coerceString(candidate);
-    if (!turnId)
-        throw new Error(`${CODEX_APP_SERVER_PROVIDER} response omitted active turn id`);
-    if (state.completedBeforeResponseTurnIds.delete(turnId))
-        return turnId;
-    state.responseSeenTurnIds.add(turnId);
-    return recordActiveTurnId(state, turnId, "response");
-}
-export function createCodexAppServerTurnMonitor(options) {
-    const { server, builder, state, builderDiagnostic, onEvidence, onSyncCheckpoint, onDeliveryOpportunity, onTellReceipt, listLaunchAdmissions, enqueue, drainPendingTells, rejectPendingTells, setFailActiveTurn, pendingTellCount, isDrainingTells, setFinishAfterTellDrain, } = options;
-    const startedLaunchFences = new Map();
-    const completedLaunchFences = new Map();
-    const emitLaunchReceipts = (stage, fence) => {
-        const admissions = (listLaunchAdmissions?.() ?? []).filter((admission) => (admission.fence.kind === "turn" && fence.kind === "turn"
-            && admission.fence.turnId === fence.turnId));
-        for (const receipt of exactLaunchInputReceipts(stage, fence, admissions))
-            onTellReceipt?.(receipt);
-    };
-    // A notification may arrive between the native response and durable launch
-    // admission. Retain only explicit native turn fences and replay them after
-    // the adapter has recorded the coordinate; no timing inference is involved.
-    const reconcileLaunchAdmissions = () => {
-        for (const fence of startedLaunchFences.values())
-            emitLaunchReceipts("seen", fence);
-        for (const fence of completedLaunchFences.values())
-            emitLaunchReceipts("consumed", fence);
-    };
-    const turnCompleted = new Promise((resolve, reject) => {
-        let unsubNotifications = () => { };
-        let unsubServerRequest = () => { };
-        let settled = false;
-        const failTurn = (error) => {
-            if (settled)
-                return;
-            settled = true;
-            rejectPendingTells(error);
-            const message = error instanceof Error ? error.message : String(error);
-            builder.emit({ type: "diagnostic", text: message });
-            builder.emit({ type: "fail", message });
-            unsubNotifications();
-            unsubServerRequest();
-            reject(error);
-        };
-        const failServerRequest = (request) => {
-            // Policy A forbids interactive server→client requests. Fail immediately with named diagnostic.
-            const message = `${CODEX_APP_SERVER_PROVIDER} unexpected server request '${request.method}' (id=${String(request.id)}); non-interactive policy forbids server→client requests`;
-            failTurn(createProviderFailure(message));
-        };
-        const requestDeliveryOpportunity = () => {
-            try {
-                onDeliveryOpportunity?.({ enqueue });
-            }
-            catch {
-                // Delivery observation cannot alter provider control flow.
-            }
-        };
-        unsubServerRequest = server.onServerRequest((request) => {
-            try {
-                builder.ingress(CODEX_APP_SERVER_PROVIDER, request.method, request, "mapped", () => {
-                    failServerRequest(request);
-                });
-            }
-            finally {
-                requestDeliveryOpportunity();
-            }
-        });
-        unsubNotifications = server.onNotification((notification) => {
-            try {
-                builder.ingress(CODEX_APP_SERVER_PROVIDER, notification.method, notification, codexAppServerNotificationDisposition(notification.method, notification.params), () => {
-                    if (notification.method === "item/agentMessage/delta") {
-                        const delta = coerceString(notification.params?.delta);
-                        if (delta) {
-                            state.lastAgentMessage = `${state.lastAgentMessage}${delta}`;
-                        }
-                    }
-                    if (notification.method === "item/completed") {
-                        const item = notification.params?.item;
-                        if (!item) {
-                            throw new Error(`${CODEX_APP_SERVER_PROVIDER} item/completed lacked required item`);
-                        }
-                        const id = coerceString(item.id);
-                        const itemType = coerceString(item.type);
-                        if (!id || !itemType) {
-                            throw new Error(`${CODEX_APP_SERVER_PROVIDER} item/completed lacked required item id or type`);
-                        }
-                        if (itemType === "agentMessage") {
-                            const text = coerceString(item.text);
-                            if (text) {
-                                state.lastAgentMessage = text;
-                                builder.emit({ type: "message", id, text });
-                            }
-                        }
-                        else if (itemType === "userMessage") {
-                            const tellId = coerceString(item.clientId);
-                            if (tellId)
-                                onTellReceipt?.({ stage: "seen", correlation: { kind: "exact", tellId } });
-                        }
-                        else if (itemType === "reasoning") {
-                            const text = extractReasoningSummary(item);
-                            if (text) {
-                                const truncated = text.length > AGENT_THOUGHT_TEXT_MAX_CHARS;
-                                builder.emit({
-                                    type: "thought",
-                                    id,
-                                    text: text.slice(0, AGENT_THOUGHT_TEXT_MAX_CHARS),
-                                    final: true,
-                                    ...(truncated ? { truncated: true } : {}),
-                                });
-                            }
-                        }
-                        else if (itemType === "todo_list" || itemType === "todoList") {
-                            builder.emit({
-                                type: "plan",
-                                id,
-                                items: extractPlanItems(item),
-                            });
-                        }
-                        else if (isCodexAppServerActivityItemType(itemType)) {
-                            builder.emit({
-                                type: "activity",
-                                phase: "completed",
-                                id,
-                                tool: itemType,
-                                call: appServerActivityCall(itemType, item),
-                                result: appServerActivityResult(item),
-                            });
-                        }
-                    }
-                    if (notification.method === "item/started") {
-                        const item = notification.params?.item;
-                        if (!item)
-                            throw new Error(`${CODEX_APP_SERVER_PROVIDER} item/started lacked required item`);
-                        const id = coerceString(item.id);
-                        const itemType = coerceString(item.type);
-                        if (!id || !itemType)
-                            throw new Error(`${CODEX_APP_SERVER_PROVIDER} item/started lacked required item id or type`);
-                        if (itemType === "userMessage") {
-                            const tellId = coerceString(item.clientId);
-                            if (tellId)
-                                onTellReceipt?.({ stage: "seen", correlation: { kind: "exact", tellId } });
-                        }
-                        if (isCodexAppServerActivityItemType(itemType)) {
-                            builder.emit({
-                                type: "activity",
-                                phase: "started",
-                                id,
-                                tool: itemType,
-                                call: appServerActivityCall(itemType, item),
-                            });
-                        }
-                    }
-                    if (notification.method === "turn/started") {
-                        const turn = notification.params?.turn;
-                        const turnId = recordActiveTurnId(state, turn?.id, "notification");
-                        builder.emit({ type: "turn", phase: "started" });
-                        state.activeTurnAcceptingSteer = true;
-                        const checkpoint = { fence: { kind: "turn", turnId } };
-                        if (onEvidence) {
-                            emitProviderEvidence(onEvidence, {
-                                type: "checkpoint",
-                                provider: CODEX_APP_SERVER_PROVIDER,
-                                fence: checkpoint.fence,
-                                source: "notification",
-                            }, builderDiagnostic);
-                        }
-                        // turn/start may respond before the server has installed its active
-                        // turn. The native notification is the first steer-safe boundary.
-                        onSyncCheckpoint?.({ enqueue }, checkpoint);
-                        startedLaunchFences.set(turnId, checkpoint.fence);
-                        emitLaunchReceipts("seen", checkpoint.fence);
-                        void drainPendingTells();
-                    }
-                    if (notification.method === "account/rateLimits/updated") {
-                        const cause = codexAppServerRateLimitCause(notification.params);
-                        if (cause) {
-                            builder.emit({ type: "warning", warning: { reason: "rate-limit", state: "exhausted" } });
-                            if (state.turnInFlight)
-                                state.failureCause ??= cause;
-                        }
-                    }
-                    if (notification.method === "turn/completed") {
-                        const turn = notification.params?.turn ?? {};
-                        const status = coerceString(turn.status) ?? "unknown";
-                        // Either response or notification may mint the turn fence first;
-                        // every later native source must agree with it.
-                        const turnId = recordActiveTurnId(state, turn.id, "notification");
-                        if (!state.responseSeenTurnIds.delete(turnId)) {
-                            state.completedBeforeResponseTurnIds.add(turnId);
-                        }
-                        // Public completed only for exact native status completed.
-                        if (status === "completed") {
-                            builder.emit({ type: "turn", phase: "completed" });
-                            // This must stay in the native notification call stack: the harness
-                            // checkpoint and its observer evidence describe this exact crossing.
-                            state.activeTurnAcceptingSteer = false;
-                            state.activeTurnId = undefined;
-                            state.activeTurnSource = undefined;
-                            const checkpoint = { fence: { kind: "turn", turnId } };
-                            if (onEvidence) {
-                                emitProviderEvidence(onEvidence, {
-                                    type: "checkpoint",
-                                    provider: CODEX_APP_SERVER_PROVIDER,
-                                    fence: checkpoint.fence,
-                                    source: "notification",
-                                }, builderDiagnostic);
-                            }
-                            onSyncCheckpoint?.({ enqueue }, checkpoint);
-                            completedLaunchFences.set(turnId, checkpoint.fence);
-                            emitLaunchReceipts("consumed", checkpoint.fence);
-                            onTellReceipt?.({ stage: "consumed", correlation: { kind: "fence", fence: checkpoint.fence } });
-                            void drainPendingTells();
-                            if (pendingTellCount() > 0 || isDrainingTells()) {
-                                setFinishAfterTellDrain(() => {
-                                    if (settled || state.activeTurnId !== undefined || pendingTellCount() > 0)
-                                        return;
-                                    settled = true;
-                                    unsubNotifications();
-                                    unsubServerRequest();
-                                    resolve({ status, turn });
-                                });
-                                return;
-                            }
-                        }
-                        if (settled)
-                            return;
-                        settled = true;
-                        unsubNotifications();
-                        unsubServerRequest();
-                        resolve({ status, turn });
-                    }
-                    if (notification.method === "error") {
-                        const message = coerceString(notification.params?.message) ?? `${CODEX_APP_SERVER_PROVIDER} error`;
-                        builder.emit({ type: "diagnostic", text: message });
-                    }
-                });
-            }
-            catch (error) {
-                // Notification listeners run outside the driver's await chain;
-                // convert validation failures into the controlled completion path.
-                failTurn(error);
-            }
-            finally {
-                if (notification.method !== "turn/completed") {
-                    requestDeliveryOpportunity();
-                }
-            }
-        });
-        setFailActiveTurn(failTurn);
-        builder.signal.addEventListener("abort", () => {
-            unsubNotifications();
-            unsubServerRequest();
-            failTurn(createAbortError(`${CODEX_APP_SERVER_PROVIDER} exec cancelled by client`));
-        }, { once: true });
-    });
-    // Abort can settle this before initialization reaches the await below.
-    // Attach a handler immediately while preserving the original awaited error.
-    turnCompleted.catch(() => undefined);
-    return { turnCompleted, reconcileLaunchAdmissions };
-}

package/build/agents/providers/codex-app-server/identity.js

@@ -1 +0,0 @@
-export const CODEX_APP_SERVER_PROVIDER = "codex-app-server";

package/build/agents/providers/codex-app-server/policy.js

@@ -1,29 +0,0 @@
-export function buildCodexAppServerWorkspaceWriteSandboxPolicy(input) {
-    return {
-        type: "workspaceWrite",
-        writableRoots: [...input.writableRoots],
-        networkAccess: input.networkAccess,
-        excludeTmpdirEnvVar: false,
-        excludeSlashTmp: false,
-    };
-}
-/** True when config.* already owns approval policy — omit turn-level approvalPolicy default. */
-export function configOwnsApprovalPolicy(config) {
-    if (!config)
-        return false;
-    return Object.prototype.hasOwnProperty.call(config, "approval_policy");
-}
-/**
- * True when config.* already owns sandbox settings — omit turn-level sandboxPolicy default.
- * Matches `sandbox_mode` or any `sandbox_workspace_write` / `sandbox_workspace_write.*` key.
- */
-export function configOwnsSandboxPolicy(config) {
-    if (!config)
-        return false;
-    for (const key of Object.keys(config)) {
-        if (key === "sandbox_mode" || key === "sandbox_workspace_write" || key.startsWith("sandbox_workspace_write.")) {
-            return true;
-        }
-    }
-    return false;
-}