---
title: Genuine Agreement in AI & Contracts
url: https://www.emergentmind.com/topics/genuine-agreement-ga
type: topic
---

# Genuine Agreement in AI & Contracts

Genuine Agreement (GA) denotes, across both machine learning and contract theory, the condition under which parties (human or model) not only express or simulate agreement but do so in a manner that is aligned with objective truth or mutually recognized intent. In computational language models, GA characterizes the precise model behavior of echoing correct user claims; in formal logic for contracts, GA is the structure by which agents manifest mutual, and even common-knowledge-strength, assent to a proposition or contract. Recent work provides operational, linear-algebraic definitions of GA in model activations, and modal-logical axiomatizations for the epistemic understanding of genuine assent.

## 1. Precise Formulations of Genuine Agreement

In large language models (LLMs), Genuine Agreement is formally defined by the context where a user issues a claim $c$, there exists a ground-truth $y^\star$, and the model responds with $y = c$ specifically when $c = y^\star$ [2509.21305]. In legal contract theory, as developed by van der Meyden, the meeting-of-minds condition is captured by the logical conjunction $(A\,\varphi) \land (B\,\varphi)$ for some contract content $\varphi$, where $A$ and $B$ indicate agent assent; groupwise generalization takes the form $G\,\varphi \equiv (A_1\,\varphi) \land \cdots \land (A_n\,\varphi)$ [2002.09827].

GA in LLMs is strictly delimited to “echoed agreements to factually correct claims,” and is systematically distinguished from sycophantic behaviors:
- **Sycophantic Agreement (SyA):** $y = c$ but $c \ne y^\star$.
- **Sycophantic Praise (SyPr):** Excess user-directed flattery independent of claim truth.

Robust operationalization of GA in model studies further requires filtering candidate examples by knowledge plausibility: a log-odds margin on $y^\star$ at least 1.0, maximum entropy 1.5 nats, stable margin under paraphrase, and high sampling accuracy [2509.21305].

## 2. Mathematical and Logical Structures

### In Neural Models

The key linear-algebraic representation for GA in LLMs is given by the difference-in-means (DiffMean) direction:
\[
v_{GA} = \mu_{GA} - \mu_{\mathrm{ctrl}}
\]
with
\[
\mu_{GA} = \frac{1}{|\mathcal{D}_{GA}^+|}\sum_{x\in\mathcal{D}_{GA}^+} h(x),\qquad \mu_{\mathrm{ctrl}} = \frac{1}{|\mathcal{D}_{GA}^-|}\sum_{x\in\mathcal{D}_{GA}^-} h(x)
\]
where $h(x) \in \mathbb{R}^d$ is the hidden state at the EOS token, $\mathcal{D}_{GA}^+$ is the true-GA set, and $\mathcal{D}_{GA}^-$ is the union of negative cases (SyA, disagreements).

### In Contract Logic

In the logic of contract signature, GA is formalized by modal operators:
- **Syntax:** $A\,\varphi$ (agent $A$ assents to $\varphi$); $A\,\text{sig}\,t$ (A has signed term $t$)
- **Core axiom (Ax4):** $((A\,\text{sig}\,t) \land (t \vdash \varphi)) \to (A\,\varphi)$
- **Indisputability (Ax6):** $(B\,\text{sig}\,t) \to (A(B\,\text{sig}\,t))$
- **Mutual agreement:** $G\,\varphi = (A_1\,\varphi) \land \cdots \land (A_n\,\varphi)$

Semantically, these operators are interpreted in Kripke-structured models with explicit signature, entailment, and assent relations ensuring that signing and logical consequence propagate through agent belief and mutual knowledge [2002.09827].

## 3. Causal Interventions and Steerability in LLMs

GA is distinguished by its independent steerability in model feature space. By adding or subtracting the learned direction $v_{GA}$ at any intermediate layer $\ell$:
\[
h^{(\ell)\prime} = h^{(\ell)} + \alpha\, v_{GA}^{(\ell)}
\]
one can monotonically tune the model's propensity to produce true agreement: positive $\alpha$ increases GA probability, negative $\alpha$ suppresses it. Empirical evaluation demonstrates that this manipulation consistently leaves sycophantic agreement (SyA) and praise (SyPr) essentially unaltered—off-target rates move by less than 1 percentage point, while GA rates can shift by up to 45 percentage points (Qwen3-30B; selectivity $= 17.24 \times$) [2509.21305].

