conformancetest

func AssertNoProcessAuthority ¶ added in v0.20.0

func AssertNoProcessAuthority(t *testing.T, value reflect.Type)

AssertNoProcessAuthority checks that a Strategy's retained types and ports cannot own or control managed Processes. Names and source files do not confer authority; Runtime, Process, committer, and resolution capabilities do.

func CheckDispatcherRejection ¶ added in v0.26.0

func CheckDispatcherRejection(t *testing.T, dispatcher run.Dispatcher, effect run.Effect)

CheckDispatcherRejection verifies that malformed protocol input settles at the Runtime boundary and can be consumed without host adjudication.

func CheckRestoreCancellation ¶ added in v0.26.0

func CheckRestoreCancellation(t *testing.T, definition run.Definition, state run.ExecutionState)

CheckRestoreCancellation interrupts a built-in validator after each observed cancellation checkpoint. Sampling Err before canceling models cancellation arriving just after a successful check, without timing or scheduler races.

func Compiler ¶ added in v0.60.0

func Compiler(t testing.TB) *run.Compiler

func FuzzRestoreRoundTrip ¶ added in v0.62.0

func FuzzRestoreRoundTrip(f *testing.F, definition run.Definition, kind string, seeds ...run.ExecutionState)

FuzzRestoreRoundTrip requires every state Restore admits to survive its own Snapshot. A member absent from a record never reaches its type's decoder, so an admitted state that snapshots into one Restore refuses exposes a check the Strategy left to a decoder that never ran.

func Run ¶

func Run(t *testing.T, binding run.BindingConfig, config run.Config, input run.Payload) run.Result[run.Payload]

func Runtime ¶ added in v0.60.0

func Runtime(t testing.TB, config run.Config) *run.Runtime