Converting Moore to Mealy When first Node has Output
Answering my own question like a silly person:
Ok, I learned what I was missing. A Mealy Machine cannot handle a lambda as I thought it could. As a result, my question has no real answer. Things do NOT output at the first node. Only the first traversal after the first node has any real meaning.