gwk_cert/lib.rs
1//! Generic contract-conformance checking: given any event stream, verify state-machine
2//! legality (transitions, CAS versioning, adjacency) against the `gwk-domain` contract.
3//!
4//! This crate is deployment-agnostic — it knows nothing about any particular database,
5//! host, or operator. Migration- or site-specific certification tooling belongs to the
6//! consumer, not here.
7//!
8//! Two halves:
9//! - [`conformance`] — the trait-generic STORAGE suite a backend crate
10//! instantiates against its `EventStore` implementation.
11//! - the STREAM checker (the `gwk-cert` CLI) — validates any exported event
12//! stream against the contract.
13
14pub mod check;
15pub mod conformance;