johba/harb
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request 'fix: evidence/README.md schema should be updated to include candidate_commit and methodology fields (#1086)' (#1146) from fix/issue-1086 into master

Browse source
This commit is contained in:
johba 2026-03-24 22:42:25 +01:00
commit 56d46aa307
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
evidence/README.md
View file

@ -235,6 +235,7 @@ Records one adversarial red-team run against a candidate optimizer.
"lm_eth_after": 998500000000000000000, "lm_eth_after": 998500000000000000000,
"eth_extracted": 1500000000000000000, "eth_extracted": 1500000000000000000,
"floor_held": false, "floor_held": false,
"methodology": "Each attack is snapshot-isolated: Anvil snapshot before, execute, measure, revert.",
"verdict": "floor_broken" | "floor_held", "verdict": "floor_broken" | "floor_held",
"attacks": [ "attacks": [
{ {
@ -258,6 +259,7 @@ Records one adversarial red-team run against a candidate optimizer.
| `lm_eth_after` | integer (wei) | LM total ETH at end | | `lm_eth_after` | integer (wei) | LM total ETH at end |
| `eth_extracted` | integer (wei) | `lm_eth_before - lm_eth_after` (0 if floor held) | | `eth_extracted` | integer (wei) | `lm_eth_before - lm_eth_after` (0 if floor held) |
| `floor_held` | boolean | `true` if no ETH was extracted | | `floor_held` | boolean | `true` if no ETH was extracted |
| `methodology` | string | How the red-team run was conducted (e.g. snapshot-isolation procedure, measurement tool, revert strategy). Free-text; should be detailed enough to reproduce the run independently |
| `verdict` | string | `"floor_held"` or `"floor_broken"` | | `verdict` | string | `"floor_held"` or `"floor_broken"` |
| `attacks[].strategy` | string | Human-readable strategy name | | `attacks[].strategy` | string | Human-readable strategy name |
| `attacks[].pattern` | string | Abstract op sequence (e.g. `wrap → buy → stake`) | | `attacks[].pattern` | string | Abstract op sequence (e.g. `wrap → buy → stake`) |