Claude-skill-registry concurrent-safe-state-machines
Design deterministic state machines that remain correct under concurrent rendering and re-entrancy.
install
source · Clone the upstream repo
git clone https://github.com/majiayu000/claude-skill-registry
Claude Code · Install into ~/.claude/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/majiayu000/claude-skill-registry "$T" && mkdir -p ~/.claude/skills && cp -r "$T/skills/data/concurrent-safe-state-machines" ~/.claude/skills/majiayu000-claude-skill-registry-concurrent-safe-state-machines && rm -rf "$T"
manifest:
skills/data/concurrent-safe-state-machines/SKILL.mdsource content
Concurrent-Safe State Machines (React 18)
Summary
Design deterministic state machines that remain correct under concurrent rendering and re-entrancy.
Key Capabilities
- Apply idempotent reducers and effect cleanup patterns.
- Model state transitions as pure functions with replay tolerance.
- Prevent torn reads during interleaved renders.
PhD-Level Challenges
- Prove invariants under double-invocation in StrictMode.
- Provide a correctness argument for side-effect isolation.
- Stress-test state transitions under randomized scheduling.
Acceptance Criteria
- Document state invariants and transition table.
- Demonstrate correctness under StrictMode double effects.
- Provide property-based tests for state machine correctness.