By: Tom Sydney Kerckhove <syd@cs-syd.eu>
Mutation redundancy: coverage-basis subcommand (P2) Add the 'redundancy' driver subcommand with --basis coverage: pure post-processing of the cached augmented manifest(s). Builds the per-suite test->reached-mutations relation (coverageRelations), runs analyzeRedundancy, and writes redundancy.json (a JSON array, one report per suite) + a coloured redundancy.txt, mirroring the diff runner's artifact handling. renderRedundancyReport renders all lenses with basis-appropriate wording (reaches vs catches). Tests: coverageRelations unit test + golden renders for kill/coverage/empty. The 'kill' basis is stubbed pending P3.