{"abstract":"\"A9s+\" includes an \"AAs\" class counted as a pocket pair and \"KTo+\" includes AK-type classes.","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":"Stopping at the king index for every top card is correct only for aces.","family":"w2-poker_hand_evaluation-range-combo-count-kicker-plus-upper-bound","id":"FA-82126","implementations":{"attempt":{"sha256":"9bf3ecbdc309db48aff9ca713c86a076ed5242d5ed15ae6d5d7c2f6b43301b7f","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=len(R)-2 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  ('suited connector plus', 'T9s+', 4)],\n [('offsuit king plus', 'KTo+', 36), ('dash kicker range', 'A9s-A6s', 16),\n  ('dash pair range', 'TT-77', 24), ('reversed dash pairs', '77-TT', 24),\n  ('spaced tokens', 'QQ+, AKs', 22), ('overlap dedupe', 'AKs,AK', 16), ('single pair', '22', 6),\n  ('suited connector plus', 'T9s+', 4)],\n [('suited ace plus', 'A9s+', 20), ('offsuit king plus', 'KTo+', 36),\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), ('suited ace plus', 'A9s+', 20), ('offsuit king plus', 'KTo+', 36),\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  ('dash kicker range', 'A9s-A6s', 16), ('suited connector plus', 'T9s+', 4),\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":"05deb13c1581608ff7ef748455f5bc4d36ce2c53fb9aae5cbe319c44beccd88e","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 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  ('suited connector plus', 'T9s+', 4)],\n [('offsuit king plus', 'KTo+', 36), ('dash kicker range', 'A9s-A6s', 16),\n  ('dash pair range', 'TT-77', 24), ('reversed dash pairs', '77-TT', 24),\n  ('spaced tokens', 'QQ+, AKs', 22), ('overlap dedupe', 'AKs,AK', 16), ('single pair', '22', 6),\n  ('suited connector plus', 'T9s+', 4)],\n [('suited ace plus', 'A9s+', 20), ('offsuit king plus', 'KTo+', 36),\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), ('suited ace plus', 'A9s+', 20), ('offsuit king plus', 'KTo+', 36),\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  ('dash kicker range', 'A9s-A6s', 16), ('suited connector plus', 'T9s+', 4),\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":"4b37215bae4e284c332f171027d39c66d2d4ceb511dd6634a704500bd99e0fd8","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  ('suited connector plus', 'T9s+', 4)],\n [('offsuit king plus', 'KTo+', 36), ('dash kicker range', 'A9s-A6s', 16),\n  ('dash pair range', 'TT-77', 24), ('reversed dash pairs', '77-TT', 24),\n  ('spaced tokens', 'QQ+, AKs', 22), ('overlap dedupe', 'AKs,AK', 16), ('single pair', '22', 6),\n  ('suited connector plus', 'T9s+', 4)],\n [('suited ace plus', 'A9s+', 20), ('offsuit king plus', 'KTo+', 36),\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), ('suited ace plus', 'A9s+', 20), ('offsuit king plus', 'KTo+', 36),\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  ('dash kicker range', 'A9s-A6s', 16), ('suited connector plus', 'T9s+', 4),\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-kicker-plus-upper-bound","generated_at":"2026-09-29T14:50:09.348238+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":"Kicker-plus ranges end at one rank below the top card.","root_cause":"The kicker loop stops at the top card itself instead of one rank below it.","sha256":"485ff6fc9132e5367ef393bc9b2d776ee1b5b6f2aafa451f0c160e7660075850","title":"Kicker-plus range runs into the pair of the top card · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.2,"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":42,"check":"offsuit king plus","expected":36,"passed":false},{"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":22,"check":"suited connector plus","expected":4,"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\": 42, \"expected\": 36, \"passed\": false}, {\"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\": \"suited connector plus\", \"actual\": 22, \"expected\": 4, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.996,"exit_code":1,"observations":[{"actual":48,"check":"pairs plus","expected":48,"passed":true},{"actual":18,"check":"queens plus","expected":18,"passed":true},{"actual":26,"check":"suited ace plus","expected":20,"passed":false},{"actual":42,"check":"offsuit king plus","expected":36,"passed":false},{"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":10,"check":"suited connector plus","expected":4,"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\": 26, \"expected\": 20, \"passed\": false}, {\"check\": \"offsuit king plus\", \"actual\": 42, \"expected\": 36, \"passed\": false}, {\"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\": \"suited connector plus\", \"actual\": 10, \"expected\": 4, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.689,"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":4,"check":"suited connector plus","expected":4,"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\": \"suited connector plus\", \"actual\": 4, \"expected\": 4, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}