Skip to content

fix(proofs): a pinned Agda receipt for DOM-1/2, PWG labels, and no silent proof skips - #126

Open
hyperpolymath wants to merge 4 commits into
mainfrom
claude/new-session-th4e9w-proof-honesty
Open

fix(proofs): a pinned Agda receipt for DOM-1/2, PWG labels, and no silent proof skips#126
hyperpolymath wants to merge 4 commits into
mainfrom
claude/new-session-th4e9w-proof-honesty

docs(proofs): say exactly what --safe rejects

fc86a4c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar