Adds covers/uses metadata, per-example strict coverage checks, and traceability suggestions for RSpec.