FA-82171 / Poker hand evaluation / Open access

Lower-case dead cards never block · case 01

Dead cards written "ah" or "JH" leave the combo count unchanged.

Verified by executionVariant 1 · 8 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

Dead cards are compared verbatim to combos built with an upper-case rank and lower-case suit.

VERIFIED REPAIR

Normalize each dead card to upper-case rank and lower-case suit.

Unsuccessful approach: Upper-casing the whole card also upper-cases the suit, which never matches.

Case contract

Input: {"hand": class such as "AKs", "AKo", "AK" or "QQ", "dead": [known cards, rank upper-case or lower-case, suit lower-case or upper-case]}. Enumerate the concrete two-card combos of the class (suits c,d,h,s) and return how many contain no dead card.

Why this case matters

Blocker math decides how many value combos an opponent can still hold.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    S='cdhs'
    h=x['hand']; dead=set(x['dead'])
    r1,r2=h[0],h[1]; suf=h[2:]
    n=0
    for i,s1 in enumerate(S):
        for j,s2 in enumerate(S):
            if r1==r2 and j<=i: continue
            if suf=='s' and s1!=s2: continue
            if suf=='o' and s1==s2: continue
            if r1+s1 in dead or r2+s2 in dead: continue
            n+=1
    return n
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('pair no blockers', {'dead': [], 'hand': 'QQ'}, 6),
  ('pair one blocker', {'dead': ['Qh'], 'hand': 'QQ'}, 3),
  ('suited no blockers', {'dead': [], 'hand': 'AKs'}, 4),
  ('suited blocked king', {'dead': ['Kd'], 'hand': 'AKs'}, 3),
  ('lower-case dead', {'dead': ['ah', 'kS'], 'hand': 'AKo'}, 7),
  ('upper-case suit dead', {'dead': ['JH'], 'hand': 'JTs'}, 3),
  ('unrelated dead', {'dead': ['2c', '7d'], 'hand': 'AKs'}, 4),
  ('offsuit no blockers', {'dead': [], 'hand': 'T9o'}, 12)],
 [('pair one blocker', {'dead': ['Qh'], 'hand': 'QQ'}, 3),
  ('suited blocked king', {'dead': ['Kd'], 'hand': 'AKs'}, 3),
  ('offsuit blocked king', {'dead': ['Kd'], 'hand': 'AKo'}, 9),
  ('any ace king two blockers', {'dead': ['As', 'Kc'], 'hand': 'AK'}, 9),
  ('lower-case dead', {'dead': ['ah', 'kS'], 'hand': 'AKo'}, 7),
  ('upper-case suit dead', {'dead': ['JH'], 'hand': 'JTs'}, 3),
  ('pair two blockers', {'dead': ['9c', '9s'], 'hand': '99'}, 1),
  ('offsuit no blockers', {'dead': [], 'hand': 'T9o'}, 12)],
 [('pair no blockers', {'dead': [], 'hand': 'QQ'}, 6),
  ('suited no blockers', {'dead': [], 'hand': 'AKs'}, 4),
  ('offsuit blocked king', {'dead': ['Kd'], 'hand': 'AKo'}, 9),
  ('any ace king two blockers', {'dead': ['As', 'Kc'], 'hand': 'AK'}, 9),
  ('lower-case dead', {'dead': ['ah', 'kS'], 'hand': 'AKo'}, 7),
  ('upper-case suit dead', {'dead': ['JH'], 'hand': 'JTs'}, 3),
  ('pair two blockers', {'dead': ['9c', '9s'], 'hand': '99'}, 1),
  ('blocked first rank only', {'dead': ['Qs', 'Qh'], 'hand': 'KQs'}, 2)],
 [('pair no blockers', {'dead': [], 'hand': 'QQ'}, 6),
  ('suited no blockers', {'dead': [], 'hand': 'AKs'}, 4),
  ('any ace king two blockers', {'dead': ['As', 'Kc'], 'hand': 'AK'}, 9),
  ('lower-case dead', {'dead': ['ah', 'kS'], 'hand': 'AKo'}, 7),
  ('upper-case suit dead', {'dead': ['JH'], 'hand': 'JTs'}, 3),
  ('unrelated dead', {'dead': ['2c', '7d'], 'hand': 'AKs'}, 4),
  ('pair two blockers', {'dead': ['9c', '9s'], 'hand': '99'}, 1),
  ('blocked first rank only', {'dead': ['Qs', 'Qh'], 'hand': 'KQs'}, 2)],
 [('pair no blockers', {'dead': [], 'hand': 'QQ'}, 6),
  ('pair one blocker', {'dead': ['Qh'], 'hand': 'QQ'}, 3),
  ('suited no blockers', {'dead': [], 'hand': 'AKs'}, 4),
  ('suited blocked king', {'dead': ['Kd'], 'hand': 'AKs'}, 3),
  ('lower-case dead', {'dead': ['ah', 'kS'], 'hand': 'AKo'}, 7),
  ('upper-case suit dead', {'dead': ['JH'], 'hand': 'JTs'}, 3),
  ('unrelated dead', {'dead': ['2c', '7d'], 'hand': 'AKs'}, 4),
  ('offsuit no blockers', {'dead': [], 'hand': 'T9o'}, 12)]]
