Orcacode: a terminal coding agent in a single small Rust binary, and the harness kernel …