[{"key":"access-control-vault","objective":"Seize ownership of the vault and drain its balance.","invariantCount":1,"stakeAmount":1000000,"poolRemaining":"14000000"},{"key":"rounding-vault","objective":"Extract more from the share vault than was ever deposited.","invariantCount":1,"stakeAmount":1000000,"poolRemaining":"0"},{"key":"reentrancy-vault","objective":"Withdraw twice before the vault updates its accounting.","invariantCount":1,"stakeAmount":1000000,"poolRemaining":"13000000"},{"key":"time-window-vault","objective":"Drain the allowance faster than the budget was sized for.","invariantCount":1,"stakeAmount":1000000,"poolRemaining":"0"}]