Skip to content

Release v4.81.0

Choose a tag to compare

@github-actions github-actions released this 12 Oct 20:57
0f234bf

Summary

The spec runner now verifies specifications in models with event-triggered reactions instead of refusing the whole model. It settles reactions after every action with Stage's own implementation, so three-way conformance compares Stage with Screenplay's reference rather than with itself.

Added

  • The specification executor settles event-triggered reactions after each command or appended event: where guards, productions (checked against constraints), invocations, runs as system identities, from filters, triggers that both produce and invoke, cascades and the 1000-fact limit. An invoked command never receives the specification's caller. (part of #207)
  • Projection checks cover every event a reaction can append, so a projection over reaction-produced events is either verified or refused, never built from mismatched keys. (part of #207)

Changed

  • Event-triggered reactions no longer fail STAGE-ESM-024 in the spec runner. Clock, application, startup and shutdown triggers and opaque reaction bodies still do, and a reaction mapping that reads the occurrence time without a given clock is rejected with the reference's message. (part of #207)