designing-simulation-workloads

What problem does it solve?

This Skill helps engineering teams design and run autonomous simulation workloads to systematically explore the state space of distributed systems, revealing race conditions and invariants.

Core Features & Use Cases

• Define an operation alphabet (enum) representing all possible actions on actors, messages, and infrastructure.
• Implement execute_operation() to apply operations to the system under test and emit strategic sometimes_assert! and always_assert! checks.
• Build verification strategies using Reference Implementation, Operation Logging, and Invariant Tracking to validate correctness during chaos.
• Scale from 1x1 topologies to larger multi-node layouts, enabling stress testing and coverage expansion with randomized workloads.

Quick Start

• Define your Operation enum for your system, implement execute_operation(), add logging and invariants, and run on a simple 1x1 topology. Then increment topology to 2x2 and finally 10x10 to exercise state space thoroughly.