This area holds notes about code-level design choices, invariants, and implementation subtleties that should remain visible to future maintainers.