Everything you can check
Proof
The contracts that hold the money, the tests behind them, and every decision Lifeboat has made, with the model, the tokens it read, what it cost, and whether the model or a hard rule made the call.
48
engine unit tests: policy and engine/test
Contracts
Reading config
The keeper can call exit and move. Exit pulls money from a vault back into the account; move does that and then deposits into another vault the owner approved. Neither can send money to any other address. Only the owner can withdraw, sweep, pause the keeper or change the approved list.
The watcher
Decision records
Reading decision records