I have compared the GNAT formatting and styling conventions with AdaCore’s GNAT source code to verify the rules and identify any gaps. The result is a cheatsheet summarizing my findings and the analysis supporting them.
I hope it will be helpful to others. Please feel free to distribute this document since it is open-source.
