I would not over-read into that doc. In practice, the only missing stuff are extreme edge cases of the type that is actually not consistent between other implementations of bash.
In practice it works great. I haven't seen a failed command in a while
[Disclaimer: I made the thing]
I gave it a shot. Failed with a simple `> /dev/null` redirection. LLMs do that a lot.
Good luck with the project! I'm sure it will get there.