Non ho capito che cosa chiedi con “trovato formato?”, dove formato contiene il link a CTAN.
I file di formato si trovano direttamente nella tua distribuzione/installazione di qualunque tipo, altrimenti non potresti ricostruire il formato ogni volta che ne hai bisogno; MiKTeX nella sua pagina di Settings ha un apposito bottone per ricreare i formati; TeXLive e MacTeX non dispongono di una simile GUI, ma ricreano i formati con il comando da terminale fmtutil o fmtutil-sys dandogli opportune opzioni, Istruzioni con texdoc tlmgr e texdoc texlive.
I file di formato, per esempio quello del markup LaTeX si trova in …/tex/latex/base/latex.ltx.
Ma la documentazione si trova nella carella suorce; inoltre i file fmtutil(-sys) in realtà invocno un file .ini per ciascun tipo di formato da costruire sul motore di composizione che lo userà; il motore di composizione funziona con l’opzione –ini per poter eseguire il dump del file .fmt, una volta letto tutto quello che deve per creare un particolare formato.
Tieni presente che con il motore pdftex e il file di markup latex.ltx si possono creare (almeno) tre diversi formati latex.fmt, pdflatex.fmt, pdfelatex.fmt, oltre ad altri meno noti. La cosa dipende da quale file .ini viene letto prima di caricare latex.ltx.
Come vedi la cosa è abbastanza complessa. ma il file .log, si trovano nella stessa cartella dei file .fmt e nel file .log c’è scritto tutto quello che serve. Io che sperimento spesso con i file di patter per la divisione in sillabe, ricreo il formato pdflatex una decina di volte all’anno, e ho abbastanza esperienza nel farlo,ma non mi sono mai preso la briga di leggere tutto il file .log; leggo solo la parte che riguarda i pattern di sillabazione.