- UNKNOWN
- Returned when the input is malformed or required public context is missing. We never substitute demo values to make a report load.
- Static analysis
- Tools like slither and semgrep read the source without executing it. They surface known patterns; they do not prove or disprove an exploit.
- Source confidence
- A 0–100 measure of how much we trust the input data. The verdict is downgraded toward UNKNOWN as confidence drops.