GenLayer · Court of the Internet
№ 24·002 — Detail View
№ 24·002Pattern: parametric insurance

The flight's delay

A parametric insurance policy pays out automatically when flight AA42 is delayed more than two hours. The question is purely factual — there is no interpretation, only data.

ModeStrict
Expected verdictAccepted
Exhibit D — Live System State§04 / 07

The jury convenes.

Pose a question. Pick a mode. Watch five validators deliberate. See the Equivalence Principle deliver a verdict. Disagreement triggers appeal.

Equivalence Principle
Case · 24·002
Pattern: parametric insurance
Question on Trial117 / 500

"AA42 was scheduled to land at 14:00. The flight tracker shows it landed at 16:47. Did it land more than 2 hours late?"

GPT-4oSeat 01
Awaiting

Awaiting summons.

Claude 3.5Seat 02
Awaiting

Awaiting summons.

Gemini 1.5Seat 03
Awaiting

Awaiting summons.

Llama 3.1Seat 04
Awaiting

Awaiting summons.

Mistral LSeat 05
Awaiting

Awaiting summons.

0
Accept
0
Reject
0
Undet.
5
Pending
The jury awaits summons.
 
Case Analysis§ Annotation
The Dispute

A parametric insurance policy pays out automatically when flight AA42 is delayed more than two hours. The question is purely factual — there is no interpretation, only data.

Why Strict?

Strict because the answer is a number. Every validator should fetch the same public flight tracker and return the same delay in minutes. Any output difference is a data error, not a legitimate interpretation gap.

Why Not Ethereum?

Ethereum cannot reach out to flight tracker APIs. A Chainlink oracle could fetch the data, but it introduces a single point of trust. GenLayer validators each query the live web independently — unanimity among them is the proof.

Back to Casebook