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 aud…

独立 GitHub 快照 · 自动分类 · 以原作者文档为准