2026-07-08

What's Changed

• chore: lint unchecked cast by @MathisGD in #855
• chore: lint in ci by @MathisGD in #853
• [Certora] Revamp sentinel liveness by @QGarchery in #773
• ci: refactor workflow files by @MathisGD in #861
• docs: caps and donations by @MathisGD in #850
• MarketV1AdapterV2 audits by @MathisGD in #865
• [Certora] Reverts by @QGarchery in #834
• [Certora] Remove market liveness by @QGarchery in #781
• [Certora] Use dispatcher false by @QGarchery in #856
• [Certora] Remove factory verification by @QGarchery in #857
• refactor imports certora by @QGarchery in #869
• [Certora] Bound expected supply assets by @QGarchery in #860
• fix: revert submodule update by @QGarchery in #870
• Reword slippage check comment by @QGarchery in #867
• Add Certora audit by @QGarchery in #871
• last spearbit audit by @MathisGD in #830
• fixed earliest-executable-time formula in the doc. Now consistent with the certora spec by @bhargavbh in #872
• [Certora] initialization of contracts by @QGarchery in #879
• [Certora] prove revert equivalence for transfer and transferFrom by @bhargavbh in #873
• [Certora] Total assets is up to date by @QGarchery in #881
• feat: add fee vault by @qdrn in #883
• [Certora] Earliest time to execute by @QGarchery in #835
• [Certora] mint & redeem similarity by @QGarchery in #882
• docs: warn about indexed value by @adhusson in #886
• [Certora] Prove revert conditions for allocate, deallocate, setName, setSymbol by @bhargavbh in #877
• Document init assets to seed by @QGarchery in #895
• Recover optimal IKR amount in test by @QGarchery in #898
• [Certora] feat: Skim by @bhargavbh in #887
• [Certora] accrueInterestView revert conditions by @bhargavbh in #897
• [Certora] Refresh and cancel (WIP) by @QGarchery in #892
• [Certora] Run action by @QGarchery in #891
• ci: pin GitHub Actions refs to commit SHAs by @prd-carapulse[bot] in #911
• test and compare bytecode with an old foundry by @MathisGD in #909
• Revert using the certora action by @QGarchery in #915
• fix CI forge 1.7 by @QGarchery in #919
• [Certora] remove balanceOf exception to reentrancy by @QGarchery in #926
• ci: do not use foundry in certora ci by @MathisGD in #928
• Review whitelist by @QGarchery in #929
• whitelist send assets gate by @MathisGD in #923
• whitelist receive shares gate by @MathisGD in #930
• feat: add whitelist gate role setter by @prd-carapulse[bot] in #935
• config forge-old by @QGarchery in #934
• Update documentation for receiveSharesGate by @MathisGD in #933
• multi-whitelisters by @prd-carapulse[bot] in #936
• chore: rename whitelister role event param by @prd-carapulse[bot] in #938

New Contributors

• @bhargavbh made their first contribution in #872
• @prd-carapulse[bot] made their first contribution in #911

Full Changelog: 2025-12-04...2026-07-08