Add Java TestNG lift kit

[TSavo]

Summary

• add a separate Java TestNG lift artifact that parses native TestNG tests into ProofIR contracts
• register the kit through project config and manifest with emit = "ir-document"
• assert lifted contracts are named for the callsite under test, not the test method

Verification

• red: mvn -B -ntp -pl provekit-lift-java-testng -am -Dtest=TestNgExtractorTest test failed before implementation with missing TestNgExtractor
• mvn -B -ntp -pl provekit-lift-java-testng -am -Dtest=TestNgExtractorTest test (4 tests, 0 failures)
• mvn -B -ntp -pl provekit-lift-java-testng -am package (BUILD SUCCESS)
• RPC smoke: /usr/local/opt/openjdk/bin/java -jar provekit-lift-java-testng/target/provekit-lift-java-testng.jar --rpc returned foo@ParseTest.java:4:46 with eq(foo(5), 10)
• TOML parse for .provekit/config.toml and .provekit/lift/java-testng/manifest.toml
• git diff --cached --check

[coderabbitai]

Warning

Review limit reached

@TSavo, we couldn't start this review because you've reached your PR review rate limit.

More reviews will be available in 57 minutes and 7 seconds. Learn how PR review limits work.

Your organization has run out of usage credits. Purchase more in the billing tab.

⌛ How to resolve this issue?

After more reviews become available, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

We recommend that you space out your commits to avoid hitting the rate limit.

🚦 How do rate limits work?

CodeRabbit enforces hourly rate limits for each developer per organization.

Our paid plans include higher PR review limits than trial, open-source, and free plans. In all cases, reviews become available again over time. During sustained high-volume PR review activity, CodeRabbit may temporarily slow when the next review becomes available.

Please see our Fair Usage Limits Policy for further information.

ℹ️ Review info

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Pro

Run ID: 3a606487-be40-4812-ab4c-1d066aa112e1

📥 Commits

Reviewing files that changed from the base of the PR and between caa6a88 and b2e861c.

📒 Files selected for processing (7)

• implementations/java/.provekit/config.toml
• implementations/java/.provekit/lift/java-testng/manifest.toml
• implementations/java/pom.xml
• implementations/java/provekit-lift-java-testng/pom.xml
• implementations/java/provekit-lift-java-testng/src/main/java/com/provekit/lift/testng/TestNgExtractor.java
• implementations/java/provekit-lift-java-testng/src/main/resources/META-INF/services/com.provekit.lift.Extractor
• implementations/java/provekit-lift-java-testng/src/test/java/com/provekit/lift/testng/TestNgExtractorTest.java

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch codex/java-testng-lifter-20260529

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}