task_games__ludo_board__capture_roll_option_label

Public taxonomy: games -> ludo_board -> task_games__ludo_board__capture_roll_option_label.

Program Contract

Program: select(option_label where clockwise_distance(mover_token, target_token) == option_roll_distance); scene=ludo_board; scope=capture_roll_option_label

Candidate set: the visible game board, pieces, tokens, cards, tiles, marked state, legal-move cues, result panels, and labeled options inside the capture_roll_option_label objective scope. Operands: visible scene state and prompt-bound operands named by option_label, where, clockwise_distance, mover_token, target_token, option_roll_distance, ludo_board, capture_roll_option_label. Operation: evaluate select over the candidate set using the visible game state, rules, legal moves, comparisons, counts, simulations, or option-selection constraints encoded in the program expression; generation enforces a unique final answer. Output binding: answer uses the option_letter schema; generation binds a unique final answer. Annotation schema: point_map. Annotation witnesses: annotation marks the moving token and target token centers. Query ids: single.

Reasoning Operations

Families: topology, state_update

Generator

• Implementation: src/trace_tasks/tasks/games/ludo_board/capture_roll_option_label.py
• Config: src/trace_tasks/resources/configs/domains/games/ludo_board.yaml
• Prompt bundle: src/trace_tasks/resources/prompts/games/ludo_board/games_ludo_board_v1.json