{"abstract":"\"AK\" counts 12 combos instead of 16.","category":"Poker hand evaluation","checks":8,"contract":"Input: a comma-separated hold'em range string. Tokens: pairs \"77\", \"77+\" (up to AA), \"TT-77\"; non-pairs \"AKs\"/\"AKo\"/\"AK\" (no suffix means both suited and offsuit), \"A9s+\" (kicker rises to one below the top card), \"A9s-A6s\" (inclusive). Whitespace around tokens is ignored. Duplicated classes count once. Return total combos: pair 6, suited 4, offsuit 12.","evaluation_group":"w2-poker_hand_evaluation-range-combo-count","failed_approach":"Expanding only to the suited class counts 4 combos.","family":"w2-poker_hand_evaluation-range-combo-count-unsuffixed-expansion","id":"FA-82136","implementations":{"attempt":{"sha256":"c5936576ced1e0bc02afdf52f38cb588b2511173fa306d73f099d1544cde613b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    R='23456789TJQKA'\n    classes=set()\n    def add(h, suf):\n        if h[0]==h[1]: classes.add(h)\n        elif suf: classes.add(h+suf)\n        else:\n            classes.add(h+'s')\n    for tok in x.split(','):\n        tok=tok.strip()\n        if not tok: continue\n        plus=tok.endswith('+')\n        t=tok.rstrip('+')\n        if '-' in t:\n            a,b=t.split('-')\n            if a[0]==a[1]:\n                lo,hi=sorted([R.index(a[0]),R.index(b[0])])\n                for i in range(lo,hi+1): add(R[i]*2,'')\n            else:\n                lo,hi=sorted([R.index(a[1]),R.index(b[1])])\n                for i in range(lo,hi+1): add(a[0]+R[i],a[2:])\n            continue\n        if t[0]==t[1]:\n            start=R.index(t[0])\n            stop=len(R)-1 if plus else start\n            for i in range(start,stop+1): add(R[i]*2,'')\n        else:\n            top=R.index(t[0]); k=R.index(t[1])\n            stop=top-1 if plus else k\n            for i in range(k,stop+1): add(t[0]+R[i],t[2:])\n    total=0\n    for c in classes:\n        if c[0]==c[1]: total+=6\n        elif c.endswith('s'): total+=4\n        else: total+=12\n    return total\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('pairs plus', '77+', 48), ('queens plus', 'QQ+', 18), ('suited ace plus', 'A9s+', 20),\n  ('offsuit king plus', 'KTo+', 36), ('unsuffixed class', 'AK', 16),\n  ('dash kicker range', 'A9s-A6s', 16), ('dash pair range', 'TT-77', 24),\n  ('overlap dedupe', 'AKs,AK', 16)],\n [('offsuit king plus', 'KTo+', 36), ('unsuffixed class', 'AK', 16),\n  ('dash kicker range', 'A9s-A6s', 16), ('dash pair range', 'TT-77', 24),\n  ('reversed dash pairs', '77-TT', 24), ('spaced tokens', 'QQ+, AKs', 22),\n  ('overlap dedupe', 'AKs,AK', 16), ('single pair', '22', 6)],\n [('unsuffixed class', 'AK', 16), ('reversed dash pairs', '77-TT', 24),\n  ('spaced tokens', 'QQ+, AKs', 22), ('overlap dedupe', 'AKs,AK', 16), ('single pair', '22', 6),\n  ('mixed', 'JJ+,AQs+,KQo', 44), ('aces only', 'AA', 6), ('suited connector plus', 'T9s+', 4)],\n [('pairs plus', '77+', 48), ('unsuffixed class', 'AK', 16), ('overlap dedupe', 'AKs,AK', 16),\n  ('mixed', 'JJ+,AQs+,KQo', 44), ('aces only', 'AA', 6), ('suited connector plus', 'T9s+', 4),\n  ('trailing comma', 'KK+,', 12), ('reversed kicker dash', 'K6o-K9o', 48)],\n [('pairs plus', '77+', 48), ('queens plus', 'QQ+', 18), ('suited ace plus', 'A9s+', 20),\n  ('offsuit king plus', 'KTo+', 36), ('unsuffixed class', 'AK', 16),\n  ('overlap dedupe', 'AKs,AK', 16), ('trailing comma', 'KK+,', 12),\n  ('reversed kicker dash', 'K6o-K9o', 48)]]\nfor label, args, expected in fixtures[N-1]:\n    try:\n        actual = solve(args)\n    except Exception as exc:\n        actual = 'error:' + type(exc).__name__\n    check(label, actual, expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"5c20c20ae8838aaa89a70c82be498a65bd6964b9e99f07a64cd7b03eb1acebe9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    R='23456789TJQKA'\n    classes=set()\n    def add(h, suf):\n        if h[0]==h[1]: classes.add(h)\n        elif suf: classes.add(h+suf)\n        else:\n            classes.add(h)\n    for tok in x.split(','):\n        tok=tok.strip()\n        if not tok: continue\n        plus=tok.endswith('+')\n        t=tok.rstrip('+')\n        if '-' in t:\n            a,b=t.split('-')\n            if a[0]==a[1]:\n                lo,hi=sorted([R.index(a[0]),R.index(b[0])])\n                for i in range(lo,hi+1): add(R[i]*2,'')\n            else:\n                lo,hi=sorted([R.index(a[1]),R.index(b[1])])\n                for i in range(lo,hi+1): add(a[0]+R[i],a[2:])\n            continue\n        if t[0]==t[1]:\n            start=R.index(t[0])\n            stop=len(R)-1 if plus else start\n            for i in range(start,stop+1): add(R[i]*2,'')\n        else:\n            top=R.index(t[0]); k=R.index(t[1])\n            stop=top-1 if plus else k\n            for i in range(k,stop+1): add(t[0]+R[i],t[2:])\n    total=0\n    for c in classes:\n        if c[0]==c[1]: total+=6\n        elif c.endswith('s'): total+=4\n        else: total+=12\n    return total\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('pairs plus', '77+', 48), ('queens plus', 'QQ+', 18), ('suited ace plus', 'A9s+', 20),\n  ('offsuit king plus', 'KTo+', 36), ('unsuffixed class', 'AK', 16),\n  ('dash kicker range', 'A9s-A6s', 16), ('dash pair range', 'TT-77', 24),\n  ('overlap dedupe', 'AKs,AK', 16)],\n [('offsuit king plus', 'KTo+', 36), ('unsuffixed class', 'AK', 16),\n  ('dash kicker range', 'A9s-A6s', 16), ('dash pair range', 'TT-77', 24),\n  ('reversed dash pairs', '77-TT', 24), ('spaced tokens', 'QQ+, AKs', 22),\n  ('overlap dedupe', 'AKs,AK', 16), ('single pair', '22', 6)],\n [('unsuffixed class', 'AK', 16), ('reversed dash pairs', '77-TT', 24),\n  ('spaced tokens', 'QQ+, AKs', 22), ('overlap dedupe', 'AKs,AK', 16), ('single pair', '22', 6),\n  ('mixed', 'JJ+,AQs+,KQo', 44), ('aces only', 'AA', 6), ('suited connector plus', 'T9s+', 4)],\n [('pairs plus', '77+', 48), ('unsuffixed class', 'AK', 16), ('overlap dedupe', 'AKs,AK', 16),\n  ('mixed', 'JJ+,AQs+,KQo', 44), ('aces only', 'AA', 6), ('suited connector plus', 'T9s+', 4),\n  ('trailing comma', 'KK+,', 12), ('reversed kicker dash', 'K6o-K9o', 48)],\n [('pairs plus', '77+', 48), ('queens plus', 'QQ+', 18), ('suited ace plus', 'A9s+', 20),\n  ('offsuit king plus', 'KTo+', 36), ('unsuffixed class', 'AK', 16),\n  ('overlap dedupe', 'AKs,AK', 16), ('trailing comma', 'KK+,', 12),\n  ('reversed kicker dash', 'K6o-K9o', 48)]]\nfor label, args, expected in fixtures[N-1]:\n    try:\n        actual = solve(args)\n    except Exception as exc:\n        actual = 'error:' + type(exc).__name__\n    check(label, actual, expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"29ea6c51d36e4c5030a96832fc4ca510d02c599e088240fc00f9643389014d1d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    R='23456789TJQKA'\n    classes=set()\n    def add(h, suf):\n        if h[0]==h[1]: classes.add(h)\n        elif suf: classes.add(h+suf)\n        else:\n            classes.add(h+'s'); classes.add(h+'o')\n    for tok in x.split(','):\n        tok=tok.strip()\n        if not tok: continue\n        plus=tok.endswith('+')\n        t=tok.rstrip('+')\n        if '-' in t:\n            a,b=t.split('-')\n            if a[0]==a[1]:\n                lo,hi=sorted([R.index(a[0]),R.index(b[0])])\n                for i in range(lo,hi+1): add(R[i]*2,'')\n            else:\n                lo,hi=sorted([R.index(a[1]),R.index(b[1])])\n                for i in range(lo,hi+1): add(a[0]+R[i],a[2:])\n            continue\n        if t[0]==t[1]:\n            start=R.index(t[0])\n            stop=len(R)-1 if plus else start\n            for i in range(start,stop+1): add(R[i]*2,'')\n        else:\n            top=R.index(t[0]); k=R.index(t[1])\n            stop=top-1 if plus else k\n            for i in range(k,stop+1): add(t[0]+R[i],t[2:])\n    total=0\n    for c in classes:\n        if c[0]==c[1]: total+=6\n        elif c.endswith('s'): total+=4\n        else: total+=12\n    return total\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('pairs plus', '77+', 48), ('queens plus', 'QQ+', 18), ('suited ace plus', 'A9s+', 20),\n  ('offsuit king plus', 'KTo+', 36), ('unsuffixed class', 'AK', 16),\n  ('dash kicker range', 'A9s-A6s', 16), ('dash pair range', 'TT-77', 24),\n  ('overlap dedupe', 'AKs,AK', 16)],\n [('offsuit king plus', 'KTo+', 36), ('unsuffixed class', 'AK', 16),\n  ('dash kicker range', 'A9s-A6s', 16), ('dash pair range', 'TT-77', 24),\n  ('reversed dash pairs', '77-TT', 24), ('spaced tokens', 'QQ+, AKs', 22),\n  ('overlap dedupe', 'AKs,AK', 16), ('single pair', '22', 6)],\n [('unsuffixed class', 'AK', 16), ('reversed dash pairs', '77-TT', 24),\n  ('spaced tokens', 'QQ+, AKs', 22), ('overlap dedupe', 'AKs,AK', 16), ('single pair', '22', 6),\n  ('mixed', 'JJ+,AQs+,KQo', 44), ('aces only', 'AA', 6), ('suited connector plus', 'T9s+', 4)],\n [('pairs plus', '77+', 48), ('unsuffixed class', 'AK', 16), ('overlap dedupe', 'AKs,AK', 16),\n  ('mixed', 'JJ+,AQs+,KQo', 44), ('aces only', 'AA', 6), ('suited connector plus', 'T9s+', 4),\n  ('trailing comma', 'KK+,', 12), ('reversed kicker dash', 'K6o-K9o', 48)],\n [('pairs plus', '77+', 48), ('queens plus', 'QQ+', 18), ('suited ace plus', 'A9s+', 20),\n  ('offsuit king plus', 'KTo+', 36), ('unsuffixed class', 'AK', 16),\n  ('overlap dedupe', 'AKs,AK', 16), ('trailing comma', 'KK+,', 12),\n  ('reversed kicker dash', 'K6o-K9o', 48)]]\nfor label, args, expected in fixtures[N-1]:\n    try:\n        actual = solve(args)\n    except Exception as exc:\n        actual = 'error:' + type(exc).__name__\n    check(label, actual, expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-poker_hand_evaluation-range-combo-count-unsuffixed-expansion","generated_at":"2026-09-29T14:50:09.466535+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Range combo counts drive equity, frequency and blocker arithmetic in solvers and trackers.","repair":"Expand an unsuffixed non-pair into its suited and offsuit classes.","root_cause":"An unsuffixed class is stored bare and then falls into the offsuit branch of the counter.","sha256":"bf9a935cc18985611568af6b51fade548f88ce2e2dacfc2133453124c5d9ac0a","title":"Unsuffixed non-pair counted as offsuit only · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.567,"exit_code":1,"observations":[{"actual":48,"check":"pairs plus","expected":48,"passed":true},{"actual":18,"check":"queens plus","expected":18,"passed":true},{"actual":20,"check":"suited ace plus","expected":20,"passed":true},{"actual":36,"check":"offsuit king plus","expected":36,"passed":true},{"actual":4,"check":"unsuffixed class","expected":16,"passed":false},{"actual":16,"check":"dash kicker range","expected":16,"passed":true},{"actual":24,"check":"dash pair range","expected":24,"passed":true},{"actual":4,"check":"overlap dedupe","expected":16,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"pairs plus\", \"actual\": 48, \"expected\": 48, \"passed\": true}, {\"check\": \"queens plus\", \"actual\": 18, \"expected\": 18, \"passed\": true}, {\"check\": \"suited ace plus\", \"actual\": 20, \"expected\": 20, \"passed\": true}, {\"check\": \"offsuit king plus\", \"actual\": 36, \"expected\": 36, \"passed\": true}, {\"check\": \"unsuffixed class\", \"actual\": 4, \"expected\": 16, \"passed\": false}, {\"check\": \"dash kicker range\", \"actual\": 16, \"expected\": 16, \"passed\": true}, {\"check\": \"dash pair range\", \"actual\": 24, \"expected\": 24, \"passed\": true}, {\"check\": \"overlap dedupe\", \"actual\": 4, \"expected\": 16, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.202,"exit_code":1,"observations":[{"actual":48,"check":"pairs plus","expected":48,"passed":true},{"actual":18,"check":"queens plus","expected":18,"passed":true},{"actual":20,"check":"suited ace plus","expected":20,"passed":true},{"actual":36,"check":"offsuit king plus","expected":36,"passed":true},{"actual":12,"check":"unsuffixed class","expected":16,"passed":false},{"actual":16,"check":"dash kicker range","expected":16,"passed":true},{"actual":24,"check":"dash pair range","expected":24,"passed":true},{"actual":16,"check":"overlap dedupe","expected":16,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"pairs plus\", \"actual\": 48, \"expected\": 48, \"passed\": true}, {\"check\": \"queens plus\", \"actual\": 18, \"expected\": 18, \"passed\": true}, {\"check\": \"suited ace plus\", \"actual\": 20, \"expected\": 20, \"passed\": true}, {\"check\": \"offsuit king plus\", \"actual\": 36, \"expected\": 36, \"passed\": true}, {\"check\": \"unsuffixed class\", \"actual\": 12, \"expected\": 16, \"passed\": false}, {\"check\": \"dash kicker range\", \"actual\": 16, \"expected\": 16, \"passed\": true}, {\"check\": \"dash pair range\", \"actual\": 24, \"expected\": 24, \"passed\": true}, {\"check\": \"overlap dedupe\", \"actual\": 16, \"expected\": 16, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.658,"exit_code":0,"observations":[{"actual":48,"check":"pairs plus","expected":48,"passed":true},{"actual":18,"check":"queens plus","expected":18,"passed":true},{"actual":20,"check":"suited ace plus","expected":20,"passed":true},{"actual":36,"check":"offsuit king plus","expected":36,"passed":true},{"actual":16,"check":"unsuffixed class","expected":16,"passed":true},{"actual":16,"check":"dash kicker range","expected":16,"passed":true},{"actual":24,"check":"dash pair range","expected":24,"passed":true},{"actual":16,"check":"overlap dedupe","expected":16,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"pairs plus\", \"actual\": 48, \"expected\": 48, \"passed\": true}, {\"check\": \"queens plus\", \"actual\": 18, \"expected\": 18, \"passed\": true}, {\"check\": \"suited ace plus\", \"actual\": 20, \"expected\": 20, \"passed\": true}, {\"check\": \"offsuit king plus\", \"actual\": 36, \"expected\": 36, \"passed\": true}, {\"check\": \"unsuffixed class\", \"actual\": 16, \"expected\": 16, \"passed\": true}, {\"check\": \"dash kicker range\", \"actual\": 16, \"expected\": 16, \"passed\": true}, {\"check\": \"dash pair range\", \"actual\": 24, \"expected\": 24, \"passed\": true}, {\"check\": \"overlap dedupe\", \"actual\": 16, \"expected\": 16, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}