Cite the cat-mode rule by quote, not line number, and test the quote exists - #1384

Cite the cat-mode rule by quote, not line number, and test the quote exists#1384

EdbertChan wants to merge 1 commit into

stack/EdbertChan/reflect/prove-it-hooks-20261009/flag-absence-capability-claims-unverified-shaped--6f50c350EdbertChan/catstack:stack/EdbertChan/reflect/prove-it-hooks-20261009/flag-absence-capability-claims-unverified-shaped--6f50c350from

stack/EdbertChan/reflect/prove-it-hooks-20261009/cite-cat-mode-rule-quote-line-num-test-quote--3661d7e5EdbertChan/catstack:stack/EdbertChan/reflect/prove-it-hooks-20261009/cite-cat-mode-rule-quote-line-num-test-quote--3661d7e5Copy head branch name to clipboard