core.numericInvariant - LI.FI

core.numericInvariant guard 在模拟时针对某个 op 的输出 port 断言一个数值比较，将观测到的值转化为一个链上不变量。当你需要对产出的数量设置一个显式边界时使用它 —— 例如，要求某次存入至少返回一定最小数量的份额，或要求某个剩余余额恰好为零。与 slippage（以基点表示相对于预期数量的容差）不同，core.numericInvariant 针对你提供的一个绝对的 threshold 进行比较。它只针对 handle 输出。

Config

字段	类型	说明
`port`	string	要断言的 op 输出 port（一个 `handle`）。
`op`	`'gte' \| 'gt' \| 'lte' \| 'lt' \| 'eq' \| 'neq'`	以 `value <op> threshold` 形式应用的比较运算符。
`threshold`	string	用于比较的边界，以十进制整数字符串表示（基本单位，无小数）。

示例

要求一个 zap 的 amountOut port 至少产出 1000000 基本单位：

builder.lifi.zap('zap', {
  bind: { amountIn: builder.inputs.amountIn },
  config: {
    resourceOut: resources.erc20(A_ETH_USDC, 1),
  },
  guards: [
    guards.numericInvariant({
      port: 'amountOut',
      op: 'gte',
      threshold: '1000000',
    }),
  ],
});

关于附加 guards、解读失败和选择容差，参见 Build a Flow。