Nothing like a bug behind a safety feature :)

That’s … not a bug.

A buggy assertion would be one that fires when the input is correct.

Assertions aren’t formal verifiers or replacements for a test suite.

Obligatory reference:)

https://www.youtube.com/watch?v=sVyRkl5qNb8

And year 0.

I think that is why making the contract visible in the docs/intellisense or similar is valuable: You will understand more about the expectations of the code. Even if are incomplete or partial...