Rewan Demontay already has a great answer. However, I would also like to add this 'self-solving' chess problem from Tim Krabbé's Chess Diary #267. Here, all moves are forced and will lead to a checkmate. The composer's full name comes from chess problem databases.
[Title "Vihlem"Vilhelm Röpke, Skakbladet 1942, Mate In 6"]
[FEN "K1k5/P1Pp4/1p1P4/8/p7/P2P4/8/8 w - - 0 1"]
1. d4 b5 2. d5 b4 3. axb4 a3 4. b5 a2 5. b6 a1=Q 6. b7#
Although it does not completely satisfy your type 3 requirement that checkmate is not guaranteed in the first ply, I think it is a nice little puzzle that has some similarities with your question.