Como o Spring Boot 4 exporta logs, métricas e traces via OTLP sem agente: a ponte Micrometer Observation → OpenTelemetry, propagação de contexto W3C entre serviços e threads, demo executável com três microsserviços e stack Grafana LGTM, testes da própria instrumentação e checklist de produção.

Como o Spring Framework 7 adotou as anotações JSpecify e o que muda na prática: @NullMarked como default não-nulo, semântica TYPE_USE, enforcement com NullAway no build, comparação com Optional, exemplo completo em Spring Boot 4 e checklist de produção.

Guia técnico de migração do Spring Boot 3.5 para o 4.0: as quebras reais de Jackson 3, remoção do Undertow, Hibernate 7.1 e Spring Security 7, com duas estratégias (incremental vs. corte limpo), exemplos de código e checklist de produção.

Como Virtual Threads mudam o modelo de concorrência no Spring Boot 4 e o que isso significa para o WebFlux na prática: mounting/pinning e o JEP 491, o que uma propriedade muda de verdade no runtime, comparação direta entre thread-per-request e reativo, exemplo completo de orquestração de crédito com RestClient, JDBC e DynamoDB, e checklist de produção.