feat(spring): Spring Boot 4 / Spring Framework 7 support — tracking

[wconti27]

Spring Boot 4 Support — Status Tracker

Spring Boot 4 = Spring Framework 7 + Jakarta EE 11. This issue tracks all work units.

Completed ✅

Module	Branch	Status
spring-webmvc-6.0	boot4/spring-webmvc-6.0	✅ Implemented — Groovy migration pending before PR
spring-webflux-6.0	boot4/spring-webflux-6.0	✅ Implemented — Groovy migration pending before PR
spring-scheduling-3.1	boot4/spring-scheduling-3.1	✅ Implemented — test running, PR pending
spring-boot-1.3	boot4/spring-boot-1.3	✅ Implemented — PR pending
spring-messaging-4.0	boot4/spring-messaging-4.0	✅ Implemented — PR pending
spring-security-6.0	boot4/spring-security-6.0	✅ Implemented — Groovy migration pending before PR
spring-rabbit-1.5	boot4/spring-rabbit-1.5	✅ Implemented — PR pending
spring-data-3.0	new module	✅ Implemented — PR pending
ByteBuddy trie	included in webmvc PR	✅ Boot 4 class allow-transform entries

In Progress 🔄

Module	Status
jakarta-servlet-6.1	🔄 Scoping — 3-arg sendRedirect hook for Servlet 6.1
spring-scheduling-3.1 PR	🔄 Running latestDepTest (Boot 4.0.0-RC2)

Backlog 📋

Module	Notes
spring-jms-6.0	jakarta.jms namespace for Spring JMS 6+
dd-smoke-tests/spring-boot-4.0-webmvc	E2E smoke test module
spring-ws-3.0	Lower priority

Key Technical Notes

• Jackson 3: Spring 7 defaults to JacksonJsonHttpMessageConverter (Jackson 3); hook added to HttpMessageConverterInstrumentation
• javax → jakarta: Already handled by existing [6,) modules — no migration needed
• Muzzle ranges: All existing [6,) modules cover Spring Framework 7 without new sibling modules
• Groovy migration: CLAUDE.md requires any edited Groovy test → full JUnit5 Java migration; webmvc/security/webflux fixtures need migration before PRs
• Sample app: 39 spans verified on Boot 4.0.0-RC2 end-to-end

Oracle / Toolkit Notes

• Oracle assessor fixes applied: timeout 1→5min, max_turns 40→60, "read latest plan only" prompt
• version_bump lane added to oracle to skip behavior_verified gate for dep-bump tasks
• Stale .pyc with merge conflict markers cleared (was blocking oracle)

🤖 Generated with Claude Code