[JacobStephens2]

Summary

These are the docs from the grilling session on #428. They need to be on main before the Tickets of Spec #432 run, because that Spec cites them.

 CONTEXT.md
-  Harness: Claude Code (`claude`) or Codex (`codex`)
+  Harness: … Codex, Antigravity CLI (`agy`), Grok Build (`grok`),
+           Muse Code (`muse`) or OpenCode (`opencode`)
 docs/adr/
   0012-…-codex-unsandboxed.md        + pointer to 0013
+  0013-every-harness-runs-unattended-and-fully-trusted.md
 docs/research/harness-candidates.md
+  §6 OpenCode for MiMo-V2.6-Pro, plus corrections:
+     agy update switch (=true only; =1 ignored), agy now 1.3.0,
+     Claude reads AGENTS.md with no CLAUDE.md, MiMo Code Effort override

Evidence

• Docs only, so there's no test change. Each fact in §6 says how it was confirmed (test, help, source). For example, headless claude -p 2.1.291 in a repository with only AGENTS.md returned the codeword written in it.

Merge Danger

Door: two-way

Blast Radius: none

Only documentation changes; no code. ADR 0013 records decisions that Spec #432 will implement.

🤖 Generated with Claude Code