Repository navigation
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.
Statechart makes broken state transitions visible. This adds our
workflow-verificationskill as an extension of that concept: an agent-guided workflow linter that traces the contracts through the real implementation and chooses executable checks for the failure paths.We have found this a more useful extension of the statechart idea for day-to-day workflow review: a model can be internally consistent while the producer, consumer, persisted state, or recovery path disagree. This skill checks those boundaries and brings in statechart when ordering, concurrency, or loops benefit from a bounded model. It requires predicted bug paths to be replayed against the code and distinguishes confirmed findings from untested hypotheses.
The skill covers phase contracts and completion semantics, one maintained definition per contract, producer/consumer compatibility, full lifecycle and continuation tests, interruptions, payload/history pressure, and provider boundary checks. Review requests stay read-only; implementation and live-system permissions remain with the owner. This is an agent skill that guides verification, not a new deterministic CLI linter or a claim that prose enforces correctness.
Adds discoverability from statechart, the skill catalog, and poteto-help, plus the required generated Claude Code tree. No statechart runtime changes or new runtime dependencies. The contributed skill retains its MIT license.
Validation:
git diff --check: passed.TMPDIR=/private/tmp: 267 passed, 0 failed, 67 skipped (TLA+ JAR unavailable). The first run with the macOS default temporary path hit the unchanged symlink-launcher test; using the canonical path resolved it.