feat(policy): add agentic approval loop#1528

Draft

zredlined wants to merge 6 commits into

mainfrom

1097-agentic-policy-approval-loop

Commits on May 19, 2026

feat(policy): validate agent-authored proposals
zredlined
committed

Commits on May 21, 2026

feat(policy): agentic policy approval loop with prover-gated auto-approval
zredlined
committed
refactor(prover): emit categorical findings; drop severity tiers
zredlined
committed

Commits on May 22, 2026

Commits on May 23, 2026

feat(policy): manage approval mode via settings; reject _provider_ aliasing
zredlined
committed