2025-11-24

What's Changed

• audit: chainsecurity update by @MathisGD in #765
• audit: blackthorn audit update by @MathisGD in #766
• docs: submit change to timelock of decreaseTimelock by @QGarchery in #767
• docs: donations and penalties attrack opportunistic depositors by @QGarchery in #768
• style: V1/V2 naming hamonization by @MathisGD in #770
• add some missing tests by @adhusson in #752
• [Certora] Exchange rate by @colin-morpho in #542
• docs: rename standard vault by @MathisGD in #772
• [Certora] Relative caps by @colin-morpho in #704
• audits: spearbit 1 and 2 by @MathisGD in #775
• [Certora] View reentrancy by @QGarchery in #769
• Document view reentrancy by @QGarchery in #776
• [Certora] Abdication per function by @MathisGD in #762
• Foundry v1.4.1 by @QGarchery in #778
• [Certora] Review chainsec specs by @QGarchery in #780
• [Certora] Registry by @MathisGD in #736
• fmt (foundry update) by @MathisGD in #785
• audits: add competition by @MathisGD in #784
• Clarify withdraw through force deallocate by @QGarchery in #787
• [Certora] Remove munging of VaultV2 by @QGarchery in #783
• Fetch submodules via https by @QGarchery in #792
• [Certora] Properties about marketParamsList by @QGarchery in #777
• fix: try to fix foundry.yml by @adhusson in #805
• ci: run test in isolate too by @MathisGD in #803
• [Certora] Import Chainsecurity specs by @QGarchery in #621
• [Certora] Allocations from adapters by @colin-morpho in #686
• [force remove] burn shares fix+tests for #789 by @adhusson in #817
• [force remove] share price check for #789 by @adhusson in #818
• chore/remove-id-type by @MathisGD in #823
• Fix verif and modules by @QGarchery in #825
• verif: simplify gate by @MathisGD in #820
• [force remove] gas savings with adaptive curve irm only by @adhusson in #816
• Fix verif allocation market v1 adapter by @QGarchery in #826
• feat: remove allocation from storage by @MathisGD in #827
• Fix verif remove alloc by @QGarchery in #828
• MarketV1AdapterV2 by @MathisGD in #789

Full Changelog: 2025-09-15...2025-11-24