Use this skill when the user asks to audit Spring application module boundaries, dependency cycles, internal API leakage, allowed dependencies, events, module tests, or module observability. Use it for an explicit dependency graph and Spring Modulith verification semantics. Do not add Modulith or change packages; hand requested implementation to spring-application-developer. Do not claim executable verification unless authorized execution is requested.