Module conformance 

Black-box conformance for every Objects provider implementation.

Functions

verify

Exercises the complete provider contract under one caller-owned unique namespace.