// Package wallet 定义代理主钱包的资金边界与信用额度不变量。
package wallet