Preserve Ghola promises during Box selection

docs/CURRENT_STATUS.md

@@ -17,6 +17,14 @@ open mode gates.
 
 ## Current checkpoint and work
 
+**Ghola promise during Box selection — 29 October. Prototyped / Partial.**
+A paid Nullentropy Box selection must preserve an outstanding named Ghola Yes;
+an incompatible card is rejected before shuffle while the paid search remains
+open. A controlled conserved-card fixture exercises rejection and the real
+Ghola replay. Eleven related files pass 51 cases; broader interactions and
+deployed verification remain open.
+[Contract](TRUTHTRANCE_LEADER_REVIVAL_PROMISES.md#paid-box-selection-preserves-a-ghola-answer--29-october-2026).
+
 **Multiple named Ghola returns — 29 October. Prototyped / Partial.**
 Multiple distinct Yes answers can share a bounded native completion when
 currently held Ghola and known Box recovery permit separate physical returns.

docs/TRUTHTRANCE_LEADER_REVIVAL_PROMISES.md

@@ -4,6 +4,16 @@ The [grouped follow-up](TRUTHTRANCE_REVIVAL_EXPRESSIONS.md) combines these named
 returns and ordinary force minima with whole AND/OR, preserving dynamic choices
 and the shared native planner. Scalar questions keep their existing meaning.
 
+## Paid Box selection preserves a Ghola answer — 29 October 2026
+
+**Prototyped / Partial.** Once the owner has paid for a Nullentropy Box search,
+a selected recovery must preserve the shared completion of any outstanding
+named Ghola Yes. An incompatible choice is rejected before the discard pile is
+shuffled; the paid search remains open for a legal selection. A controlled
+multi-leader fixture uses the original physical Ghola and Box and checks that
+an alternative card is rejected before the actual Ghola replay. Broader
+interactions, saved-game assurance and deployed verification remain open.
+
 ## Multiple named Ghola answers — 29 October 2026
 
 **Prototyped / Partial.** Multiple