I have been trying to learn the method of Chabauty and Coleman to find rational points on curves; I have been reading an exposition by McCallum and Poonen which was pointed out to me by Emerton in this question.

Let $X$ be a curve of genus $g$ over $\mathbb{Q}$ with jacobian variety $J$, let $p$ be a prime of good reduction, and let $\overline{J(\mathbb{Q})}$ be the $p$-adic closure of the Mordell-Weil group $J(\mathbb{Q})$ in $J(\mathbb{Q}_p)$. Denote by $r'$ the dimension of the $p$-adic manifold $\overline{J(\mathbb{Q})}$.

The main assumption of the approach is that $r' < g$. This is automatic if $r < g$, where $r$ is the rank of $J$, because in general one has $r' \leq r$. This last inequality needn't be equality, "since $\mathbb{Z}$-independent points in log $J(\mathbb{Q})$ need not be $\mathbb{Z}_p$-independent".

How do I compute $r'$?

I wrote down a toy example, that is, $X : y^2 = x^5 + 17$. Here $r = 2$, and the method might work if $r'$ was 0 or 1, but I don't know how to check this.

I suspect that $r' = 2$, in which case the method is not even applicable, and I must think harder, but my question is not about this example, rather the general approach.

Is there an example of a curve $X$ with $r = g = 2$ but with $r' = 0$ or 1?