v8.0.2 is out now and it cleans up several rough edges that kept showing up under heavy tournament and falsification workloads.
The biggest operational change is that all four previously documented architectural limitations are now closed in the same release (7b68867).
Notable Changes
- Tournament mode now streams through the same pipeline as single mode. If one candidate fails streaming verification, it gets aborted independently instead of poisoning the whole run.
- Live cost-cap enforcement is now real-time. Concurrent streams project cumulative USD usage continuously and abort the moment projected spend crosses the configured cap.
- Snapshot cleanup is automatic now and supports retention policies like:
retain-last:N
max-age:<dur>
max-disk:<sz>
- Adaptive falsifier dispatch using UCB1 is available behind:
--falsifier-scheduler ucb1
- ARIES-style rollback support landed for falsified obligations. If a counter-example appears after apply, the workspace restores from the pre-apply snapshot and verifies the rollback by hashing the restored bytes against the original SHA.
New Command
There is also a new command:
swarm v8 stats <run-id>
That surfaces persisted falsifier metrics directly from:
.swarm/falsifier-stats.json
including regression discoveries, false positives, success counts, and latency.
Replay Determinism
One important detail: replay determinism remains intact across all of this. Every scheduler decision and abort event still lands in the ledger so replay reproduces the same winner consistently. That part was non-negotiable.
Top comments (0)