gwk-cert 0.0.2

Contract conformance checker: verifies an event stream against the gwk-domain state machines
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//! Generic contract-conformance checking: given any event stream, verify state-machine
//! legality (transitions, CAS versioning, adjacency) against the `gwk-domain` contract.
//!
//! This crate is deployment-agnostic — it knows nothing about any particular database,
//! host, or operator. Migration- or site-specific certification tooling belongs to the
//! consumer, not here.
//!
//! Two halves:
//! - [`conformance`] — the trait-generic STORAGE suite a backend crate
//!   instantiates against its `EventStore` implementation.
//! - the STREAM checker (the `gwk-cert` CLI) — validates any exported event
//!   stream against the contract.

pub mod check;
pub mod conformance;