In the OP, the author agrees to rigorously apply special relativity, which states times and locations of events are not absolute but are frame-dependent and the Lorentz transformation relates inertial coordinates given one standard of rest to inertial coordinates with different standard of rest. For convenience, the OP assumes that the two coordinate systems, Σ and Σ',are set up such that $$x' = \gamma ( x - v t), \; y' = y, \; z' = z, \; t' = \gamma( t - v x /c^2 ) $$. Further, for all events of interest, the OP assumes $$y' = y = z' = z = 0$$, so even though every event has 8 coordinates (x, y, z, t, x', y', z', t'), we only have
two degrees of freedom at play. Therefore specifying any of the following pairs of coordinates for an event tells you everything about the event: (x,t), (x,x'), (x, t'), (t,x'), (t, t'), (x', t').
The OP does not give names to the events, but names appeared immediately afterwords in [post=3198606]post #2[/post]: O, P, Q and R. One naively imagines that the OP would have no trouble keeping track of just two degrees of freedom of just four events.
Here the OP introduces line f, defined by $$x = x_O = 0$$, and line g, defined by $$x' = x'_O = 0$$. These are both straight, time-like lines. Here the OP introduces line h, defined by $$x' = x'_P = - v \frac{d'}{c}$$.
Here, for the first time, the OP introduces event O. Three lines meet at event O, lines f and g which have already been described and a new line ℓ, which the OP will define as light-like. Note that the OP realizes to specify both "when" and "location" of the event starting line ℓ.
Event O is known to have coordinates $$(x_O = 0, x'_O = 0)$$, and from $$x' = \gamma ( x - v t)$$ we solve $$t_O = \frac{x_O - x'_O/ \gamma}{v} = 0 $$. Likewise from $$t' = \gamma( t - v x /c^2 )$$ we immediately get $$t'_O = \gamma( t_O - v x_O /c^2 ) = 0$$ so the coordinates are $$(x_O = 0, \; t_O = 0, \; x'_O = 0, \; t'_O = 0)$$.
Likewise, event P is about to be introduced without being named. Event P is defined as the event where both $$x_P = x_O = 0$$ and $$x'_P = - v \frac{d'}{c}$$ are true or equivalently as the event at the crossing of lines f and g. From the above it follows that $$t_P = \frac{x_P - x'_P/ \gamma}{v} = \frac{d'}{\gamma c}$$ and $$t'_P = \gamma( t_P - v x_P /c^2 ) = \frac{d'}{c}$$ so the coordinates are $$(x_P = 0, \; t_P = \frac{d'}{\gamma c}, \; x'_P = - v \frac{d'}{c}, \; t'_P = \frac{d'}{c})$$.
This is an
ambiguous question, because "when C' and M are co-located" could mean $$t = t_P$$ or $$t' = t'_P$$ but because there is no absolute time in special relativity, it follows that these two definitions are only both true at event P. That's why [post=3198606]post #2[/post] introduces line j which is defined as $$t = t_P$$, and line k which is defined as $$t' = t'_P$$. Because these are two different space-like lines, it follows that any time-like or light-like line that does not pass through event P must intersect these lines at two different Events. So
one ambiguity of this question is which of the two events we are talking about. The easiest way to resolve this ambiguity is to label the lines (or equations) for j and k, as well as the events (or solutions) Q and R.
But there is a second ambiguity, because "where is the light[] along the positive x-axis" is asking for both the x and the x' values. Asking such a confused question suggests not enough time was spent understanding the geometry of special relativity. As we will later see, the OP attempts to answer this question without labeling the results, resulting in further confusion.
We call the event where lines j and ℓ meet event Q. We have $$t_Q=t_P = \frac{d'}{\gamma c}, \; x_Q = x_O + c t_Q - c t_O = \frac{d'}{\gamma}, \; x'_Q = \gamma ( x_Q - v t_Q) = d' \left( 1 - \frac{v}{c} \right), \; t'_Q = \gamma( t_Q - v x_Q /c^2 ) = \frac{d'}{c} \left( 1 - \frac{v}{c} \right)$$
We call the event where lines k and ℓ meet event R. We have $$t'_R = t'_P = \frac{d'}{c}, \; x_R = x_O + c t_R - c t_O = c t_R$$. From $$t'_R = \gamma( t_R - v x_R /c^2 ) = \gamma t_R ( 1- v/c )$$ it follows that $$t_R =\frac{t'_R}{\gamma \left( 1 - \frac{v}{c} \right) } = \gamma \frac{d'}{c} \left( 1 + \frac{v}{c} \right), \; x_R = \gamma d' \left( 1 + \frac{v}{c} \right)$$. Finally $$x'_R = \gamma ( x_R - v t_R) = \gamma^2 d' \left( 1 + \frac{v}{c} \right)\left( 1 - \frac{v}{c} \right) = \gamma^2 d' \left( 1 - \frac{v^2}{c^2} \right) = d'$$.
So the coordinates for Q are $$\left( x_Q = \frac{d'}{\gamma}, \; t_Q = \frac{d'}{\gamma c}, \; x'_Q = d' \left( 1 - \frac{v}{c} \right), \; t'_Q = \frac{d'}{c} \left( 1 - \frac{v}{c} \right) \right)$$. And the coordinates of R are $$\left( x_R = \gamma d' \left( 1 + \frac{v}{c} \right), \; t_R = \gamma \frac{d'}{c} \left( 1 + \frac{v}{c} \right), \; x'_R = d', \; t'_R = \frac{d'}{c} \right)$$
Thus the fully-labelled coordinates for Q and R completely answer the question in an unambiguous manner. The OP does calculate these same quantities, but fails to label them and so the OP becomes confused.
See how the OP cites unlabeled coordinates: $$\left( x_Q = \frac{d'}{\gamma}, \; t_Q = \frac{d'}{\gamma c} \right)$$ and $$\left( x_R = \gamma d' \left( 1 + \frac{v}{c} \right), \; t_R = \gamma \frac{d'}{c} \left( 1 + \frac{v}{c} \right) \right)$$.
See how the OP cites unlabeled coordinates: $$\left( x'_Q = d' \left( 1 - \frac{v}{c} \right), \; t'_Q = \frac{d'}{c} \left( 1 - \frac{v}{c} \right) \right)$$ and $$\left( x'_R = d', \; t'_R = \frac{d'}{c} \right)$$.
The OP does not state
HOW this is inconsistent with nature. Events Q and R undeniably happen in different positions and times in every frame, but that's true about any two distinct events on a light-like line. That is entirely consistent with the light-postulate which requires the same light at different times to be at different locations.
So if the OP
thinks there is a problem with two positions, the real problem must be with existence of two distinct events. But there always were going to be two distinct events Q and R because there were always two different frames describing a frame-dependent concept of "same time as event P". This resulted in lines j and k being distinct space-like lines and as I said above, that leads to two distinct events Q and R.
That the OP now complains that $$x_Q \neq x_R$$ means the OP never understood that $$t = t_P$$ is a different line than $$t' = t'_P$$ and thus never understood
Relativity of Simultaneity.
As I said before, the problem was not in the algebraic calculations, but in asking illegal questions which are predicated on assuming frame-independence to the concept of simultaneity which violates the requirement of a thought experiment to use rigorous mathematical logic. By assuming the opposite of relativity of simultaneity and by using the Lorentz transforms which incorporate relativity of simultaneity, the OP doomed his efforts to do a rigorous thought experiment.
From [POST=3198606]Post #2[/POST] we see that the solution is obvious:
Let f,g,h be time-like inertial world lines. Let j, k be space-like straight lines. Let ℓ be a light-like straight line. Then we have in both coordinate system the following descriptions of these lines:
$$
\begin{array}{c|c|c} \textrm{Line} & \textrm{Frame} \; \Sigma & \textrm{Frame} \; \Sigma' \\ \hline \\ f & x = 0 & x' = -vt' \\ g & x = vt & x' = 0 \\ h & x = vt - \frac{d'}{c} v \sqrt{1 - \frac{v^2}{c^2}} & x' = - \frac{d'}{c} v \\ j & t = \frac{d'}{c} \sqrt{1 - \frac{v^2}{c^2}} & x' = - \frac{c^2}{v} \left( t' - \frac{d'}{c} \left(1 - \frac{v^2}{c^2} \right) \right) \\ k & x = \frac{c^2}{v} \left( t - \frac{d'}{c} \sqrt{1 - \frac{v^2}{c^2} } \right) & t' = \frac{d'}{c} \\ \ell & x = ct & x' = ct' \end{\array} $$ $$
\begin{array}{c|c|c} \textrm{Event} & \textrm{Frame} \; \Sigma & \textrm{Frame} \; \Sigma' \\ \hline \\ O=f \cap g \cap \ell & \left( x=0, \; t=0\right) & \left(x'=0, \; t'=0 \right) \\ P = f \cap h \cap j \cap k & \left( x = 0, \; t = \frac{d'}{c} \sqrt{1 - \frac{v^2}{c^2}} \right) & \left( x' = - \frac{d'}{c} v, \; t' = \frac{d'}{c} \right) \\ Q = j \cap \ell & \left( x = d' \, \sqrt{1 - \frac{v^2}{c^2}}, \; t = \frac{d'}{c} \sqrt{1 - \frac{v^2}{c^2}} \right) & \left( x' = d' \, \left(1 - \frac{v}{c} \right) , \; t' = \frac{d'}{c} \left(1 - \frac{v}{c} \right) \right) \\ R = k \cap \ell & \left( x = \frac{c d' \sqrt{1 - \frac{v^2}{c^2}}}{c - v}, \; t = \frac{d' \sqrt{1 - \frac{v^2}{c^2}}}{c - v} \right) &\left( x' = d' , \; t' = \frac{d'}{c} \right) \end{\array}$$
So by ignoring relativity of simultaneity, you improperly confuse lines j and k and therefore confuse events Q and R.
A [POST=3204151]later post[/POST] would again emphasize the need to think geometrically about the problem:
See above. Absolute time was in the question and the conclusions based on the question.
[POST=3199258]This post[/POST] went nowhere because P is not any type of logical predicate. P is a space-time event which happens to have coordinates in frame Σ and different coordinates in frame Σ'. But $$t = t_P$$ and $$t' = t'_P$$ are only both true at event P.
It's clear that the OP continues to have problems telling the difference between $$t = t_P$$ and $$t' = t'_P$$.
That is not anyone's lingo.
Everyone sees [POST=3198606]Post #2[/POST].
A valid statement of Relativity of Simultaneity is that $$t = t_P$$ is not equivalent to $$t' = t'_P$$ for coordinate time in inertial frames which are in relative motion. Since neither event Q or event R is the same event as event P, it follows that $$t_P = t_Q$$ and $$t'_P = t'_R$$ is perfectly consistent with $$t_Q < t_R$$.
Are you suing me in Science Court?
The math says minions get paid, so obviously they are not my minions.
Must you confuse everything? Line ℓ does not pass through event P, the co-location event of C' and M. So the question of what event on line ℓ is
simultaneous with event P is a frame-dependent question that has everything to do with man-made coordinate systems and nothing to do with the geometry or physics of space-time.
That would be tantamount to asserting absolute time, which is not consistent with special relativity and therefore disallowed by the rigor required by your OP which purports to do a "Thought experiment."
You don't understand the Sagnac effect, which relates to the area encompassed by the light path and the rotation rate relative to an inertial frame. So you have confused three measures of the Earth's circular motions, the sidereal rotation rate, the mean solar day and the revolution of the planet about the sun.
It's obvious that [post=3198606]post #2[/post] covers all of this. $$t_P = t_Q$$ and $$t'_P = t'_R$$ and $$t_Q < t_R$$.