A pre-1.0 capability-secure programming language with explicit disk, network, environment and process authority, security diagnostics, and a native build path.