Documentation
¶
Overview ¶
Package conformancetest captures real Runtime boundaries for built-in Strategy tests.
Index ¶
- func AssertNoProcessAuthority(t *testing.T, value reflect.Type)
- func CancelAfterCheck(ctx context.Context, after int64) (context.Context, context.CancelFunc)
- func CheckDispatcherRejection(t *testing.T, dispatcher run.Dispatcher, effect run.Effect)
- func CheckRestoreCancellation(t *testing.T, definition run.Definition, state run.ExecutionState)
- func Run(t *testing.T, deploymentConfig run.BindingConfig, engineConfig run.Config, ...) run.Result[run.Payload]
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func AssertNoProcessAuthority ¶ added in v0.20.0
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 CancelAfterCheck ¶ added in v0.26.0
CancelAfterCheck schedules cancellation just after a successful Err check. Validators can then prove they stop before examining a later malformed entry.
func CheckDispatcherRejection ¶ added in v0.26.0
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 Run ¶
func Run( t *testing.T, deploymentConfig run.BindingConfig, engineConfig run.Config, input run.Payload, ) run.Result[run.Payload]
Run records a completed execution and verifies every captured Step through the public conformance suite. Signals come from the Runtime, so framework identities and Strategy protocol samples cannot drift from their producers.
Types ¶
This section is empty.
Source Files