Validate SPEC.md