This document describes the specification and verification of Aave Stable Vault. The work was undertaken from May 11th, 2026 to June 30th, 2026.