Skip to content

enforce lossless NodeFilter (forbid extras + kind applicability)#125

Merged
HumanBean17 merged 2 commits into
masterfrom
feat/lossless-nodefilter
May 14, 2026
Merged

enforce lossless NodeFilter (forbid extras + kind applicability)#125
HumanBean17 merged 2 commits into
masterfrom
feat/lossless-nodefilter

Commits

Commits on May 14, 2026