agent-afk 5.313.10 → 5.313.12

package/README.md

@@ -61,6 +61,8 @@ Codex imports use `CODEX_HOME` when set (otherwise `~/.codex`) and also discover
 
 ## What it has done
 
+**Constructed SW(29,16), the last open symmetric weighing matrix case for weight 16 listed by Rosin (arXiv:2505.23881).** Given a research campaign goal, agent-afk agents picked the target, designed a prescribed-automorphism SAT search, found a symmetric 29x29 weighing matrix in 5620 seconds of solver time, checked it with independent exact checkers on two machines, and ran a kill lane that could not refute it. The standard databases list no symmetric W(29,16). Check it yourself in under a second: [`docs/results/sw-29-16`](docs/results/sw-29-16/README.md).
+
 **Constructed SW(27,16), a symmetric weighing matrix the standard archives do not list.** Given a research campaign goal, agent-afk agents picked the target, designed a prescribed-automorphism SAT search, found a symmetric 27x27 weighing matrix in 1903 seconds of solver time, checked it with independent exact checkers on two machines, and ran a kill lane that could not refute it. The standard databases list no symmetric W(27,16). Check it yourself in under a second: [`docs/results/sw-27-16`](docs/results/sw-27-16/README.md).
 
 **Constructed SW(25,16), a math case a 2025 paper listed as open.** Given a one-sentence goal ("settle one published open question"), agent-afk agents picked the target, designed a structured SAT search, found a symmetric 25x25 weighing matrix in 760 seconds of solver time, checked it with independent exact checkers and a prior-work search, and wrote up a short proof. The author of the paper that listed the case as open confirmed it passes his verifier. Check it yourself in under a second: [`docs/results/sw-25-16`](docs/results/sw-25-16/README.md).

package/dist/agent/default-hook-registry.d.ts

@@ -16,11 +16,13 @@ export interface DefaultHookRegistryResult {
     addPreviewDiffRef: PreviewDiffRef;
 }
 export declare function _resetWarningForTests(): void;
-export declare function createDefaultHookRegistry(onSubagentComplete?: (info: SubagentCompleteInfo) => void, surface?: string, memoryStore?: MemoryStore, getPermissionMode?: () => PermissionMode, hookConfig?: LoadedHooksConfig, agentOptions?: {
+type AgentOptions = {
     cwd?: string;
     sessionId?: string;
     traceWriter?: TraceSink;
     afkPromptForApproval?: boolean;
     getTranscriptPath?: () => string | null;
     daemonTaskId?: string;
-}, getCwd?: () => string | undefined): DefaultHookRegistryResult;
+};
+export declare function createDefaultHookRegistry(onSubagentComplete?: (info: SubagentCompleteInfo) => void, surface?: string, memoryStore?: MemoryStore, getPermissionMode?: () => PermissionMode, hookConfig?: LoadedHooksConfig, agentOptions?: AgentOptions, getCwd?: () => string | undefined): DefaultHookRegistryResult;
+export {};

package/dist/agent/elicitation/pending-question-store.d.ts

@@ -0,0 +1,21 @@
+import { StateStore } from '../state/state-store.js';
+export type PendingQuestionStatus = 'pending' | 'resolved';
+export interface PendingQuestion {
+    questionId: string;
+    sessionId: string | undefined;
+    surface: string;
+    prompt: string;
+    createdAt: string;
+    status: PendingQuestionStatus;
+    resolvedAt?: string;
+    resolvedAction?: string;
+}
+export declare function _setStoreForTest(s: StateStore | undefined): void;
+export declare function recordQuestion(questionId: string, sessionId: string | undefined, surface: string, prompt: string): PendingQuestion;
+export declare function markResolved(questionId: string, resolvedAction: string): PendingQuestion | null;
+export declare function getQuestion(questionId: string): PendingQuestion | null;
+export declare function listQuestions(opts?: {
+    status?: PendingQuestionStatus;
+    limit?: number;
+}): PendingQuestion[];
+export declare function closeStore(): void;

package/dist/agent/session/stream-consumer.turn-handlers.d.ts

@@ -0,0 +1,9 @@
+import type { ProviderEvent } from '../provider.js';
+import type { OutputEvent } from '../types.js';
+import { type TransformDeps } from './stream-consumer.js';
+export declare function handleSessionInit(info: Extract<ProviderEvent, {
+    type: 'session.init';
+}>['info'], deps: TransformDeps): null;
+export declare function handleTurnCompleted(event: Extract<ProviderEvent, {
+    type: 'turn.completed';
+}>, deps: TransformDeps): OutputEvent;

package/dist/agent/shell-jobs/streamer.helpers.d.ts

@@ -0,0 +1,24 @@
+import { type ChildProcess } from 'node:child_process';
+import { type AnsiStripper, type ShellResult } from './streamer.js';
+export interface CaptureState {
+    displayCaptured: string;
+    modelCaptured: string;
+    displayBytes: number;
+    modelBytes: number;
+    truncated: boolean;
+    overflowKilled: boolean;
+    killedByCaller: boolean;
+    settled: boolean;
+    stripper: AnsiStripper;
+}
+export declare function makeCaptureState(): CaptureState;
+export interface SpawnResult {
+    proc: ChildProcess;
+}
+export interface SpawnFailure {
+    spawnFailed: true;
+    message: string;
+}
+export declare function spawnChild(command: string, cwd: string | undefined, env: Record<string, string> | undefined): SpawnResult | SpawnFailure;
+export declare function wireStreams(proc: ChildProcess, state: CaptureState, maxBytes: number, startedAt: number, timeoutHandle: ReturnType<typeof setTimeout>, abortHandler: () => void, abortSignal: AbortSignal, onChunk: ((chunk: Buffer, stream: 'stdout' | 'stderr') => void) | undefined, resolveResult: (r: ShellResult) => void): void;
+export declare function wireExitHandlers(proc: ChildProcess, state: CaptureState, startedAt: number, timeoutHandle: ReturnType<typeof setTimeout>, abortHandler: () => void, abortSignal: AbortSignal, resolveResult: (r: ShellResult) => void): void;

package/dist/agent/tools/compose-input-parse.budgets.d.ts

@@ -0,0 +1,6 @@
+export declare function parseToolRounds(val: unknown, key: string): number;
+export declare function parseComposeBudgets(obj: Record<string, unknown>): {
+    nodeTimeoutMs: number | undefined;
+    maxToolRoundsPerNode: number | undefined;
+    warnings: string[];
+};

package/dist/agent/tools/subagent/input-parse.roots.d.ts

@@ -0,0 +1,5 @@
+export declare function parseAttachments(attachmentsValue: unknown, mode: string): string[] | undefined;
+export declare function parseCwd(cwdValue: string | undefined): string | undefined;
+export declare function parseWriteRoots(writeRootsValue: unknown): string[] | undefined;
+export declare function parseReadRoots(readRootsValue: unknown): string[] | undefined;
+export declare function parseIsolation(isolationValue: unknown, cwd: string | undefined, writeRoots: string[] | undefined): 'worktree' | undefined;