aoa-invariant-coverage-audit

Audit whether existing tests and checks actually constrain the stable invariants that matter. Use when you need to judge if current coverage proves a rule or only repeats examples, and you want the smallest bounded follow-up gaps. Do not use when the invariant itself is still undefined or when the real task is to author new invariants rather than audit cove…

Independent GitHub snapshot · Automated classification · Original documentation governs