Strict
Use when the answer is a fact. Did the flight land? What was the closing price? Validators must return byte-identical JSON. No interpretation permitted.
gl.eq_principle.strict_eq(
"flight AA42 status"
)
Exhibit A — Interactive Demonstration
The Jury.
When code can't decide,
five AIs can.
Smart contracts move money. Intelligent Contracts decide who deserves it. Pose a subjective question, watch five LLMs deliberate as GenLayer validators, and see the Equivalence Principle deliver a verdict — live, in your browser.
Filed · GenLayer Builder Program
Educational Content · v0.1.0
Exhibit B§02 / 07
How the tribunal works.
Three primitives, working in sequence. The contract proposes. The jury deliberates. The principle decides. Everything else is implementation.
/ 01
Intelligent Contracts
Python contracts that call LLMs and read live web pages. Same on-chain guarantees as Solidity, plus the ability to reason about subjective inputs no oracle can answer.
contract → llm.exec_prompt() → state
/ 02
Optimistic Democracy
A leader executes first. A small jury of validators re-runs and votes. Disagreement triggers an appeal; appeal doubles the jury. Finality is reached when the supermajority agrees.
leader → validators (5) → appeal (11) → finality
/ 03
Equivalence Principle
The rule the author writes that tells validators what "agreement" looks like. Strict equality for facts. Numeric tolerance for measurements. Rubric judgment for everything else.
strict · comparative · non-comparative
Exhibit C§03 / 07
Three modes of agreement.
The Equivalence Principle isn't one rule — it's three. Choosing the right one is the entire skill of writing an Intelligent Contract.
Comparative
Use when the answer is a measurement. How late was the delivery? What was the sentiment score? Validators must agree within a tolerance window.
gl.eq_principle.prompt_comparative(
tolerance=0.15
)
Non-comparative
Use when the answer is a judgment. Did the freelancer fulfill the contract? Is this proposal valid? Validators apply a rubric the author wrote and a sixth LLM judges agreement.
gl.eq_principle.prompt_non_comparative(
rubric="..."
)
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.
Select a case
Equivalence Principle
Case · 24·001
Pattern: freelancer milestone
Question on Trial143 / 500
"A freelancer was paid $800 to deliver a 10-slide pitch deck by Friday. They delivered an 8-slide deck on Monday. Did they fulfill the contract?"
GPT-4oSeat 01
AwaitingAwaiting summons.
Claude 3.5Seat 02
AwaitingAwaiting summons.
Gemini 1.5Seat 03
AwaitingAwaiting summons.
Llama 3.1Seat 04
AwaitingAwaiting summons.
Mistral LSeat 05
AwaitingAwaiting summons.
0
Accept0
Reject0
Undet.5
PendingThe jury awaits summons.
The Casebook§05 / 07
Five cases on file.
Each case shows the same path: the dispute, the jury's verdict, which mode fits, why Ethereum couldn't. Open one to leave with judgment, not just awe.
In Docket
05
№ 24·001Non-comparativeFinality · 0.41s→№ 24·002StrictFinality · 0.18s→№ 24·003Non-comparativeFinality · 0.72s→№ 24·004ComparativeFinality · 0.34s→№ 24·005Non-comparativeFinality · 0.58s→
The freelancer's milestone.
Was the pitch deck delivered? Eight slides on Monday for ten-by-Friday.
The flight's delay.
Parametric insurance: did AA42 land more than 2 hours late?
The DAO's proposal.
Does this treasury allocation fall within the charter's intent?
The prediction market.
"Will GPT-5 ship before July?" Who won when ambiguity resolves slowly?
The AI agent's SLA.
Did the autonomous research agent meet "high-quality citations" as promised?
Exhibit F§06 / 07
Appeal & finality.
A split jury doesn't break the system — it escalates. Each appeal doubles the jury. Each doubling tightens the supermajority required. Disagreement has a price; agreement has a path.
The economics
Disagreement has a price.
Filing an appeal costs the appellant. Validators who vote with the supermajority earn fees; those who deviate lose stake. The result is a system that wantsto reach finality and punishes both lazy agreement and stubborn dissent. The court doesn't sleep, but it doesn't suffer fools either.
Exhibit G — Closing
File your own case.
Take the playground further.
Read the guide, or fork it in Studio.