- [ ] Implement constraint checker state machine generation - [ ] Integrate into matcher engine - [ ] Update tests