Is the binary format of the history file documented?
Yes. Click here for a document that describes the high level format. Also, the binary format for all the data stored in the archive is documented in the individual class files in TVA.Historian class library. A good place to start would be the class files under TVA.Historian.Files namespace of TVA.Historian class library project.