Protocol witnesses: De-protocolization rules

[DanielCardonaRojas]

First of all, thank you for all the great content. I was going through the Protocol Witness video collection and watched all the videos. Understanding the basic mechanics of creating protocol witnesses is quite straight forward and you guys have provided good examples covering most cases. There is good content on the web as well but I have not found any article explaining where this came from.

How were these rules derived? is there any literature on the subject? did you infer the rules by looking at compiler-generated code for different witnesses?

Any resource that you could point to would be appreciated.