chore: Merge develop into master#645

Merged

buddh0 merged 7 commits intomasterfrom

Sep 25, 2025

Commits on May 16, 2025

Commits on May 22, 2025

fix: update the flatten.sh script (#633)
zzzckck
authored

Commits on Jul 7, 2025

docs: to compile with solc (#634)
zzzckck
authored

Commits on Sep 15, 2025

docs: 'no-commit' removed for forge from 2023 (#644)

MatusKysel
and
allformless
authored

Commits on Sep 20, 2025

fix: fix unit test (#648)
allformless
authored

Commits on Sep 25, 2025

feat: change value scope for penalty params (#647)
allformless
authored