← All Posts

Forward Self-Model Systems Exhibit Privileged Introspective Access

what a self-theory could say what only access reaches the state

Jasper Gilley  ·  Independent researcher

Pair a transformer with a forward model of itself, and the composite can report on its own computation better than any outside observer we could build. The construction comes from an earlier post; this is the test that separates access from self-theory. Scroll

SECTION 01

The claim

A joint system that introspects

Pair a transformer \(M\) with a forward self-model — a small network trained to predict \(M\)'s later activations from its earlier ones. The composite reports on its own internal computation, and the reports:

  • are accurate — far above chance;
  • beat every outside observer we built;
  • are causally grounded in the state itself.
the system forward self-model predicts M's computation transformer M reads predicts tokens outside observer sees tokens & logits logits “my own computation right now is X” reports never matches it

Model organisms: a 6M GPT on a controlled hierarchical grammar; a 29M GPT on natural language.

The contrast
Prior implementation-level results ask a model to detect a concept the experimenter installed — one bit, or one word. Ours reports what \(M\) computes anyway, as a direction in its own state space.

What “introspective” has to mean

Every self-report has two possible authors (Nisbett & Wilson 1977): access to the state, or a plausible theory of oneself. Any system trained on descriptions of systems like itself can talk about itself — fluency proves nothing.

A report is introspective only if what it reports is:

  1. a function of the system's internal state;
  2. not cheaply recoverable from its input–output behaviour;
  3. causally load-bearing for the system.
model M a theory of M “my state is X” access to the state observed behaviour same report, two provenances — indistinguishable from the outside

(2) is the discriminator: calibration, entropy, “I'm not sure” — all computable from outside: self-inference, not introspection.

SECTION 02

The construction

The self-model separates theory from access — by construction

By construction the self-model's prediction is everything a learned theory of the system could say — the best compressible predictor of \(M\), learned from observation alone. What it misses, \(r\), no theory anticipated.

tokens early blocks aᵢ intervening blocks aj last block logits report head (trained) forward self-model 1–42% of the gap reads aᵢ predicts âj = FM(aᵢ) aj = FM(aᵢ) + r the self-theory r aj
The test
A report head on \(M\)'s late stream is trained to name the direction of its own residual; outside observers, given \(M\)'s inputs and outputs and swept in capacity, try to match it.
SECTION 03

Three findings

Finding 1 — no outside observer matches the report

report accuracy — own computation 0.3 0.5 0.7 1L/64D2L/128D 4L/192D8L/256D observer capacity ⟶ (rightmost = the size of M itself) baseline 0.25 self-report  0.776 tokens + M's logits half the data: 0.637 tokens only the advantage 0.23 0.52 same ladder, a fact about the input

Inset: on a fact about the input, the same ladder climbs. 24× instrument sweep, both substrates.

Flat in capacity: an observer the size of \(M\) does no better, and half the data barely moves it.

But flatness is only negative evidence. So hand an observer \(M\)'s own state \(a_i\):

0.35 0.68 0.69 best I/Oobserver + aᵢ self

The state buys \(0.333\) of the \(0.345\) gap: the wall is access.

Finding 2 — the advantage exists only for implementation-facts

advantage = self − best observer −0.2 0 +0.2 +0.4 RHM — controlled hierarchy natural language — FineWeb +0.11 −0.001−0.035−0.038 +0.27 −0.067−0.287−0.009 owncomputation owncorrectness ownuncertainty inputstate owncomputation owncorrectness ownuncertainty inputstate below zero: the observer wins

Facts about behaviour are public: the observer matches the self-report on “will I be right?” and beats it on “how uncertain am I?” — which is why calibration-style evidence (“models know what they know”) could never establish introspection. Only the report about the system's own computation carries a first-person advantage.

Which part of the state is private

Finding 1's gap could be an advantage of holding the state at all. So report a different component of the same state — same clustering, head, observer ladder, splits.

three targets, one state FM(aᵢ) r aj fraction of the achievable score the best outside observer reaches the self-theory FM(aᵢ) 0.87 the whole state aj 0.84 the residual r 0.26 white tick =the smaller instrument 0  chance fully recovered  1.0

Not “internal state is private”: most of \(a_j\) is cheap to rebuild from outside; what is expensive is the part no theory anticipated. An observer given \(M\)'s own \(a_i\) even beats \(M\) on the theory-visible part (\(0.96\) vs. \(0.91\)) — and still loses on the residual (\(0.58\) vs. \(0.59\)).

Finding 3 — the report is about what it claims to be about

Erase a component (language)

0.59 0.10 0.62 fullstate residualdestroyed theory partremoved

Destroy \(r\): the report collapses. Remove the entire self-theory span: it improves.

Steer at matched behavioural effect (RHM)

steer within residual span steer within self-theory span report flips: 0.139 behaviour control: 0.024 report flips: 0.063 behaviour control: 0.023 2.2× every direction rescaled to the same behavioural effect: KL = 0.0100

Same behavioural footprint, \(2.2\times\) the report movement in the residual span (\(1.4\)–\(2.1\times\) on language). A report that only tracked a story about the system could do neither.

SECTION 04

What this is

Where the LLM evidence lands

evidencee.g.under this framework
calibration, P(True) Kadavath et al. ’22 I/O-map fact ⇒ self-inference; our observers beat the self-report on exactly these targets
behavioural self-prediction Binder ’24 our own-correctness target: the advantage → 0 once an observer sees the full I/O map
reports of injected concepts Lindsey ’25; Vogel ’25 a causal report test; ours is the graded version — fixed KL, varying subspace, not timing. Detection replicates at 32B; content largely does not
CoT unfaithfulness Turpin et al. ’23 confabulation in the wild — the theory half; the residual channel is its constructed complement
What a decisive introspection claim needs
An access gap no affordable observer closes — a scaling curve, not a point estimate. The residual is the first such target, constructed and causally verified.

Introspection as a property of a joint system

The introspective access belongs to the composite — \(M\) plus its self-model — not to either part alone.

We think this is a promising new direction for introspection research because it allows for introspection-by-construction, in principle, rather than something to be searched for post hoc in models not explicitly trained to have introspective capabilities.

The frontier
Route the report through the system's own output channel. And build a system whose private channel carries news worth knowing.

Scope: the report channel is trained (causal grounding, not spontaneity); model organisms at 6M / 29M parameters; single seed.

← All Posts

Jasper Gilley — Twitter Github