Skill: aposd-verifying-correctness

Before "Done" — scope check

Design quality ≠ correctness. Well-designed code can still have bugs, missing requirements, or safety issues.

Run every dimension check before claiming done — "I think I covered everything" without explicit mapping is exactly the gap this skill exists to close.

Dimension Detection & Checks

For each dimension: detect if it applies, then verify.

1. Requirements Coverage

Detect: Were requirements stated? (explicit list, user request, spec)