explain resends and dedupe logic in more detail
add more detail on invariant properties and how to detect breaks
reword order preservation section for better flow, and explain in more detail why breaking it is a bad thing