Reformation starts from a premise that sounds almost paradoxical: the parties did reach a real agreement, but the document that is supposed to record it says something different from what they actually agreed to. Rather than voiding the contract or awarding damages for the discrepancy, a court reforms it -- edits the written instrument to conform to the parties' true prior agreement -- and then enforces the corrected document going forward, as if it had read that way all along.

Because reformation lets a court change the literal words of a signed writing, it is applied narrowly and only on clear evidence. Courts are wary of using it as a backdoor around the parol evidence rule or as a tool for one party to rewrite a bad bargain after the fact, so the standard of proof is deliberately demanding and the available grounds are limited to specific kinds of drafting failure.

The classic ground is mutual mistake in the drafting itself -- both parties reached a real, definite agreement, but the writing, through a scrivener's error, mistranscription, or omission, fails to accurately express what they agreed to. This is distinct from a mutual mistake about the underlying facts or subject matter of the deal, which goes to rescission instead of reformation.

Reformation is also available for unilateral mistake where the other party knew or had reason to know of the mistake and remained silent, or engaged in fraud that caused the document to misstate the agreement -- for example, one party's representative secretly inserting or altering a term the other side never actually agreed to. In both situations, the theory is the same: the writing does not reflect what was actually agreed, and equity corrects the document rather than punishing or excusing either party from the underlying bargain.

Reformation and rescission both respond to a defect at formation, but they point in opposite directions: rescission says the contract should not exist and unwinds it, while reformation says the contract should exist -- just not in the words the writing currently uses -- and corrects it so it can be enforced. A party confident the underlying deal was sound but convinced the paperwork is wrong wants reformation; a party who wants out of the deal altogether wants rescission.

Reformation also operates as a narrow, court-recognized exception to the parol evidence rule. Ordinarily, prior or contemporaneous negotiations cannot be used to contradict the terms of a fully integrated written agreement. A reformation claim is precisely a request to use that kind of extrinsic evidence to show the writing is wrong -- courts allow it because the claim is not that the parties meant something different by their words, but that the words themselves fail to capture what both parties actually agreed to.

Because reformation asks a court to override the presumption that a signed writing says what the parties meant, most jurisdictions require proof by clear and convincing evidence -- a higher bar than the ordinary preponderance standard used for most contract claims. The plaintiff typically must show the terms of the actual prior agreement with specificity, not merely that the written document seems unfair or produces a bad outcome.

Defendants resist reformation by arguing the writing accurately reflects what was actually negotiated (there was no antecedent agreement different from the writing), that any mistake was purely unilateral and the other side had no reason to know of it, that the plaintiff is really seeking to rewrite the deal's substance rather than correct a drafting error, or that the plaintiff cannot meet the heightened clear-and-convincing standard.

In Juricratic, reformation is modeled as a distinct claim path gated by a heightened proof-standard node -- clear and convincing evidence of the antecedent agreement -- that sits above the ordinary preponderance standard governing most of the rest of a contract case. That single gate often does more to determine the claim's viability than the underlying facts about what the parties intended, because a plausible but not clearly-proven mistake fails even where the equities otherwise favor the plaintiff.

Adjusting the dial on the strength and contemporaneousness of the extrinsic evidence of the true agreement -- drafts, correspondence, course of dealing -- against the heightened proof standard lets a user see how much of the claim's expected value depends on clearing that evidentiary bar versus on the underlying merits. These are simulation inputs for war-gaming the claim, not a prediction of how any specific court will weigh the evidence.