Live on GenLayer Bradbury · Synthetic Law, on-chain

Agreements that interpret themselves.

Σynthetix Nomos turns natural-language treaties into living contracts, interpreted, enforced, and evolved through decentralized AI-validator consensus. No oracles. No arbitrators. No code that pretends to know the future.

4
Active treaties on-chain
4
Precedents in the DAG
4
Disputes adjudicated
0.038
GEN collateral locked
Interpret meaning Weigh live web evidence Reach validator consensus Settle in GEN Accumulate precedent
The missing layer

The agentic economy engineered every happy path, and shipped no way to disagree.

Payments, agent identity, machine-to-machine commerce: all solved. But the moment two parties read the same clause differently, the stack goes silent. Deterministic contracts can execute code; they cannot decide whether a delivery was “in reasonable condition” or a milestone was “substantially complete.” That judgment is exactly what commerce runs on, and where Nomos lives.

01 / INTERPRET

Language is the contract

Write obligations the way you'd write them to a counterparty, in prose, not opcodes. Each clause becomes a semantic object the network can reason about.

02 / ENFORCE

Evidence from the open web

Disputes resolve against real sources (trackers, filings, feeds) fetched and read independently by validators. No oracle middlemen, no single point of truth.

03 / EVOLVE

Precedent that compounds

Every verdict becomes a permanent node in the treaty's precedent graph, reshaping how future claims are judged. The contract gets wiser with use.

The adjudication loop

One claim. Many minds. A single, settled truth.

01

A party files a claim

The claimant names the clause, the counterparty, and a short argument, attaching links to supporting evidence. A small GEN fee deters frivolous disputes.

02

Validators gather the facts

Each validator independently pulls the cited web evidence and extracts what's relevant, the same way a human reviewer would open the page and read it.

03

Diverse models render a verdict

Validators running different AI models each judge the clause against evidence and precedent. Model diversity is the security model: no single oracle can dictate meaning.

04

Consensus, then settlement

An equivalence principle confirms the decisive verdict and remedy agree across nodes. On finality, the remedy settles in GEN, paid natively, on-chain.

05

Precedent enters the record

The ruling is written into the treaty's Directed Acyclic Graph of precedent, a citable principle that informs every interpretation that follows.

Why it can only exist here

Impossible on a deterministic chain.

Solidity can move value; it cannot weigh meaning. Nomos requires a substrate where judgment itself reaches consensus, and that substrate is GenLayer.

  • Judgment, not arithmetic. “Reasonable,” “timely,” “material breach”: terms that demand interpretation, resolved by AI validators rather than rigid conditionals.
  • Unstructured web truth. Validators read the live internet directly. Meaning, not just numbers. Something no price oracle can deliver.
  • Non-deterministic state, by design. The same clause can rule differently as precedent accrues. That's not a bug, it's how law works.
  • Diversity as defense. Many models, many perspectives, one verdict. A single-model judge is a single point of failure.
PRECEDENT DAG · TREATY-001
verdict: non_violation · conf 95%
“A party's obligation cannot be violated by the other party's failure to perform an unrelated obligation.”
precedent:1 · clause-1 · finalized
↓ cited by
verdict: pending
Incoming claim crawls the graph, weighs prior principle, and proposes the next ruling…
precedent:2 · awaiting consensus

A living body of common law: every dispute makes the protocol more precise.

Where Nomos settles disputes

Built for agreements that hinge on judgment.

ESCROW

Milestone & delivery escrow

Release or slash collateral based on whether deliverables actually met natural-language terms.

MARKETS

Prediction & outcome resolution

Resolve markets from real-world evidence, independently verified, not a single trusted reporter.

AGENTS

Agent-to-agent commerce

The dispute layer for autonomous transactions, pairs with x402 payments and ERC-8004 identity.

GOVERNANCE

DAO & treaty arbitration

Adjudicate ambiguous proposals and grant terms against accumulated organizational precedent.

COMPLIANCE

SLA & service guarantees

Turn “best-effort” language into enforceable, evidence-based outcomes with auditable rationale.

CONTENT

Moderation & scoring

Reproducible, contestable judgments for policy enforcement that a single model can't quietly bias.

Draft your first treaty

Write the agreement. Let the network keep its word.

Deploy a semantic treaty, lock collateral in GEN, and let decentralized consensus adjudicate the rest, transparently, on-chain.