LibraryData and agents2018Design paperCorpus record
Reality.eth: bonded questions and arbitration
Reality.eth. Reality.eth.
Reality.eth publishes a question that anyone can answer with a bond, and anyone can replace by posting a larger bond, with arbitration as the last step the contract names.
A reading of the project's public design document. Not a copy, not a benchmark, and not an offer.
Reality.eth publishes a question that anyone can answer with a bond, and anyone can replace by posting a larger bond, with arbitration as the last step the contract names.
- Evidence
- Primary paper
- Re-measured
- No
- Assumptions
- 3
- Records linked
- 3
01 Claim ledger
What the paper is allowed to say
Each row is a sentence already in the study. The status is the same on every row: a model claim, not a live measurement.
Claim 01 · Paper model
The defect
A bonded answer is not the truth. It is the answer that has not yet been replaced by a larger bond or by the arbitrator.
Claim 02 · Paper model
The proposal
Reality.eth publishes a question that anyone can answer with a bond, and anyone can replace by posting a larger bond, with arbitration as the last step the contract names.
Claim 03 · Paper model
The mechanism
The bond is the cost of speaking. A larger bond replaces the answer. That replacement rule is the mechanism.
Claim 04 · Paper model
The bound
No bond schedule is copied here.
02 Three cuts
Observation, model, falsifier
A desk does not stop at the summary. Each claim is cut three ways, using only this study's own assumptions and checks. Nothing here is a new figure.
01 The defect
Observation
What the study says
A bonded answer is not the truth. It is the answer that has not yet been replaced by a larger bond or by the arbitrator.
Model
What has to hold
You are reading the Reality.eth repository. A question asked inside one product is a use, not the protocol.
Falsifier
What would retire it
What bond replaces an answer?
02 The proposal
Observation
What the study says
Reality.eth publishes a question that anyone can answer with a bond, and anyone can replace by posting a larger bond, with arbitration as the last step the contract names.
Model
What has to hold
You are reading the Reality.eth repository. A question asked inside one product is a use, not the protocol.
Falsifier
What would retire it
What bond replaces an answer?
03 The mechanism
Observation
What the study says
The bond is the cost of speaking. A larger bond replaces the answer. That replacement rule is the mechanism.
Model
What has to hold
No price, supply, yield, or adoption figure is added by this desk.
Falsifier
What would retire it
What bond replaces an answer?
04 The bound
Observation
What the study says
No bond schedule is copied here.
Model
What has to hold
You are reading the Reality.eth repository. A question asked inside one product is a use, not the protocol.
Falsifier
What would retire it
What bond replaces an answer?
03 Sequence
One action, as an operating tape
- 01The bond is the cost of speaking. A larger bond replaces the answer. That replacement rule is the mechanism.
- 02The arbitrator is a named contract. If it is Kleros or another court, say so. The bond game and the court are different layers.
- 03A timeout that finalises an unchallenged answer is a liveness rule. It can finalise a lie if nobody bonds against it.
04 Load-bearing
The argument, and where a pitch drops it
What the name has to mean
The cut
Reality.eth publishes a question that anyone can answer with a bond, and anyone can replace by posting a larger bond, with arbitration as the last step the contract names.
Why it carries weight
If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.
Where it is dropped
This is not UMA's optimistic oracle, though the shape is related. Cite the contract you mean.
What actually moves
The cut
The arbitrator is a named contract. If it is Kleros or another court, say so. The bond game and the court are different layers.
Why it carries weight
If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.
Where it is dropped
This is not UMA's optimistic oracle, though the shape is related. Cite the contract you mean.
What a later deployment may change
The cut
A timeout that finalises an unchallenged answer is a liveness rule. It can finalise a lie if nobody bonds against it.
Why it carries weight
If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.
Where it is dropped
A later client, parameter or reward formula is a different object from this paragraph.
05 Register
What has to be true
Model · Not re-measured
You are reading the Reality.eth repository. A question asked inside one product is a use, not the protocol.
Model · Not re-measured
The document is the one at the source URL. A marketing page with the same brand is not this text.
Model · Not re-measured
No price, supply, yield, or adoption figure is added by this desk.
06 Divergence
What happened after the paper
Finalisation is not a fact about the world.
A later client, parameter set, or reward formula is a different object. Cite this paper for the mechanism. Cite a primary release for the network. This desk has not re-run the proof.
07 Pre-mortem
What to check before you use the idea
- 0 of 3 marked on this browser. A mark is a reading note, not a pass, a rating, or a recommendation.
08 Anatomy
The paper, in the order a builder needs
The problem it names
A bonded answer is not the truth. It is the answer that has not yet been replaced by a larger bond or by the arbitrator.
What the design proposes
- The bond is the cost of speaking. A larger bond replaces the answer. That replacement rule is the mechanism.
- The arbitrator is a named contract. If it is Kleros or another court, say so. The bond game and the court are different layers.
- A timeout that finalises an unchallenged answer is a liveness rule. It can finalise a lie if nobody bonds against it.
How the mechanism is specified
- The bond is the cost of speaking. A larger bond replaces the answer. That replacement rule is the mechanism.
- The arbitrator is a named contract. If it is Kleros or another court, say so. The bond game and the court are different layers.
- A timeout that finalises an unchallenged answer is a liveness rule. It can finalise a lie if nobody bonds against it.
What this page does not treat as proven
Why the desk still reads it
Reality.eth publishes a question that anyone can answer with a bond, and anyone can replace by posting a larger bond, with arbitration as the last step the contract names.
09 Lexicon
Terms, opened into the record
- Bonded answer
- A response that stands until a larger bond or an arbitrator replaces it.
- Arbitrator
- The contract allowed to end the bond game. It is not the bond itself.
10 Repository
Every linked record on this page
Underlined words open a page that already exists: a concept, a protocol profile, a failure record, or another paper. If a word is not underlined, this desk does not have a record for it.
Concepts
Papers
This is Blockchain Lab's reading of a public design paper. It is not the paper, not a copy of it, and not an offer of tokens, equity, custody or a partnership. Later network behaviour can diverge from the text. Nothing here is investment, legal or technical advice.
Research status: Design paper. Last reviewed: 1 October 2026. This is a reading of a public paper, not investment, legal or security advice.