Every accent animation on this page is a real Lottie: the logo-bug bolt draw, header bolt stingers, spotlight halftone burst, clock wedge sweep, and the ticker evergreen pulse are generated as bodymovin JSON in-page and played through lottie-web — i.e. exactly the per-widget manifest stinger slots from the v3 plan.