[spirographer]

I would recommend this method for documenting all functions, processes, APIs. It can be seen as making explicit what intended inputs, and outputs are, and adding layers to describe input validation to eliminate (buggy behaviors), and testing/fuzzing to prevent introduction of risks, and enabling exception code to mitigate unavoidable error conditions upon process completion. The bowtie method really encapsulates software behavior quite well.