TESTED library · not hosted · not third-party reviewed.
Machines discover, negotiate, contract and exchange work across organizations; CAIN governs the relationship. No machine creates authority for itself or another. Units are synthetic.
Invariants 470/470; scenarios 1180/1180 held; mutation 10/10; tests 12 passed; clean-room verifier INTACT (1303/1303).
| Step | Result |
|---|---|
| DISCOVER | OK |
| IDENTIFY | OK |
| ATTEST | OK |
| ASSESS | OK |
| TRUST_NEGOTIATION | OK |
| HANDSHAKE | OK |
| CONTRACT | OK |
| WORK_INTENT | OK |
| WORK_LEASE | OK |
| AUTHORIZE | OK |
| EXECUTE | OK |
| COMPLETION_RECEIPT | OK |
| AGENCY_RECEIPT | OK |
| FEDERATION | OK |
| SYSTEMIC | OK |
| CIRCUIT_BREAKER | OK |
| LEARN | OK |
| FAILURE_TO_TEST | OK |
| REASSESS | OK |
| REVOKE_RENEW | OK |
| Category | Held |
|---|---|
| attest | 18/18 |
| breaker | 28/28 |
| conformance | 32/32 |
| contract | 20/20 |
| discovery | 30/30 |
| dispute | 20/20 |
| f2t | 16/16 |
| federation | 14/14 |
| handshake | 30/30 |
| law | 290/290 |
| learning | 10/10 |
| negotiation | 70/70 |
| receipt | 50/50 |
| reject | 60/60 |
| relationship | 236/236 |
| reputation | 20/20 |
| revocation | 20/20 |
| scale | 20/20 |
| settlement | 20/20 |
| sybil | 16/16 |
| systemic | 14/14 |
| threat | 66/66 |
| time_machine | 12/12 |
| translation | 14/14 |
| work | 54/54 |