FA-82018 / Poker hand evaluation / Member archive

Partial contributions below a level are dropped · case 03

Chips from a folded short contributor vanish and the pots sum to less than the total bet.

Member previewVariant 3 · 3 implementations · 8 checks per implementation

Case contract

Input: {"bets": {player: total chips committed this hand}, "folded": [players]}. Build pots by layering at each distinct live (non-folded) commitment level, main pot first. Each layer takes from every player (folded ones included) the part of their commitment between the previous and current level; eligible players are the live players committed at least to the level, sorted. Folded chips above the top live level go to the last pot. Return [{"amount", "eligible"}].

Why this case matters

Side-pot construction decides which all-in players can win which chips.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
folded partial caller	`[{"amount": 100, "eligible": ["a", "b"]}, {"amount": 50, "eligible": ["a"]}]`	`[{"amount": 130, "eligible": ["a", "b"]}, {"amount": 50, "eligible": ["a"]}]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.