In the above topology, when I redistribute connected on R2 and R3, R1 sees only one LSA type 4. It’s for R2 showing how to get to R3. Why don’t we also see an LSA type 4 for R2’s redistributed routes? Does a directly connected router not generate an LSA type 4 for its redistributed routes? Whew!

LSA Type 4 is used so routers in other areas can find the ASBR, since R1 and R2 are in the same area (R1 already knows the router ID of R2 btw) there is no need to install LSA type 4 in the LSDB of R1.

I was confused for a while where the 2.2.2.2 router was coming from, maybe I missed it somewhere. I finally figured it was a loopback on r2 the border router, after scrolling up and down a few times. If that is correct maybe you could add it to your diagram. This whole thing was nicely done though.