Documentation
¶
Overview ¶
Package conformancetest captures real Engine 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 agent.Dispatcher, effect agent.Effect)
- func CheckRestoreCancellation(t *testing.T, definition agent.Definition, state agent.ExecutionState)
- func Run(t *testing.T, deploymentConfig agent.DeploymentConfig, ...) agent.Result
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; Engine, Process, durability, 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 Engine boundary and can be consumed without host adjudication.
func CheckRestoreCancellation ¶ added in v0.26.0
func CheckRestoreCancellation(t *testing.T, definition agent.Definition, state agent.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 agent.DeploymentConfig, engineConfig agent.EngineConfig, input agent.Payload, ) agent.Result
Run records a completed execution and verifies every captured Step through the public conformance suite. Signals come from the Engine, so framework identities and Strategy protocol samples cannot drift from their producers.
Types ¶
This section is empty.
Source Files