We prove that if X,X are closed subschemes of a torus T over a non-Archimedean field K, of complementary codimension and with finite intersection, then the stable tropical intersection along a (possibly positive-dimensional, possibly unbounded) connected componentC of Trop(X)∩Trop(X) lifts to algebraic intersection points, with multiplicities. This theorem requires potentially passing to a suit...