Japonese counting

For discussing go rule sets and rule theory
User avatar
Cassandra
Lives in sente
Posts: 1326
Joined: Wed Apr 28, 2010 11:33 am
Rank: German 1 Kyu
GD Posts: 0
Has thanked: 14 times
Been thanked: 153 times

Re: Japonese counting

Post by Cassandra »

Gérard TAILLE wrote:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O X . X . O . |
$$ | . O X X X O O |
$$ | O . O O X X O |
$$ | O O O . O X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
BTW, by using only your own understanding of japonese rule (I mean not the J89 as it is strictly written ;-)) do you think white should add a move in the position above?
No, because Black cannot capture anything locally.
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O X . X . O . |
$$ | 1 O X X X O O |
$$ | O . O O X X O |
$$ | O O O . O X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | 3 X . X 4 O . |
$$ | X O X X X O O |
$$ | O 2 O O X X O |
$$ | O O O . O X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | X X 6 X O O . |
$$ | X O X X X O O |
$$ | O O O O X X O |
$$ | O O O 5 O X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | . 7 O X O O . |
$$ | . O X X X O O |
$$ | O O O O X X O |
$$ | O O O X 8 X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
Click Here To Show Diagram Code
[go]$$Bm9
$$ -----------------
$$ | 4 X 2 X O O . |
$$ | . O X X X O O |
$$ | O O O O X X O |
$$ | O O O . O X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
:b9: pass
:b11: pass
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | W . O . O O . |
$$ | . O . . . O O |
$$ | O O O O . . O |
$$ | O O O . O . O |
$$ | X X O O . . O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
:wc: had been captured in the very beginning, but was reborn.

+ + + + +

Variation:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | 4 X . X . O . |
$$ | X O X X X O O |
$$ | O O O O X X O |
$$ | O O O 3 O X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O X 5 X 6 O . |
$$ | 7 O X X X O O |
$$ | O O O O X X O |
$$ | O O O X 8 X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
Click Here To Show Diagram Code
[go]$$Bm9
$$ -----------------
$$ | 2 X X X O O . |
$$ | X O X X X O O |
$$ | O O O O X X O |
$$ | O O O . O X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
:b9: pass
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | W . O . O O . |
$$ | . O . . . O O |
$$ | O O O O . . O |
$$ | O O O . O . O |
$$ | X X O O . . O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
:wc: had been captured in the very beginning, but was reborn.

+ + + + +

Variation:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O X 6 X . O . |
$$ | . O X X X O O |
$$ | O O O O X X O |
$$ | O O O X . X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
:b5: pass
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O 8 O X . O . |
$$ | . O X X X O O |
$$ | O O O O X X O |
$$ | O O O X . X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
:b7: pass
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | W O O X . O . |
$$ | . O X X X O O |
$$ | O O O O X X O |
$$ | O O O X . X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
:wc: had been captured in the very beginning, but was reborn.
The really most difficult Go problem ever: https://igohatsuyoron120.de/index.htm
Igo Hatsuyōron #120 (really solved by KataGo)
RobertJasiek
Judan
Posts: 6272
Joined: Tue Apr 27, 2010 8:54 pm
GD Posts: 0
Been thanked: 797 times
Contact:

Re: Japonese counting

Post by RobertJasiek »

Post it and your analysis regardless of whether I have time!
Gérard TAILLE
Gosei
Posts: 1346
Joined: Sun Aug 23, 2020 2:47 am
Rank: 1d
GD Posts: 0
Has thanked: 21 times
Been thanked: 57 times

Re: Japonese counting

Post by Gérard TAILLE »

RobertJasiek wrote:Post it and your analysis regardless of whether I have time!
OK Robert here it is:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O . X . X . O |
$$ | O . X X X O O |
$$ | O O X O O O O |
$$ | X O X O O O O |
$$ | X O X O O . O |
$$ | X O X O X X O |
$$ | . O X O X X O |
$$ -----------------[/go]
First of all you can verify that in "normal play" the game is finished. Neither Black nor white want to add a single move.
If I analyse this position with J89 rule it appears that all strings of stones are alive and I am happy with this. I expected this result which seems the result for all (?) sekis without ko.

