I'll start from the assumptions that:
- the embankment is at rest
- light travels at c with respect to the embankment
then show that
in the mathematical world of time dilation and length contraction:
- The train observer can't tell how fast he's going. His best measurements tell him he's at rest.
- He can't synchronize his clocks with the embankment clocks. His best synchronization methods make his clocks out of sync with the embankment clocks
- The clocks he synchronized as well as he possibly could tell him that the lightning strike at the front of the train happened before the lightning strike at the back of the train.
I'll go one step at a time, and wait for your questions and corrections before proceeding.
In return, I expect that
if I am able to do this to your satisfaction, then you will agree:
- that Einstein's world is a logically consistent world, and
- that if actual measurements in the real world match Einstein's world better than your own conceptual model, then your own conceptual model is wrong at relativistic speeds.
Agreed?