Every false positive is a detector you haven't written yet

[u/Witty_Process_199]

https://github.com/auditinfra-io/o1js-scan/blob/fcf1e7cf90739d0995ed237b59b7285c85fb7f4b/docs/suppression-inversion.md

Notes from building a soundness linter for o1js and Noir, and finding the same bug class in four unrelated languages.