# DF-2987 evidence pack

## What
refcount_release/_n have no underflow floor or INVARIANTS assert

## Verdict
status=reproduced impact=none confidence=certain

See VERDICT.md for the full narrative and fix.diff for the verified fix.