Subtle implementation rules are not a problem, but it must be stated clearly not only in the code, but written somewhere.
This is a popular request, and progress is always happening in that direction. But it simply isn't possible to have a non-code description of the rules that is complete, accurate and more understandable than the code itself.