Issues

• [midnight adapter] enter gate id

  morpho-org/vault-v2#1040 · Filter by author MathisGD opened on Oct 1, 2026

• [midnight adapter] adapt vault docs to reentry

  morpho-org/vault-v2#1019 · Filter by author adhusson opened on Sep 28, 2026

• [midnight adapter] should a sentinel be able to remove a subRatifier

  morpho-org/vault-v2#1018 · Filter by author adhusson opened on Sep 28, 2026

• [midnight adapter] remove dedicated take function

  morpho-org/vault-v2#1017 · Filter by author adhusson opened on Sep 28, 2026

• [midnight adapter] remove fundingAdapter?

  morpho-org/vault-v2#1016 · Filter by author adhusson opened on Sep 28, 2026

• [midnight adapter] dedicated id for enterGate?

  morpho-org/vault-v2#1015 · Filter by author adhusson opened on Sep 28, 2026

• skip credit fetch when lossfactor unchanged

  morpho-org/vault-v2#999 · Filter by author adhusson opened on Sep 15, 2026

• [Certora] Properties about markets in MorphoMarketV1AdapterV2

  morpho-org/vault-v2#959 · Filter by author QGarchery opened on Jul 31, 2026

• [midnight adapter] The Midnight adapter has lower removal timelock than it seems

  morpho-org/vault-v2#922 · Filter by author adhusson opened on May 21, 2026
  1

• [Certora] Improve assumptions in AllocateDeallocateInputValidation spec

  morpho-org/vault-v2#888 · Filter by author bhargavbh opened on Jan 28, 2026
  2

  

• [Certora] Recover the decreaseTimelock case once it is fixed in CVL

  morpho-org/vault-v2#884 · Filter by author QGarchery opened on Jan 22, 2026

• [midnight adapter] durations hardcoding

  morpho-org/vault-v2#858 · Filter by author adhusson opened on Dec 5, 2025

• [Certora] Formal verification wish list

  morpho-org/vault-v2#137 · Filter by author QGarchery opened on Apr 30, 2025
  16