I forgot to say, I blogged about notation for social deduction games here https://omnisplore.wordpress.com/2019/02/02/spy-thriller/

and I'm open to collaborating to take spy thriller further.