Write a formal specification for a language agent

Since the CLI `agents verify` command is going to become the acceptance testing tool for language agents, this should just be a document that outlines the the details of what needs to be implemented in prose form. It should answer what needs to be implemented and why it needs to be implemented that way.