chore: Shan-readiness — docs/AGENTS/.bazelversion + Verus quickstart doc#32

avrabe merged 1 commit into

mainpulseengine/gale:mainfrom

chore/shan-readiness-cleanuppulseengine/gale:chore/shan-readiness-cleanupCopy head branch name to clipboard