Sessions are marked as "not fully verified" when they are
The output of why3 session marks each theory as "not fully verified" in big bright red even if all goals are proved (instead of "verified in xx.yy seconds").
Maybe this is linked to cumulative proof times no longer being displayed in the new IDE ?
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information