メニュー
Alias for improve-test-leverage running ONLY the consolidation pipeline — shrink test count and LOC while holding every kill. Replaces example clusters with properties, deletes tests that restate laws, merges redundant properties.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Orchestrates a coverage + mutation improvement cycle tuned to cats-eo's algebraic structure. Reads scoverage + stryker4s reports, triages surviving mutants, and drives every test artifact UP the promotion ladder (examples → property → law) so the suite kills more mutants with FEWER test lines. Phases live in phases/*.md, each with its own model assignment. Mandatory consolidation and law-scan phases close every run; law promotion is user-gated. Supports a measured eval-optimization loop ("loop" argument).
Alias for improve-test-leverage biased to killing currently-surviving mutants and covering uncovered branches — the gap-closing mode. Use when the QA page shows survivors or NoCoverage clusters that should be dead.
Alias for improve-test-leverage biased to ADD moves that raise the suite's promotion-ladder stage — ruleset registrations, composed-optic laws, negative fixtures, properties replacing examples. Use to raise mutant-kill capacity per test line.
Use cats-eo (existential optics for Scala 3) to specify pinpointed read/write operations on nested case classes, JSON byte buffers, Avro records, or circe ASTs. One Optic[S, T, A, B, F] trait, several carriers, uniform .get/.modify/.replace/.foldMap/.andThen surface.
| name | test-prune |
| description | Alias for improve-test-leverage running ONLY the consolidation pipeline — shrink test count and LOC while holding every kill. Replaces example clusters with properties, deletes tests that restate laws, merges redundant properties. |
| model | opus |
Alias for improve-test-leverage. Run phases 1, 6 and 8 of
.claude/skills/improve-test-leverage/ (reports → consolidate → report):
pure reduction. The whole point is phase 6
(phases/consolidate.md) — N examples to one property, properties to
ruleset registrations, deletion of law-restating tests — with its
zero-kill-regression eval. Acceptance: net_test_lines_added < 0 and
suite_test_count strictly reduced, kills held (measured, not assumed).
Law candidates that surface during folding are queued for phase 7's user
gate.
Arguments pass through (module focus narrows the inventory).
Announce as: "Using improve-test-leverage (test-prune alias) — pure reduction."
