feat: Logical properties#3218

Draft

LinKCoding wants to merge 2 commits intomainfrom

kl-gmt-1451-logical-props

Commits on Nov 21, 2025

denoting main branch
LinKCoding
committed

Commits on Nov 24, 2025

docs: update props for more modular organization (#3217)
LinKCoding
authored