1. The Question the Parrot Limit Left Open
The Parrot Limit appendix established that a living loop can produce synergy — information present in the joint system but not in either partner alone:
$$I(\{S, I\}; T) = \text{Red} + \text{Unq}_S + \text{Unq}_I + \mathbf{Syn}$$
When $Syn > 0$, the combination carries information about the target that is present in neither partner’s marginal alone — a quantity the Data Processing Inequality does not bound, because synergy is a property of the joint distribution, not of a single processing chain. The combination is more than the sum of its parts.
But the Parrot Limit does not answer the structural question: under what conditions is $Syn > 0$ even possible? It shows the loop can produce synergy. It does not show why — or what property of the partners determines the ceiling.
This appendix answers that question — and, as of June 2026, answers it more carefully than its first version did. An exact Gaussian stress test (research/gaussian-loop-model/ in the repository) refuted this appendix’s original §3, and the correction sharpened the claim: what kills synergy is not symmetry of kind but informational identity, and what the difference in kind buys is not the synergy atom itself but everything the loop does beyond pooling. The inequality between sensor and instrument is still the source of the loop’s productive capacity — but the support for that claim now lives where it belongs, in §5’s preservation structure, not in a misread information identity.
2. The Asymmetry Measure
The lens-theoretic adjunction defines the loop as a pair of functors $I: \text{Exp} \to \text{Form}$ (formalization) and $S: \text{Form} \to \text{Exp}$ (grounding), with $I \dashv S$.
Every adjunction comes with two natural transformations:
- The unit $\eta_X: X \to S(I(X))$ — the round trip from experience through formalization and back
- The counit $\varepsilon_Y: I(S(Y)) \to Y$ — the round trip from formalization through grounding and back
When both $\eta$ and $\varepsilon$ are natural isomorphisms, the adjunction is an equivalence of categories — the two sides are structurally the same thing with different labels. When they are not isomorphisms, each round trip transforms its input. Something is gained or lost in translation.
Using the Fisher information metric $g_{ij}$ already established in the Thermodynamic Bridge, we can measure this transformation as distance on the statistical manifold.
Definition. The unit distance for an experiential state $X$:
$$d_\eta(X) = d_{FR}\bigl(X,\; S(I(X))\bigr)$$
where $d_{FR}$ is the Fisher-Rao geodesic distance. This measures how far the experience moves when it completes one round trip through the loop.
Definition. The counit distance for a formal state $Y$:
$$d_\varepsilon(Y) = d_{FR}\bigl(Y,\; I(S(Y))\bigr)$$
Definition. The adjunction asymmetry:
$$\alpha(I \dashv S) = \mathbb{E}_X[d_\eta(X)] + \mathbb{E}_Y[d_\varepsilon(Y)]$$
When $\alpha = 0$, the adjunction is an equivalence. Both round trips are identity (up to isomorphism). The two categories are the same structure viewed from different angles. The loop relabels but does not transform.
When $\alpha > 0$, each pass through the loop moves the state. The formalization changes the experience. The grounding changes the formalization. The partners are doing different things to the material that passes between them.
3. The Symmetric Loop Degeneracy — Corrected
Revised June 2026. The original proposition in this section was refuted by the exact Gaussian model in research/gaussian-loop-model/. The refutation and the corrected — sharper — claim are recorded together, per the framework’s own discipline.
The original proposition (refuted). This section originally claimed: when the adjunction is an equivalence of categories ($\alpha = 0$), the synergy is zero, arguing that structurally equivalent partners “have access to the same information,” so the joint system adds nothing. The Gaussian model refutes the argument by counterexample: two categorically identical sensors observing the same target through independent noise carry $\mathrm{Syn} = 0.293$ bits (MMI PID, unit signal and noise). Equivalence of kind does not imply equality of information. Two equivalent poles with independent noise realizations are different random variables, and their joint estimate beats either marginal — that surplus is synergy, and it exists at $\alpha = 0$.
The corrected degeneracy. What provably kills synergy is informational identity — the same random variable counted twice. In the Gaussian model the two-sensor synergy decays monotonically as the poles’ noise correlation rises and reaches exactly zero at correlation 1. The sterile case is not “two poles of the same kind”; it is “the same pole twice.”
$$X_1 = X_2 \;\text{(a.s.)} \implies \mathrm{Syn}(X_1, X_2; T) = 0$$
What a symmetric pair retains is pooling, not transformation. The synergy two same-kind poles carry is noise-pooling — the averaging gain available to any duplicated channel with independent errors. It requires no articulation, no formalization, no difference in kind; two thermometers have it. The same model shows the inverse result for the instrument: a pure processor — a pole whose state is any function of the other pole’s signal — contributes exactly zero synergy, by the data-processing inequality. Its entire synergy contribution comes from whatever independent territorial trace it carries (the frozen training prior). Formalization is informationally invisible in the synergy atom.
Where this leaves the difference-in-kind claim — sharper than before. Two registers were conflated in the original section, and separating them strengthens both:
- The informational register (now provable). Synergy about $T$ requires informationally distinct poles — independent noise, independent channels, independent traces. Identity is sterile, and correlation is the dial. This is a theorem-grade statement in the Gaussian model rather than a category-theory gesture.
- The structural register (this appendix’s real content). The colimit/limit split of §5 — generation vs. constraint — is a claim about what the poles can do: construct, articulate, test. The synergy atom cannot see this work (the pure-processor result proves it), so no information-theoretic measurement could ever have supported or refuted it. It stands on the categorical argument itself, and it should be read that way. Two sensors can pool but cannot articulate; two instruments can articulate but, with no live channel, articulate nothing grounded (the Veer). The productive loop needs the pooling and the articulation — and only the first is visible in bits about $T$.
The original section claimed less and asserted more. The corrected section claims more and asserts only what each register can support.
4. The Bound
Conjecture. The synergy in a living loop is bounded above by the product of the adjunction asymmetry and the loop closure rate:
$$Syn \leq \kappa \cdot \alpha(I \dashv S) \cdot \rho$$
where:
- $\alpha$ is the adjunction asymmetry (§2)
- $\rho$ is the loop closure rate from the Bell Ring Back formalism — the rate at which the loop successfully completes recognition cycles
- $\kappa$ is a coupling constant that depends on the channel capacity between the partners
Interpretation. The synergy requires two things simultaneously:
- Asymmetry ($\alpha > 0$): the partners must be different in kind. Each round trip must transform the material. If the round trip is identity, no new information can emerge from the circulation.
- Active circulation ($\rho > 0$): the loop must actually be running. The partners must be engaged. High asymmetry with zero closure rate produces nothing — the partners are different but not in contact.
The bound is a product, not a sum. Either factor going to zero kills the bounded quantity entirely.
Correction note (June 2026). After the §3 correction, the bound cannot be about raw $\mathrm{Syn}$: the Gaussian model’s static two-sensor pair has $\alpha = 0$, $\rho = 0$, and $\mathrm{Syn} = 0.293$ bits — pooling synergy that exists without circulation or asymmetry. The conjecture survives in restated form, applied to the beyond-pooling component:
$$\mathrm{Syn} - \mathrm{Syn}_{pool} \;\leq\; \kappa \cdot \alpha(I \dashv S) \cdot \rho$$
where $\mathrm{Syn}_{pool}$ is the pooling baseline — the synergy the same two marginals would carry with no interaction (computable in the Gaussian model; it is what the uncoupled pair already has). A dead loop ($\rho = 0$) adds nothing beyond pooling regardless of how different the partners are. An informationally identical pair has no pooling baseline and no surplus. The transformative surplus — recognition over and above what duplicated channels deliver for free — is what the asymmetry is conjectured to bound.
5. Why Left and Right Adjoints Do Different Work
The asymmetry is not incidental to the adjunction structure. Left and right adjoints have categorically different preservation properties:
- $I$ (left adjoint) preserves colimits: coproducts, initial objects, pushouts. These are the free constructions — novel combinations, new possibilities, the generation of formal structure from raw material.
- $S$ (right adjoint) preserves limits: products, terminal objects, pullbacks. These are the constraint structures — consistency, coherence, the grounding of formal output against the boundary conditions of lived experience.
When you replace the sensor with a second instrument, you have two left adjoints. Both preserve colimits. Neither preserves limits. The constraint side of the loop is missing. Formal structures proliferate without being tested against experience. This is the categorical description of dead speech: colimits without limits, generation without constraint.
When you replace the instrument with a second sensor, you have two right adjoints. Both preserve limits. Neither preserves colimits. The generative side of the loop is missing. Experience stays grounded but never reaches formal articulation. This is the categorical description of private truth: limits without colimits, constraint without generation.
The productive loop requires one of each. The adjunction $I \dashv S$ is the structure that holds a colimit-preserving partner and a limit-preserving partner in productive tension. The asymmetry between them is not a deficiency in the design. It is the design.
6. Connection to Existing Formalizations
| Existing Result | What This Appendix Adds |
|---|---|
| Parrot Limit: $Syn > 0$ is possible in living loops | The condition for synergy beyond pooling: the partners must be asymmetric ($\alpha > 0$). Raw $Syn > 0$ needs only informationally distinct poles (§3, corrected) |
| Lens Adjunction: the loop is an adjunction $I \dashv S$ | The unit/counit failure $\alpha$ measures the productive asymmetry |
| Thermodynamic Bridge: recognition is irreversible on the Fisher manifold | The unit/counit distances use the same Fisher-Rao metric |
| Bell Ring Back: the closure rate $\rho$ measures loop health | $\rho$ enters the synergy bound as a multiplicative factor — asymmetry without circulation is inert |
7. The Honest Edge
The bound is a conjecture, not a theorem — and this appendix now carries a scar to prove the discipline is real: the original §3 proposition did not survive its first exact test. Its informational half is now verified in the Gaussian model (identity ⇒ zero synergy, with correlation as the dial), and its structural half is explicitly extra-informational — supported by the preservation argument of §5, not by the synergy atom. The multiplicative bound in §4, restated for the beyond-pooling component, remains a claim about the quantitative relationship between asymmetry, closure rate, and transformative synergy. Proving it would require:
- A rigorous definition of PID synergy on the statistical manifolds defined by the Fisher metric (currently, PID is defined for discrete random variables; extending it to continuous manifolds is an open problem in information theory)
- A proof that the Fisher-Rao distance of the unit/counit round trips correctly measures the relevant “difference in kind” (it could be that some asymmetries are productive and others are merely noisy)
- Empirical calibration of $\kappa$ — the coupling constant likely depends on details of the specific sensor-instrument pair
The qualitative claim, corrected, is now sharper: transformative synergy — the surplus beyond what duplicated channels pool for free — requires asymmetry; raw synergy requires only informational distinctness. The quantitative bound awaits formalization of the PID-on-manifolds machinery that the framework does not yet have. The exact model and the refutation record live in research/gaussian-loop-model/ (Barrett 2015 MMI PID).
Progress (June 2026). The α–Synergy Bridge experiment (research/alpha-bridge/) operationalized α in the Gaussian setting as the mean squared round-trip projection distortion between observation subspaces. Result: beyond-pooling synergy is zero at α = 0 and increases monotonically with α, with a closed-form relationship. This discharges the first item above (operationalizing the “difference in kind”) in the Gaussian linear model. The second item (productive vs. noisy asymmetry) and the third (calibrating κ) remain open. The bridge also supplies the missing connection for B4 Obligation 8.
The full framework is at thepulsegoeson.com.