By now the world knows that U.S. military forces for the first time since the onset of the Syrian civil war in 2011 have attacked regime targets. Plenty of the basic facts are known about what transpired about 18 hours ago, but a few important ones are not—at least not in the public domain.