The spec mentions "choice point" six times, but the phrase is never defined. I suppose that the correspond to:
- alternatives in disjunctions
- backtracking points in greedy quantifiers
It would be nice to have it formally defined.
Should I open an issue?