Make every agent’s “done” earn a PASS.

ToppleCat is an open-source Java/JUnit delegation verification gate. It verifies AI-delivered Java with executable acceptance contracts, hidden tests, mutation testing, property-based testing, and current-run evidence.

What ToppleCat verifies

A human selects the Spec and authors the executable contract. ToppleCat mechanically checks that contract under the sealed verification policy; it does not decide whether the business rules are complete.

How a delivery earns PASS

Check and review the selected executable contract.
Seal the accepted contract and verification policy before handoff.
Verify the delivery with fresh current-run evidence.

ToppleCat records PASS only when every required Gate passes in the current run. The reviewer decides whether to accept the delivery.