Limits

What it does not do. Say these plainly if a buyer asks.

• The checks shown are static analysis of the code's structure. The homepage card describes Z3 and Hoare-logic proofs; sell what the demo shows.
• Python only.
• It checks code, not what the code's data will do.
• Our own testing; no independent review or third-party audit.
• Not a certification.

FIRME AI CORPORATION · CAIN-42 is a Byzantine trust fabric. Numbers marked "our own check" were run by us, not by an independent party. Nothing on these pages is a certification.