ch11-05 mint binary position 的交易构造

返回本章

先跑通场景

这一节从 Predict 的用户动作切入：先确认用户或 operator 要提交哪些对象和参数，再回到源码看市场状态如何被约束。

源码入口

• packages/predict/sources/predict.move：mint<Quote> 与 quote_mint_amounts。
• packages/predict/sources/market_key/range_key.move：UP/DOWN sentinel。
• packages/predict/simulations/src/sim.ts：oracle refresh + mint 的 scenario 执行。

从仿真到交易

仿真 mintTx 把二元方向转换成 RangeKey：UP 使用 (strike, POS_INF]，DOWN 使用 (NEG_INF, strike]。随后调用：

tx.moveCall({
  target: `${PACKAGE_ID}::predict::mint`,
  typeArguments: [DUSDC_TYPE],
  arguments: [
    tx.object(predictId),
    tx.object(managerId),
    tx.object(oracleId),
    key,
    tx.pure.u64(quantity),
    tx.object("0x6"),
  ],
});

交易前必须 dev inspect 或本地重算 quote，确认 all-in ask 没超过用户 slippage bound。当前 predict::mint 源码没有把用户自定义 max cost 作为参数，因此应用层要么用 PTB 前模拟，要么等待协议/SDK 增加保护参数后再面向生产。

应用实现应把这一节绑定到 localnet 仿真和可签名 PTB，而不是绑定到未完成的 Predict Server。所有对象 ID 都来自配置或 setup state，交易提交前先 dry run，并把 gas、wallMs、Move abort 和对象变化写入结果摘要。

版本状态上，本章示例参考 packages/predict/simulations/* 与本地 packages/predict/sources/*。PREDICT_MIGRATION.md 中未完成的 Indexer、Server、部署脚本和 Oracle services 只能作为后续集成点。

Predict 应用判断

• UP/DOWN 只改变 RangeKey sentinel，不改变 predict::mint 入口。
• mint 前用 dev inspect 或本地 quote 计算 all-in ask，并与用户 slippage bound 比较。
• dry run 摘要记录 fair price、fee、manager withdraw、vault payment 和 position increase。

动手检查

• UP 和 DOWN 的 lower/higher sentinel 分别如何设置？
• 当前 mint 没有 max cost 参数时，应用如何保护用户？
• 二元 mint 失败最可能来自 oracle stale、余额不足还是 ask bound？