Currently only the behavior of the HTTP API is specified by tests. We should also formally specify the documented on-disk format.