16368791

By: ValentinHirschi <valentin.hirschi@gmail.com>

add a smooth compact threshold localization profile

Provide the opt-in runtime uv_localisation.smooth_sliver setting in the
existing scalar and dual evaluators. Preserve hard-sliver defaults, unit
pole value and even signed radial damping; the compact bump has vanishing
boundary derivatives. Keep settings serialization and completion schemas
aligned.

Validation: nine focused tests, workspace/all-target check and clippy pass.
Tests include the actual generated helper's zero PV with its negative-radius
mirror. Full GL638 boundary/interior controls retain approximately lambda^-1
cut-summed behavior; strict Arb rotation flags remain. This profile fixes the
observed hard-boundary strip but worsens the tested MC pilot, so it stays
opt-in and does not claim a global sampling improvement.

User prompts:
Continue as planned, but remember you may want to change the localization "h" function that multiplies the local threshold CTs. Also the idea of imposing a sliver (i.e. a hard theta function) may help perhaps.
Remember though that these multiplier functions must always be symmetric around r^\star so that the PV (real part) of the integrated threshold CT remains zero (otherwise current implementation breaks).

Continue as planned, but look into the current implementation, it should already offer such flexibility.
But feel free to add some if you need be (but make sure it's steered through runtime integrand toml parameters so the user can easily access it). And it's only weakly tested, so if you find any bug there you can also adjust it.
GitHub
Time to Start Worker time Duration Time to finish Idle
Config 18s 6s 6s 24s 18s
Eval 25s 1m15s 1m15s 1m41s 1s
Build 1m35s 33m39s - - 5m57s
Test 20m55s 8m26s - - 0s
Deploy - - - - 1h58m11s
Suite 18s 43m27s - - 2h04m28s

Timeline

Config Eval Build Test Failed Compressed gap
0s1m2m3m7m10m11m12m13m14m17m18m19m20m21m22m23m24m25m26m