The router supports v6. I have the exact same model running v6.
I believe that there is a given router design called by the name "RB4011" that supports v6, but I do not believe that every "RB4011" shipped by MikroTik supports v6. Until you have opened both up and compared that they have the exact same chips inside, you cannot say they are "the exact same."
Two cars sit side-by-side in the parking lot, both called a "Camaro". Are they "the exact same?" Well, they're both red, and they both have four tires, a steering wheel, and run on gasoline. Trick is, one was made in 1973 and the other in 2023. They probably don't take the same spark plugs.
Would that not mean that converting to v6 ought to be possible, if not fairly straight-forward?
My information comes
from MikroTik, confirmed here in the forums by MikroTik employees every few months; do a search. As far as I can tell, your source is wishes and hopes.
is there documentation that describes the differences between scripting in v6 and v7?
There is, but it's thin to the point of near-nonexistence. It is, alas, not the feature-by-feature conversion guide one should expect given a major breaking release.
(I say this as the author of documentation of that type, for my own work products.)
Worse,
the current v7 /ping docs claim the routing-table option exists, but local testing shows that it does not.
You have grounds to
report a bug.