I'd say it doesn't have to show real diamonds, just 4 spades, and can be balanced, because 1nt rebid is 12-13 in that case, and you may miss 2♠ contract. On the other hand, in my own Precision where we play 1NT=12-14, i'd play that sequence shows real diamonds, unbalanced hand, because 1NT rebid would show 15-16 BAL, and partner, who responded to opening almost for sure has invitational hand with 8+ points (else passes), so we can find spades using some kind of checkback sequence.