Issues

• verus_test fails instantly on linux-x86_64 (E0463 can't find std) but passes on darwin-arm64 — bundled sysroot check is weaker than the requirement

  pulseengine/rules_verus#25 · Filter by author avrabe opened on Sep 7, 2026

• Feedback wanted: needs and wishes for rules_verus

  pulseengine/rules_verus#24 · Filter by author avrabe opened on Sep 2, 2026

• Vacuity gates: contradictory/redundant-assumption detection (Dafny-style) + trusted-base counting

  pulseengine/rules_verus#23 · Filter by author avrabe opened on Jul 28, 2026

• README "Formally Verified" badge mislabels the Verus toolchain

  pulseengine/rules_verus#22 · Filter by author avrabe opened on Jul 11, 2026

• Add Bazel sandbox support and improve production readiness

  enhancement
  pulseengine/rules_verus#5 · Filter by author avrabe opened on Mar 2, 2026

• Add Nix flake for reproducible development and build environment

  enhancement
  pulseengine/rules_verus#4 · Filter by author avrabe opened on Mar 2, 2026