Shareable benchmark table
Verified proofs per task and condition
Verified proofs out of 6 replicates in each curated task × condition cell. A run counts as verified only when the submitted test compiles on both revisions, fails on the vulnerable revision, and passes on the fixed revision.
Table 09 · Verified-proof outcomes
Verified proofs per task and condition
| Task (family) | Tool-assisted | Static (no tools) | Budgeted triage |
|---|---|---|---|
| share-inflation (asset/share rounding) | pending | pending | pending |
| reentrancy-withdraw (external-call ordering) | pending | pending | pending |
| uninitialized-treasury (initialization authorization) | pending | pending | pending |
Local feasibility study, 6 replicates per cell; not an official EVMbench score. Cells with no terminal run read "pending", never zero.
