@@ -143,14 +143,16 @@ handler that pays it out or closes it: `claim_winnings` and `close_losing_bet` a
 `claim_refund` after a cancellation. Once `open_bets` reaches zero the admin closes the accounts the
 event created, children first: `close_outcome` for each Outcome account, then `close_event` for the
 vault and the Event account. The order matters because each account's address is derived from its
-parent's. An Outcome account left open after its event closed would be found again, with its old
-`total_amount`, by a later event created with the same `event_id`, and a Bet account left open
-after its outcome closed would have nothing to claim against. So `close_outcome` refuses while any
-bet is open, and `close_event` refuses while any outcome is. After a settlement the vault holds
-only the dust the floored payouts left behind, and `close_event` pays it to the fee recipient with
-the fee; after a cancellation and its refunds the vault is empty. Every closed account's rent goes
-back to whoever paid it: the bettor for a Bet account, the admin for the outcomes, the vault and
-the event.
+parent's, and an Event's from the admin-supplied `event_id`. An Outcome account left open after its
+event closed would sit at the address a later event created with the same `event_id` needs for its
+first outcome, so that event's `add_outcome` would fail. A Bet left open is a different case: no
+claim, refund or losing-bet close reads the Outcome account, so keeping an Outcome open for as long
+as any Bet names its address is an ordering rule rather than something those handlers need. So
+`close_outcome` refuses while any bet is open, and `close_event` refuses while any outcome is. After
+a settlement the vault holds only the dust the floored payouts left behind, and `close_event` pays
+it to the fee recipient with the fee; after a cancellation and its refunds the vault is empty. Every
+closed account's rent goes back to whoever paid it: the bettor for a Bet account, the admin for the
+outcomes, the vault and the event.
 
 ## Setup
 
 
@@ -77,8 +77,12 @@ pub fn handle_close_event(context: Context<CloseEventAccountConstraints>) -> Res
         context.accounts.event.open_bets == 0,
         BettingError::BetsStillOpen
     );
-    // An Outcome account left behind would be found again, with its old
-    // `total_amount`, by a later event created with the same `event_id`.
+    // Every Outcome account of the event must already be closed. Outcome
+    // addresses derive from the event's, and the event's from the
+    // admin-supplied `event_id`, so a later event created with the same
+    // `event_id` reuses this event's address and its outcome addresses. An
+    // Outcome left behind would make that event's first `add_outcome` fail,
+    // because `init` refuses an account that already exists.
     require!(
         context.accounts.event.open_outcomes == 0,
         BettingError::OutcomesStillOpen
 
@@ -3,9 +3,9 @@ use anchor_lang::prelude::*;
 use crate::{error::BettingError, Config, Event, EventStatus, Outcome};
 
 // Close one Outcome account of a finished event and return its rent to the
-// admin, who paid it. Bet accounts derive their address from the outcome's,
-// so every bet of the event must already be closed, and the Outcome accounts
-// must all close before `close_event` can close the event.
+// admin, who paid it. The event's accounts close in the reverse of the order
+// they were created: every Bet of the event before any Outcome, and every
+// Outcome before `close_event` can close the event.
 #[derive(Accounts)]
 pub struct CloseOutcomeAccountConstraints<'info> {
     #[account(mut)]
@@ -43,9 +43,13 @@ pub fn handle_close_outcome(context: Context<CloseOutcomeAccountConstraints>) ->
         ),
         BettingError::EventNotFinished
     );
