Es normal en la jarcia de cable. De hecho, el estiramiento es la principal diferencia con la de varilla.
pero unos pocos mm en una long tan corta, es mucho. Cuanto supone porcentualmente ? 4 mm en 40 Cm es un 1%. En un stay de 15 m supondrían 150 mm = 15 Cm !
Imagino que habrás cometido algún pequeño error de medición ya que no es fácil tomar esta medida con precisión... pero sí, es normal que el cable estire.
Las jarcias de cable deben revisarse y retrimarse con cierta periodicidad.
