Struct Conformance 

pub struct Conformance { /* private fields */ }

Run identical object, range, prefix and immutable-create checks on any provider. The caller supplies the capability at construction, like production composition.

Implementations

impl Conformance

pub fn new(storage: Arc<dyn Storage>, store: StoreId) -> Self

The provider under test, with an unused store ID.

pub async fn shared_location(&self, other: StoreId)

Two stores may publish the same device and number in one provider location.

pub async fn run(&self) -> Result<(), StorageError>

Exercise the real provider operations, returning the first violated contract.

pub async fn creation_race( &self, claimants: [Arc<dyn Storage>; 3], ) -> Result<(), StorageError>

Setups of one store race for its first sequence slot (§10.3, D10): of three concurrent creates, one per claimant connection, exactly one wins and keeps its bytes, and the others are refused as occupied. The winner’s connection deletes the slot afterwards.

impl Conformance

pub async fn listing_times( &self, stored_at: StorageTime, advance: impl Future<Output = ()>, )

Preserve provider publication times and sizes through listings and retries. Advance the fixture clock after publication to distinguish retry timestamps.

pub async fn expired_session( &self, expire: impl Future<Output = ()>, ) -> StorageError

Restart an expired recording at its original destination with no progress. Return the expiry error so native fixtures can also inspect its provider cause.

pub async fn owner_only_sharing(&self)

Non-owner accounts may neither add nor remove another account’s access.

pub async fn lost_part_reply( &self, part_size: usize, lose: impl Future<Output = ()>, )

Restore a persisted recording after the provider accepts a part but loses its reply.

pub async fn permission_failures( &self, deny: impl Future<Output = ()>, ) -> Vec<StorageError>

Every object, upload and sharing operation preserves a permission failure.

impl Conformance

pub async fn conditional_floor_upload(&self)

Competing recorded floor uploads keep the original absent/revision condition through parts, serialization, resumption and publication.