verdict: carry typed guidance on rewrite-required refusals - #38

Merged

Kiran01bm merged 8 commits into

kiran01bm/rewrite-required-guidancefrom

kiran01bm/verdict-rewrite-guidance

Aug 17, 2026

Commits on Aug 17, 2026

Add strategy-wide execution progress tracking
Kiran01bm
committed
ff81fb7
Address PR review: serialize pollers, unify clocks, cover WithProgress API
Kiran01bm
committed
c4fe274
Merge pull request #37 from block/kiran01bm/rewrite-required-guidance
Kiran01bm
authored
0659020
Version the progress contract and pin the TCB import boundary
Kiran01bm
committed
5cce912
Merge pull request #41 from block/kiran01bm/e6-progress
Kiran01bm
authored
a3008a7
verdict: carry typed guidance on rewrite-required refusals
Kiran01bm
committed
c2a6ff9
cli: test refused-verdict guidance offline; expand text help
Kiran01bm
committed
f89e30e
verdict: keep rewrite-required detail shape-neutral
Kiran01bm
committed
048096a