# v0.87.2 - Deterministic Reproduction and Regression Corpus

> **Status:** ✅ Released (2026-08-24)
> **Source:** [v0.87.2.md](v0.87.2.md)
> **Program:** [Composition-aware differential correctness](../plans/PLAN_DVM_COMPOSITION_CORRECTNESS.md)

## Implementation order

1. COR-4: versioned serializable scenario model and mutation enforcement.
2. COR-5: isolated runner and dvm-replay.
3. COR-6: failure artifacts, #938/#939 corpus, and PR replay gate.

## Implementation status

| ID | Item | Status |
| --- | --- | --- |
| COR-4 | Versioned scenario model | Done |
| COR-5 | Isolated runner and replay | Done |
| COR-6 | Failure artifacts and initial corpus | Done |

## Exit criteria

- [x] A checked-in scenario replays without the original generator.
- [x] Replay records the feature vector and expected failure classification.
- [x] Failed or ineffective DML cannot be ignored.
- [x] Failed replay writes a standalone artifact bundle.
- [x] The #938 and #939 corpus runs in the PR E2E smoke job.
- [x] Internal serialized DVM cases have a separate entry point from SQLancer.