Spark engine jars (latest)

Prebuilt sbt assembly fat jars for Invaract's verification engine —
contract, ir, fingerprint, verification-core, and spark-adapter (see CLAUDE.md's "What's
the product, and what's the test harness" for why those four and not
plugin/runner). spark-adapter's own jar already bundles
verification-core/fingerprint/ir/contract's compiled classes via
sbt-assembly - the standalone jars below are for a consumer who wants just
one of those (e.g. a non-Spark engine adapter reusing verification-core),
without the rest of spark-adapter's footprint.

For a Spark job built with a toolchain other than sbt (Maven, Gradle, ...)
that wants to install Invaract without a Maven Central release to depend on.
See the "Use Prebuilt Jars Without sbt" guide in the docs site for how to
wire these into a Maven build and spark-submit.

Built from commit c24f01db55c4dbffcf79d09cb42f01072734abd7, after that commit's full CI suite
(Test and Build, including docker-regression and mutation testing) passed.

This is a rolling release, not a version tag. These assets are replaced
every time a new commit lands on main. If you need the exact jar a specific
commit produced, build it yourself from that commit instead of relying on
this release staying put.