BudgetCounters.ensureAllPositive is a void method, but its Javadoc at arcp-runtime/src/main/java/dev/arcp/runtime/lease/BudgetCounters.java around line 56 says it returns null if all budgets are positive and otherwise throws. That contradicts the method signature and makes the public API documentation look copied from an older nullable-returning design.
Fix prompt: Rewrite the Javadoc for ensureAllPositive so it accurately describes the side-effect-free validation behavior. The comment should say that the method returns normally when every tracked budget remains positive and throws BudgetExhaustedException when any tracked currency is exhausted. Add an @throws BudgetExhaustedException tag that explains the condition and include a focused test or doclint check that prevents stale @return-style prose on void methods.
BudgetCounters.ensureAllPositive is a void method, but its Javadoc at arcp-runtime/src/main/java/dev/arcp/runtime/lease/BudgetCounters.java around line 56 says it returns null if all budgets are positive and otherwise throws. That contradicts the method signature and makes the public API documentation look copied from an older nullable-returning design.
Fix prompt: Rewrite the Javadoc for ensureAllPositive so it accurately describes the side-effect-free validation behavior. The comment should say that the method returns normally when every tracked budget remains positive and throws BudgetExhaustedException when any tracked currency is exhausted. Add an @throws BudgetExhaustedException tag that explains the condition and include a focused test or doclint check that prevents stale @return-style prose on void methods.