Each standard below explains what it governs and lets you run the check on Open Deck — traced to the clause, deterministic, with the assumptions shown.
Join Open Deck and run any of these against your own inputs.