The source project of this merge request has been removed.
Exceptional GitLab maintenance is scheduled for June 19, 2025. The service will be unavailable between 12am and 2pm. Please do not work on the platform until an announcement indicates that maintenance is complete.
This adds a wp_store_weak which does not track predecessors of the old value. I tried to factorize proofs as much as possible, but there is still some duplication.