merge queue: checking #302 on main (2dc9a9f) - #314

Closed

mergify[bot] wants to merge 2 commits into

mainfrom

mergify/merge-queue/d6da425310

Commits on Sep 9, 2026

skills: decompose prove-it into a principle plus four evidence products

edbert-bot
and
claude
committed
251d82e
Merge of #302
mergify[bot]
committed
53d0acf