Prompt·Correctness and reliability·R03
Rules the data never enforces
Finds the rules everyone assumes (one owner per task, no negative balance) that nothing actually checks.
Prompt
Identify business invariants the system assumes but never enforces. Find the appropriate enforcement point and develop tests that attempt to violate them.
- What it returns
- Each invariant, where it is assumed, where it could be enforced (constraint, schema, server check) and a test that breaks it today.
- Skip it when
- Rules the database itself already enforces.
- Changes
- Adds a test that shows it
- Sessions
- One session
- Tools
- Repository; a test database or branch copy.
- Also called
- Unenforced invariants
Skills it uses
Related prompts
More in Correctness and reliability.