-    // A Bet account derives its address from its outcome's, so an outcome
-    // closed under an open bet would leave that bet's claim or refund with
-    // no outcome to check against.
+    // No claim, refund or losing-bet close reads the Outcome: each re-derives
+    // the Bet address from the outcome pubkey the Bet stores, which stays
+    // valid as bytes after the Outcome closes. This check is an ordering
+    // rule, not something those handlers need: an Outcome stays open for as
+    // long as any Bet of the event names it by address, so no live position
+    // ever points at an address the program has emptied, and the event's
+    // `open_bets` counter is the gate.
     require!(
         context.accounts.event.open_bets == 0,
         BettingError::BetsStillOpen
 
@@ -25,8 +25,9 @@ pub struct Event {
     pub outcome_count: u8,
     // How many Outcome accounts of this event are still open. `add_outcome`
     // adds one; `close_outcome` subtracts one. `close_event` requires zero,
-    // because an Outcome left behind would carry its stakes into a later
-    // event created with the same `event_id`.
+    // because an Outcome left behind would make `add_outcome` fail for a
+    // later event created with the same `event_id`, whose outcome
+    // addresses are the same.
     pub open_outcomes: u8,
     // How many Bet accounts across every outcome are still open. `place_bet`
     // adds one when it creates a Bet account (a top-up reuses the account);
 
@@ -1810,8 +1810,10 @@ fn test_close_event_pays_dust_to_fee_recipient_and_returns_rent() {
     );
 }
 
-// A settled event keeps its accounts while any Bet account of it is open:
-// the claim and the losing-bet close both read the event and the outcome.
+// A settled event keeps its Event and Outcome accounts while any Bet account
+// of it is open. The claim and the losing-bet close read only the event and
+// the bet, so the outcome half is an ordering rule: an Outcome stays open
+// for as long as any Bet of the event names it by address.
 #[test]
 fn test_close_event_refused_while_a_bet_is_open() {
     let mut market = setup();
 
@@ -143,14 +143,16 @@ handler that pays it out or closes it: `claim_winnings` and `close_losing_bet` a
 `claim_refund` after a cancellation. Once `open_bets` reaches zero the admin closes the accounts the
 event created, children first: `close_outcome` for each Outcome account, then `close_event` for the
 vault and the Event account. The order matters because each account's address is derived from its
-parent's. An Outcome account left open after its event closed would be found again, with its old
-`total_amount`, by a later event created with the same `event_id`, and a Bet account left open
-after its outcome closed would have nothing to claim against. So `close_outcome` refuses while any
-bet is open, and `close_event` refuses while any outcome is. After a settlement the vault holds
-only the dust the floored payouts left behind, and `close_event` pays it to the fee recipient with
-the fee; after a cancellation and its refunds the vault is empty. Every closed account's rent goes
-back to whoever paid it: the bettor for a Bet account, the admin for the outcomes, the vault and
-the event.
+parent's, and an Event's from the admin-supplied `event_id`. An Outcome account left open after its
+event closed would sit at the address a later event created with the same `event_id` needs for its
+first outcome, so that event's `add_outcome` would fail. A Bet left open is a different case: no
+claim, refund or losing-bet close reads the Outcome account, so keeping an Outcome open for as long
+as any Bet names its address is an ordering rule rather than something those handlers need. So
+`close_outcome` refuses while any bet is open, and `close_event` refuses while any outcome is. After
+a settlement the vault holds only the dust the floored payouts left behind, and `close_event` pays
+it to the fee recipient with the fee; after a cancellation and its refunds the vault is empty. Every
+closed account's rent goes back to whoever paid it: the bettor for a Bet account, the admin for the
+outcomes, the vault and the event.
 
 ## Setup
 
 
@@ -76,8 +76,12 @@ pub fn handle_close_event(context: &mut Context<CloseEventAccountConstraints>) -
         context.accounts.event.open_bets == 0,
         BettingError::BetsStillOpen
     );
-    // An Outcome account left behind would be found again, with its old
-    // `total_amount`, by a later event created with the same `event_id`.
+    // Every Outcome account of the event must already be closed. Outcome
+    // addresses derive from the event's, and the event's from the
+    // admin-supplied `event_id`, so a later event created with the same
+    // `event_id` reuses this event's address and its outcome addresses. An
+    // Outcome left behind would make that event's first `add_outcome` fail,
+    // because `init` refuses an account that already exists.
     require!(
         context.accounts.event.open_outcomes == 0,
         BettingError::OutcomesStillOpen
 
@@ -5,9 +5,9 @@ use crate::state::Event;
 use crate::{error::BettingError, Config, EventStatus, Outcome};
 
 // Close one Outcome account of a finished event and return its rent to the
-// admin, who paid it. Bet accounts derive their address from the outcome's,
-// so every bet of the event must already be closed, and the Outcome accounts
-// must all close before `close_event` can close the event.
+// admin, who paid it. The event's accounts close in the reverse of the order
+// they were created: every Bet of the event before any Outcome, and every
+// Outcome before `close_event` can close the event.
 #[derive(Accounts)]
 pub struct CloseOutcomeAccountConstraints {
     #[account(mut, address = config.admin @ BettingError::Unauthorized)]
@@ -42,9 +42,13 @@ pub fn handle_close_outcome(context: &mut Context<CloseOutcomeAccountConstraints
         ),
         BettingError::EventNotFinished
     );
-    // A Bet account derives its address from its outcome's, so an outcome
-    // closed under an open bet would leave that bet's claim or refund with
-    // no outcome to check against.
+    // No claim, refund or losing-bet close reads the Outcome: each re-derives
+    // the Bet address from the outcome pubkey the Bet stores, which stays
+    // valid as bytes after the Outcome closes. This check is an ordering
+    // rule, not something those handlers need: an Outcome stays open for as
+    // long as any Bet of the event names it by address, so no live position
+    // ever points at an address the program has emptied, and the event's
+    // `open_bets` counter is the gate.
     require!(
         context.accounts.event.open_bets == 0,
         BettingError::BetsStillOpen
 
@@ -25,8 +25,9 @@ pub struct Event {
     pub outcome_count: u8,
     // How many Outcome accounts of this event are still open. `add_outcome`
     // adds one; `close_outcome` subtracts one. `close_event` requires zero,
-    // because an Outcome left behind would carry its stakes into a later
-    // event created with the same `event_id`.
+    // because an Outcome left behind would make `add_outcome` fail for a
+    // later event created with the same `event_id`, whose outcome
+    // addresses are the same.
     pub open_outcomes: u8,
     // How many Bet accounts across every outcome are still open. `place_bet`
     // adds one when it creates a Bet account (a top-up reuses the account);
 
@@ -1808,8 +1808,10 @@ fn test_close_event_pays_dust_to_fee_recipient_and_returns_rent() {
     );
 }
 
-// A settled event keeps its accounts while any Bet account of it is open:
-// the claim and the losing-bet close both read the event and the outcome.
+// A settled event keeps its Event and Outcome accounts while any Bet account
+// of it is open. The claim and the losing-bet close read only the event and
+// the bet, so the outcome half is an ordering rule: an Outcome stays open
+// for as long as any Bet of the event names it by address.
 #[test]
 fn test_close_event_refused_while_a_bet_is_open() {
     let mut market = setup();