Skip to content

Research: audit PR #2542's set/word pruning and refute its minimum-length degree-filter justification - #3215

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
commdata2338:f7-set-word-pruning-boundary
Oct 17, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
commdata2338:f7-set-word-pruning-boundary

Commits

  1. Commits on Oct 17, 2026