***Request**:   please, leave my notation alone.*

---------------
---------------

Everything below is VERY SIMPLE while writing it down was still a tough challenge for me (*the introduced terminology may be used in a follow up, under much more general circumstances*).

**The board:**

I'll represent the GO (weiqi) board as

$$ \{(x\ y)\in\mathbb Z^2:\ \max(|x|\,\ |y|)\ \le\ 9\}
      \ \subseteq\ \mathbb Z^2 $$

It's smoother to define the game for the entire $\ \mathbb Z^2.\ $ Then
one can show that only a small part of it -- actually, a small part of the GO board -- is sufficient for catching the sole black stone.

We assume the Manhattan metrics in $\ \mathbb Z^2$:

$$ \forall_{(u\ v)\ (x\ y)\in\mathbb Z^2}\quad
     d((u\ v)\,\ (x\ y))\ :=\ |x-u| + |y-v|\qquad $$

There are the obvious exactly eight **linear** isometries of $\ \mathbb Z^2.$

-------------------------------------

**GAME**

A **position** is an arbitrary ordered pair
$\ P\ :=\ (b\ X)\ $ such that
$\ X\subseteq\mathbb Z^2\ $ is finite, and
$\ b\in\mathbb Z^2\setminus X.$

Position $\ \mathbf I\ :=\ ((0\ 0)\ \ \emptyset)\ $ is, by definition, the ***initial position***.

An ***odd-move***, also called a ***black move***, in position $\ P:=(b\ X)\ $ is an arbitrary
$\ c\in\mathbb R^2\setminus X\ $ such that
$\ d(b\ c)=1.\ $ The resulting position is defined as
$\ Q:=(c\,\ X).$ An odd-move $\ c\ $ is said to be
***original*** $\ \Leftarrow:\Rightarrow\ c\ $ is different from all previous moves.

An ***even-move***, also called a ***white move***, in
position $\ P\ $ is an arbitrary
$\ y\in\mathbb Z^2\setminus\{b\}.\ $ The resulting position is defined as $\ Q:=(b\ Y),\ $ where
$\ Y:=X\cup\{y\}.\ $ (Even-move $\ y\in X\ $ would be silly but legal).

A ***game-score*** is an arbitrary finite or infinite
maximal (non-extensible) sequence of consecutive positions $\ G\ :=\ (P_0\ P_1\ \ldots),\ $ where
three conditions are satisfied:

 - $ P_0 := \mathbf I; $
 - each position $\ P_{2\cdot n+1}\ $ is a result of an odd-move (done by the sole black stone);
 - each position $\ P_{2\cdot n}\ (n>0)\ $ is a result of an even-move (done by adding a white stone, if
any).

***Remark 1**   every finite game-score ends in an odd-indexed position.*

The set $\ T(G):=\{(0\ 0)\}\cup\{b_{2\cdot n}:\ n=0\ 1\ldots\}\ $ of
all odd-indexed positions of $\ G,\ $ plus the origin, is called the ***trace*** of game $\ G.$

-------------

**Winning:**

Let $\ W\subseteq\mathbb Z^2\ $ be an arbitrary finite set. Game $\ G\ $ is $W$-won (by white stones)
$\ \Leftarrow:\Rightarrow\ T(G)\subseteq W\quad $ (white stones can be played outside of $W\ $ (!))

Set $\ W\ $ is a winning domain
$\ \Leftarrow:\Rightarrow\ $ the player of the white stones has a strategy, call it $W$-strategy, under
which every game is $W$-won (regardless of the choice
of the black stone moves).

If finite $\ W\ $ is not a winning domain then we say that the black stone defeats $\ W.$

**Theorem 1**   If the black stone defeats finite $\ W\ $ then it can defeat $\ W\ $ by playing original moves only.

Actually, a stronger theorem holds. We say that odd move
$\ c\ $ that leads to position
$\ P_{2\cdot n+1}:=(c\ Y)\ $ ***stumbles***
$\ \Leftarrow:\Rightarrow c=(0\ 0)\ $ or there exists an earlier position $\ P_{2\cdot k+1}:=(b\ X)\ \ (k<n),\ $ and
a linear isometry $\ S:\mathbb Z^2\to\mathbb Z^2\ $ such that
- $\ S(W)=W,\ \ $ and
- $\ X\subseteq S(Y).$

**Theorem 2** &nbsp; If the black stone defeats finite $\ W\ $ then it can defeat $\ W\ $ without ever stumbling.

