Matt,
First thank you for the response. I am somewhat surprised to recieve a response to this thread from the FPL. In answer to your question, it will likely be a collection of the various types of documents as you detailed in the third option. Alternatively, I can see this taking the form of filling in gaps in existing Fedora documentation that we have discovered in the process of using it for TigerOS. One possible example that I can think of is the lack of consistency in various versions and forms of the documentation on building RPM packages. It is also relatively difficult to find detailed information on how to reproduce the Fedora building and hosting infrastructure inexactly, for example on a smaller scale. I have also copied the rest of the TigerOS team on this message to get their input.
Thank you.