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.
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.
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.
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.
“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?”
Pose a question. Pick a mode. Preview how five model jurors might reason — then send the case to GenLayer, where the official verdict is decided on-chain.
"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?"
This preview is generated locally for educational purposes. The official verdict is produced by GenLayer Intelligent Contracts on-chain.
Awaiting summons.
Awaiting summons.
Awaiting summons.
Awaiting summons.
Awaiting summons.
01from genlayer import gl02 03class ParametricFlightDelay:04 flight_id: str05 threshold_minutes: int06 07 def __init__(self) -> None:08 self.flight_id = "AA42"09 self.threshold_minutes = 12010 11 @gl.public.write12 def evaluate(self) -> bool:13 prompt = (14 f"Fetch the actual arrival delay in minutes for "15 f"flight {self.flight_id} today. Return only the integer."16 )17 delay_str = gl.eq_principle.strict_eq(18 lambda: gl.nondet.exec_prompt(prompt)19 )20 return int(delay_str.strip()) > self.threshold_minutesThe policy term is crisp: more than 120 minutes late. No moral or contextual interpretation is needed.
The LLM call exists to fetch or interpret external flight data, not to arbitrate meaning.
If validators disagree on the minute count, the system treats it as a data failure rather than acceptable semantic variance.