4 · Break a certificate yourself

A working certificate in the plane. Each slider changes one of its parts.

Try this. Move any slider until the green curve dips below zero. The moment it does, rule two is broken and the certificate proves nothing at all.

The sign rules are checked on a grid here, exactly as `is_admissible` does in the repository, so this page and the tests agree.