Document internal state output format