What about J2003? Here the things are different due to local-2 context.
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O . X . X . O |
$$ | O . X X X O O |
$$ | O O X O O O O |
$$ | B O X O O O O |
$$ | B O X O O . O |
$$ | B O X O B B O |
$$ | . O X O B B O |
$$ -----------------[/go]
All groups are uncapturable except OC the two small marked black groups.
Now is the point : the big black group being uncapturable, when considering the status of any of the small black groups, then the big black group acts as a barrier for local-2 consideration.
As a consequence it looks that the small black group on the right is alive (capturable-1) while the left one is dead. :shock: :shock: :shock:
I can help you to prove that but firstly do you agree to say (if is true OC!) that this status of the left black stones (dead stones) is not what we would expect?
RobertJasiek
Judan
Posts: 6272
Joined: Tue Apr 27, 2010 8:54 pm
GD Posts: 0
Been thanked: 797 times
Contact:

Re: Japonese counting

Post by RobertJasiek »

Quickly reading status in my head, I think the left black string is J2003-alive but there are many variations and I am unsure so far.
Gérard TAILLE
Gosei
Posts: 1346
Joined: Sun Aug 23, 2020 2:47 am
Rank: 1d
GD Posts: 0
Has thanked: 21 times
Been thanked: 57 times

Re: Japonese counting

Post by Gérard TAILLE »

RobertJasiek wrote:Quickly reading status in my head, I think the left black string is J2003-alive but there are many variations and I am unsure so far.
Yes Robert there are many variations and for that reason I told you it is a beast. It is not obvious but I am quite sure left black string is really dead in J2003. If you do not want to find the variation by yourself I will help you.
BTW did you manage to prove that neither white nor black want to play a move in normal play? (=> the game stops in that position)
Gérard TAILLE
Gosei
Posts: 1346
Joined: Sun Aug 23, 2020 2:47 am
Rank: 1d
GD Posts: 0
Has thanked: 21 times
Been thanked: 57 times

Re: Japonese counting

Post by Gérard TAILLE »

Cassandra wrote:
Gérard TAILLE wrote:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O X . X . O . |
$$ | . O X X X O O |
$$ | O . O O X X O |
$$ | O O O . O X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
BTW, by using only your own understanding of japonese rule (I mean not the J89 as it is strictly written ;-)) do you think white should add a move in the position above?
No, because Black cannot capture anything locally.
Good news Cassandra now I agree entirely with you :)
In the post viewtopic.php?p=266502#p266502 you claimed it was a seki and you claimed the game was unfinished. That was a surprise for me because it looks against my logic of go. Maybe I was wrong but now I understand we have the same logic. :)
Cassandra wrote:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | 4 X . X . O . |
$$ | X O X X X O O |
$$ | O O O O X X O |
$$ | O O O 3 O X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
This is the key diagram.
In J89 confirmation phase the move :w4: is prohibited but is not quite logic is it?
User avatar
Cassandra
Lives in sente
Posts: 1326
Joined: Wed Apr 28, 2010 11:33 am
Rank: German 1 Kyu
GD Posts: 0
Has thanked: 14 times
Been thanked: 153 times

Re: Japonese counting

Post by Cassandra »

Gérard TAILLE wrote:In the post viewtopic.php?p=266502#p266502 you claimed it was a seki and you claimed the game was unfinished. That was a surprise for me because it looks against my logic of go. Maybe I was wrong but now I understand we have the same logic. :)
That time we were talking about J89, not about our understanding of what logically closed, contradiction-free rules might be.

In J89, your example is a seki, so White would have had to add a move during "play" to avoid this result of "status confirmation". Thus, the position is unfinished under J89.

