The following documents attempt to be a high-level description of the inner implementation details of Aragon Court v1. It doesn't go deep to the point of being an exhaustive spec detailing all authentication checks and state transitions, but aims to provide enough description for a developer to deeply understand the existing codebase or guide a re-implementation.
This document was written to ease the job of security auditors looking at the codebase and was written after the v1 implementation had been frozen.
The core of the document is organized around the external entry points to the system across the different modules.