Let $\,(P_x^t)_{x \in \mathbb{R} , t \geq 0}\,$ be a measurable Markovian family of transition probabilities - that is, a family of  Borel probability measures $P_x^t$ on $\mathbb{R}$ such that

 1. for all $A \in \mathcal{B}(\mathbb{R})$, the map $(x,t) \mapsto P_x^t(A)$ is Borel-measurable;
 2. for all $x \in \mathbb{R}$, $P_x^0=\delta_x$;

 3. for all $A \in \mathcal{B}(\mathbb{R})$ and $s,t \geq 0$, $\ P_x^{s+t}(A)=\int_\mathbb{R} P_y^t(A) \, P_x^s(dy)$.

Working over a filtered probability space $(\Omega,\mathcal{F},(\mathcal{F}_{t \geq 0}),\mathbb{P})$: suppose we have a progressively measurable real-valued stochastic process $(X_t)_{t \geq 0}$ such that

 1. [Markov property] for all $A \in \mathcal{B}(\mathbb{R})$ and $s,t \geq 0$, $\hspace{2mm} \mathbb{E}[\mathbf{1}_A(X_{s+t})|\mathcal{F}_s] \, \overset{\mathbb{P}\textrm{-a.s.}}{=} \, P_{X_s}^t(A)\,$;
 2. [stationary] for all $t \geq 0$, $X_{t\ast}\mathbb{P}=X_{0\ast}\mathbb{P}$.

Letting $\,\rho:=X_{0\ast}\mathbb{P}\,$, we will say that a set $A \in \mathcal{B}(\mathbb{R})$ is *invariant* if for each $t \geq 0$, for $\rho$-almost all $x \in \mathbb{R}$, $P_x^t(A)=\mathbf{1}_A(x)$. Let

$\hspace{5mm} \mathcal{G} \ := \{ X_0^{-1}(A) \, : \, \textrm{invariant } A \in \mathcal{B}(\mathbb{R}) \} \; \subset \, \mathcal{F}$.

Fix any bounded measurable $f:\mathbb{R} \to \mathbb{R}$. By the answer to Q1 in http://mathoverflow.net/questions/178700/birkhoff-ergodic-theorem-and-ergodic-decomposition-theorem-for-continuous-time-m, the limit

$\hspace{5mm} L(\omega) \, := \, \lim_{T \to \infty} \frac{1}{T} \int_0^T f(X_t(\omega)) \, dt$

exists for $\mathbb{P}$-almost all $\omega \in \Omega$.

> Is it necessarily the case that $\hspace{2mm}\mathbb{E}[f(X_0)|\mathcal{G}] \, \overset{\mathbb{P}\textrm{-a.s.}}{=} \, L \,$?

We can at least start with the following special case: If $\mathcal{G}$ consists only of null sets and full-measure sets (i.e. $\rho$ is an ergodic measure of $(P_x^t)_{x \in \mathbb{R} , t \geq 0}$), is it necessarily the case that $L$ is almost-everywhere equal to $\int_\mathbb{R} f \, d\rho$?
______________________________________
**Update:** The statement is certainly true if $(X_t)$ has right-continuous sample paths. More generally, I believe that the statement is true in the following class of cases (but I don't even know if this class covers *all* cases):

Suppose that there exists a real-valued stochastic process $(\tilde{\Omega},\tilde{\mathcal{F}},\tilde{\mathbb{P}},(\tilde{X}_t)_{t \geq 0})$ sharing the same finite-dimensional distributions as $(X_t)$, and that there is a set $Y \subset \mathbb{R}^{[0,\infty)}$ such that

 1. for all $(x_t)_{t \geq 0} \in Y$ and $s \geq 0$, $(x_{s+t})_{t \geq 0} \in Y$;
 2. the map $(\tau,(x_t)_{t \geq 0}) \mapsto x_\tau$ from $[0,\infty) \times Y$ to $\mathbb{R}$ is jointly measurable (where $Y$ is equipped with the induced $\sigma$-algebra from $\mathcal{B}(\mathbb{R})^{\otimes [0,\infty)}$);
 3. for $\tilde{P}$-almost all $\omega \in \tilde{\Omega}$, $(\tilde{X}_t(\omega))_{t \geq 0} \in Y$.

In this particular class of cases, the answer to my question should be yes: the stochastic process $(\tilde{X}_t)$ should have the desired property (by Birkhoff's ergodic theorem applied to the shift dynamical system on $Y$), and therefore $(X_t)$ should have the desired property, by the argument presented in the answer to the question http://mathoverflow.net/questions/181640/is-it-true-that-all-stationary-measurable-stochastic-processes-are-measurably-s.