As Robert already mentioned, the pass-for-a-specific-ko rule is not really necessary even in J89 -- in most cases.
However, when utilising J89, it is urgently needed to achieve several of the intended results of the examples.
Apparently together with some additional, but hidden, rules, like "recapturing in a double-ko is forbidden". :roll:
The really most difficult Go problem ever: https://igohatsuyoron120.de/index.htm
Igo Hatsuyōron #120 (really solved by KataGo)
User avatar
Cassandra
Lives in sente
Posts: 1326
Joined: Wed Apr 28, 2010 11:33 am
Rank: German 1 Kyu
GD Posts: 0
Has thanked: 14 times
Been thanked: 153 times

Re: Japonese counting

Post by Cassandra »

Gérard TAILLE wrote:It is not obvious but I am quite sure left black string is really dead in J2003. If you do not want to find the variation by yourself I will help you.
Independent of what the result of a J2003 status assessment might be:

As I already mentioned earlier, a valid border of "local" needs the property "two-eyed".

The condition "uncapturable OR capturable-1" alone is NOT sufficient, as these properties can be also obtained by groups that are part of a seki.
But a seki is a compound of interconnected groups that must not be seperated logically.
The really most difficult Go problem ever: https://igohatsuyoron120.de/index.htm
Igo Hatsuyōron #120 (really solved by KataGo)
Gérard TAILLE
Gosei
Posts: 1346
Joined: Sun Aug 23, 2020 2:47 am
Rank: 1d
GD Posts: 0
Has thanked: 21 times
Been thanked: 57 times

Re: Japonese counting

Post by Gérard TAILLE »

Cassandra wrote:
Gérard TAILLE wrote:It is not obvious but I am quite sure left black string is really dead in J2003. If you do not want to find the variation by yourself I will help you.
Independent of what the result of a J2003 status assessment might be:

As I already mentioned earlier, a valid border of "local" needs the property "two-eyed".

"Uncapturable OR capturable-1" is NOT sufficient, as these properties can be also obtained by groups that are part of a seki.
But a seki is a compound of interconnected groups that must not be seperated logically.
Yes Cassandra that is exactly my point and I agree with you. In my example local-2 definition is too restrictive.
Gérard TAILLE
Gosei
Posts: 1346
Joined: Sun Aug 23, 2020 2:47 am
Rank: 1d
GD Posts: 0
Has thanked: 21 times
Been thanked: 57 times

Re: Japonese counting

Post by Gérard TAILLE »

Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O X . X . O . |
$$ | . O X X X O O |
$$ | O . O O X X O |
$$ | O O O . O X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
BTW, though the global ko-pass defined in J2003 is also a big progress, it is a pity to see that the status of white stones is still dead stones (=> seki => white should add a move)
User avatar
Cassandra
Lives in sente
Posts: 1326
Joined: Wed Apr 28, 2010 11:33 am
Rank: German 1 Kyu
GD Posts: 0
Has thanked: 14 times
Been thanked: 153 times

Re: Japonese counting

Post by Cassandra »

Click Here To Show Diagram Code
[go]$$W
$$ -----------------
$$ | O . X . X . O |
$$ | O . X X X O O |
$$ | O O X O O O O |
$$ | X O X O O O O |
$$ | X O X O O 1 O |
$$ | X O X O X X O |
$$ | . O X O X X O |
$$ -----------------[/go]
Click Here To Show Diagram Code
[go]$$W
$$ -----------------
$$ | O . X . X 5 O |
$$ | O 3 X X X O O |
$$ | O O X O O O O |
$$ | X O X O O O O |
$$ | X O X O O O O |
$$ | X O X O 2 4 O |
$$ | . O X O 7 6 O |
$$ -----------------[/go]
Click Here To Show Diagram Code
[go]$$Bm8
$$ -----------------
$$ | O . X . X O O |
$$ | O O X X X O O |
$$ | O O X O O O O |
$$ | X O X O O O O |
$$ | X O X O O O O |
$$ | X O X O . 1 O |
$$ | 2 O X O O . O |
$$ -----------------[/go]
Click Here To Show Diagram Code
[go]$$Bm8
$$ -----------------
$$ | O . X . X O O |
$$ | O O X X X O O |
$$ | O O X O O O O |
$$ | . O X O O O O |
$$ | 4 O X O O O O |
$$ | . O X O 3 X O |
$$ | O O X O O 5 O |
$$ -----------------[/go]
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O . X . X . O |
$$ | O . X X X O O |
$$ | O O X O O O O |
$$ | Z O X O O O O |
$$ | Z O X O O . O |
$$ | Z O X O B B O |
$$ | . O X O B B O |
$$ -----------------[/go]
:bc: had been captured, but was reborn
:bx: had been captured, and disappeared forever

