CAIN-42 CAIN StudioCAIN-42 claim
C42-E18-REACHABILITY
reachability, permission and authorization are three distinct sets; a reachable set is never an authorized set
Last reviewed 2026-10-01
The claim
reachability, permission and authorization are three distinct sets; a reachable set is never an authorized set
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.
Evidence files
REACHABILITY_EXAMPLES, Q04/Q05/Q27(named by the claim; not published as a separate file)
From e18 4d spatial autonomy 2026 09 28.
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