Distinction-Lattice Framework: Eigenforms, Bisimulation, and the Realizability Boundary of Self-Reference

In the paper's words

A conservative formal version of DLF: stable entities are bisimulation classes of observational behaviour, certified coinductively, with realizability separated from fixed-point existence. v0.2.0 narrows novelty claims and corrects the JPCUB/Landauer bridge. Published at papers.qnfo.org (https://papers.qnfo.org/papers/distinction-lattice-framework/).

The abstract, verbatim, and its opening sentence is the claim. Every line below is quoted from the text.

Numbers it reports

1. Version v0.1.1 corrected this bridge: it is not established that the filter's cost saturates the Landauer bound, and the bridge is a conjecture to be tested against the JPCUB program's measurements, not a derived result of this framework.

   from 7. The JPCUB/Landauer Bridge (Corrected)

How it is done

1. It does not claim a solved theorem where a conjecture stands, and it does not bridge to physical claims beyond what the referenced programs independently support.

   from 1. Scope and Status

2. If $F$ admits a final coalgebra, then the final coalgebra $\Omega$ satisfies $\Omega \cong F\Omega$ (Lambek's lemma).

   from 3. Stable Entities as Bisimulation Classes

3. Every self-referential construction — from Cantor's theorem to Goedel-type incompleteness to fixed-point combinators — is a special case of this diagonal.

   from 5. The Self-Reference Boundary: The Lawvere Diagonal

4. The program's thermodynamic bridge (internal reference QNFO.JPC.003) states a falsifiable connection between the realizability filter and the Landauer bound: the minimal cost of realizing a distinction is bounded below by the information the filter must discard.

   from 7. The JPCUB/Landauer Bridge (Corrected)

What would falsify it

1. It makes one structural proposal, one definitional commitment, and one conjecture with explicit falsification conditions.

   from 1. Scope and Status

2. Closure under finite intersection is the formal shape of "observations compose"; upward closure is the shape of "if something is observable, anything it entails is at least as observable."

   from 2. The Substrate: Distinctions and the Realizability Filter

3. The space $\Omega$ is then the space of all observable behaviors; every realized distinction is, up to bisimulation, a point of $\Omega$.

   from 3. Stable Entities as Bisimulation Classes

Where the claim stops

1. It does not claim a solved theorem where a conjecture stands, and it does not bridge to physical claims beyond what the referenced programs independently support.

   from 1. Scope and Status

2. Let the primitive act be not the element $x \in S$ but the distinction $\delta = (A \mid A^{\complement})$: a partition of a state space $S$ into what an observer can tell apart and what it cannot.

   from 2. The Substrate: Distinctions and the Realizability Filter

3. A distinction $\delta$ is realized, written $R(\delta)$, if and only if $\delta$ is a fixed point of the behavioral functor $F$ up to bisimulation : $$R(\delta) \iff \delta \text{ is } F\text{-bisimilar to } F\delta .$$ Proposition (Lambek).

   from 3. Stable Entities as Bisimulation Classes

Where to read

1. 1. Scope and Status90 words · 1 min
2. 2. The Substrate: Distinctions and the Realizability Filter200 words · 1 min
3. 3. Stable Entities as Bisimulation Classes180 words · 1 min
4. 4. Eigenforms: Objects as Fixed Points of Their Own Observation108 words · 1 min
5. 5. The Self-Reference Boundary: The Lawvere Diagonal106 words · 1 min
6. 6. The Central Separation: Realizability Is Not Fixed-Point Existence185 words · 1 min
7. 7. The JPCUB/Landauer Bridge (Corrected)74 words · 1 min
8. 8. Open Problems68 words · 1 min
9. 9. References57 words · 1 min