for label, args, expected in fixtures[N-1]:
    try:
        actual = solve(args)
    except Exception as exc:
        actual = 'error:' + type(exc).__name__
    check(label, actual, expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
pair no blockers	`6`	`6`	Passed
pair one blocker	`3`	`3`	Passed
suited no blockers	`4`	`4`	Passed
suited blocked king	`3`	`3`	Passed
lower-case dead	`12`	`7`	Failed
upper-case suit dead	`4`	`3`	Failed
unrelated dead	`4`	`4`	Passed
offsuit no blockers	`12`	`12`	Passed

SHA-256 / 8caf5e17896083fefb507da116978c0c9a7ba70d15cb1eb11d68027a94efc703

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    S='cdhs'
    h=x['hand']; dead={c.upper() for c in x['dead']}
    r1,r2=h[0],h[1]; suf=h[2:]
    n=0
    for i,s1 in enumerate(S):
        for j,s2 in enumerate(S):
            if r1==r2 and j<=i: continue
            if suf=='s' and s1!=s2: continue
            if suf=='o' and s1==s2: continue
            if r1+s1 in dead or r2+s2 in dead: continue
            n+=1
    return n
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('pair no blockers', {'dead': [], 'hand': 'QQ'}, 6),
  ('pair one blocker', {'dead': ['Qh'], 'hand': 'QQ'}, 3),
  ('suited no blockers', {'dead': [], 'hand': 'AKs'}, 4),
  ('suited blocked king', {'dead': ['Kd'], 'hand': 'AKs'}, 3),
  ('lower-case dead', {'dead': ['ah', 'kS'], 'hand': 'AKo'}, 7),
  ('upper-case suit dead', {'dead': ['JH'], 'hand': 'JTs'}, 3),
  ('unrelated dead', {'dead': ['2c', '7d'], 'hand': 'AKs'}, 4),
  ('offsuit no blockers', {'dead': [], 'hand': 'T9o'}, 12)],
 [('pair one blocker', {'dead': ['Qh'], 'hand': 'QQ'}, 3),
  ('suited blocked king', {'dead': ['Kd'], 'hand': 'AKs'}, 3),
  ('offsuit blocked king', {'dead': ['Kd'], 'hand': 'AKo'}, 9),
  ('any ace king two blockers', {'dead': ['As', 'Kc'], 'hand': 'AK'}, 9),
  ('lower-case dead', {'dead': ['ah', 'kS'], 'hand': 'AKo'}, 7),
  ('upper-case suit dead', {'dead': ['JH'], 'hand': 'JTs'}, 3),
  ('pair two blockers', {'dead': ['9c', '9s'], 'hand': '99'}, 1),
  ('offsuit no blockers', {'dead': [], 'hand': 'T9o'}, 12)],
 [('pair no blockers', {'dead': [], 'hand': 'QQ'}, 6),
  ('suited no blockers', {'dead': [], 'hand': 'AKs'}, 4),
  ('offsuit blocked king', {'dead': ['Kd'], 'hand': 'AKo'}, 9),
  ('any ace king two blockers', {'dead': ['As', 'Kc'], 'hand': 'AK'}, 9),
  ('lower-case dead', {'dead': ['ah', 'kS'], 'hand': 'AKo'}, 7),
  ('upper-case suit dead', {'dead': ['JH'], 'hand': 'JTs'}, 3),
  ('pair two blockers', {'dead': ['9c', '9s'], 'hand': '99'}, 1),
  ('blocked first rank only', {'dead': ['Qs', 'Qh'], 'hand': 'KQs'}, 2)],
 [('pair no blockers', {'dead': [], 'hand': 'QQ'}, 6),
  ('suited no blockers', {'dead': [], 'hand': 'AKs'}, 4),
  ('any ace king two blockers', {'dead': ['As', 'Kc'], 'hand': 'AK'}, 9),
  ('lower-case dead', {'dead': ['ah', 'kS'], 'hand': 'AKo'}, 7),
  ('upper-case suit dead', {'dead': ['JH'], 'hand': 'JTs'}, 3),
  ('unrelated dead', {'dead': ['2c', '7d'], 'hand': 'AKs'}, 4),
  ('pair two blockers', {'dead': ['9c', '9s'], 'hand': '99'}, 1),
  ('blocked first rank only', {'dead': ['Qs', 'Qh'], 'hand': 'KQs'}, 2)],
 [('pair no blockers', {'dead': [], 'hand': 'QQ'}, 6),
  ('pair one blocker', {'dead': ['Qh'], 'hand': 'QQ'}, 3),
  ('suited no blockers', {'dead': [], 'hand': 'AKs'}, 4),
  ('suited blocked king', {'dead': ['Kd'], 'hand': 'AKs'}, 3),
  ('lower-case dead', {'dead': ['ah', 'kS'], 'hand': 'AKo'}, 7),
  ('upper-case suit dead', {'dead': ['JH'], 'hand': 'JTs'}, 3),
  ('unrelated dead', {'dead': ['2c', '7d'], 'hand': 'AKs'}, 4),
  ('offsuit no blockers', {'dead': [], 'hand': 'T9o'}, 12)]]
