Implementation checker, policy checker, reporter, and fixer