Vacuity detection + repair ladder: fix setup root causes instead of filtering methods#41

Draft

shellygr wants to merge 13 commits into

shelly/ap-vacuity-repair

Commits on Jul 3, 2026

Add vacuous-method detection over per-rule sanity results

shellygr
and
claude
committed
Wire vacuity alert into prover reports and guard verify_spec stamping

shellygr
and
claude
committed
Register edit_config and write_mock repair tools for the authoring agent

shellygr
and
claude
committed
Teach author and judge prompts the vacuity repair ladder

shellygr
and
claude
committed
Prevent vacuity at autosetup time: payable-NONDET guard + optimistic_fallback recommendation

shellygr
and
claude
committed
Harden the vacuity guard: token-boundary filter matching, expect_rule_failure bypass

shellygr
and
claude
committed
Tighten the >=2-rules vacuity-detection arm to require no healthy instantiation

shellygr
and
claude
committed
Replace the lexical vacuity escape hatch with a structural acknowledgment ledger

shellygr
and
claude
committed
Hold write_mock output in graph state; materialize per-run and persist via the artifact store

shellygr
and
claude
committed