Nice! It's really well written. I have followed a similar path, but for me, the "Reflections on Trusting Trust" [0] paper was the one that sent me down the rabbit-hole.

[0] https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_Ref...