The specification is mostly generated from code using Claude Code so let's manually review it for sanity.