CAIN-42 CAIN Studio
Sign inGet started
Menu

CAIN-42 claim

CLM-13-03

175/175 formal invariants (INV-001 through INV-175) are implemented with deterministic programmatic validator methods.

Last reviewed 2026-10-01

VALIDATED

The claim

175/175 formal invariants (INV-001 through INV-175) are implemented with deterministic programmatic validator methods.

Level VALIDATED is how far the evidence goes: TESTED means a test suite exercised it, LIVE means it was observed on the hosted system. Nothing is claimed beyond its level.

statusVALIDATED
verification methodpytest_deterministic_execution

From v13.

Try CAIN-42 on your own agents

Create a free account and every new account starts with a 7-day trial of the full platform. Or try the sandbox first, with no account at all.

Create a free account →  ·  Try the sandbox  ·  See the whole ecosystem