Runs your code against a contract; returns HELD or BROKE at the exact input. Deterministic.
Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts — it cannot prove the absence of malicious code.
Runs your code against a contract; returns HELD or BROKE at the exact input. Deterministic.