for label, args, expected in fixtures[N-1]:
    try:
        actual = solve(args)
    except Exception as exc:
        actual = 'error:' + type(exc).__name__
    check(label, actual, expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
pair no blockers	`6`	`6`	Passed
pair one blocker	`6`	`3`	Failed
suited no blockers	`4`	`4`	Passed
suited blocked king	`4`	`3`	Failed
lower-case dead	`12`	`7`	Failed
upper-case suit dead	`4`	`3`	Failed
unrelated dead	`4`	`4`	Passed
offsuit no blockers	`12`	`12`	Passed

SHA-256 / c9c55b9225725e8e8375057c9150e6472da1bfe7af753649a87928db5e7e808a

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    S='cdhs'
    h=x['hand']; dead={c[0].upper()+c[1].lower() for c in x['dead']}
    r1,r2=h[0],h[1]; suf=h[2:]
    n=0
    for i,s1 in enumerate(S):
        for j,s2 in enumerate(S):
            if r1==r2 and j<=i: continue
            if suf=='s' and s1!=s2: continue
            if suf=='o' and s1==s2: continue
            if r1+s1 in dead or r2+s2 in dead: continue
            n+=1
    return n
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('pair no blockers', {'dead': [], 'hand': 'QQ'}, 6),
  ('pair one blocker', {'dead': ['Qh'], 'hand': 'QQ'}, 3),
  ('suited no blockers', {'dead': [], 'hand': 'AKs'}, 4),
  ('suited blocked king', {'dead': ['Kd'], 'hand': 'AKs'}, 3),
  ('lower-case dead', {'dead': ['ah', 'kS'], 'hand': 'AKo'}, 7),
  ('upper-case suit dead', {'dead': ['JH'], 'hand': 'JTs'}, 3),
  ('unrelated dead', {'dead': ['2c', '7d'], 'hand': 'AKs'}, 4),
  ('offsuit no blockers', {'dead': [], 'hand': 'T9o'}, 12)],
 [('pair one blocker', {'dead': ['Qh'], 'hand': 'QQ'}, 3),
  ('suited blocked king', {'dead': ['Kd'], 'hand': 'AKs'}, 3),
  ('offsuit blocked king', {'dead': ['Kd'], 'hand': 'AKo'}, 9),
  ('any ace king two blockers', {'dead': ['As', 'Kc'], 'hand': 'AK'}, 9),
  ('lower-case dead', {'dead': ['ah', 'kS'], 'hand': 'AKo'}, 7),
  ('upper-case suit dead', {'dead': ['JH'], 'hand': 'JTs'}, 3),
  ('pair two blockers', {'dead': ['9c', '9s'], 'hand': '99'}, 1),
  ('offsuit no blockers', {'dead': [], 'hand': 'T9o'}, 12)],
 [('pair no blockers', {'dead': [], 'hand': 'QQ'}, 6),
  ('suited no blockers', {'dead': [], 'hand': 'AKs'}, 4),
  ('offsuit blocked king', {'dead': ['Kd'], 'hand': 'AKo'}, 9),
  ('any ace king two blockers', {'dead': ['As', 'Kc'], 'hand': 'AK'}, 9),
  ('lower-case dead', {'dead': ['ah', 'kS'], 'hand': 'AKo'}, 7),
  ('upper-case suit dead', {'dead': ['JH'], 'hand': 'JTs'}, 3),
  ('pair two blockers', {'dead': ['9c', '9s'], 'hand': '99'}, 1),
  ('blocked first rank only', {'dead': ['Qs', 'Qh'], 'hand': 'KQs'}, 2)],
 [('pair no blockers', {'dead': [], 'hand': 'QQ'}, 6),
  ('suited no blockers', {'dead': [], 'hand': 'AKs'}, 4),
  ('any ace king two blockers', {'dead': ['As', 'Kc'], 'hand': 'AK'}, 9),
  ('lower-case dead', {'dead': ['ah', 'kS'], 'hand': 'AKo'}, 7),
  ('upper-case suit dead', {'dead': ['JH'], 'hand': 'JTs'}, 3),
  ('unrelated dead', {'dead': ['2c', '7d'], 'hand': 'AKs'}, 4),
  ('pair two blockers', {'dead': ['9c', '9s'], 'hand': '99'}, 1),
  ('blocked first rank only', {'dead': ['Qs', 'Qh'], 'hand': 'KQs'}, 2)],
 [('pair no blockers', {'dead': [], 'hand': 'QQ'}, 6),
  ('pair one blocker', {'dead': ['Qh'], 'hand': 'QQ'}, 3),
  ('suited no blockers', {'dead': [], 'hand': 'AKs'}, 4),
  ('suited blocked king', {'dead': ['Kd'], 'hand': 'AKs'}, 3),
  ('lower-case dead', {'dead': ['ah', 'kS'], 'hand': 'AKo'}, 7),
  ('upper-case suit dead', {'dead': ['JH'], 'hand': 'JTs'}, 3),
  ('unrelated dead', {'dead': ['2c', '7d'], 'hand': 'AKs'}, 4),
  ('offsuit no blockers', {'dead': [], 'hand': 'T9o'}, 12)]]
for label, args, expected in fixtures[N-1]:
    try:
        actual = solve(args)
    except Exception as exc:
        actual = 'error:' + type(exc).__name__
    check(label, actual, expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
pair no blockers	`6`	`6`	Passed
pair one blocker	`3`	`3`	Passed
suited no blockers	`4`	`4`	Passed
suited blocked king	`3`	`3`	Passed
lower-case dead	`7`	`7`	Passed
upper-case suit dead	`3`	`3`	Passed
unrelated dead	`4`	`4`	Passed
offsuit no blockers	`12`	`12`	Passed

SHA-256 / a789c606ac0f2c4ec51822326a25b4669da6400671e40506631be18bdacc0fd6

Verification & scope

A deterministic toy model with an explicitly stated contract; card strings are rank+suit (for example "As", "Td"); no claim of conformance to any casino or tournament rulebook. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-29T14:50:09.550711+00:00.

Case digest / 15f7911047e0b3c59e9de9d4ad4e047152c35312c01ab171e45c1648c21a0975