? ? ?
The really most difficult Go problem ever: https://igohatsuyoron120.de/index.htm
Igo Hatsuyōron #120 (really solved by KataGo)
Gérard TAILLE
Gosei
Posts: 1346
Joined: Sun Aug 23, 2020 2:47 am
Rank: 1d
GD Posts: 0
Has thanked: 21 times
Been thanked: 57 times

Re: Japonese counting

Post by Gérard TAILLE »

Cassandra wrote:
Click Here To Show Diagram Code
[go]$$W
$$ -----------------
$$ | O . X . X . O |
$$ | O . X X X O O |
$$ | O O X O O O O |
$$ | X O X O O O O |
$$ | X O X O O 1 O |
$$ | X O X O X X O |
$$ | . O X O X X O |
$$ -----------------[/go]
Click Here To Show Diagram Code
[go]$$W
$$ -----------------
$$ | O . X . X 5 O |
$$ | O 3 X X X O O |
$$ | O O X O O O O |
$$ | X O X O O O O |
$$ | X O X O O O O |
$$ | X O X O 2 4 O |
$$ | . O X O 7 6 O |
$$ -----------------[/go]
Click Here To Show Diagram Code
[go]$$Bm8
$$ -----------------
$$ | O . X . X O O |
$$ | O O X X X O O |
$$ | O O X O O O O |
$$ | X O X O O O O |
$$ | X O X O O O O |
$$ | X O X O . 1 O |
$$ | 2 O X O O . O |
$$ -----------------[/go]
Click Here To Show Diagram Code
[go]$$Bm8
$$ -----------------
$$ | O . X . X O O |
$$ | O O X X X O O |
$$ | O O X O O O O |
$$ | . O X O O O O |
$$ | 4 O X O O O O |
$$ | . O X O 3 X O |
$$ | O O X O O 5 O |
$$ -----------------[/go]
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O . X . X . O |
$$ | O . X X X O O |
$$ | O O X O O O O |
$$ | Z O X O O O O |
$$ | Z O X O O . O |
$$ | Z O X O B B O |
$$ | . O X O B B O |
$$ -----------------[/go]
:bc: had been captured, but was reborn
:bx: had been captured, and disappeared forever

? ? ?
:clap: :clap: :clap: almost perfect Cassandra.
Click Here To Show Diagram Code
[go]$$Bm8
$$ -----------------
$$ | O 6 X . X O O |
$$ | O O X X X O O |
$$ | O O X O O O O |
$$ | . O X O O O O |
$$ | 4 O X O O O O |
$$ | . O X O 3 X O |
$$ | O O X O O 5 O |
$$ -----------------[/go]
You must only add :w13: above because this point is part of the local-2 string of black left group!
jmeinh
Dies in gote
Posts: 35
Joined: Tue Jul 21, 2020 3:13 am
GD Posts: 0
Has thanked: 2 times
Been thanked: 1 time

Re: Japonese counting

Post by jmeinh »

