What's it take to make the concrete mix? I agree that it's a lot easier to move concrete mix and water, mix on site and pour, than it is to move blocks cut from a quarry. But it's important to look at the whole picture. If it is sufficiently easier to cut and move blocks than to make concrete, then that's the more likely method.

But the stones used weren't just limestone but also granite with marbling.

Funny, it's fancy enough to be "stuff for kings" yet simple enough not to write it down.

Not sure I understand your point here? Do you mean it's peculiar that the casting technique (if true) was not documented by the builders? Maybe we simply haven't found the evidence (yet).

Please clarify.

I meant if it was a huge amazing feat of gigantic tech, there would be lots of traces and people would have carried out the technique I suppose. But here it's nothing special but casting blocks. So no need to make a fuss about it.

But maybe you're right, there might be traces somewhere.