Issues

• Triaged: reported rust_toolchain attr-removal breakage does not reproduce (channel/iso_date/version, rocq_of_rust_source)

  question
  pulseengine/rules_rocq_rust#49 · Filter by author avrabe opened on Sep 22, 2026

• Nix install friction: 3 different installers in play, macOS /etc/zshrc gets wiped on OS updates

  bug
  pulseengine/rules_rocq_rust#48 · Filter by author avrabe opened on Sep 7, 2026
  1

• Explore: distribute the Rocq/OCaml toolchain via varve instead of (or on top of) Nix

  question
  pulseengine/rules_rocq_rust#47 · Filter by author avrabe opened on Sep 7, 2026
  3

• Feedback wanted: needs and wishes for rules_rocq_rust

  question
  pulseengine/rules_rocq_rust#46 · Filter by author avrabe opened on Sep 2, 2026
  1

• Adequacy gates: Print Assumptions auditing (now) + mCoq-style proof mutation (milestone) + name the translation trust boundary

  enhancement
  pulseengine/rules_rocq_rust#45 · Filter by author avrabe opened on Jul 28, 2026
  1

• Add CONTRIBUTING.md

  documentation
  pulseengine/rules_rocq_rust#39 · Filter by author avrabe opened on Jul 21, 2026

• Rocq 9.1 upgrade blocked by universe constraint error in RocqOfRust/M.v

  bug
  pulseengine/rules_rocq_rust#31 · Filter by author avrabe opened on Apr 3, 2026