Although I can read the code and try to bring the pieces together but If I can find the documentation or specification implementation doc on XCM channels,
how they are implemented, how it ensures the message passed is actually delivered, understanding the message queue and how are the messages included in parachain PVFs.