Add an NLI semantic-preservation quality gate

[cyzanfar]

Design an optional local NLI gate for rewrite candidates. It must be download-opt-in, cached, bounded, and tested with mocked inference. Document calibration limits and failure behavior.