OK, now I think I get it. I believe that a formulation like the following is clearly equivalent to that currently in the decisions:
A treble dodging method is treble bob if at each cross section the only places that are made are leading and/or lying places. It is surprise if at each cross section it is not true that the only places that are made are leading and/or lying places. It is delight otherwise.
This appears to work for things like Copper as well as at odd stages. As it must, since, I think, it actually is the same as the current definition, just with a definition of internal places plugged directly into it.
That said, while equivalent to the current decisions, it is only equivalent to v7DFR if that conjecture I asked about last night is true; reformulating the v7DFR defintion in these terms would be considerably more complicated.
I also fail to see what advantage this formulation has. It seems more convoluted than the current one.
--
"We used to get much better history in the old days."
-- Terry Pratchett, _Small Gods_