Stable checkpoint — invariant 6 + JaCoCo per-package gate Cumulative since stable-v1.2.6 : - 3 Spring Boot integration tests for invariant 6 (cascade safety) via Testcontainers Postgres : DELETE order cascades lines + Product RESTRICT - JaCoCo per-package gate on com.mirador.order >= 30% (regression-only ; climb plan to 60% then 90% documented inline) - Product gate disabled until controller @WebMvcTest tests land - 6/6 ADR-0059 invariants now covered cross-language Post-merge main pipeline #2480831732 green at 21:28.