SQL Anywhere 0.5.2 — conformance-tested storage contracts

SQL Anywhere 0.5.2 — conformance-tested storage contracts

The substrate half of the Redis-free stack, made provable. The queue, cache and
pub/sub contracts in docs/contracts/ are now executable, CI-verified specs
rather than prose: sqlanywhere/tests/contract_conformance.rs runs the exact
contract SQL and asserts the documented semantics, so the Askr runtime builds its
L2 drivers against a contract that cannot silently drift.

• Queue — at-least-once atomic claim, priority, delayed jobs, release, dead-letter, backlog.
• Cache — TTL, atomic increment, SETNX locks (steal-expired / release-by-owner), tag invalidation.
• Pub/sub — monotonic tail past a cursor, subscriber cursor upsert, retention.

This is the substrate side of epic elyra-2; the runtime side (Askr) now ships the
first L2 driver — a durable queue over SQL Anywhere — built against these proven
contracts.

Install

docker run -p 8080:8080 -d ghcr.io/kwhorne/sqlanywhere-server:0.5.2

Prebuilt sqld binaries and crsqlite extensions for macOS Apple Silicon,
Ubuntu Intel and Ubuntu ARM are attached below.

Full changelog: https://github.com/kwhorne/sql-anywhere/blob/main/CHANGELOG.md