Worst case scenario has played out.
After a half dozen tries, I finally figured out a lace edging pattern (I have it saved somewhere, but couldn't fine it... I eventually found a swatch, re worked it, and documented it.)
First sock was cast on, and the edging work. Then I discovered I had lost one of my circular needles.. a size 1—and I don't have another one. The edging is a pretty one, but it requires 145 stitches to be cast on to yield 64.
I am putting the socks aside for the moment, and doing something else.