Finds code that saves a row and then publishes an event or calls a second store in a separate step, so a crash or timeout between the two leaves the stores disagreeing. Returns each write pair, the failure window, the outbox or ordering fix, and a test that forces the failure.