Xean 2.0.0

Xean 2.0.0 provides a stable, versioned distribution of the Pi-based implementation: durable campaign execution, mathematical exploration and verification, a separate CLI, and a read-only observer.

Compatibility: This is a replacement for 1.x. Public APIs, CLI contracts, and campaign formats have changed. Start new campaigns with 2.0.0 and keep existing campaigns on their original release and frozen settings. No migration is provided.

The release fixes blocked recovery at the call cap, truncated CLI output, missing observer process status, misleading observer liveness text, duplicate browser-provider retries, Bun selection through package scripts, and the closed-book literature default. Observer status and available log streams survive independent read failures. Shutdown and provider cleanup use less bookkeeping. Coordinator instructions clarify how exploration starts with no existing notes. Documentation and public role-replacement contracts were audited.

Download xean-2.0.0-source.tar.gz and its SHA-256 checksum, unpack it, and run bun run setup with Bun 1.4.2. The archive includes pinned Pi packages and patches. Run bun run xean --help to begin. Workspace packages are not published separately to npm.

Qualification:

• Clean installation, CLI examples, deterministic execution and reopening on macOS ARM64 and Linux ARM64.
• 89 tests and 1,092 assertions on both platforms, plus typechecking, formatting, dependency provenance, and documentation links.
• Fresh gateway and full solver acceptance smokes, Claude Explorer/verifier checks, ChatGPT Web Explorer execution, and Codex primary-source retrieval with Astra/max. Completed reopening preserved records without new calls.
• Observer HTTP, DOM, console, desktop/mobile rendering, mathematical typesetting, and escaped content checks.

Provider authentication and retrieval depend on the executing environment. Custom Codex providers that implement standalone search must declare supports_standalone_web_search=true for Responses Lite models. Native source qualification used Codex 0.157.1 with that capability enabled. Browser usage remains unmeasured and browser requests are not retried automatically. Model judgments remain fallible. Mathematical acceptance, independent review, and catalog closure remain separate. Power-loss behavior and x86_64 were not newly qualified.

See CHANGELOG.md and README.md for the release and installation contracts.