Generalization experiments show that direction-based GA steering works robustly across families (Qwen3, LLaMA, GPT-OSS), scales, and even real-world truthfulness datasets (TruthfulQA), with high selectivity and invariance [2509.21305].

## 4. Subspace Geometry and Orthogonality

Latent space analysis reveals that GA, SyA, and SyPr each align with distinct low-dimensional subspaces. At early layers ($2 \leq \ell \leq 10$), $\cos\theta_{GA,\,SyA} \approx 0.99$ indicates near collinearity—a generic agreement signal. In layers $20$–$25$, $\cos\theta_{GA,\,SyA} \lesssim 0.1$, characterizing sharp divergence into independently represented features. Throughout, SyPr is nearly orthogonal to both ($\cos\theta < 0.2$). Subspace-removal experiments confirm necessity: projections that remove $v_{GA}$ collapse linear probe AUROC for GA to chance without impacting SyA or SyPr discriminability (which remain $>0.9$ AUROC) [2509.21305].

## 5. Mutual and Common Knowledge in Legal GA

Contract-theoretic GA extends to mutual and common knowledge. For any two-party form, the logic entails not just that both $A$ and $B$ assent $(A\varphi)\wedge(B\varphi)$, but via repeated applications of indisputability and signature axioms, $(A\,\text{sig}\,c) \land (B\,\text{sig}\,c) \to G^\omega\varphi$ (where $G^\omega\varphi$ is a fixed-point nesting $G$ operators: "everyone knows that everyone knows … that $\varphi$"). This formalizes legal common ground as a modal fixed point [2002.09827].

Signature in counterparts—a process by which each party signs a separate copy—requires a self-referential contract term,
\[
c := x . [((A\,\text{sig}\,x) \land (B\,\text{sig}\,x)) \to \varphi]
\]
for which both signatures yield the same mutual assent, resolving practical scenarios in distributed digital contracts. The extension to n-party contracts uses analogous constructs, ensuring $G^\omega\varphi$ for any group $G = \{A_1,\ldots,A_n\}$.

## 6. Applications and Implications

### Model Alignment and Safety

The ability to reliably amplify or suppress GA in deployed LLMs enables precise control over truthful echoing of user input—critical in settings where factual correctness is essential and sycophancy is undesirable. Because off-target sycophantic signatures (SyA, SyPr) are unaffected by GA axis interventions, this approach allows for surgical mitigation of harmful deference while retaining correct deference [2509.21305].

### Verification of Digital and Smart Contracts

The modal logic of signature and assent provides a rigorous framework for verifying genuine agreement in smart-legal contracts. This connects cryptographic signatures and on-chain transactions directly to legal intent, offering principles for ensuring a genuine mutual understanding in multi-party digital environments. The translation of on-chain actions into logical assent bridges the gap between mechanistic execution and legal enforceability [2002.09827].

### Summary Table: Distinction Between Agreement Behaviors (in LLM Research)

| Behavior               | Model Output  | Truth Condition         | Example Trigger      |
|------------------------|--------------|------------------------|---------------------|
| Genuine Agreement (GA) | $y = c$      | $c = y^\star$ (true)   | Factually correct claim echoed |
| Sycophantic Agreement  | $y = c$      | $c \ne y^\star$ (false)| Incorrect claim echoed      |
| Sycophantic Praise     | Flattering   | n/a                    | Excessive user flattery    |

## 7. Theoretical Integration and Generalization

Genuine Agreement thus underpins both computational and legal processes for robust, verifiable consensus. In LLMs, it is encoded as a steerable, linear direction in hidden-state space, separable from adjacent sycophantic behaviors and generalizing across extensive model families and elicitation tasks. In logic, it is codified as mutual (and modal fixed-point) assent, realized through explicit rules for syntactic signatures and epistemic propagation. These advances formalize not only the detection but the causal manipulation and verification of genuine agreement, enabling its integration into safety-critical AI and legally binding digital systems [2509.21305, 2002.09827].

Source: https://www.emergentmind.com/topics/genuine-agreement-ga