[WIP] Remove old categories in favor of the new taxonomy field#434

Open

Jacob Wasserman (jwass) wants to merge 3 commits intodevfrom

remove-cateogry

Commits on Feb 5, 2026

Remove old categories in favor of the new taxonomy field
Jacob Wasserman (jwass)
committed
Update examples/counterexamples to remove categories field
Jacob Wasserman (jwass)
committed
Remove categories references from reference and package tests
Jacob Wasserman (jwass)
committed