# compliance implementation plan
Status: implemented and verified.
## Work queue
- [x] `CMP-SINK` - recursive property and quantity application visitor.
- [x] `CMP-VALIDATE` - name, form, type, duplicate, enum, and policy checks.
- [x] `CMP-ADAPTER` - document the ifc-properties integration seam.
## Proof log
- Application and compliance tests exercise recursive sink traversal plus form, type, unexpected-member, and validity outcomes.