Make the proof and mutation gates say what they prove - #371

Merged

jserv merged 6 commits into

mainfrom

Sep 5, 2026

Commits on Sep 5, 2026

Emit verify profiles from the recipe's variables
jserv
committed
2a910c5
Report the frames WP invents for missing bodies
jserv
committed
83cedce
Contract the two proved functions that had none
jserv
committed
521b64a
Make the mutation gate say what it actually proves
jserv
committed
2f07662
Score a mutation only on goals its function owns
jserv
committed
fdf69ec
Test whether an exhausted mutant is merely slow
jserv
committed
b6ff88c