Module conformance 

Reusable trait-conformance harness for driver crates.

Downstream backend crates (Epic B: Postgres, Redis, memory; Epic E: the Enterprise gateway driver) import this module to prove their implementation honors the trait contract, exercising it through a &dyn reference so object-safety is checked at the same time.

The harness functions panic on the first violated invariant, so they are meant to be called from within a #[test] (driven by the caller’s own async runtime).

Functions

assert_audit_sink_conformance

Assert that an AuditSink implementation honors the trait contract.

assert_credential_store_conformance

Assert that a CredentialStore implementation honors the trait contract.

assert_lifecycle_store_conformance

Assert that a LifecycleStore implementation honors the trait contract.

assert_policy_store_conformance

Assert that a PolicyStore implementation honors the trait contract.

assert_rate_limit_counter_conformance

Assert that a RateLimitCounter implementation honors the trait contract.

assert_session_store_conformance

Assert that a SessionStore implementation honors the trait contract.