cat-mode: Visual Proof authenticity defaults (Expected before capture) - #1207

cat-mode: Visual Proof authenticity defaults (Expected before capture)#1207

mergify[bot] merged 2 commits into

mainEdbertChan/catstack:mainfrom

stack/EdbertChan/automate-me/visual-proof-expected-20260928/cat-mode-require-expected-predicates-visual-proof--b9421a35EdbertChan/catstack:stack/EdbertChan/automate-me/visual-proof-expected-20260928/cat-mode-require-expected-predicates-visual-proof--b9421a35Copy head branch name to clipboard