Add checked PSL entity references and explicit unchecked names - #30344

Merged

SevInf merged 9 commits into

mainfrom

generic-block-value-spec

Sep 22, 2026

Commits on Sep 22, 2026

feat(psl-parser): resolve checked entity references in lexical scope
SevInf
committed
e3c4490
fix(sql-contract-psl): preserve resolved inheritance identity
SevInf
committed
1466e2a
fix(mongo-contract-psl): distinguish checked bases from wildcard names
SevInf
committed
9a5d44f
fix(language-server): inspect checked references and unrestricted names
SevInf
committed
ca228b3
fix(psl-parser): resolve entity references from parse context
SevInf
committed
a955899
fix(psl-parser): interpret every accepted block attribute
SevInf
committed
e4243a1
fix(psl): address checked-reference review feedback

SevInf
and
claude
committed
ee5f15f
fix(psl): adapt checked references to multi-source parsing

SevInf
and
claude
committed
8044454
test(language-server): build default registries with data-type entries

SevInf
and
claude
committed
a3d6749