Saxon

Yes, both these files are in XML.

The is a schema for the validation report in the file schemas/validation-reports.xsd in the saxon-resources download. If you want an example of the report, the simplest way is to generate one: just use -report:report.xml on the com.saxonica.Validate command line.

I don't think there is any schema (or documentation) for the statistics output. Just run it (using -stats:stats.xml on the Validate command line) and hopefully the information will make some sense. If not, please ask us to help interpret it and we'll try to create some documentation at the same time. Here's a very simple example:

<schemaCoverage>
   <component kind="element"
              namespace="http://tempuri.org/XMLSchema.xsd"
              name="Fruit"
              count="1"/>
   <component kind="element"
              namespace="http://tempuri.org/XMLSchema.xsd"
              name="Amount"
              count="1"/>
   <component kind="simpleType"
              namespace="http://tempuri.org/XMLSchema.xsd"
              name="Fruit_Type"
              count="1"/>
   <component kind="simpleType"
              namespace="http://www.w3.org/2001/XMLSchema"
              name="int"
              count="1"/>
</schemaCoverage>

showing two element declarations and two simple types, each of which was used once during the validation episode.