`mine-W` privatization undermines Miné, `lock` is less precise than `mine`/`protection`#1613

Draft

sim642 wants to merge 4 commits intomasterfrom mine-W-part-by-S

+161-20

Commits on Nov 1, 2024

Commits on Nov 27, 2024

Partition W by m not S in Miné's analysis
sim642
committed