[willd13]

Really interesting, this is an attempt to provide documentation for a piece of software with outputs that aren't deterministic.

[hakaneskici]

Indeed interesting, they say the "overview" section is primarily intended for human readers, and the rest is for the model. I wonder how the model will read this spec, maybe there's a more machine readable format.

[batterylake]

I found it quite insightful and well done. Curious if this type of documentation will become more common like you mentioned.