Clément Burgelin (Zyf)

Beatmap covers API endpoints return images of the old format for most non-recent graveyard maps

3

The size of images returned by the beatmaps covers endpoints of the assets API seems to have changed a while ago (since May 26th 2021 with https://github.com/ppy/scthumber/pull/1 ?), but ___most___\*...

osu!mania pp calc : scoreMultiplier ignoring NF mutliplier seems contradictory

1

### Facts The scoreMultiplier retrieved here considers all mods multipliers except NF (because NF is "masked out") : https://github.com/ppy/osu-performance/blob/master/src/performance/mania/ManiaScore.cpp#L70 This makes all NF scores still have a score value bellow...

induction lemma with forall ensuring clause is sometimes wrongly marked as invalid

1

In the example bellow, it is easy to see that the updateValid and updateValid2 lemma are equivalent but the updateValid lemma is easily proven while the updateValid2 is considered INVALID...

Map repeat detection

2

Detect if a map is picked twice in the same hour or so (configurable ?) and forbid it

Example :  As I originally reported it on the osu-web github, you can get more info here : https://github.com/ppy/osu-web/issues/4571

Implement a dynamic health processor that has no drain but scales on map density

6

The main purpose of HP drain was to make each individual error more costly on slow parts where the density is lower. However, the previous algorithms based on HP drain...

Screen scaling on linux - Cursor restrained to the upper-left part of the screen after alt-tab

9

### Type Game behaviour ### Bug description I'm on Linux (Arch with KDE on Xorg) I play on a 2560x1440 but I reduced the game to 1920x1080 using screen scaling...

(Was observed today on cutting edge b20251221, but it's not the first time I observe this) How to reproduce: 1- Turn seasonal background to "Always" 2- F2 in song select,...