I have no insight, but I would assume it's a 1-1 sort of split, that is that everyone that previously had one share of sourcegraph now has one share of sourcegraph and one of amp? That seems like the least legally fraught way to do it.
yes that is easiest; or just be a 100% owned subsidiary. (that's what say, waymo is).
the good thing is that you afterwards the cap table of the subsidiary or the spunoff can evolve (ex: waymo / amp can raise money independent of the parent company).
Because Sourcegraph is a viable business in its own right. Small companies find it challenging to do multiple things well, and it's normally better for them to spin off promising ideas that aren't directly part of their main product.