December 1, 2025MCTS-Reasoning: A Canonical Specification of Monte Carlo Tree Search for LLM Reasoning