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.
Σ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.
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.
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.
Disputes resolve against real sources (trackers, filings, feeds) fetched and read independently by validators. No oracle middlemen, no single point of truth.
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 claimant names the clause, the counterparty, and a short argument, attaching links to supporting evidence. A small GEN fee deters frivolous disputes.
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.
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.
An equivalence principle confirms the decisive verdict and remedy agree across nodes. On finality, the remedy settles in GEN, paid natively, on-chain.
The ruling is written into the treaty's Directed Acyclic Graph of precedent, a citable principle that informs every interpretation that follows.
Solidity can move value; it cannot weigh meaning. Nomos requires a substrate where judgment itself reaches consensus, and that substrate is GenLayer.
A living body of common law: every dispute makes the protocol more precise.
Release or slash collateral based on whether deliverables actually met natural-language terms.
Resolve markets from real-world evidence, independently verified, not a single trusted reporter.
The dispute layer for autonomous transactions, pairs with x402 payments and ERC-8004 identity.
Adjudicate ambiguous proposals and grant terms against accumulated organizational precedent.
Turn “best-effort” language into enforceable, evidence-based outcomes with auditable rationale.
Reproducible, contestable judgments for policy enforcement that a single model can't quietly bias.
Deploy a semantic treaty, lock collateral in GEN, and let decentralized consensus adjudicate the rest, transparently, on-chain.