A mathematical tool that projects unsafe actions to safe ones, guaranteeing constraint satisfaction but potentially masking policy incompetence.