Skip to content

Progress

The Progress tab lists every audit run — running or done — with its full shard queue underneath, grouped by function and colored by status. This is the same queue claims and verify act on: for a corral certify --local run, a shard is one mutant-generator seat’s slice of the file (a group of functions, balanced by complexity); a shard shown as “claimed” is being planted, mutated, and run against the dev suite right now, and one shown as “pending” is waiting for a free seat.

The Progress tab showing two audit runs: “certify more-itertools: full_permutation” (DONE, 20/20 mutants resolved, kill-rate 18/20, 2 survivors — 1 proven, 1 unproven) with its full plant→dev-run→test-write→critic-review chain complete, and “certify passwd.go: Valid” (RUNNING, 6/8 mutants resolved) with the mutant-plant and dev-suite-run shards done, a test-write shard claimed by claude-sonnet-5/test-writer, and the remaining critic-review shard still pending