v0.28.1

0.28.1 (2026-01-19)

Features

• core: Emit prepared tests grouped by the contracts being verified - this makes it substantially easier for language DSLs to provide helpful debugging information (349dd95)
• core: Now the core registers a failure if some of the prepared tests have never been called (fa53059)
• plugin-base: Plugins now can expose DSL definitions that can be built by the DSL generator (e665a55)
• verifier: Closing a verification now emits a type that contains information about the result (be0d419)

Bug Fixes

• base: Improve description of INVALID_LIFECYCLE error (95f6a04)
• core: Improve the errors thrown when all contracts are closed together in the verifier (4d9d777)
• java-dsl: Deprecate convenience overload of runVerification; the method was already deprecated, but not all overloads were marked with Deprecated (96550e1)
• java-dsl: Fix missing function name in error message (283f5db)
• java-dsl: Improve ergonomics of Contract Verification with prepareVerifications and closePreparedVerification, allowing control of closing individual contract verifications (acd2759)
• java-dsl: Retain ContractCaseDsl annotation at runtime (9eb003e)
• jest-dsl: Fix an issue where crashes might incorrectly have no clear message (222f2b1)
• plugins: Now configuration errors generated by matchers have their error codes constrained to valid ConfigurationErrorCodes (4c0bec6)

Dependencies

• The following workspace dependencies were updated
  • devDependencies
    • @contract-case/eslint-config-case-maintainer bumped from 0.28.0 to 0.28.1