No existen fuentes imperiales contemporáneas que refieran el hecho, y las fuentes papales de la época se limitan a indicar los motivos formales por los que Gregorio VII habría perdonado a Enrique, sin detallar las explicaciones que la historiografía posterior daría de lo sucedido.