ARCP v1.1 §12 adds three new error codes. Kotlin SDK already has LEASE_EXPIRED. Missing: BUDGET_EXHAUSTED, AGENT_VERSION_NOT_AVAILABLE.
Steps:
- Add both to the error code enum/sealed class in
lib/src/main/kotlin/dev/arcp/errors/
- Wire
BUDGET_EXHAUSTED into cost.budget enforcement path
- Wire
AGENT_VERSION_NOT_AVAILABLE into agent resolution path (when name@version not in welcome's agents advertisement)
- Update conformance tests
- Document in docs/
Reference: spec §12 error taxonomy.
Audit reference: ARCP SDK Audit v1.1 (2026-05-19)
ARCP v1.1 §12 adds three new error codes. Kotlin SDK already has
LEASE_EXPIRED. Missing:BUDGET_EXHAUSTED,AGENT_VERSION_NOT_AVAILABLE.Steps:
lib/src/main/kotlin/dev/arcp/errors/BUDGET_EXHAUSTEDintocost.budgetenforcement pathAGENT_VERSION_NOT_AVAILABLEinto agent resolution path (whenname@versionnot in welcome'sagentsadvertisement)Reference: spec §12 error taxonomy.
Audit reference: ARCP SDK Audit v1.1 (2026-05-19)