Audit a project-local verifier and feature map against source and live behavior. Use when either may be stale or hiding regressions.
