FAILURE MAP
← Case archive

FA-82601 / Chess move legality / Open access

Own pawn beside the destination creates an ep square · case 01

e2-e4 next to a white pawn on f4 sets ep to e3.

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

ROOT CAUSE

Any pawn beside the landing square enables ep, whatever its colour.

VERIFIED REPAIR

Only an enemy pawn beside the destination can capture en passant.

Unsuccessful approach: Looking only for black pawns never sets ep after a black double step.

Case contract

Input: {"board" (before the move), "rights": castling rights string or "-", "move": [from, to], "halfmove"}. Return the next {"rights", "ep", "halfmove"}: a king move removes both of its side's rights; any move from or onto h1/a1/h8/a8 removes the matching right; a pawn double step sets ep to the skipped square only when an enemy pawn stands beside the destination; the halfmove clock resets on pawn moves and captures, else increments. Empty rights render as "-".

Why this case matters

These updates decide whether castling and en passant are legal on later moves.

1 / The failure

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

N = 1
observations = []
def solve(x):
    b=x['board']; fr,to=x['move']; p=b[fr]; cap=b.get(to)
    rights=x['rights'].replace('-','')
    if p=='K': rights=rights.replace('K','').replace('Q','')
    if p=='k': rights=rights.replace('k','').replace('q','')
    for sq,r in (('h1','K'),('a1','Q'),('h8','k'),('a8','q')):
        if fr==sq or to==sq: rights=rights.replace(r,'')
    ep=None
    if p in ('P','p') and abs(int(to[1])-int(fr[1]))==2:
        enemy='p' if p=='P' else 'P'
        f=ord(to[0])-97
        if any(b.get(chr(97+f+d)+to[1]) in ('p','P') for d in (-1,1)):
            ep=fr[0]+str((int(fr[1])+int(to[1]))//2)
    pawn_or_capture=p in ('P','p') or cap is not None
    hm=0 if pawn_or_capture else x['halfmove']+1
    return {'rights':rights or '-','ep':ep,'halfmove':hm}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('king move clears both',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k', 'h1': 'R'},
    'halfmove': 3,
    'move': ['e1', 'f1'],
    'rights': 'KQkq'},
   {'ep': None, 'halfmove': 4, 'rights': 'kq'}),
  ('black king move',
   {'board': {'e1': 'K', 'e8': 'k'}, 'halfmove': 0, 'move': ['e8', 'd8'], 'rights': 'KQkq'},
   {'ep': None, 'halfmove': 1, 'rights': 'KQ'}),
  ('rook captured on a8',
   {'board': {'a8': 'r', 'b7': 'B', 'e1': 'K', 'e8': 'k'},
    'halfmove': 5,
    'move': ['b7', 'a8'],
    'rights': 'Kkq'},
   {'ep': None, 'halfmove': 0, 'rights': 'Kk'}),
  ('bishop takes h8 rook',
   {'board': {'a1': 'B', 'e1': 'K', 'e8': 'k', 'h8': 'r'},
    'halfmove': 5,
    'move': ['a1', 'h8'],
    'rights': 'KQk'},
   {'ep': None, 'halfmove': 0, 'rights': 'K'}),
  ('rook leaves corner',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k'},
    'halfmove': 9,
    'move': ['a1', 'a5'],
    'rights': 'KQ'},
   {'ep': None, 'halfmove': 10, 'rights': 'K'}),
  ('double step beside own pawn',
   {'board': {'e1': 'K', 'e2': 'P', 'e8': 'k', 'f4': 'P'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('black double step',
   {'board': {'b5': 'P', 'c7': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}),
  ('black double step beside black pawn',
   {'board': {'c7': 'p', 'd5': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': None, 'halfmove': 0, 'rights': 'kq'})],
 [('bishop takes h8 rook',
   {'board': {'a1': 'B', 'e1': 'K', 'e8': 'k', 'h8': 'r'},
    'halfmove': 5,
    'move': ['a1', 'h8'],
    'rights': 'KQk'},
   {'ep': None, 'halfmove': 0, 'rights': 'K'}),
  ('rook leaves corner',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k'},
    'halfmove': 9,
    'move': ['a1', 'a5'],
    'rights': 'KQ'},
   {'ep': None, 'halfmove': 10, 'rights': 'K'}),
  ('double step with adjacent enemy',
   {'board': {'d4': 'p', 'e1': 'K', 'e2': 'P', 'e8': 'k'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': 'e3', 'halfmove': 0, 'rights': '-'}),
  ('double step no enemy beside',
   {'board': {'a4': 'p', 'e1': 'K', 'e2': 'P', 'e8': 'k'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('double step beside own pawn',
   {'board': {'e1': 'K', 'e2': 'P', 'e8': 'k', 'f4': 'P'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('black double step',
   {'board': {'b5': 'P', 'c7': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}),
  ('black double step beside black pawn',
   {'board': {'c7': 'p', 'd5': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': None, 'halfmove': 0, 'rights': 'kq'}),
  ('quiet knight move',
   {'board': {'e1': 'K', 'e8': 'k', 'g1': 'N'}, 'halfmove': 7, 'move': ['g1', 'f3'], 'rights': 'K'},
   {'ep': None, 'halfmove': 8, 'rights': 'K'})],
 [('double step no enemy beside',
   {'board': {'a4': 'p', 'e1': 'K', 'e2': 'P', 'e8': 'k'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('double step beside own pawn',
   {'board': {'e1': 'K', 'e2': 'P', 'e8': 'k', 'f4': 'P'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('black double step',
   {'board': {'b5': 'P', 'c7': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}),
  ('black double step beside black pawn',
   {'board': {'c7': 'p', 'd5': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': None, 'halfmove': 0, 'rights': 'kq'}),
  ('quiet knight move',
   {'board': {'e1': 'K', 'e8': 'k', 'g1': 'N'}, 'halfmove': 7, 'move': ['g1', 'f3'], 'rights': 'K'},
   {'ep': None, 'halfmove': 8, 'rights': 'K'}),
  ('knight capture resets',
   {'board': {'e1': 'K', 'e8': 'k', 'f3': 'p', 'g1': 'N'},
    'halfmove': 7,
    'move': ['g1', 'f3'],
    'rights': 'K'},
   {'ep': None, 'halfmove': 0, 'rights': 'K'}),
  ('single pawn step',
   {'board': {'a2': 'P', 'e1': 'K', 'e8': 'k'},
    'halfmove': 11,
    'move': ['a2', 'a3'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('rook two-rank move',
   {'board': {'c3': 'p', 'd1': 'R', 'e1': 'K', 'e8': 'k'},
    'halfmove': 1,
    'move': ['d1', 'd3'],
    'rights': '-'},
   {'ep': None, 'halfmove': 2, 'rights': '-'})],
 [('king move clears both',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k', 'h1': 'R'},
    'halfmove': 3,
    'move': ['e1', 'f1'],
    'rights': 'KQkq'},
   {'ep': None, 'halfmove': 4, 'rights': 'kq'}),
  ('black king move',
   {'board': {'e1': 'K', 'e8': 'k'}, 'halfmove': 0, 'move': ['e8', 'd8'], 'rights': 'KQkq'},
   {'ep': None, 'halfmove': 1, 'rights': 'KQ'}),
  ('double step beside own pawn',
   {'board': {'e1': 'K', 'e2': 'P', 'e8': 'k', 'f4': 'P'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('black double step',
   {'board': {'b5': 'P', 'c7': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}),
  ('black double step beside black pawn',
   {'board': {'c7': 'p', 'd5': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': None, 'halfmove': 0, 'rights': 'kq'}),
  ('single pawn step',
   {'board': {'a2': 'P', 'e1': 'K', 'e8': 'k'},
    'halfmove': 11,
    'move': ['a2', 'a3'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('rook two-rank move',
   {'board': {'c3': 'p', 'd1': 'R', 'e1': 'K', 'e8': 'k'},
    'halfmove': 1,
    'move': ['d1', 'd3'],
    'rights': '-'},
   {'ep': None, 'halfmove': 2, 'rights': '-'}),
  ('queen two-rank move',
   {'board': {'c4': 'P', 'd6': 'q', 'e1': 'K', 'e8': 'k'},
    'halfmove': 6,
    'move': ['d6', 'd4'],
    'rights': 'k'},
   {'ep': None, 'halfmove': 7, 'rights': 'k'})],
 [('king move clears both',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k', 'h1': 'R'},
    'halfmove': 3,
    'move': ['e1', 'f1'],
    'rights': 'KQkq'},
   {'ep': None, 'halfmove': 4, 'rights': 'kq'}),
  ('black king move',
   {'board': {'e1': 'K', 'e8': 'k'}, 'halfmove': 0, 'move': ['e8', 'd8'], 'rights': 'KQkq'},
   {'ep': None, 'halfmove': 1, 'rights': 'KQ'}),
  ('rook captured on a8',
   {'board': {'a8': 'r', 'b7': 'B', 'e1': 'K', 'e8': 'k'},
    'halfmove': 5,
    'move': ['b7', 'a8'],
    'rights': 'Kkq'},
   {'ep': None, 'halfmove': 0, 'rights': 'Kk'}),
  ('bishop takes h8 rook',
   {'board': {'a1': 'B', 'e1': 'K', 'e8': 'k', 'h8': 'r'},
    'halfmove': 5,
    'move': ['a1', 'h8'],
    'rights': 'KQk'},
   {'ep': None, 'halfmove': 0, 'rights': 'K'}),
  ('rook leaves corner',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k'},
    'halfmove': 9,
    'move': ['a1', 'a5'],
    'rights': 'KQ'},
   {'ep': None, 'halfmove': 10, 'rights': 'K'}),
  ('double step beside own pawn',
   {'board': {'e1': 'K', 'e2': 'P', 'e8': 'k', 'f4': 'P'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('black double step',
   {'board': {'b5': 'P', 'c7': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}),
  ('black double step beside black pawn',
   {'board': {'c7': 'p', 'd5': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': None, 'halfmove': 0, 'rights': 'kq'})]]
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 fixtureActualExpectedOutcome
king move clears both{'ep': None, 'halfmove': 4, 'rights': 'kq'}{'ep': None, 'halfmove': 4, 'rights': 'kq'}Passed
black king move{'ep': None, 'halfmove': 1, 'rights': 'KQ'}{'ep': None, 'halfmove': 1, 'rights': 'KQ'}Passed
rook captured on a8{'ep': None, 'halfmove': 0, 'rights': 'Kk'}{'ep': None, 'halfmove': 0, 'rights': 'Kk'}Passed
bishop takes h8 rook{'ep': None, 'halfmove': 0, 'rights': 'K'}{'ep': None, 'halfmove': 0, 'rights': 'K'}Passed
rook leaves corner{'ep': None, 'halfmove': 10, 'rights': 'K'}{'ep': None, 'halfmove': 10, 'rights': 'K'}Passed
double step beside own pawn{'ep': 'e3', 'halfmove': 0, 'rights': '-'}{'ep': None, 'halfmove': 0, 'rights': '-'}Failed
black double step{'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}{'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}Passed
black double step beside black pawn{'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}{'ep': None, 'halfmove': 0, 'rights': 'kq'}Failed

SHA-256 / b02a4110e6d0aa43497c9e2ad4a16e61551e4fec0dcc73123ba73a35e2bc7a0e

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(x):
    b=x['board']; fr,to=x['move']; p=b[fr]; cap=b.get(to)
    rights=x['rights'].replace('-','')
    if p=='K': rights=rights.replace('K','').replace('Q','')
    if p=='k': rights=rights.replace('k','').replace('q','')
    for sq,r in (('h1','K'),('a1','Q'),('h8','k'),('a8','q')):
        if fr==sq or to==sq: rights=rights.replace(r,'')
    ep=None
    if p in ('P','p') and abs(int(to[1])-int(fr[1]))==2:
        enemy='p' if p=='P' else 'P'
        f=ord(to[0])-97
        if any(b.get(chr(97+f+d)+to[1])=='p' for d in (-1,1)):
            ep=fr[0]+str((int(fr[1])+int(to[1]))//2)
    pawn_or_capture=p in ('P','p') or cap is not None
    hm=0 if pawn_or_capture else x['halfmove']+1
    return {'rights':rights or '-','ep':ep,'halfmove':hm}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('king move clears both',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k', 'h1': 'R'},
    'halfmove': 3,
    'move': ['e1', 'f1'],
    'rights': 'KQkq'},
   {'ep': None, 'halfmove': 4, 'rights': 'kq'}),
  ('black king move',
   {'board': {'e1': 'K', 'e8': 'k'}, 'halfmove': 0, 'move': ['e8', 'd8'], 'rights': 'KQkq'},
   {'ep': None, 'halfmove': 1, 'rights': 'KQ'}),
  ('rook captured on a8',
   {'board': {'a8': 'r', 'b7': 'B', 'e1': 'K', 'e8': 'k'},
    'halfmove': 5,
    'move': ['b7', 'a8'],
    'rights': 'Kkq'},
   {'ep': None, 'halfmove': 0, 'rights': 'Kk'}),
  ('bishop takes h8 rook',
   {'board': {'a1': 'B', 'e1': 'K', 'e8': 'k', 'h8': 'r'},
    'halfmove': 5,
    'move': ['a1', 'h8'],
    'rights': 'KQk'},
   {'ep': None, 'halfmove': 0, 'rights': 'K'}),
  ('rook leaves corner',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k'},
    'halfmove': 9,
    'move': ['a1', 'a5'],
    'rights': 'KQ'},
   {'ep': None, 'halfmove': 10, 'rights': 'K'}),
  ('double step beside own pawn',
   {'board': {'e1': 'K', 'e2': 'P', 'e8': 'k', 'f4': 'P'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('black double step',
   {'board': {'b5': 'P', 'c7': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}),
  ('black double step beside black pawn',
   {'board': {'c7': 'p', 'd5': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': None, 'halfmove': 0, 'rights': 'kq'})],
 [('bishop takes h8 rook',
   {'board': {'a1': 'B', 'e1': 'K', 'e8': 'k', 'h8': 'r'},
    'halfmove': 5,
    'move': ['a1', 'h8'],
    'rights': 'KQk'},
   {'ep': None, 'halfmove': 0, 'rights': 'K'}),
  ('rook leaves corner',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k'},
    'halfmove': 9,
    'move': ['a1', 'a5'],
    'rights': 'KQ'},
   {'ep': None, 'halfmove': 10, 'rights': 'K'}),
  ('double step with adjacent enemy',
   {'board': {'d4': 'p', 'e1': 'K', 'e2': 'P', 'e8': 'k'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': 'e3', 'halfmove': 0, 'rights': '-'}),
  ('double step no enemy beside',
   {'board': {'a4': 'p', 'e1': 'K', 'e2': 'P', 'e8': 'k'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('double step beside own pawn',
   {'board': {'e1': 'K', 'e2': 'P', 'e8': 'k', 'f4': 'P'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('black double step',
   {'board': {'b5': 'P', 'c7': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}),
  ('black double step beside black pawn',
   {'board': {'c7': 'p', 'd5': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': None, 'halfmove': 0, 'rights': 'kq'}),
  ('quiet knight move',
   {'board': {'e1': 'K', 'e8': 'k', 'g1': 'N'}, 'halfmove': 7, 'move': ['g1', 'f3'], 'rights': 'K'},
   {'ep': None, 'halfmove': 8, 'rights': 'K'})],
 [('double step no enemy beside',
   {'board': {'a4': 'p', 'e1': 'K', 'e2': 'P', 'e8': 'k'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('double step beside own pawn',
   {'board': {'e1': 'K', 'e2': 'P', 'e8': 'k', 'f4': 'P'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('black double step',
   {'board': {'b5': 'P', 'c7': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}),
  ('black double step beside black pawn',
   {'board': {'c7': 'p', 'd5': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': None, 'halfmove': 0, 'rights': 'kq'}),
  ('quiet knight move',
   {'board': {'e1': 'K', 'e8': 'k', 'g1': 'N'}, 'halfmove': 7, 'move': ['g1', 'f3'], 'rights': 'K'},
   {'ep': None, 'halfmove': 8, 'rights': 'K'}),
  ('knight capture resets',
   {'board': {'e1': 'K', 'e8': 'k', 'f3': 'p', 'g1': 'N'},
    'halfmove': 7,
    'move': ['g1', 'f3'],
    'rights': 'K'},
   {'ep': None, 'halfmove': 0, 'rights': 'K'}),
  ('single pawn step',
   {'board': {'a2': 'P', 'e1': 'K', 'e8': 'k'},
    'halfmove': 11,
    'move': ['a2', 'a3'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('rook two-rank move',
   {'board': {'c3': 'p', 'd1': 'R', 'e1': 'K', 'e8': 'k'},
    'halfmove': 1,
    'move': ['d1', 'd3'],
    'rights': '-'},
   {'ep': None, 'halfmove': 2, 'rights': '-'})],
 [('king move clears both',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k', 'h1': 'R'},
    'halfmove': 3,
    'move': ['e1', 'f1'],
    'rights': 'KQkq'},
   {'ep': None, 'halfmove': 4, 'rights': 'kq'}),
  ('black king move',
   {'board': {'e1': 'K', 'e8': 'k'}, 'halfmove': 0, 'move': ['e8', 'd8'], 'rights': 'KQkq'},
   {'ep': None, 'halfmove': 1, 'rights': 'KQ'}),
  ('double step beside own pawn',
   {'board': {'e1': 'K', 'e2': 'P', 'e8': 'k', 'f4': 'P'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('black double step',
   {'board': {'b5': 'P', 'c7': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}),
  ('black double step beside black pawn',
   {'board': {'c7': 'p', 'd5': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': None, 'halfmove': 0, 'rights': 'kq'}),
  ('single pawn step',
   {'board': {'a2': 'P', 'e1': 'K', 'e8': 'k'},
    'halfmove': 11,
    'move': ['a2', 'a3'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('rook two-rank move',
   {'board': {'c3': 'p', 'd1': 'R', 'e1': 'K', 'e8': 'k'},
    'halfmove': 1,
    'move': ['d1', 'd3'],
    'rights': '-'},
   {'ep': None, 'halfmove': 2, 'rights': '-'}),
  ('queen two-rank move',
   {'board': {'c4': 'P', 'd6': 'q', 'e1': 'K', 'e8': 'k'},
    'halfmove': 6,
    'move': ['d6', 'd4'],
    'rights': 'k'},
   {'ep': None, 'halfmove': 7, 'rights': 'k'})],
 [('king move clears both',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k', 'h1': 'R'},
    'halfmove': 3,
    'move': ['e1', 'f1'],
    'rights': 'KQkq'},
   {'ep': None, 'halfmove': 4, 'rights': 'kq'}),
  ('black king move',
   {'board': {'e1': 'K', 'e8': 'k'}, 'halfmove': 0, 'move': ['e8', 'd8'], 'rights': 'KQkq'},
   {'ep': None, 'halfmove': 1, 'rights': 'KQ'}),
  ('rook captured on a8',
   {'board': {'a8': 'r', 'b7': 'B', 'e1': 'K', 'e8': 'k'},
    'halfmove': 5,
    'move': ['b7', 'a8'],
    'rights': 'Kkq'},
   {'ep': None, 'halfmove': 0, 'rights': 'Kk'}),
  ('bishop takes h8 rook',
   {'board': {'a1': 'B', 'e1': 'K', 'e8': 'k', 'h8': 'r'},
    'halfmove': 5,
    'move': ['a1', 'h8'],
    'rights': 'KQk'},
   {'ep': None, 'halfmove': 0, 'rights': 'K'}),
  ('rook leaves corner',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k'},
    'halfmove': 9,
    'move': ['a1', 'a5'],
    'rights': 'KQ'},
   {'ep': None, 'halfmove': 10, 'rights': 'K'}),
  ('double step beside own pawn',
   {'board': {'e1': 'K', 'e2': 'P', 'e8': 'k', 'f4': 'P'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('black double step',
   {'board': {'b5': 'P', 'c7': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}),
  ('black double step beside black pawn',
   {'board': {'c7': 'p', 'd5': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': None, 'halfmove': 0, 'rights': 'kq'})]]
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 fixtureActualExpectedOutcome
king move clears both{'ep': None, 'halfmove': 4, 'rights': 'kq'}{'ep': None, 'halfmove': 4, 'rights': 'kq'}Passed
black king move{'ep': None, 'halfmove': 1, 'rights': 'KQ'}{'ep': None, 'halfmove': 1, 'rights': 'KQ'}Passed
rook captured on a8{'ep': None, 'halfmove': 0, 'rights': 'Kk'}{'ep': None, 'halfmove': 0, 'rights': 'Kk'}Passed
bishop takes h8 rook{'ep': None, 'halfmove': 0, 'rights': 'K'}{'ep': None, 'halfmove': 0, 'rights': 'K'}Passed
rook leaves corner{'ep': None, 'halfmove': 10, 'rights': 'K'}{'ep': None, 'halfmove': 10, 'rights': 'K'}Passed
double step beside own pawn{'ep': None, 'halfmove': 0, 'rights': '-'}{'ep': None, 'halfmove': 0, 'rights': '-'}Passed
black double step{'ep': None, 'halfmove': 0, 'rights': 'kq'}{'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}Failed
black double step beside black pawn{'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}{'ep': None, 'halfmove': 0, 'rights': 'kq'}Failed

SHA-256 / e5f733ad3851d4f8d6bd986498968797aec59b512b8ada582d0fce062a7d2bc7

3 / The verified repair

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

N = 1
observations = []
def solve(x):
    b=x['board']; fr,to=x['move']; p=b[fr]; cap=b.get(to)
    rights=x['rights'].replace('-','')
    if p=='K': rights=rights.replace('K','').replace('Q','')
    if p=='k': rights=rights.replace('k','').replace('q','')
    for sq,r in (('h1','K'),('a1','Q'),('h8','k'),('a8','q')):
        if fr==sq or to==sq: rights=rights.replace(r,'')
    ep=None
    if p in ('P','p') and abs(int(to[1])-int(fr[1]))==2:
        enemy='p' if p=='P' else 'P'
        f=ord(to[0])-97
        if any(b.get(chr(97+f+d)+to[1])==enemy for d in (-1,1)):
            ep=fr[0]+str((int(fr[1])+int(to[1]))//2)
    pawn_or_capture=p in ('P','p') or cap is not None
    hm=0 if pawn_or_capture else x['halfmove']+1
    return {'rights':rights or '-','ep':ep,'halfmove':hm}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('king move clears both',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k', 'h1': 'R'},
    'halfmove': 3,
    'move': ['e1', 'f1'],
    'rights': 'KQkq'},
   {'ep': None, 'halfmove': 4, 'rights': 'kq'}),
  ('black king move',
   {'board': {'e1': 'K', 'e8': 'k'}, 'halfmove': 0, 'move': ['e8', 'd8'], 'rights': 'KQkq'},
   {'ep': None, 'halfmove': 1, 'rights': 'KQ'}),
  ('rook captured on a8',
   {'board': {'a8': 'r', 'b7': 'B', 'e1': 'K', 'e8': 'k'},
    'halfmove': 5,
    'move': ['b7', 'a8'],
    'rights': 'Kkq'},
   {'ep': None, 'halfmove': 0, 'rights': 'Kk'}),
  ('bishop takes h8 rook',
   {'board': {'a1': 'B', 'e1': 'K', 'e8': 'k', 'h8': 'r'},
    'halfmove': 5,
    'move': ['a1', 'h8'],
    'rights': 'KQk'},
   {'ep': None, 'halfmove': 0, 'rights': 'K'}),
  ('rook leaves corner',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k'},
    'halfmove': 9,
    'move': ['a1', 'a5'],
    'rights': 'KQ'},
   {'ep': None, 'halfmove': 10, 'rights': 'K'}),
  ('double step beside own pawn',
   {'board': {'e1': 'K', 'e2': 'P', 'e8': 'k', 'f4': 'P'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('black double step',
   {'board': {'b5': 'P', 'c7': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}),
  ('black double step beside black pawn',
   {'board': {'c7': 'p', 'd5': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': None, 'halfmove': 0, 'rights': 'kq'})],
 [('bishop takes h8 rook',
   {'board': {'a1': 'B', 'e1': 'K', 'e8': 'k', 'h8': 'r'},
    'halfmove': 5,
    'move': ['a1', 'h8'],
    'rights': 'KQk'},
   {'ep': None, 'halfmove': 0, 'rights': 'K'}),
  ('rook leaves corner',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k'},
    'halfmove': 9,
    'move': ['a1', 'a5'],
    'rights': 'KQ'},
   {'ep': None, 'halfmove': 10, 'rights': 'K'}),
  ('double step with adjacent enemy',
   {'board': {'d4': 'p', 'e1': 'K', 'e2': 'P', 'e8': 'k'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': 'e3', 'halfmove': 0, 'rights': '-'}),
  ('double step no enemy beside',
   {'board': {'a4': 'p', 'e1': 'K', 'e2': 'P', 'e8': 'k'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('double step beside own pawn',
   {'board': {'e1': 'K', 'e2': 'P', 'e8': 'k', 'f4': 'P'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('black double step',
   {'board': {'b5': 'P', 'c7': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}),
  ('black double step beside black pawn',
   {'board': {'c7': 'p', 'd5': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': None, 'halfmove': 0, 'rights': 'kq'}),
  ('quiet knight move',
   {'board': {'e1': 'K', 'e8': 'k', 'g1': 'N'}, 'halfmove': 7, 'move': ['g1', 'f3'], 'rights': 'K'},
   {'ep': None, 'halfmove': 8, 'rights': 'K'})],
 [('double step no enemy beside',
   {'board': {'a4': 'p', 'e1': 'K', 'e2': 'P', 'e8': 'k'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('double step beside own pawn',
   {'board': {'e1': 'K', 'e2': 'P', 'e8': 'k', 'f4': 'P'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('black double step',
   {'board': {'b5': 'P', 'c7': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}),
  ('black double step beside black pawn',
   {'board': {'c7': 'p', 'd5': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': None, 'halfmove': 0, 'rights': 'kq'}),
  ('quiet knight move',
   {'board': {'e1': 'K', 'e8': 'k', 'g1': 'N'}, 'halfmove': 7, 'move': ['g1', 'f3'], 'rights': 'K'},
   {'ep': None, 'halfmove': 8, 'rights': 'K'}),
  ('knight capture resets',
   {'board': {'e1': 'K', 'e8': 'k', 'f3': 'p', 'g1': 'N'},
    'halfmove': 7,
    'move': ['g1', 'f3'],
    'rights': 'K'},
   {'ep': None, 'halfmove': 0, 'rights': 'K'}),
  ('single pawn step',
   {'board': {'a2': 'P', 'e1': 'K', 'e8': 'k'},
    'halfmove': 11,
    'move': ['a2', 'a3'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('rook two-rank move',
   {'board': {'c3': 'p', 'd1': 'R', 'e1': 'K', 'e8': 'k'},
    'halfmove': 1,
    'move': ['d1', 'd3'],
    'rights': '-'},
   {'ep': None, 'halfmove': 2, 'rights': '-'})],
 [('king move clears both',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k', 'h1': 'R'},
    'halfmove': 3,
    'move': ['e1', 'f1'],
    'rights': 'KQkq'},
   {'ep': None, 'halfmove': 4, 'rights': 'kq'}),
  ('black king move',
   {'board': {'e1': 'K', 'e8': 'k'}, 'halfmove': 0, 'move': ['e8', 'd8'], 'rights': 'KQkq'},
   {'ep': None, 'halfmove': 1, 'rights': 'KQ'}),
  ('double step beside own pawn',
   {'board': {'e1': 'K', 'e2': 'P', 'e8': 'k', 'f4': 'P'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('black double step',
   {'board': {'b5': 'P', 'c7': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}),
  ('black double step beside black pawn',
   {'board': {'c7': 'p', 'd5': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': None, 'halfmove': 0, 'rights': 'kq'}),
  ('single pawn step',
   {'board': {'a2': 'P', 'e1': 'K', 'e8': 'k'},
    'halfmove': 11,
    'move': ['a2', 'a3'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('rook two-rank move',
   {'board': {'c3': 'p', 'd1': 'R', 'e1': 'K', 'e8': 'k'},
    'halfmove': 1,
    'move': ['d1', 'd3'],
    'rights': '-'},
   {'ep': None, 'halfmove': 2, 'rights': '-'}),
  ('queen two-rank move',
   {'board': {'c4': 'P', 'd6': 'q', 'e1': 'K', 'e8': 'k'},
    'halfmove': 6,
    'move': ['d6', 'd4'],
    'rights': 'k'},
   {'ep': None, 'halfmove': 7, 'rights': 'k'})],
 [('king move clears both',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k', 'h1': 'R'},
    'halfmove': 3,
    'move': ['e1', 'f1'],
    'rights': 'KQkq'},
   {'ep': None, 'halfmove': 4, 'rights': 'kq'}),
  ('black king move',
   {'board': {'e1': 'K', 'e8': 'k'}, 'halfmove': 0, 'move': ['e8', 'd8'], 'rights': 'KQkq'},
   {'ep': None, 'halfmove': 1, 'rights': 'KQ'}),
  ('rook captured on a8',
   {'board': {'a8': 'r', 'b7': 'B', 'e1': 'K', 'e8': 'k'},
    'halfmove': 5,
    'move': ['b7', 'a8'],
    'rights': 'Kkq'},
   {'ep': None, 'halfmove': 0, 'rights': 'Kk'}),
  ('bishop takes h8 rook',
   {'board': {'a1': 'B', 'e1': 'K', 'e8': 'k', 'h8': 'r'},
    'halfmove': 5,
    'move': ['a1', 'h8'],
    'rights': 'KQk'},
   {'ep': None, 'halfmove': 0, 'rights': 'K'}),
  ('rook leaves corner',
   {'board': {'a1': 'R', 'e1': 'K', 'e8': 'k'},
    'halfmove': 9,
    'move': ['a1', 'a5'],
    'rights': 'KQ'},
   {'ep': None, 'halfmove': 10, 'rights': 'K'}),
  ('double step beside own pawn',
   {'board': {'e1': 'K', 'e2': 'P', 'e8': 'k', 'f4': 'P'},
    'halfmove': 4,
    'move': ['e2', 'e4'],
    'rights': '-'},
   {'ep': None, 'halfmove': 0, 'rights': '-'}),
  ('black double step',
   {'board': {'b5': 'P', 'c7': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}),
  ('black double step beside black pawn',
   {'board': {'c7': 'p', 'd5': 'p', 'e1': 'K', 'e8': 'k'},
    'halfmove': 2,
    'move': ['c7', 'c5'],
    'rights': 'kq'},
   {'ep': None, 'halfmove': 0, 'rights': 'kq'})]]
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 fixtureActualExpectedOutcome
king move clears both{'ep': None, 'halfmove': 4, 'rights': 'kq'}{'ep': None, 'halfmove': 4, 'rights': 'kq'}Passed
black king move{'ep': None, 'halfmove': 1, 'rights': 'KQ'}{'ep': None, 'halfmove': 1, 'rights': 'KQ'}Passed
rook captured on a8{'ep': None, 'halfmove': 0, 'rights': 'Kk'}{'ep': None, 'halfmove': 0, 'rights': 'Kk'}Passed
bishop takes h8 rook{'ep': None, 'halfmove': 0, 'rights': 'K'}{'ep': None, 'halfmove': 0, 'rights': 'K'}Passed
rook leaves corner{'ep': None, 'halfmove': 10, 'rights': 'K'}{'ep': None, 'halfmove': 10, 'rights': 'K'}Passed
double step beside own pawn{'ep': None, 'halfmove': 0, 'rights': '-'}{'ep': None, 'halfmove': 0, 'rights': '-'}Passed
black double step{'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}{'ep': 'c6', 'halfmove': 0, 'rights': 'kq'}Passed
black double step beside black pawn{'ep': None, 'halfmove': 0, 'rights': 'kq'}{'ep': None, 'halfmove': 0, 'rights': 'kq'}Passed

SHA-256 / 4115c526c3ac11ab8e1bcbd03ed8d5998625e04a435791431c17199eac149f28

Verification & scope

A deterministic toy model with an explicitly stated contract; boards are {square: piece} with white upper-case and black lower-case pieces; no claim of full FIDE Laws conformance. 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:13.576751+00:00.

Case digest / f7dece4b7d0b56da565eba298e6afdc722de6661874158ba98b94f4244b1a198