Repository navigation
docs(cli): map and verify state machines - #134
Open
callumflack wants to merge 1 commit into
Open
callumflack wants to merge 1 commit into
callumflack wants to merge 1 commit into
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Map the CLI workflows that retain state across commands, interruptions, and retries. The inventory links each lifecycle to its owner. Eight statecharts cover owner collection, queued exports, builder setup, paid reads, mainnet registration, local server supervision, and hosted provisioning.
Add seven runnable bounded verifiers. Five come from the state-machine audit and two carry forward the existing setup/resume and paid-read proof. Each runs from a public main snapshot with controlled replay fixtures. This PR adds verification and documentation.
The replay shows two current behaviors. Stop during a restart port probe can launch a replacement briefly. A signed Connect API delete during hosted provisioning can remove the tracking row while the create later returns 201. The hosted replay uses a fake provider and in-memory store.
Validation