CAIN-42 CAIN StudioThe supported subset
| Supported | Refused (never guessed) |
|---|---|
One function; int and bool parameters with annotations | Other types, *args, **kwargs, keyword-only parameters (defaults are ignored) |
+ - * // % with Python semantics, unary -, not | /, **, bitwise operators |
abs, two-argument min / max | Any other call |
Comparisons (one at a time), and, or on booleans, a if c else b | Chained comparisons; and/or/if on an int (Python's truthiness) |
Assignment to a name, if/else where every path returns, return | Loops, augmented assignment, assert, exceptions, globals |
A function docstring; a module docstring; from __future__ | Decorators; any other module-level code (it can change what the function means) |
Parameters or locals named abs, min, max |
The subset is small on purpose: inside it, the translation to Z3 is exact. Code outside it gets "unsupported", which is the honest answer.
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.