ci(devx): 让 type-check ledger 的余量可见、可一键抹平,并拒绝在未构建闭包上测量 (#6376) (#6510)

ci(devx): 让 type-check ledger 的余量可见、可一键抹平,并拒绝在未构建闭包上测量 (#6376) (#6510) #15347