Deterministic analyses
Small rules catch facts we can prove from structured chart data. Same input, same output, no model drift.
- Every mutually exclusive pair in the official ICD-10-CM Excludes1 table — 5,000+ payer denial rules, checked on every chart
- CKD stage missing from I13.10
- Demographic contradictions on active codes
- Structured problem-list hygiene