Covers definition-time validation: well-formed prompt and loop definitions are accepted, malformed ones are rejected immediately.

## Before writing SPEC.md files

Read https://raw.githubusercontent.com/brillout/sdd/refs/heads/main/sdd.md
