Set known-folded permission mask to empty if an unfold statement unfolds all permissions of a predicate#571

Draft

Dev-XYS wants to merge 2 commits intomasterfrom

yxiao_unfold_knownfolded_update

Commits on Jul 31, 2025

set known-folded permission mask to empty if an unfold statement unfolds all permissions of a predicate
Yushuo Xiao
committed

Commits on Dec 15, 2025

change to an alternative (simplified) encoding (known-folded mask update in unfold)
Yushuo Xiao
committed