# Sled Authors - Sled Simulation Guide (Highlights)  ## Highlights - fn tick(at) -> [(msg, destination)] ([View Highlight](https://read.readwise.io/read/01kv1ewq1rhbhqrd13qencyd3r)) ^1024999640 - write your algorithm around a state machine that receives messages from other nodes, and responds with the set of outgoing messages. ([View Highlight](https://read.readwise.io/read/01kv1f0zsdtpqx1zsq1ck19pv5)) ^1025000345 - (optional human debugger optimization) when a failure happens, drop out some of the initial client requests that the system was seeded with until you have a minimal set of commands that cause your invariant to be broken ([View Highlight](https://read.readwise.io/read/01kv1f03hfx0jzvey1f9bc5vyq)) ^1024999777