Alter 'specialization' feature usage - #4

Draft

jadebenn wants to merge 3 commits into

mainfrom

alter-specialization

Commits on Aug 5, 2025

try using sound min-specialization feature instead of unsound specialization feature
jadebenn
committed
55bbac6
try fully removing specialization
jadebenn
committed
fc7c87b

Commits on Aug 8, 2025

revert removal
jadebenn
committed
8a6bc53