// Package stateharness implements the StateHarness contract.
package stateharness