CAIN-42 CAIN StudioCAIN-42 claim
C42-E23-FORMAL-PROOF
formal proof of any E23 property; every proof report says NOT_FORMALLY_PROVEN
Last reviewed 2026-10-01
The claim
formal proof of any E23 property; every proof report says NOT_FORMALLY_PROVEN
Level 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.
Verify it in your browser
Your browser downloads the bundle's SHA256SUMS manifest and the file(s) behind this page, hashes them with SHA-256 locally (WebCrypto), and compares. A match shows the record you are reading is the published one; it does not by itself prove who published it (see the signed claims registry and the bundle verifier for that).
From CAIN-42 Evolution 23 -- Governed Meta-Intelligence Fabric.
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