Thanks to a private message from Bernhard I can continue from where my previous post stopped.
(I measure V in the direction implied by post #27, opposite to the private message. Just a change of sign.)
Now consider Einstein-synced coordinates (t'_E, x') in the
I' frame. These are related to the Einstein-synced coordinates (t_E, x) in the
I frame by the Lorentz transform
x' = \gamma (x - V t_E) = \gamma \left(1 - \frac{V}{c}(1 - c/c_f) \right) x - \gamma V t_a (2)
t'_E = \gamma (t_E - V x / c^2) = \gamma t_a + \gamma \left( 1 - \frac{c}{c_f} - \frac {V}{c} \right) \frac {x} {c} (3)
Now choose c_f to be the value which makes equation (3) independent of x, i.e.
1 - \frac{c}{c_f} - \frac{V}{c} = 0 (4)
which solves as
c_f = \frac{c}{1 - V/c} (5)
Substitution in (2) and (3) gives:
x' = \frac{x}{\gamma} - \gamma V t_a (6)
t'_E = \gamma t_a (7)
That all seems correct to me.
If anyone other than Bernhard is following this, what we have done is define an alternative coordinate system (t_a, x) in the
I frame which is related to the
I'-frame coordinates (t'_E, x') via equations (6) and (7) instead of the usual Lorentz Transform. Equation (7) shows that both coordinate systems
agree in their definitions of simultaneity -- if two events share the same t'_E coord, they must also share the same t_a coord.
Putting t_a = 0, equation (6) shows that a rod of length x' that is stationary in the
I' frame is
longer in (t_a, x) coordinates, which is the counterexample to the original implied proposition of post #1.