Gérard TAILLE wrote:
Let me try to understand through the following example you mentionned in your post
https://lifein19x19.com/viewtopic.php?p=266642#p266642In order to understand a concept you should start with asking easy questions
But nevertheless, I will explain J89 life-and-death example 4 in detail. Hopefully this will widen the understanding of the syntax.
- Click Here To Show Diagram Code
[go]$$B
$$ +----------------------
$$ | . Y . . X X X O X . .
$$ | Y Y O O O O O O X . .
$$ | . O X X X X X X X . .
$$ | . O X , X X . . . , .
$$ | X O X X . X . . . . .
$$ | X O X X X X . . . . .
$$ | X O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
Let's start with the status confirmation of Black's three stones in the corner.
- Click Here To Show Diagram Code
[go]$$B
$$ +----------------------
$$ | . X 1 2 X X X O X . .
$$ | X X O O O O O O X . .
$$ | . O X X X X X X X . .
$$ | . O X , X X . . . , .
$$ | X O X X . X . . . . .
$$ | X O X X X X . . . . .
$$ | X O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
- Click Here To Show Diagram Code
[go]$$B
cannot approach at "a"
$$ +----------------------
$$ | . X X O . 3 . O X . .
$$ | X X O O O O O O X . .
$$ | a O X X X X X X X . .
$$ | 4 O X , X X . . . , .
$$ | X O X X . X . . . . .
$$ | X O X X X X . . . . .
$$ | X O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
- Click Here To Show Diagram Code
[go]$$B
$$ +----------------------
$$ | . X X O 5 X 6 O X . .
$$ | X X O O O O O O X . .
$$ | . O X X X X X X X . .
$$ | O O X , X X . . . , .
$$ | . O X X . X . . . . .
$$ | . O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
- Click Here To Show Diagram Code
[go]$$B
$$ +----------------------
$$ | . X X O 7 8 O O X . .
$$ | X X O O O O O O X . .
$$ | . O X X X X X X X . .
$$ | O O X , X X . . . , .
$$ | . O X X . X . . . . .
$$ | . O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
- Click Here To Show Diagram Code
[go]$$B
$$ +----------------------
$$ | . X X O 9 O O O X . .
$$ | X X O O O O O O X . .
$$ | . O X X X X X X X . .
$$ | O O X , X X . . . , .
$$ | . O X X . X . . . . .
$$ | . O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
- Click Here To Show Diagram Code
[go]$$B
$$ +----------------------
$$ | . B X . X . . . X . .
$$ | B B . . . . . . X . .
$$ | . O X X X X X X X . .
$$ | O O X C X X . . . , .
$$ | . O X X C X . . . . .
$$ | . O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
As a matter of course, Black's group can get two eyes, if he plays first.
--------------------------
White plays first.
- Click Here To Show Diagram Code
[go]$$W
$$ +----------------------
$$ | . X . 1 X X X O X . .
$$ | X X O O O O O O X . .
$$ | . O X X X X X X X . .
$$ | . O X , X X . . . , .
$$ | X O X X . X . . . . .
$$ | X O X X X X . . . . .
$$ | X O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
- Click Here To Show Diagram Code
[go]$$W
$$ +----------------------
$$ | . X 3 O 4 2 5 O X . .
$$ | X X O O O O O O X . .
$$ | . O X X X X X X X . .
$$ | . O X , X X . . . , .
$$ | X O X X . X . . . . .
$$ | X O X X X X . . . . .
$$ | X O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
- Click Here To Show Diagram Code
[go]$$W
$$ +----------------------
$$ | . X X O O 6 . O X . .
$$ | X X O O O O O O X . .
$$ | . O X X X X X X X . .
$$ | 7 O X , X X . . . , .
$$ | X O X X . X . . . . .
$$ | X O X X X X . . . . .
$$ | X O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
- Click Here To Show Diagram Code
[go]$$W
$$ +----------------------
$$ | . X X O O X 8 O X . .
$$ | X X O O O O O O X . .
$$ | . O X X X X X X X . .
$$ | O O X , X X . . . , .
$$ | . O X X . X . . . . .
$$ | . O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
- Click Here To Show Diagram Code
[go]$$W
$$ +----------------------
$$ | . B X . . X X . X . .
$$ | B B . . . . . . X . .
$$ | . O X X X X X X X . .
$$ | O O X C X X . . . , .
$$ | . O X X C X . . . . .
$$ | . O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
White cannot prevent this result, even if she plays first.
--------------------------
Variation:
- Click Here To Show Diagram Code
[go]$$W
$$ +----------------------
$$ | . X . O . X . O X . .
$$ | X X O O O O O O X . .
$$ | . O X X X X X X X . .
$$ | 3 O X , X X . . . , .
$$ | X O X X . X . . . . .
$$ | X O X X X X . . . . .
$$ | X O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
- Click Here To Show Diagram Code
[go]$$W
$$ +----------------------
$$ | . X 6 O 4 X 7 O X . .
$$ | X X O O O O O O X . .
$$ | . O X X X X X X X . .
$$ | O O X , X X . . . , .
$$ | . O X X . X . . . . .
$$ | 5 O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
- Click Here To Show Diagram Code
[go]$$W
$$ +----------------------
$$ | . X X O 8 9 O O X . .
$$ | X X O O O O O O X . .
$$ | . O X X X X X X X . .
$$ | O O X , X X . . . , .
$$ | . O X X . X . . . . .
$$ | O O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
- Click Here To Show Diagram Code
[go]$$Bm10
$$ +----------------------
$$ | . X X O 1 O O O X . .
$$ | X X O O O O O O X . .
$$ | . O X X X X X X X . .
$$ | O O X , X X . . . , .
$$ | . O X X . X . . . . .
$$ | O O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
- Click Here To Show Diagram Code
[go]$$B
$$ +----------------------
$$ | . B X . X . . . X . .
$$ | B B . . . . . . X . .
$$ | . O X X X X X X X . .
$$ | O O X C X X . . . , .
$$ | . O X X C X . . . . .
$$ | O O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
Variation, same result as above.
################################
################################
- Click Here To Show Diagram Code
[go]$$B
$$ +----------------------
$$ | . X . . Y Y Y O X . .
$$ | X X O O O O O O X . .
$$ | . O X X X X X X X . .
$$ | . O X , X X . . . , .
$$ | X O X X . X . . . . .
$$ | X O X X X X . . . . .
$$ | X O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
Second step is the status confirmation for Black's three stones at the top.
The status of Black's three stones at the left will be the same, as the position is symmetrical.
- Click Here To Show Diagram Code
[go]$$B
$$ +----------------------
$$ | . X X . 9 . . . X . .
$$ | X X . . . . . . X . .
$$ | . O X X X X X X X . .
$$ | O O X , X X . . . , .
$$ | . O X X . X . . . . .
$$ | . O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
In the sequence above that Black started,

