Lesson 0413 min
FINALIZE · HANDOFF · FAILURE

How Does a Final Result Reach the Market Safely?

Hand a final result to a prediction market and compare correct reports, unchallenged errors, and dispute correction.

OBJECTIVESAfter this lesson, you should be able to:
  • Separate finalization from downstream settlement handoff
  • Explain why an unchallenged wrong report can enter a market
  • Design a risk boundary for downstream systems that depend on outside facts
COURSE POSITIONStep 4 of 4
  1. PREVIOUSWhy Give a Wrong Report a Rebuttal Window?
  2. CURRENTHow Does a Final Result Reach the Market Safely?

    Hand a final result to a prediction market and compare correct reports, unchallenged errors, and dispute correction.

  3. NEXTFree sandbox
BEFORE YOU READ

Think about these questions first.

Choose an answer before opening the explanation. You can add anything unexpected to your review list.

Q01Why doesn’t FINAL mean absolutely true?
SHORT ANSWER

FINAL means the protocol’s dispute process ended, not that reality issued a proof. An unchallenged error can finalize legally, so downstream systems must know the source and assumptions they depend on.

Compared with your prediction:

Finalization is an oracle state transition, not automatic permission for a market to pay out. Hand the final result to a prediction market and compare correct reporting, an unchallenged wrong report, and dispute correction.

Finalization and settlement handoff are separate interfaces

The oracle first determines finalOutcome. A downstream market then reads it and begins payout. Separating the steps makes the dependency and handoff auditable and prevents duplicate settlement events.

ORACLE SIMULATION虚拟担保 · 非投资建议
ORACLE 001 · REPORT / CHALLENGE / FINALIZE

现实结果如何进入链上?

2028 年前,人类会再次踏上月球吗?

数据源状态来源冲突未经核验的社交媒体账户
数据源
02初始报告
03挑战窗口
04最终结果
当前阶段等待报告状态机
初始报告未报告尚未比较
最终结果未报告发送给市场结算
担保风险0积分锁定中
结算交接未交接等待最终化
FOCUS EXPERIMENT · SETTLEMENT结算交接

最终化只产生预言机结果。点击交接后,预测市场才获得一次明确、可审计的结算许可。

最终结果
未报告
接口状态
WAITING
现实证据与参与者实验真相可展开
揭开数据源记录(教学用真相)
YES

初报与官方记录相反,必须依靠挑战期纠错。

报告者Primary Reporter
可用积分
1,000
锁定担保
0
正确 / 错误
0 / 0
挑战者Challenger
可用积分
1,000
锁定担保
0
正确 / 错误
0 / 0

数据源是现实世界的输入;担保金是让参与者在错误报告时付出代价的激励。两者都不能被价格本身替代。

观察提示

预言机不是把 API 结果复制上链,而是把一组带激励、担保和争议流程的事实输入接入结算。

预言机事件2 EVENTS
  1. 02

    数据源为「未经核验的社交媒体账户」,状态 CONFLICTING。

  2. 01

    等待报告:2028 年前,人类会再次踏上月球吗?

ACTION HISTORYExperiment timeline
1 state snapshots

Use the slider to return to an earlier step. Continuing from there replaces the later history with a new sequence.

Initial state
View experiment records →
Expand: how this step works
oracle.finalize(outcome)
market.read(finalOutcome)
require !settlementAcknowledged
market.settle(winningPositions)

Prediction markets, lending liquidations, bridges, and insurance protocols all depend on similar interfaces. Downstream code should record source, time, challenge result, and risk policy rather than treating “a value exists” as “reality is certainly correct”.

KNOWLEDGE CHECK

Why make settlement handoff explicit after finalization?

LESSON RECAPComplete the exercise and knowledge check first