lensEdge property

double lensEdge

Extra inward lens offset at the outline (logical px), falling off as exp(−depth / lensEdgeDecay) (Task 17d, measured: SwiftUI's lens is steeper in the outer 1–2 pt). 0 disables it.

Implementation

final double lensEdge;