Moonwell还过本金仍有债务：核含息余额、实际偿还量与shortfall
链小知 · 进阶 · 核验 · 依官方文档整理
沿Core偿还路径检查本金、计息时点、协议结果与剩余债务，避免把Credit Remaining=0直接写成已清算。
开始前准备
- 准备本人已有Core借款市场/账户读数、原偿还金额、网络、资产精度、回执或失败内容，以及同一时点的Comptroller健康材料。
- 方法参照当前文档与9a8b980…固定源码；只documentation，不读取真实账户、调用方法或执行Approve/Repay。
1. 找到借款资产对应的偿还入口
官方路径可从Markets→债务资产→Borrow→Repay，或Portfolio→Open Positions→目标资产Repay。先确认还的是借出的底层资产，而不是抵押资产或mToken。
对照Contracts表的链和mToken；代理/版本也需相符。2024 Base WELL迁移只针对Wormhole WELL代币，不能据此认定借款仓位已搬到另一市场。 Moonbeam已在2026-07-31月报记录sunset及暂停新增业务；旧债务/余额只作历史仓位，当前偿还可执行性需另核，不从地址表或无暂停设计推保证。
检查结果：原债务、资产和Repay入口对应同一Core市场。
2. 以含息余额核偿还需求
把本金与含息borrowBalance分开。固定borrowBalanceStoredInternal按principal×市场borrowIndex/账户interestIndex计算；Stored不先累计，borrowBalanceCurrent先accrueInterest再返回。
当前技术与固定源码采用timestamp差计息，部分2026帮助仍用per-block描述。保存原读数时点、累计时点与版本，不能把秒利率直接当每块率或把旧本金当全额债务。
检查结果：本金/含息余额、指数与累计时点区分，未跨版本年化。
3. 区分固定偿还量与全额方法
核原请求的repayBorrow(amount)：amount是底层资产原值。当前Core文档允许type(uint).max表示全额，固定实现先计息后用真实债务替换该特殊输入；它不是用户应转入无限多代币的数额。
确认原Approve对象、资产和额度是否覆盖真实偿还量。授权完成只是允许扣款，不能代替Repay完成；原生资产/router的流程也不能直接套ERC20 approve，不清楚版本就保留待核。
检查结果：原请求金额/全额语义、资产与授权层分别明确。
4. 核actualRepayAmount与剩余债务
已有回执时查看RepayBorrow的payer、borrower、repayAmount、accountBorrows与totalBorrows（分别为实际转入量及更新后债务值），payer与被减债的borrower可能不同。固定实现根据doTransferIn实际收到量更新债务，不能只看用户输入金额。
再核本人剩余借款读数时点；只还初始本金或部分还款自然可能仍有利息债务。非0返回码、余额/授权转账失败及revert分开记录，不能将提交窗口关闭当成功。
检查结果：实际资产偿还量与对应borrower债务减少可追溯。
5. 把账户借款余量和清算结果分开
getAccountLiquidity返回error、liquidity、shortfall，美元值18位。先核error=0，再判断短缺；PRICE_ERROR或SNAPSHOT_ERROR后的0不能当健康。市场getCash与账户liquidity不是同一个数。
固定liquidateBorrowAllowed需要shortfall>0，并检查市场和closeFactor等条件。边界liquidity=0且shortfall=0没有安全缓冲，但不等已发生清算；也不把帮助页7%/3%或50%例子当本人当前部署参数。
检查结果：无缓冲、存在短缺、可清算与实际清算结果分别判定。
6. 核解除抵押和退出是否还受约束
还清某资产不等整个Comptroller账户都无债务；检查其他债务和assetsIn。exitMarket在该市场仍有借款或退出导致抵押短缺时会失败，偿还成功也不保证市场有现金可提。
最终对照正确资产、实际还款、剩余债务与健康时点；如已有清算结果，另核抵押被扣变化，不拿债务减少直接冒充主动还款或资金接收。
检查结果：还款结果与剩余全账户债务、抵押退出条件对应；没有自动提现结论。
怎样确认完成
- 已定位债务残留来自利息/部分偿还、实际转入不足、错误、时点或市场身份等已证因素。
- 原还款与对应账户含息债务及健康结果可核，没有重复偿还或自动到账承诺。
常见错误与边界
- getAccountSnapshot返回Stored数据，不是刚累积到现在的全额还款报价。
- 交易成功与协议返回0、债务减记不同；Credit Remaining=0不等清算已经完成。