Design a claim set for a function following the Claim-Driven Development spec: state checkable properties before generating or reviewing code, in the spec's authoring YAML shape, then verify every one against the real implementation instead of asserting it holds. Staged to match the CDD loop in cdd.md (state, implement, verify, diagnose, retain, accept). Use when the user asks to "add claims", "write a claim set", "design claims for this function", or wants code reviewed the CDD way instead of by reading the diff.
