Discommensuration theory and shadowing in Frenkel–Kontorova models