What sequence does “thumma tabayyana” establish?

Kitab al-Sawm: Mistaken Dawn or Sunset, Qada and Kaffarah

• Action under belief, then subsequent discovery
• Fact established before the belief
• Make-up before the original day
• The next dawn preceding sunset