Add verification groups: agent-declared parallel prover runs with per-group summarization - #207

Closed

jar-ben wants to merge 13 commits into

jaroslav/verification-groups

Commits on Sep 4, 2026

composer: agent-declared verification groups — split rules into parallel prover runs
jar-ben
committed
803beaf
feedback judge: surface the verification-group plan so per-group summaries aren't false-flagged
jar-ben
committed
e65b4d8
grouping: per-group opt-in summaries, drop the shared palette and autogrouping
jar-ben
committed
38214bf
grouping: finalize the verification-groups carve for a standalone PR
jar-ben
committed
46cdd9e
grouping: reject over-cap group declarations instead of silently auto-merging
jar-ben
committed
20cede8
grouping: correct the owned-rules filter rationale in the docstrings
jar-ben
committed
84d6f44
grouping: GroupDeclaration carries its rules (drop the threaded property_rules dict)
jar-ben
committed
4e3cff4
grouping: collapse GroupDeclaration into VerificationGroupSpec
jar-ben
committed
bb3fcee
grouping: collapse GroupDeclaration into VerificationGroupSpec
jar-ben
committed
a0bba1a
grouping: don't expose per-group conf to the agent (defer with guardrails)
jar-ben
committed
da0df2c
grouping: raise default verification-group cap 4 → 6
jar-ben
committed
b8f3e3a
grouping: polish — base-summary docs, drop dead seam, reject-only cap
jar-ben
committed
80677ce
grouping: dedup post-run bookkeeping, name STUCK_STATUSES, tidy comments
jar-ben
committed
3adc9a3