deterministic oracles are more flexible than static oracles in that they allow for spurious ambiguity: they support the possibility of different sequences of transitions leading to the gold tree.
they are still only guaranteed to be correct on a subset of the possible configurations.