Use OpenSpec to Separate Coding, Review, and Verification

Using OpenSpec and ithyno to separate coding, review, and verification in AI agent workflows. OpenSpec records requirements in repository files, while ithyno as