**Remark 2** &nbsp; Consider black stone's move $\ c\ $ such that there is only one nearest neighbor point that is not occupied by white stones. Then the white stone player wins immediately by setting a new white stone on the point that was left by the black stone just a moment ago.

**Remark 3** &nbsp; Consider black stone's move $\ c\ $ such that there are exactly two nearest neighbor points that are not occupied by white stones. Then the white stone player can force the black stone into a repetition (hence stumbling) of its previous move by playing a new white stone onto the unoccupied nearest neighbor of $\ c\ $ different from the previous black stone move (one before $\ c$).

**Theorem 3** &nbsp; If the black stone defeats finite $\ W\ $ then it can defeat $\ W\ $ without ever stumbling, and by playing moves $\ c\ $ such that there are (at the time) at least three nearest neighbors of $\ c\ $ that are not occupied by white stones. 

-----------------

**THEOREM 4** &nbsp; Set

$$ V\ :=\ \{(x\ y)\in\mathbb Z^2:\ |x|+|y|\le 3\} $$

is a $25$-point winning domain.
            &nbsp; (*See the proof below*).

*I'll present a (natural) $V$-strategy against which the black stone has essentially **only one non-nonsense defense***.

-----------------

**Proof**

We have $\ P_0=\mathbf I.\ $ Due to the symmetry of $\ V,\ $
we may assume that

$$ P_1\ :=\ (\,(1\ 0)\ \ \emptyset\,) $$

Let me play white stones, I am playing $\ (2\ 0)\ $ hence

$$ P_2\ :=\ (\,(1\ 0)\ \ \{(2\ 0)\}\,) $$

Black move back to $\ (0\ 0)\ $ would create a position inferior to $\ \mathbb I.\ $ Up to a symmetry, only one black
move $\ (1\ 1)\ $ is left:

$$ P_3\ :=\ (\,(1\ 1)\,\ \{(2\ 0)\}\,) $$

Now, let me play move $\ (2\ 2)\ $ hence

$$ P_4\ :=\ (\,(1\ 1)\ \ \{(2\ 0)\,\ (2\ 2)\}\,) $$

Then the black stone's moves $ (1\ 0)\ $ and $\ (1\ 0)\ $
would stumble, and $\ (2\ 1)\ $ would have only two unoccupied
nearest neighbors. Thus, only one move $\ (2\ 1)\ $ is left:

$$ P_5\ :=\ (\,(1\ 2)\ \ \{(2\ 0)\,\ (2\ 2)\}\,) $$

Now, I am forced to play $\ (1\ 3),$

$$ P_6\ :=\ (\,(1\ 2)\ \ \{(2\ 0)\,\ (2\ 2)
     \,\ (1\ 3)\}\,) $$

Here, the black stone has only one non-stumbling move
$\ (0\ 2),$

$$ P_7\ :=\ (\,(0\ 2)\ \ \{(2\ 0)\,\ (2\ 2)
     \,\ (1\ 3)\}\,) $$

Thus, let me play $\ (0\ 3),$

$$ P_8\ :=\ (\,(0\ 2)\ \ \{(2\ 0)\,\ (2\ 2)
     \,\ (1\ 3)\,\ (-\!1\ 3)\}\,) $$

In the view of the earlier remarks, there is only one non-nonsense black stone's move $\ (-\!1\ 2),$

$$ P_9\ :=\ (\,(-\!1\ 2)\ \ \{(2\ 0)\,\ (2\ 2)
     \,\ (1\ 3)\,\ (-\!1\ 3)\}\,) $$

Now, move $\ (-\!2\ 2)\ $ is forced,

$$ P_{10}\ :=\ (\,(-\!1\ 2)\ \ \{(2\ 0)\,\ (2\ 2)
     \,\ (1\ 3)\,\ (-\!1\ 3)\,\ (-\!2\ 2)\}\,) $$

Then the only black stone's non-stumbling move is
                       $\ (-\!1\ 1),$
$$ P_{11}\ :=\ (\,(-\!1\ 1)\ \ \{(2\ 0)\,\ (2\ 2)
     \,\ (1\ 3)\,\ (-\!1\ 3)\,\ (-\!2\ 2)\}\,) $$

Finally, let me play $\ (-\!2\ 0),

$$ P_{11}\ :=\ (\,(-\!1\ 1)\ \ \{(2\ 0)\,\ (2\ 2)
   \,\ (1\ 3)\,\ (-\!1\ 3)\,\ (-\!2\ 2)\,\ (-\!2\ 0)\}\,) $$

Here the black stone doesn't have any non-nonsensical moves.

**END of Proof**