${00} should be reported as error
On second thoughts, I'm thinking ${00} should be treated as an non-existing positional parameter. Yash is behaving correctly on the basis of it.
Maybe ${00} could be treated as ${0} when the POSIXly-correct mode is off?
${00} is not the 0 special parameter nor a valid positional parameter. It should be reported.