# Short all-in reopening evidence bundle

- Published: 2026-09-03
- Primary rules mode: Poker TDA 2024 Rules Version 1.0, NL/PL Rules 43 and 47
- Unit contract: exact base-10 strings, up to 6 decimal places and 1 trillion per input
- Sampling: none; all fixtures are deterministic

## Question and method

For one named player at one decision point, record the current wager, the wager level immediately after that player's most recent voluntary action, and the applicable full increment. That third input is the last full valid bet/raise increment, or the minimum full opening bet when a short all-in opens below it. If the active player has already acted, subtract the prior wager level from the current wager. The model reports raise rights only when that change is at least the full increment. An active player who has not acted retains raise rights; posting a blind is not treated as voluntary action.

When raise rights are available, the displayed minimum full raise-to is the current wager plus the last full increment. This is a structural amount, not proof that the player has enough chips to make it. Folded and all-in players return not applicable.

## Files

- `short-all-in-reopening-fixtures.json`: model contract, declared limits, sources, and 14 pinned fixtures.
- `short-all-in-reopening-results.csv`: one flat, article-ready result row per fixture.
- `short-all-in-reopening-verifier.py`: independent Python standard-library checker with hand-authored source sentinels.
- `short-all-in-reopening-README.md`: this methodology and limitation note.

## Reproduce

Place all four files in one directory and run Python 3.9 or later:

```console
python short-all-in-reopening-verifier.py
```

The verifier parses every amount independently as an integer scaled by 1,000,000, recomputes every result, checks the CSV against the JSON, and compares the official-example rows with separately encoded source sentinels. It does not import or execute the website's JavaScript model.

## Fixture scope

The official TDA illustration set stays limited to Examples 1, 1-A, 1-B, 2, 3-A for the big blind, 3-A for the limper, and 3-B. Two separately labeled `tda-rule-derived` fixtures cover a short opening all-in of 50 against a full-opening baseline of 100: an acted checker cannot raise, while an unacted active player can raise to at least 150. These are derived boundary cases, not official TDA illustrations. Two synthetic decimal fixtures test equality and a 0.000001-unit shortfall. Two status fixtures ensure folded and all-in players are not offered action.

The WSOP 2026 Rule 96 row is deliberately labeled `wsop-comparison-not-tda-validation`. It reproduces that document's own numerical example, but the WSOP wording is event-specific and is not evidence for the TDA model claim.

## Boundaries and exclusions

This is not a hand parser, betting engine, or floor-ruling tool. The user must correctly identify the decision point, voluntary-action history, current betting round, and applicable full increment. A valid short opening all-in can leave that increment greater than the current wager. The bundle does not calculate pot-limit maximums, stack sufficiency, fixed-limit rules, physical-chip or verbal-action meaning, accepted action, house rules, or discretionary rulings. Passing the fixtures proves consistency with these declared examples and arithmetic only.

## Primary sources

- [Poker TDA 2024 Rules Version 1.0](https://www.pokertda.com/view-poker-tda-rules/), Rules 43 and 47 plus the Illustration Addendum; accessed 2026-09-03.
- [Poker TDA forum: “All in with less than BB”](https://www.pokertda.com/forum/index.php?topic=1456.0), administrator reply dated 2017-11-01; historical implementation cross-check for the opening-underbet minimum raise-to only, not the current rules authority.
- [2026 WSOP Tournament Rules](https://assets.wsopcdn.com/wsop/1a72ba28-781c-409d-a9c3-5ca13c4c5718.pdf), Rule 96; accessed 2026-09-03. Comparison fixture only.