Xean 3.0.0

Xean 3.0 rebuilds the mathematical research workflow on Pi Durable. Pi owns tasks, conversations, checkpoints, cancellation, and storage. Xean supplies research policy and mathematical verification.

• Sequential research: Coordinator chooses one worker, waits for its committed result or failure, then decides again. Campaigns preserve completed work across interruptions.
• Shared mathematical memory: notes provide an index, detailed summaries, and full text for proofs, conjectures, questions, and failed approaches.
• Staged verification: checks cover correctness, declared support, sources, task requirements, and blind reconstruction across the generated dependency chain. Reconstruction batches retain completed progress. INCONCLUSIVE remains unresolved, and independent review is a separate result.
• Standalone use: the TypeScript library, CLI, and Observe run with Bun. Model profiles reuse Pi authentication. Codex provides optional source checking, literature, independent review, and implementation work.

This is a breaking replacement. APIs, settings, and campaign formats have changed. Start new campaigns with 3.0 and keep older campaigns with their original runtimes. Migration and historical-format readers are not included.

Download xean-3.0.0.tgz, extract it, and follow the README. The archive includes pinned Pi packages, declared patches, licenses, and the frozen lockfile. Ordinary users do not need Fleet, Nix, or private Xean Lab.

Model-based verification can make mistakes, and research outcomes vary. Live qualification covers the documented OpenAI gateway and saved OpenAI Codex login configurations. Fresh OAuth login, the direct OpenAI subscription route, public OpenAI, Anthropic, Google, and successful current-build ChatGPT Web generation remain unqualified live. The README records platform evidence and optional-provider limits.