d68b3eea

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

Bound thread-local Symbolica context cache lookup and lifetime work

Reuse known local contexts without retained clone chains, index source and local identities with Weak-backed pointer keys, and incrementally clean stale entries. Preserve Symbolica arithmetic and validate exact saved publication/refinement payloads. Record the full-size publication profile that exposed the bottleneck.
Time to Start Worker time Duration Time to finish Idle
Config - - - - 300h52m02s
Eval - - - - -
Build - - - - -
Suite - - - - 300h52m02s