merge queue: checking #519 on main (344657b) - #585

Closed

mergify[bot] wants to merge 3 commits into

mainfrom

mergify/merge-queue/6d4cdcd9b0

Commits on Sep 14, 2026

[Hooks Cannot See] (2) Require the output to entail the claim, not merely agree

EdbertChan
and
claude
committed
eaa9504
principle-prove-it: example where the pasted output is narrower than the claim

EdbertChan
and
claude
committed
2371e0a
Merge of #519
mergify[bot]
committed
4450708