Dickey-Fuller test significant => series stationary? I recently came across the Dickey-Fuller test for existence of a unit root in an AR(1) series, definition on Wikipedia. If a unit root exists, the series is not stationary. Fine by me. 
Now looking at some applications and interpretations of the Dickey-Fuller test, apparently people say that if the null hypothesis is rejected, there is evidence that the process is stationary. More so, this "logic" is apparently still applied in case time series are obviously seasonal or other time-dependent things go on. I realise that there also is an augmented Dickey-Fuller test that allows to detect unit roots for some more sophisticated models, but anyway...
The thing that bothers me is the following. Stationarity is a standard model assumption in time series analysis. It's quite restrictive in my view, any time-dependent pattern is not allowed. Normally when testing model assumptions (e.g., normality, independence...), the restrictive model assumption is the null hypothesis and the data can reject it or not, but we will never have evidence in favour of the model assumption, as this is an idealisation, will not hold precisely, and we can be happy enough if it's just not obviously incompatible with the data.
For the Dickey-Fuller test it's apparently the opposite. Stationarity is the alternative, rejecting the unit root amounts to rejecting non-stationarity, or, in other words, to observe more or less strong evidence for stationarity. This seems to be a misinterpretation to me, because there are lots and lots of possibilities to have non-stationary series that do not fulfill the Dickey-Fuller unit root model (seasonal series to start with), and may therefore lead to rejection of the unit root model. So this doesn't seem to provide positive evidence in favour of stationarity at all; the only thing is that one specific form of non-stationarity is ruled out.
Am I misunderstanding something, or is it indeed the case that rejection of a unit root is pervasively misinterpreted?  
 A: You are not misunderstanding anything as far as I can tell. You are presenting a solid story with logical supporting arguments. I could stop here and I think your question would be answered, but let me add some other comments that might be relevant.
The (augmented) Dickey-Fuller test is based on an autoregressive model for the time series of interest. It is testing presence of a unit root against a specific alternative, a stationary process. The universe of cases explicitly considered is restricted to these two (both being autoregressive processes). They are used for deriving the distribution of the test statistic under $H_0$ and probably for examining the test's power against the specific alternative. (It has been a while since I read the original paper, so I do not remember the details; feel free to correct me.) 
In reality, not all time series are autoregressive with constant parameters and all the other nice features we tend to assume about them. You could very well argue none of the real-world time series follow any of the relatively simple models that we use. So the test should be understood as a simplification.
Moreover, perfect stationarity is not necessary in practice. Approximate stationarity is good enough to get approximately correct results from models and tests that rely on the assumption of stationarity. Even though we know that all models are wrong, we still find some of them useful. I suggest using and interpreting the (A)DF test in this perspective.

Responding to comments:

arguably inferring any specific alternative from rejection of the $H_0$ is even worse than inferring the $H_0$ from non-rejection

You can test the assumptions of the test. If there are no violations, a rejection of $H_0$ typically points to a specific alternative by construction of the test statistic. If so, inferring $H_1$ need not be so problematic, since the data contains something characteristic of $H_1$; otherwise the test statistic would not pick it up.

at least the $H_0$ (in many tests) has a point shape, so something specific is tested, and we are entitled to say "data are compatible with the $H_0$". Can anything like this be stated for the stationary DF-alternative? 

$H_0$ as considered in the DF test contains the single undersirable parameter value (the root being equal to unity); $H_1$ contains all the desirable alternatives (the root being less than unity; keep in mind that values in the negative territory are usually irrelevant in practice). The possibility of an explosive process (the root above unity) is ruled out a priori. (Though there are versions of the test which have explosive process as the alternative, ruling out lower-than-unit roots a priori.) Thus it is quite satisfactory to have the test set up as is, targeting the single undersirable outcome and (hopefully) rejecting it with a high degree of confidence. 
In other words, the DF test targets a specific violation of stationarity, one that is probably more pernicious than others when it comes to messing up estimator's properties and inference. I think one incurs smallers losses by neglecting, say, a shift in variance than a unit root. The former only makes estimators inefficient, while the latter makes unconditional moments undefined/infinite etc. So a test that allows testing the $H_0$ of a unit root and (hopefully) rejecting it at a low significance level makes sense.
A: Another aspect that I recently became aware of (see particularly this thread Is the Dickey Fuller test one-sided or two-sided?) is that the DF-test can be interpreted as one-sided in the sense that it will only reject the unit root null hypothesis with even smaller probability than for a unit root, i.e., $\phi=1$, in case of an exploding series, i.e., $\phi>1$ for $X_{t}=\phi X_{t-1}+\epsilon_t$. One could therefore say that the effective null hypothesis is in fact $\phi\ge 1$ rather than $\phi=1$. As series with $\phi\ge 1$ are not stationary, the null hypothesis is not quite as specific as I thought when I originally wrote the question; as long as we exclude (for subject matter reasons; often this is unrealistic) $\phi\le -1$, the null hypothesis is not one very specific case of non-stationarity (the rejection of which would still leave most options for non-stationarity open), but rather a broader (though not all-encompassing) family of non-stationary distributions, which makes interpreting a rejection of it as "evidence against non-stationarity" somewhat more plausible.
One thing that I'd be interested in is how the general class of non-stationary models (that do not necessarily obey the AR-model assumptions) looks like for which the DF-test has a low (say $\le\alpha$, the nominal test level) probability of rejection, as rejection will provide evidence against all of these.
