Use when auditing SF business rules for logic errors, silent failures, cross-object conflicts, and unreachable branches.
