Coding agents work best when they have constraints. Here's how conventions, domain-driven design, and Rust's type system shape the way we're building Aonyx.