Numerical testing

A numerical test checks the proposed statement against a specified finite collection of mathematical objects. Its force depends on the scope, ordering, exclusions, and implementation of that check.

The conjecture pages retain the reported evidence and verification notes. A successful finite test does not prove a statement about an infinite family.