The only code-training data that ships with a machine-checkable proof. Each
record is a real insecure→fixed code footgun with a replayable RED→GREEN
receipt: a deterministic checker fails the insecure version and passes the fixed
one. You don't trust the labels — you replay the proof.
This repo is a free 40-record sample (receipt-only tier). The full corpus is
4,183 proven records across 154 SDKs and 9 vulnerability classes… See the full description on the dataset page:
https://huggingface.co/datasets/dsb117/brainblast-verified-footgun-corpus.