Recognises a data rule no valid data can satisfy
A rule that cannot be satisfied by any data that also satisfies its neighbours. The consequence of row 1, and worth naming separately because it is the rule that will never fire.
Can AI do this?
People still lead Few or none of the tested AI models showed they master this. 0 of 4 models in the current benchmark master it.
| Model | Tier | Probability of mastery | Status |
|---|---|---|---|
| gemini-4-argon | Flagship | 89% | Not shown |
| gemini-3.5-flash-lite | Low cost | 10% | Not shown |
| gpt-6-luna | Low cost | 10% | Not mastered |
| claude-haiku-5-5 | Low cost | 89% | Not shown |
Mastered means a probability of at least 90% that the model has this knobit, estimated from its graded answers. “Not shown” means the answers do not settle it either way. How the models are tested.
What it looks like in practice
Expected result: The rule and the neighbouring rules it cannot coexist with
How it is assessed: Flags the deficient case and passes the acceptable one. Deficient: BR-2 above: no row can ever satisfy it while BR-1 stands Acceptable: Resolve the contradiction; the surviving rule is satisfiable (ANO-006)
Also known as: Vacuous rule (data rule)
Related knobits
Builds on
All 23 knobits of Document data rules in SBVR.
Source: Review checklist 02-data-rules (data-quality), row 2; formerly data-modelling K-302