itigges22/ATLAS v3.1.0

V3.1.0 — Maia

on GitHub

_{The ATLAS TUI live, 10× sped up, running the V3 pipeline on a file creation.}

Discussion thread — install reports, TUI feedback, hardware requests, bugs welcome.

V3.1.0 ships the TUI (you can see the pipeline now), a one-command install that works on a fresh VM, and a layer of guardrails on top of the V3 stack that catches the failure modes that used to bork an agent turn: tool misselection, lazy stubs, repeated reasoning, sandbox-passing stubs. Less new behavior, more reliability per turn.

What shipped

• Bubbletea TUI (PC-062) - native Go terminal UI as the canonical chat client; /cancel endpoint; slash commands; mode-aware input
• One-command bootstrap - curl … | bash tested fresh on Ubuntu 22.04 / 24.04 / Rocky 9; atlas init wizard + atlas doctor + atlas tier
• Aider removed - ~2000 lines of format-translation glue gone; /v1/chat/completions is now a passthrough; agent loop is on /v1/agent
• Streaming lens (PC-206 + PC-207) - the Geometric Lens now scores per-token during generation, not post-hoc on the finished candidate. gx_min < 0.05 mid-stream fires a corrective immediately instead of waiting for the full candidate to land. The lens also vetoes a sandbox-passing candidate when its gx_min indicates a stub or placeholder collapse
• AST-aware surgical edits (#39 v1 + 4 points) - ast_edit tool, structural-verification veto, cyclomatic-complexity tier classification, call-chain repair context, reachability-slice auto-injection
• BiasBusters - tool descriptions + conditional GBNF + per-step filter + ASA activation steering (always-on llama.cpp control vector built from 1000 contrast-pair prompts)
• Anti-laziness gates (PC-194–201) - rejects stub writes, completion-claim verification, "stops at the easy fix" detector, run_background tool
• Plan mode - /v3/plan with adherence scoring; plan-progress reminder per step; TUI renders plan events live
• Agent loop hardening - 8 detectors (reasoning-repetition, path-aware error breaker, done-without-action gate, truncation recovery, …); absoluteMaxTurns ceiling removed
• Sandbox + execution stack - run_command is sandbox-only now (PC-188); language-agnostic layout detection (PC-191/192/193)
• K3s deployment restored - full template set rebuilt after the May 2 repo restructure broke it silently
• Multilingual docs - README, SETUP, TROUBLESHOOTING in zh-CN / ja / ko
• CI - ruff, CodeQL, cross-distro install matrix (Ubuntu 22.04 / 24.04 / Rocky 9)

Full line-by-line: CHANGELOG.md.

Closed in this release

• #108 atlas-proxy public endpoints docs
• #24 CONTRIBUTING.md
• #31 CLI reliability L6
• #22 dead Fox code paths

Substantially advanced

• #39 Structural code reasoning - v1 + four points shipped; solver-backed layer remains
• #28 Formal 9B benchmarks - 9B is the canonical model now; formal pass lands V3.1.1

Thank you

Sponsor: @monkeini (Robin Harrison) - ATLAS's first sponsor. Sponsor on GitHub keeps this sustainable.

Inspiration: @yogthos (Dmitri Sotnikov) - chiasmus shaped the #39 work.

Contributors:

• @mvanhorn - #41, #42, #110 (three Fox-cleanup passes)
• @jdesfossez - #16 (Arm64 / DGX Spark), #18
• @g0dnerd - #13 (docker runtime check)

V3.1.1

• macOS and Windows installers
• AMD ROCm + Apple Metal
• Formal 9B benchmarks (LiveCodeBench, GPQA Diamond, SciCode)

Maia — first of the Pleiades, Atlas's eldest daughter. Future V3.1.x releases continue the series: Electra, Taygete, Alcyone, Celaeno, Sterope, Merope.