lensBand property
Depth inside the outline where the edge lens ends (displacement 0).
Lens v3 (measured from SwiftUI, Task 15c): at depth d the backdrop is
sampled lensStrength × lensBand × s × v(d) along the outward normal,
with v(d) = (exp(-d / (lensDecay·s)) - exp(-lensBand / lensDecay)) / (1 - exp(-lensBand / lensDecay)), clamped at 0, and the size factor
s = min(1, half the shape's shorter side / lensSizeRef).
Implementation
final double lensBand;