This document describes the specification and verification of Aave V4 Tokenization Spoke. The work was undertaken from March 11th, 2026 to April 13th, 2026.