Enforcement Model
How static and runtime responsibilities are divided, project discovery, and the reserved package build boundary.
Policy Reader and Director
How a security policy file is read and turned into the test cases that enforce it.
Security Policy Manual
Full reference for the Ares 2 security policy file: structure, every supported option and how each is enforced.