Accord and satisfaction¶

A contract-law discharge in which parties agree to substitute a different performance and the debtor completes that performance, extinguishing the original obligation.

Version: v1 · 2026-09-08 · History
Domain-specific #: 3188
Origin domain: contract law
Subdomain: contract law

Core Idea¶

The accord is an executory agreement to accept substituted consideration; satisfaction is its performance, after which both the original duty and the accord are discharged under the governing law. A disputed or unperformed obligation is suspended by an enforceable substitution agreement, then legally discharged when the promised substitute is delivered and accepted. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

Scope of Application¶

Accord and satisfaction belongs to contract law and is useful where the analyst can specify the typed contract law carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, then evaluate the governing jurisdiction, original obligation and dispute, offer and acceptance, substituted consideration, accord terms, satisfaction event, breach consequences and discharge effect are explicit. The scope is broad within that domain but bounded by the need for the governing jurisdiction, original obligation and dispute, offer and acceptance, substituted consideration, accord terms, satisfaction event, breach consequences and discharge effect are explicit. Descriptive legal identity only; application to a dispute requires current jurisdiction-specific advice.

Clarity¶

The abstraction clarifies a crowded vocabulary by making the governing jurisdiction, original obligation and dispute, offer and acceptance, substituted consideration, accord terms, satisfaction event, breach consequences and discharge effect are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test. A bare label is insufficient because the name Accord and satisfaction can be used for a formal identity, an implementation, or a neighboring result unless carrier and convention are stated.

Manages Complexity¶

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Accord and satisfaction. Accord and satisfaction compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning¶

Identify the carrier. State what the elements, states, objects, or observations are: the typed contract law carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets. Reject examples whose alleged carrier belongs to a different problem. 2. Lock the constitutive rule. Express the governing jurisdiction, original obligation and dispute, offer and acceptance, substituted consideration, accord terms, satisfaction event, breach consequences and discharge effect are explicit independently of one notation or implementation.

Knowledge Transfer¶

Knowledge transfers strongly among subfields of contract law because they reuse the typed contract law carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, A disputed or unperformed obligation is suspended by an enforceable substitution agreement, then legally discharged when the promised substitute is delivered and accepted., and type the carrier, state every parameter and convention in the definition, test that the governing jurisdiction, original obligation and dispute, offer and acceptance, substituted consideration, accord terms, satisfaction event, breach consequences and discharge effect are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions¶

Current abstraction Accord and satisfaction Domain-specific

Parents (1) — more general patterns this builds on

Accord and satisfaction is a kind of Contract Prime

The proposed strict upward parent is prime:contract.

Hierarchy path (1) — routes to 1 parentless root

Accord and satisfaction → Contract → Interface → Boundary

Neighborhood in Abstraction Space¶

Accord and satisfaction sits in a crowded region of the domain-specific corpus (15^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Property, Contract & Legal Transfer (54 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08