Why does finalizing block happen before updating canister state that?

General DFINITY
1

Why does finalizing block happen before updating canister state that ? Why is 4 before 6?

2022-03-28_12.00.49
2022-03-28_12.00.49657×647 118 KB

What if the execution of canister failed? Will it roll back the state?