Try Resolve
Everything here runs in your browser: the evaluator (written and proved in Dafny, compiled to JavaScript) decides each case, and Z3 checks the rules. The SOP is a Know Your Business (KYB) procedure: the checks a bank runs to confirm who owns and controls a company before opening its account. The six cases are made up. The only recorded part is the wording of the owner's questions, which Claude wrote on 29 Oct 2026.
1 · The rules
Check, answer, write the next version
Z3 looks at every possible case for rules that can never apply, unknowns treated differently from §2.2, and facts that never change an outcome.
2 · The cases
Six cases under the current version
Pick a case and change its facts. Set one to unknown and the outcome holds back instead of approving.