Namespace Millrace.Storage.Verification

Classes

JobStorageConformanceSuite

The workflow-checkpoint clause of the atomicity contract (ARCHITECTURE.md §4.2, §6.2).

MonitoringConformanceSuite

The monitoring read-model conformance suite (ARCHITECTURE.md §4.1, §11.12, §11.14).

WorkflowStorageConformanceSuite

The workflow-storage conformance suite: optimistic concurrency on instances and at-most-once bookmark consumption (ARCHITECTURE.md §4.2.4). The engine that drives this contract lands in 0.3; the contract freezes now.

Interfaces

IStorageHarness

One isolated storage instance under test. Provider test projects create a fresh, empty store per call (a new schema, database, or container) bound to the suite-supplied TimeProvider — every lease and due-time comparison must go through it, which is what makes the suite's time-travel assertions deterministic. Dispose tears the store down.