Those pics are great! Thanks for sharing!!! They may have been cuddling in the second one...who knows for sure...but in the first one...it is plain to see from the look on that cats face and the laid back ears...it was NOT a happy cat!!!
Having a cat that frequently went for the neck on my dog (in the most loving way a cat could attack a dog, of course!), I'd say this was definitely an attack. It may have been a playful attack, but the way the paws are gripped around that doggie's face and the stance that cat had right before hand...I'm positive it was not a hug!