tools - #1751

Open

daniel-noland wants to merge 13 commits into

mainfrom

pr/daniel-noland/spec-tooling

Commits on Aug 28, 2026

build(nix): add cargo-{expand,mutants,show-asm}

daniel-noland
and
claude
committed
46db3d6
build(just): html coverage report

daniel-noland
and
claude
committed
ffb1a41
build(just): bolero coverage budget

daniel-noland
and
claude
committed
79ec445
ci: authenticated pinact

daniel-noland
and
claude
committed
548ad98
build(nix): add duvet to dev toolchain

daniel-noland
and
claude
committed
a2725a0
build(nix): add deno

daniel-noland
and
claude
committed
e60f448
feat(spec): cross-check test against its impl

daniel-noland
and
claude
committed
7fd6a96
build(just): just recpies for duvet, cargo-mutants, interlock

daniel-noland
and
claude
committed
b628204
feat(spec): let interlock classify a mutant

daniel-noland
and
claude
committed
ece7478
feat(spec): mutant coverage

daniel-noland
and
claude
committed
ccf02aa
fix(spec): accept a mutant

daniel-noland
and
claude
committed
af4ac20
feat(spec): record the interlock output

daniel-noland
and
claude
committed
3594ad3
feat(spec): render compliance tables

daniel-noland
and
claude
committed
3230698