Module storage_conformance 

A portable conformance suite for ProtocolStateStorage implementations.

Swappable storage is only a property if it can be verified. Without a suite, “bring your own backend” is a promise: an adapter that looks right and returns Ok from every method can still lose records under an overwrite, leak keys between categories, or truncate a value at some internal limit, and the symptom arrives much later as data that quietly is not there.

Green here is the definition of “this backend is supported”.

The suite drives the trait directly rather than going through the sealing chokepoint, because what is under test is the adapter’s contract: bytes in, the same bytes out, addressed by (key_type, key_id). It writes only under its own key type, and deletes everything it wrote.

Structs

ConformanceFailure

One failed check.

ConformanceReport

The result of running the suite against one backend.

Constants

CONFORMANCE_KEY_TYPE

The key type every probe record is written under.

CONFORMANCE_KEY_TYPE_OTHER

A second key type, used to prove categories do not bleed into each other.

Functions

run

Run the suite.

run_json

Run the suite and render the report as JSON.