captured White's stones at the top.
- Click Here To Show Diagram Code
[go]$$Wm10
passes
$$ +----------------------
$$ | . X X . X 2 4 . X . .
$$ | X X . . . . . . X . .
$$ | . O X X X X X X X . .
$$ | O O X , X X . . . , .
$$ | . O X X . X . . . . .
$$ | . O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
- Click Here To Show Diagram Code
[go]$$Wm10
passes
$$ +----------------------
$$ | . X X . B B B . X . .
$$ | X X . . . . . . X . .
$$ | . O X X X X X X X . .
$$ | O O X C X X . . . , .
$$ | . O X X C X . . . . .
$$ | . O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
Black's three stones got captured, but they could be re-established in total. They have two eyes.
--------------------------
White plays first.
- Click Here To Show Diagram Code
[go]$$W
$$ +----------------------
$$ | . X X . . X 8 . X . .
$$ | X X . . . . . . X . .
$$ | . O X X X X X X X . .
$$ | O O X , X X . . . , .
$$ | . O X X . X . . . . .
$$ | . O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
In the main line above,

captured White's stones at the top.
- Click Here To Show Diagram Code
[go]$$Bm8
passes
$$ +----------------------
$$ | . X X . 3 X X . X . .
$$ | X X . . . . . . X . .
$$ | . O X X X X X X X . .
$$ | O O X , X X . . . , .
$$ | . O X X . X . . . . .
$$ | . O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
- Click Here To Show Diagram Code
[go]$$Bm8
passes
$$ +----------------------
$$ | . X X . B B B. X . .
$$ | X X . . . . . . X . .
$$ | . O X X X X X X X . .
$$ | O O X C X X . . . , .
$$ | . O X X C X . . . . .
$$ | . O X X X X . . . . .
$$ | . O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
Same result as above, even if White moves first.
##########################
##########################
Your unasked question about the status of White's groups would have been answered in the posting you linked at if we ever wanted to get a result of this status confirmation for Black playing first:
- Click Here To Show Diagram Code
[go]$$B
$$ +----------------------
$$ | . X . . X X X P X . .
$$ | X X P P P P P P X . .
$$ | . O X X X X X X X . .
$$ | . O X , X X . . . , .
$$ | X O X X . X . . . . .
$$ | X O X X X X . . . . .
$$ | X O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
White's stones got captured, and neither could they become re-established in total (for achieving the status "two-eyed alive"), nor partially, which would give them the chance to become turned into components of a seki in the concluding status assessment (in another environmant than here of course).
However, there remains that psychologically unfavorable "life" of the other White group, which was not currently under examination at all. Therefore. ...
- Click Here To Show Diagram Code
[go]$$B
passes
$$ +----------------------
$$ | . X . . X X X O X . .
$$ | X X O O O O O O X . .
$$ | . O X X X X X X X . .
$$ | . O X , X X . . . , .
$$ | X O X X . X . . . . .
$$ | X O X X X X . . . . .
$$ | X O X . . . . . . . .
$$ | O O X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
... we are fine with letting White show what she can achieve with having the advantage of the first move.
We already know from the sequences above that White will be unable to turn her stones into a "two-eyed alive" group. No single stone of a White group under consideration will survive on the board.
--------------------------
- Click Here To Show Diagram Code
[go]$$B
$$ +----------------------
$$ | . B . . B B B P X . .
$$ | B B P P P P P P X . .
$$ | . P X X X X X X X . .
$$ | . P X , X X . . . , .
$$ | B P X X . X . . . . .
$$ | B P X X X X . . . . .
$$ | B P X . . . . . . . .
$$ | P P X . . . . . . . .
$$ | X X X . . . . . . . .
$$ | . . . , . . . . . , .
$$ | . . . . . . . . . . .[/go]
The concluding result of the status confirmation has all Black groups "two-eyed alive", while all White groups are "NOT two-eyed alive".
White's "NOT two-eyed alive" stones are all completely surrounded by Black "two-eyed alive" groups; therefore, they can taken off the board after the end of the status confirmation as prisoners (being "dead").
I am very well aware that this result does not match that of J89, but as I explained in my linked posting, the authors have exaggerated here with their desire to generate a seki.
As I stated there, the White groups are completely surrounded by Black "two-eyed alive" groups EACH, and there can be NEVER EVER ANY interaction between these two seperated sections of the board.
Probably it had been this life-and-death example that caused Robert to also overextend his "local-2" in his J2003.
As a matter of course, one of both White's groups cannot be captured by actual play before the game stops.
But can any the double-ko groups in life-and-death examples 16 to 18 become captured by actual play before the game stops? NO!!! Nevertheless, these are declared "dead".