Added a postscript to my open development experiment mathematical interlude post, courtesy of a good friend.
Not only did he derive the main result independently, but he also spotted a transcription error in my working.
https://underlap.org/open-development-experiment-mathematical-interlude