产品
牌桌、钱包、证明公平与结算流程。所有资金相关能力都标注托管状态与最终性级别。
产品构成
TABLES
牌桌
桌级软确认链提供毫秒级下注反馈：每个操作进入 SoftConfirmFrame（index / prev_hash / op / state_root / ts_ms，ed25519 签名）。devnet 压测买入软确认 p50 2.1ms / p99 3.5ms（64 桌 × 50 手，门槛 100ms）。桌与费率策略在开桌时绑定，无更新路径。
WALLET
钱包（wallet-core）
共享钱包核心 wallet-core 由并行工作提供：note 托管、密钥派生、软确认验证与证明校验复用同一套实现；浏览器插件与独立应用按路线图（plan §6.12）推进。当前 devnet 阶段通过 CLI 完成 note 管理与验证。
PROVABLE FAIRNESS
证明公平
每手牌可产出真实 STARK 证明（Texas canonical AIR，stwo circle-STARK，Stark curve）：盲注镜像、下注序列、终态与守恒关系都被 AIR 约束覆盖。验证入口见证明页，技术细节见证明系统文档。
SETTLEMENT
结算流程
结算语义单一事实源 poker-settlement-core：SettlementPlan / SidePot / RunoutSchedule / PayoutVector / rake。pot 从已验证状态派生（不作为独立可信输入），输出结构由 payout_root 完整绑定，玩家签名覆盖精确赔付。
玩家流程（devnet / PLAY）
- 启动或接入 devnet 节点（15 分钟 quickstart）。
- 创建 PLAY note（铸币/充值入口由运营方提供；devnet 用本地铸币）。
- Buy-in 进入牌桌，下注操作获得 soft accepted（显示 frame index 与状态根）。
- 手牌结束：读取 SettlementPlan、rake 与 payout root。
- 在证明门户或本地 CLI 验证手牌证明。
示例不得默认使用 REAL 或真实外部地址（文档最低要求，plan §6.4）。
REAL 流程（v1 托管边界）
REAL 当前处于协议实现完成、运营未开放状态：结算出证策略默认 StarkRequired（fail-closed），提现要求连续 proven 水位 + 批次根双重 finality。但 ForceInclude、BFT checkpoint 与链上出入金尚未完成，因此 REAL 不对公众开放充值。
- 充值：托管账 + 对账 + 幂等已实现（M7 托管侧）；链上侧接线未完成。
- 提现：
WithdrawRequest需 provenance + 批次根证据，未达 finality 门槛即拒绝（WithdrawalNotFinalized）。 - 不可无信任提现：permissionless claim 需等 Vault verifier 上线（Phase 2）。
本页所有资金相关能力均受服务条款与风险披露约束。软确认不是最终确认；当前网络为 devnet 托管网络。