Gérard TAILLE wrote:
RobertJasiek wrote:Post it and your analysis regardless of whether I have time!
OK Robert here it is:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O . X . X . O |
$$ | O . X X X O O |
$$ | O O X O O O O |
$$ | X O X O O O O |
$$ | X O X O O . O |
$$ | X O X O X X O |
$$ | . O X O X X O |
$$ -----------------[/go]
First of all you can verify that in "normal play" the game is finished. Neither Black nor white want to add a single move.
If I analyse this position with J89 rule it appears that all strings of stones are alive and I am happy with this. I expected this result which seems the result for all (?) sekis without ko.

What about J2003? Here the things are different due to local-2 context.
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O . X . X . O |
$$ | O . X X X O O |
$$ | O O X O O O O |
$$ | B O X O O O O |
$$ | B O X O O . O |
$$ | B O X O B B O |
$$ | . O X O B B O |
$$ -----------------[/go]
All groups are uncapturable except OC the two small marked black groups.
Now is the point : the big black group being uncapturable, when considering the status of any of the small black groups, then the big black group acts as a barrier for local-2 consideration.
As a consequence it looks that the small black group on the right is alive (capturable-1) while the left one is dead. :shock: :shock: :shock:
I can help you to prove that but firstly do you agree to say (if is true OC!) that this status of the left black stones (dead stones) is not what we would expect?
After a minor modification...
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O . X . X . O |
$$ | O X X X X O O |
$$ | O O X O O O O |
$$ | B O X O O O O |
$$ | B O X O O . O |
$$ | B O X O B B O |
$$ | . O X O O B O |
$$ -----------------[/go]
... the result is a position that is structurally similar to Life-and-Death Example 4 and identical in terms of possible game outcomes or analysis results. Shouldn't similar considerations apply here as for Gérard's position? By this I mean especially the thought "the big black group acts as a barrier for local-2 consideration" (though I must admit I never fully understood J2003).
Gérard TAILLE
Gosei
Posts: 1346
Joined: Sun Aug 23, 2020 2:47 am
Rank: 1d
GD Posts: 0
Has thanked: 21 times
Been thanked: 57 times

Re: Japonese counting

Post by Gérard TAILLE »

jmeinh wrote:
Gérard TAILLE wrote:
RobertJasiek wrote:Post it and your analysis regardless of whether I have time!
OK Robert here it is:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O . X . X . O |
$$ | O . X X X O O |
$$ | O O X O O O O |
$$ | X O X O O O O |
$$ | X O X O O . O |
$$ | X O X O X X O |
$$ | . O X O X X O |
$$ -----------------[/go]
First of all you can verify that in "normal play" the game is finished. Neither Black nor white want to add a single move.
If I analyse this position with J89 rule it appears that all strings of stones are alive and I am happy with this. I expected this result which seems the result for all (?) sekis without ko.

What about J2003? Here the things are different due to local-2 context.
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O . X . X . O |
$$ | O . X X X O O |
$$ | O O X O O O O |
$$ | B O X O O O O |
$$ | B O X O O . O |
$$ | B O X O B B O |
$$ | . O X O B B O |
$$ -----------------[/go]
All groups are uncapturable except OC the two small marked black groups.
Now is the point : the big black group being uncapturable, when considering the status of any of the small black groups, then the big black group acts as a barrier for local-2 consideration.
As a consequence it looks that the small black group on the right is alive (capturable-1) while the left one is dead. :shock: :shock: :shock:
I can help you to prove that but firstly do you agree to say (if is true OC!) that this status of the left black stones (dead stones) is not what we would expect?
After a minor modification...
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O . X . X . O |
$$ | O X X X X O O |
$$ | O O X O O O O |
$$ | B O X O O O O |
$$ | B O X O O . O |
$$ | B O X O B B O |
$$ | . O X O O B O |
$$ -----------------[/go]
... the result is a position that is structurally similar to Life-and-Death Example 4 and identical in terms of possible game outcomes or analysis results. Shouldn't similar considerations apply here as for Gérard's position? By this I mean especially the thought "the big black group acts as a barrier for local-2 consideration" (though I must admit I never fully understood J2003).
The answer to your question in No. By the way in the example 4 as it stands this barrier exists already and you do not need to change the position.
Now I will try to explain why this barrier has no effect in your example (or in example 4 because it is the same).
The barrier is made of black stones => The barrier can have an effect only when looking for the status of black strings of stones. Here is the point : with no barrier, an "apparently" dead group of black stones (like the left small black group in my example) can become an "alive" group because new black alive stones can appear elsewhere on the board. With a barrier it could be different : the "apparently" dead group may stay dead because the new black alive stones are on the other side of the barrier. This happen in my example where the "apparently" left black group stay dead because of the barrier.
In your example all the black groups are all alive. Because there are no "apparently" dead group, the existing barrier has no effect.

