Skip to content

fix(predicate): 空谓词与非谓词值不再是门 —— 收敛最后三处自带范围的判定 (#3955, #3957, #3960) - #3977

Merged
yinlianghui merged 1 commit into
mainfrom
claude/issue-3955-3957-3960-predicate-scope-converge
Aug 9, 2026
Merged

fix(predicate): 空谓词与非谓词值不再是门 —— 收敛最后三处自带范围的判定 (#3955, #3957, #3960)#3977
yinlianghui merged 1 commit into
mainfrom
claude/issue-3955-3957-3960-predicate-scope-converge