That’s pretty close to what they’re doing. The tricky bit is detailing how you convert a lunar timestamp to a terrestrial timestamp.

Jostling clocks with things like leap seconds turns out to be more trouble than it’s really worth. Better to just let them get out of sync but be able to precisely define what the drift is.