springboot-verificationlisted
Install: claude install-skill RogerioSobrinho/codeme-copilot
# Spring Boot Verification
## Verification Pipeline — Ordered Gates
```
Gate 1: Compile
↓ (fail → stop)
Gate 2: Unit Tests
↓ (fail → stop)
Gate 3: Integration Tests
↓ (fail → stop)
Gate 4: Contract Tests
↓ (fail → stop)
Gate 5: Coverage (JaCoCo — line ≥ 80%, branch ≥ 80%)
↓ (fail → stop)
Gate 6: Mutation Testing (PITest — score ≥ 70%)
↓ (fail → stop)
Gate 7: Security Scan (OWASP — no CVSS ≥ 7)
↓ (fail → stop)
Gate 8: All Gates Green → Ready to merge/deploy
```
**Rule:** Never skip a gate. Never run gate N+1 when gate N fails.
---
## Maven Commands
```bash
# Gate 1 — Compile
mvn compile -q
# Gate 2 — Unit Tests
mvn test -DfailIfNoTests=false
# Gate 3 — Integration Tests (Failsafe)
mvn failsafe:integration-test failsafe:verify
# Gate 4 — Contract Tests
mvn spring-cloud-contract:generateTests verify
# Gate 5 — Coverage
mvn verify -P coverage
# Gate 6 — Mutation Testing
mvn test-compile org.pitest:pitest-maven:mutationCoverage
# Gate 7 — Security Scan
mvn org.owasp:dependency-check-maven:check -DfailBuildOnCVSS=7
```
---
## JaCoCo Coverage Config
```xml
<plugin>
<groupId>org.jacoco</groupId>
<artifactId>jacoco-maven-plugin</artifactId>
<version>0.8.11</version>
<executions>
<execution><id>prepare-agent</id><goals><goal>prepare-agent</goal></goals></execution>
<execution>
<id>check</id>
<phase>verify</phase>
<goals><goal>check</goal></goals>
<configuration>