The current specification is available in pdf format here .

It is “final” because we already have gateware in place that uses it.
We are still refining some details and we’ll soon add a complete
example and will tag as “version 1.0” (without changes in the
data structures, only in documentation).