Oops I am not sure I have been very clear ;-)
User avatar
Cassandra
Lives in sente
Posts: 1326
Joined: Wed Apr 28, 2010 11:33 am
Rank: German 1 Kyu
GD Posts: 0
Has thanked: 14 times
Been thanked: 153 times

Re: Japonese counting

Post by Cassandra »

Gérard TAILLE wrote:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O X . X . O . |
$$ | . O X X X O O |
$$ | O . O O X X O |
$$ | O O O . O X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
BTW, though the global ko-pass defined in J2003 is also a big progress, it is a pity to see that the status of white stones is still dead stones (=> seki => white should add a move)
I think it was Robert's intention to develop a logically closed and contradiction-free set of rules, which was able to achieve the desired results of the J89 life-and-death examples.
As far as I understand J2003, this particular ko-pass-rule is both appropriate and necessary to fulfill the above-mentioned task.

By the way:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | P X . X . O . |
$$ | 1 O X X X O O |
$$ | O 2 O O X X O |
$$ | O O O . O X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
It does not matter that White would have to add a move to get rid of the seki in J89 status corfirmation.
During actual play, Black is able to capture :wc: with :b1:, forcing White to connect at :w2: , also gaining that specific point, due to the just won prisoner.
However, this raises the question, why Black should benefit in the status confirmation from having made a mistake during actual play?

+ + + + + + + + + +

By the way #2:
An insight that I have gained from working with various sets of (territorial) rules:

BEFORE designing such a rule set, you will have to decide about at least two decisive questions:


:w1: :w1: :w1:

Do you want to behave a final position differently, depending on whether a specific DOUBLE-Ko is already part of the final position
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | . X . X . O . |
$$ | X O X X X O O |
$$ | O O O O X X O |
$$ | O O O . O X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
or not, but arises during the course of the status confirmation?
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O X . X . O . |
$$ | 1 O X X X O O |
$$ | O 2 O O X X O |
$$ | O O O . O X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
:w2: :w2: :w2:

Do you want to behave a final position differently, whether it contains a solidly connected TRIPLE-Ko that is shared by only two groups
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | . X X X O O O |
$$ | O O X X O . . |
$$ | O X 2 X O . . |
$$ | O O X X O . . |
$$ | O 3 O X O . . |
$$ | O O X X O O O |
$$ | O 1 O X O . . |
$$ -----------------[/go]
or not, but has the three ko-shapes farther away from each other?
Click Here To Show Diagram Code
[go]$$B
$$ +---------------------------------------+
$$ | 1 O O . O . O X 2 X O . O X . . . . . |
$$ | O X X O O O O X X O O O O X . . . . . |
$$ | X X . X X X O X O 3 O X X X . . . . . |
$$ | . . . , X O X X X O O X . . . , . . . |
$$ | . . . . X O X . X O X X . . . . . . . |
$$ | . . . . X O X X O X X . . . . . . . . |
$$ | . . . . X O O O O . . . . . . . . . . |
$$ | . . . . . . . . . . . . . . . . . . . |[/go]

J89 answers both quesions with "Yes!", but I doubt that this is mandatory.
The really most difficult Go problem ever: https://igohatsuyoron120.de/index.htm
Igo Hatsuyōron #120 (really solved by KataGo)
Post Reply