Would it be going too far to state that it validates my choice of distribution?
It kind of depends on what you mean by 'validate' exactly, but I'd say 'yes, that goes too far' in the same way that you can't really say "the null is shown to be true", (especially with point nulls, but in at least some sense more generally). You can only really say "well, we don't have strong evidence that it's wrong". But in any case we don't expect our models to be perfect, they're models. What matters, as Box & Draper said, is "how wrong do they have to be to not be useful?"
Either of these two prior sentences:
This seems to suggest (to me) that the choice of a Gaussian distribution was quite reasonable. Or, at least, that the residuals are consistent with the distribution I used in my model.
much more accurately describe what your diagnostics indicate -- not that a Gaussian model with log link was right -- but that it was reasonable, or consistent with the data.
I chose a log link function because my response variable is always positive, but I'd like some sort of confirmation that it was a good choice.
If you know it must be positive then its mean must be positive. It's sensible to choose a model that's at least consistent with that. I don't know if it's a good choice (there could well be much better choices), but it's a reasonable thing to do; it could well be my starting point. [However, if the variable itself is necessarily positive, my first thought would tend to be Gamma with log-link, rather than Gaussian. "Necessarily positive" does suggest both skewness and variance that changes with the mean.]
Q2: Are there any tests, like checking the residuals for the choice of distribution, that can support my choice of link function?
It sounds like you don't mean 'test' as in "formal hypothesis test" but rather as 'diagnostic check'.
In either case, the answer is, yes, there are.
One formal hypothesis test is Pregibon's Goodness of link test[1].
This is based on embedding the link function in a Box-Cox family in order to do a hypothesis test of the Box-Cox parameter.
See also the brief discussion of Pregibon's test in Breslow (1996)[2] (see p 14).
However, I'd strongly advise sticking with the diagnostic route. If you want to check a link function, you're basically asserting that on the link-scale, $\eta=g(\mu)$ is linear in the $x$'s that are in the model, so one basic assessment might look at a plot of residuals against the predictors. For example,
working residuals $r^W_i=(y_i-\hat{\mu}_i)\left(\frac{\partial \eta}{\partial\mu}\right)$
(which I'd lean toward for this assessment), or perhaps by looking at deviations from linearity in partial residuals, with one plot for each predictor (see for example, Hardin and Hilbe, Generalized linear models and extensions, 2nd ed.
sec 4.5.4 p54, for the definition),
$\quad r^T_{ki}=(y_i-\hat{\mu}_i)\left(\frac{\partial \eta}{\partial\mu}\right)+x_{ik}\hat{\beta}_k$
$\qquad\:=r^W_i+x_{ik}\hat{\beta}_k$
In cases where the data admit transformation by the link function, you could look for linearity in the same fashion as with linear regression (though you my have left skewness and possibly heteroskedasticity).
In the case of categorical predictors the choice of link function is more a matter of convenience or interpretability, the fit should be the same (so no need to assess for them).
You could also base a diagnostic off Pregibon's approach.
These don't form an exhaustive list; you can find other diagnostics discussed.
[That said, I agree with gung's assessment that the choice of link function should initially be based on things like theoretical considerations, where possible.]
See also some of the discussion in this post, which is at least partly relevant.
[1]: Pregibon, D. (1980),
"Goodness of Link Tests for Generalized Linear Models,"
Journal of the Royal Statistical Society. Series C (Applied Statistics),
Vol. 29, No. 1, pp. 15-23.
[2]: Breslow N. E. (1996),
"Generalized linear models: Checking assumptions and strengthening conclusions,"
Statistica Applicata 8, 23-41.
pdf