US05: CheckpointChangeSet

2 Scenarios

User Story

Scenario: Emit ChangeSet from reasoning
Given a UserState draft plan
When a checkpoint is created
#UAC01
Then a ChangeSet should be produced
#UAC02
And it should include ToolCalls with parameters
#UAC03
And it should include preconditions and postconditions

Scenarios

Rejoining the server...

Rejoin failed... trying again in seconds.

Failed to rejoin.
Please retry or reload the page.

The session has been paused by the server.

Failed to resume the session.
Please retry or reload the page.

An unhandled error has occurred. Reload X