How Kotlin's type system sharpens responsibility boundaries in Spring-style architectures without replacing architectural discipline.