Contract¶
Core Idea¶
A contract is an explicit, multi-party bundle of obligations, permissions, and consequences that binds the parties under an enforcement regime they have accepted as authoritative. What distinguishes it from a mere promise is a breach criterion and a remedy attached to an authority able and willing to adjudicate.
How would you explain it like I'm…
Promise With A Referee
The Deal With Consequences
Binding Agreement With Enforcement
Broad Use¶
- Law and economics: sales, employment, lease, and treaty instruments specify performance, consideration, and remedy under a judicial regime.
- Software interfaces: API contracts and design-by-contract name the obligations of caller and callee, with the runtime or compiler as enforcer.
- Diplomacy: treaties specify obligations among states, enforced via mutual sanction, international courts, or self-help.
- Organizational governance: service-level agreements and charters bind units, with an HR or audit function as the enforcement regime.
- Ledger settings: smart contracts encode the obligation-and-consequence structure as executable code on a blockchain.
Clarity¶
Forces the unstated to become stated — what each party must do, what counts as having done it, and what happens if not — and makes the enforcement regime a separate, explicit question, since a clause means only what that regime can adjudicate.
Manages Complexity¶
Collapses a graph of pairwise, partly-tacit expectations into a single artifact every party and any future arbiter can consult, dropping the coordination cost from maintaining \(n\) private models to maintaining one shared specification.
Abstract Reasoning¶
Supports completeness-versus-incompleteness reasoning (which contingencies are worth specifying), enforcement-attaches-to-specification (the regime's reach bounds operative content), detectability (an undetectable breach is inert), and remedy-design (deterrence lives in the consequence, not the wording).
Knowledge Transfer¶
- Law → API design: "name the enforcement regime first" applies to a treaty without a binding court and an API contract without a runtime that enforces it.
- SLAs → treaties: "make breach detectable" is the same discipline behind a measurable uptime threshold and a treaty verification mechanism.
- Contract law → protocol design: "engineer the remedy, not just the obligation" carries to a software contract's panic and a treaty's sanction clauses.
Example¶
A hospital-vendor SLA bundles guaranteed uptime and response times, makes breach detectable via a defined monitoring methodology, attaches liquidated damages where deterrence lives, and names the courts as the enforcement regime.
Relationships to Other Abstractions¶
Current abstraction Contract Prime
Parents (1) — more general patterns this builds on
-
Contract presupposes Interface Prime
'An interface that no authority enforces and whose violation carries no remedy is a contract's structural SKELETON without its binding force.' A contract = interface and normative obligation and breach criterion and remedy and accepted enforcement regime.
Children (18) — more specific cases that build on this
-
Accord and satisfaction Domain-specific is a kind of Contract
The proposed strict upward parent is
prime:contract. -
Break/Fix Domain-specific is a kind of Contract
Contract is the minimal prospective parent.
-
Economic partnership agreement Domain-specific is a kind of Contract
The proposed strict upward parent is
prime:contract. -
Exclusion clause Domain-specific is a kind of Contract
The proposed strict upward parent is
prime:contract. -
Fundamental Breach Domain-specific is a kind of Contract
Contract is the proposed immediate parent.
- Non-compete clause Domain-specific is a kind of Contract
The proposed strict upward parent is `prime:contract`.
- Partial agreement Domain-specific is a kind of Contract
The proposed strict upward parent is `prime:contract`.
- Service-level agreement Domain-specific is a kind of Contract
The proposed strict upward parent is `prime:contract`.
- Side letter (contract law) Domain-specific is a kind of Contract
**Contract** (`prime:contract`).
- Tenant-right Domain-specific is a kind of Contract
The proposed strict upward parent is `prime:contract`.
- Transfer (patent) Domain-specific is a kind of Contract
The proposed strict upward parent is `prime:contract`.
- Transmutation agreement Domain-specific is a kind of Contract
The proposed strict upward parent is `prime:contract`.
- Void contract Domain-specific is a kind of Contract
**Contract** is the strict parent because voidness classifies a purported contract by failure of the binding conditions that make contractual obligations enforceable in an accepted regime.
- Voidable contract Domain-specific is a kind of Contract
The proposed strict upward parent is `prime:contract`.
- Consistency Model Prime is a kind of Contract
A consistency model is explicitly an explicit contract specifying legal observations of shared state, fitting the general obligations-and-permissions bundle structure of contract.
- Incomplete Contract Prime is a kind of Contract
An incomplete contract is, structurally, a contract (a rule-set fixing outcomes for some contingencies) plus the distinctive move of an acknowledged gap and designated gap-handler and governance.
- Cover (law) Domain-specific is part of Contract
the original agreement supplies the normative baseline and breach relation.
- Impracticability Domain-specific is part of Contract
**`contract`:** the doctrine modifies enforcement of a contractual duty.
Not to Be Confused With¶
- Contract is not Interface because an interface specifies the shape of an interaction, whereas a contract adds normative obligation, a breach criterion, a remedy, and an accepted enforcement regime.
- Contract is not Incentive Compatibility because incentive compatibility makes desired behavior each party's self-interested choice, whereas a contract imposes obligations backed by external remedy even when compliance is against self-interest.
- Contract is not Informal Enforcement because informal enforcement relies on reputation and social sanction with no formal adjudicator, whereas a contract names an accepted enforcement regime able to adjudicate breach.