Thanks a lot, glad you liked it overall!
Totally agree on both points:
Ceiling jumps — some platforms are placed pretty close to the gaps, which makes your jump hit the arch right when you need height, and it feels weird. It's a level generation tuning issue, not intentional, it was to save time.
The music is completely synthesized live (no audio files), and the overall volume was set cautiously to avoid distortion. By default, it’s louder than it should be, my bad.
Not Pico-8, actually, I made a game engine and am trying to test its limits. Pico-8's constraints would honestly have made some things easier!
Thanks for taking the time to play and point that out — super helpful.