Governance impact verification for DeFi protocols. Historical replay of executed Compound governance proposals — about · dataset · API · plain-text summary for AI agents
getHypotheticalAccountLiquidity response. Route B recomputes it independently from exchangeRateStored, getUnderlyingPrice and the CF arithmetic. Agreement within 1 wei means neither path drifted.cf_before, so integer truncation loses up to 1 wei per account; Route B does not truncate. Every disagreement in this corpus is that truncation artefact (CR141-INV-001), and the flip sets — the thing the verdict rests on — agree exactly: 474 predicted = 474 observed. A disagreement count here measures arithmetic rounding, not a modelling error.
pid 295 flips 53 of 1,023 targets (5.18%), pid 71 flips 9 of 8,584 (0.10%). Ranking by raw flip count hides a 50× spread.cf_after.predicted to the wei. Borrow impact is 0 by construction: a CF change moves collateral,
not debt.
cd rerun_package && python3 verify_hashes.py
dashboard_data.json at build time.| PID | Exec block | Markets | Targets | Predicted transitions | Observed transitions | Exact set equality |
|---|---|---|---|---|---|---|
| 44 | 12370865 | 1 (cREP) | 1,000 | 6 | 6 | yes |
| 56 | 13039770 | 5 (CAAVE, CLINK, CMKR, CSUSHI, CYFI) | 223 | 0 | 0 | yes |
| 66 | 13583937 | 6 (CAAVE, CLINK, CMKR, CSUSHI, CUSDC, CYFI) | 5,334 | 0 | 0 | yes |
| 69 | 13635170 | 4 (CLINK, CMKR, CSUSHI, CYFI) | 484 | 0 | 0 | yes |
| 71 | 13699346 | 4 (CBAT, CDAI, CETH, CZRX) | 8,584 | 9 | 9 | yes |
| 72 | 13765755 | 3 (CCOMP, CUNI, cWBTC) | 3,157 | 0 | 0 | yes |
| 74 | 13841132 | 3 (CBAT, CLINK, CWBTC) | 3,334 | 0 | 0 | yes |
| 81 | 14030172 | 1 (CETH) | 6,937 | 0 | 0 | yes |
| 85 | 14292829 | 6 (CAAVE, CLINK, CMKR, CSUSHI, CUNI, CYFI) | 1,635 | 0 | 0 | yes |
| 90 | 14430843 | 3 (CMKR, CSUSHI, CZRX) | 1,675 | 0 | 0 | yes |
| 98 | 14563136 | 2 (CSUSHI, CYFI) | 170 | 0 | 0 | yes |
| 103 | 14700684 | 2 (CAAVE, CMKR) | 205 | 0 | 0 | yes |
| 107 | 14879331 | 5 (CDAI, CLINK, CMKR, CUSDC, CYFI) | 7,332 | 0 | 0 | yes |
| 108 | 14959593 | 5 (CAAVE, CLINK, CSUSHI, CUSDC, CYFI) | 5,112 | 0 | 0 | yes |
| 111 | 15077600 | 2 (CDAI, CUSDC) | 7,055 | 0 | 0 | yes |
| 133 | 15911677 | 1 (CSUSHI) | 168 | 0 | 0 | yes |
| 186 | 18385597 | 7 (CAAVE, CCOMP, CLINK, CMKR, CSUSHI, CYFI, CZRX) | 2,674 | 21 | 21 | yes |
| 190 | 18519451 | 7 (CAAVE, CCOMP, CLINK, CMKR, CSUSHI, CYFI, CZRX) | 2,666 | 19 | 19 | yes |
| 193 | 18612241 | 7 (CAAVE, CCOMP, CLINK, CMKR, CSUSHI, CYFI, CZRX) | 2,660 | 21 | 21 | yes |
| 200 | 18762889 | 7 (CAAVE, CCOMP, CLINK, CMKR, CSUSHI, CYFI, CZRX) | 2,641 | 22 | 22 | yes |
| 213 | 19062517 | 8 (CAAVE, CBAT, CCOMP, CLINK, CMKR, CSUSHI, CYFI, CZRX) | 3,320 | 45 | 45 | yes |
| 214 | 19161536 | 8 (CAAVE, CBAT, CCOMP, CLINK, CMKR, CSUSHI, CYFI, CZRX) | 3,317 | 47 | 47 | yes |
| 217 | 19262734 | 8 (CAAVE, CBAT, CCOMP, CLINK, CMKR, CSUSHI, CYFI, CZRX) | 3,312 | 33 | 33 | yes |
| 243 | 19760928 | 9 (CAAVE, CBAT, CCOMP, CLINK, CMKR, CSUSHI, CUNI, CYFI, CZRX) | 3,596 | 38 | 38 | yes |
| 252 | 19960052 | 8 (CAAVE, CCOMP, CLINK, CMKR, CSUSHI, CUNI, CYFI, CZRX) | 2,926 | 35 | 35 | yes |
| 295 | 20470106 | 1 (CCOMP) | 1,023 | 53 | 53 | yes |
| 301 | 20519734 | 9 (CAAVE, CBAT, CLINK, CMKR, CSUSHI, CUNI, CUSDC, CYFI, CZRX) | 5,468 | 65 | 65 | yes |
| 352 | 21063478 | 9 (CAAVE, CBAT, CLINK, CMKR, CSUSHI, CUNI, CWBTC, CYFI, CZRX) | 3,637 | 60 | 60 | yes |