Flag absence and capability claims as unverified-shaped in diu-stop - #1383

Flag absence and capability claims as unverified-shaped in diu-stop#1383

EdbertChan wants to merge 16 commits into

stack/EdbertChan/reflect/prove-it-hooks-20261009/list-run-check-first-unverified-claim-notice-stop--7b3f426fEdbertChan/catstack:stack/EdbertChan/reflect/prove-it-hooks-20261009/list-run-check-first-unverified-claim-notice-stop--7b3f426ffrom

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--6f50c350Copy head branch name to clipboard