Code intelligence badge: Purple dot

Created by: efritz

Following up from deficiencies of #33571 (PoC code intel badge) related to #31180 (communicate when precise code intel is available).

We should put a lil cute purple dot sometimes conditional on something.