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 Primes¶
Parents (1) — more general patterns this builds on
- Contract presupposes Interface — The file: '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 + normative obligation + breach criterion + remedy + accepted enforcement regime. It presupposes/enriches the interface. The 0.87 embedding-nearest is interface.
Children (1) — more specific cases that build on this
- Incomplete Contract 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 + designated gap-handler + governance. contract is the canonical genus; incomplete_contract is the specific kind that deliberately leaves gaps. Phase-C already records the link to contract. The file severs it from interface (complete contract over its cases), delegation (only the decision-right piece), and optionality (a held right) — none is the genus; contract is. Good conviction: the is-a holds even though the prime is heavily framed (law/econ), because every instance is literally a contract or rule-set.
Path to root: Contract → Interface → Boundary
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.