(quotes from that text will be in blue, formatting is done by me)
In a position, a string of a player is two-eye-alive if the opponent cannot force no intersection of the string with a two-eye-formation on. This is the reason for your "independently alive" of Black's 4-stone chain in example #1.
"for all" would result in
"can force at least one intersection of the string with no two-eye-formation on."J2003-alive is defined like in J2003 as either uncapturable, capturable-1, or capturable-2. This is the reason for your "independently alive" of White's single stone in example #1.
In a position, a string is WAGC-alive-in-seki if it is J2003-alive and not two-eye-alive.
In a position, a string is WAGC-alive if it is either two-eye-alive or WAGC-alive-in-seki.
In a position, a string is WAGC-dead unless it is WAGC-alive.
...
Chris Dams has proven:
WAGC-alive equals J2003-alive. Sorry, Robert, but that's trivial, isn't it ?
J2003-alive = uncapturable OR capturable-1 OR capturable-2
uncapturable = uncapturable-two-eyed OR uncapturable-Seki
capturable-1 = capturable-1-two-eyed OR capturable-1-Seki
capturable-2 = capturable-2-two-eyed OR capturable-2-Seki
two-eye-alive = uncapturable-two-eyed OR capturable-1-two-eyed OR capturable-2-two-eyed
WAGC-alive-in-Seki = J2003-alive AND NOT two-eye-alive
WAGC-alive-in-Seki = uncapturable-Seki OR capturable-1-Seki OR capturable-2-Seki
WAGC-alive = two-eye-alive OR WAGC-alive-in-Seki
WAGC-alive = (uncapturable-two-eyed OR capturable-1-two-eyed OR capturable-2-two-eyed) OR (uncapturable-Seki OR capturable-1-Seki OR capturable-2-Seki)
WAGC-alive = (uncapturable-two-eyed OR uncapturable-Seki) OR (capturable-1-two-eyed OR capturable-1-Seki) OR (capturable-2-two-eyed OR capturable-2-Seki)
WAGC-alive = uncapturable OR capturable-1 OR capturable-2
WAGC-alive = J2003-alive
Excel would complain about a circular reference.
Within my rulesets, I care very much what the reasoning is.
Perhaps you should care about "marketing", too ?
Concerning your uncomfortable feeling about sentences 2 + 3, why are you uncomfortable with them? Because it is well known that the Japanese professionals changed the rulings of 3-points-without-capturing shape or moonshine life over time?! Don't you believe that? Then read, e.g., the rules texts J1949, WAGC, J1989! - And what is your problem with my characterization of Examples 16-18? That I have been able to describe the huge gaps in their analysis, to find move-sequences overlooked by the professionals, to point out their inconsistency in their analysis and to assess the missing relation between terms in commentary to terms in the rules?
I suppose the approach we prefer is very different.
There is no problem with "state-of-the-art has changed over time" or "a non-Japanese had found inconsistencies within the rules text or its application".
When I read your sentences then arises an implicit feeling like "There is someone (may be non-Japanese) who decides what to include and what not to include to get the final result he wants." If this is not your intention, you should think about better "marketing", as written above.
My "marketing-friendly" suggestion would be the other way round.
1) Develop a rule set that is well-defined and consistent.
(You have done already.)2) Apply this rule set on the "known" examples (e.g. your #0000, Nihon Kiin Life & Death
(You have done already.)). The results will be well-defined and consistent, because the rule set is. As a matter of course some of the results may not be identical to those provided with another rule set (e.g. Nihon Kiin) that has been identified as not well-defined or inconsistent or even both.
3) Develop an idea where the different results come from (we can exclude inconsistent application of the rules themselves here) and try to shape your ideas into a kind of "classes"
(some elements of what I mean can be found in the "motivation" parts of your texts). This will make discussion easier, because you can discuss about
principles to apply (or may be not) and have no need to worry about single "mysterious" board
positions. And what is important also: Discussion about "principles" will not be mixed up with discussion about inconsistent rules' application.
The result of 3) could be something like the following:
Cassandra wrote:I think we can use 3 questions to highlight the subtle, but decisive, distinctions between our approaches.
- Should chains be treated as a whole (i.e. "for all") ?
- Should status determination of a chain depend on previous results for others ?
- Should "local" be bordered by "living" chains of each colour ?
The answers can be only "Yes" / "No", never "Right" / "Wrong".
Questions like "What kind of principle do you like more ?" should be absolutely preferred, questions like "What result in this special position do you like more ?" should be avoided in this context.
When these "principles" are identified, it will be possible to "transform" one rule set into the other. You will know which rules how to change or which precedence to include.