Skip to content

feat(agents): a bot has an agent (A0 of spec 30) - #240

Merged
httpsphl merged 1 commit into
mainfrom
feat/agents-a0
Oct 9, 2026
Merged

httpsphl merged 1 commit into
mainfrom
feat/agents-a0

Conversation

@httpsphl

@httpsphl httpsphl commented Oct 9, 2026

Copy link
Copy Markdown
Owner

First step of Codex and Antigravity bots.

  • ADR 0003 and spec section 30: the Agent boundary, isolation as a launch requirement, the order A0-A4, and what was seen with the real tools (agy 1.3.1 stream-json turn; codex 0.148 exec --json and the app-server schema).
  • bots.agent (migration 0026, default claude) and Bot.agent / bots.create { agent? }. Only claude runs; codex and agy get a validation error (-32004) until A2/A3.

No behavior change for existing bots. Not seen yet and listed in 30.4: agy multi-turn, tools, approvals, MCP over HTTP, isolation; codex app-server conversation.

Tests: rpc_crews_bots (agent default, claude ok, codex/agy refused); fmt, clippy, cargo test --workspace, pnpm check pass.

ADR 0003 and spec section 30 for Codex and Antigravity bots, with what a
real agy 1.3.1 turn and the codex 0.148 exec/app-server schema showed.
bots.agent (migration 0026) and Bot.agent in the protocol; only claude runs,
codex and agy are refused with a validation error until A2/A3.
@httpsphl
httpsphl enabled auto-merge October 9, 2026 19:41
@httpsphl
httpsphl merged commit 733ab9a into main Oct 9, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant