Covers the Codex driver: taking the agent's last message as the turn, surfacing tool kinds only, accounting tokens without ever inventing a price, sandboxed invocation with the framing prepended and the prompt over the input stream, and failing on an abnormal exit.

## Before writing SPEC.md files

Read https://raw.githubusercontent.com/brillout/sdd/refs/heads/main/sdd.md
