These ports are borrowing large parts of the architecture, algorithms, and data structures from the official implementation.

I don't think a spec would facilitate them at such a low effort level and cost.