Book 3 · The Mini-Beast · Chapter 20 of 44

BIOLOGY · SYSTEMS

Neural · The Generative Transition

A cognitive state-change as the same contact-normal-form transition.

γ_t → γ_{t+1}

Sigil γ Operator F CEFR C1 Week 9
C · CompressionK · ThresholdF · FoldU · UnfoldingG · Generation
Version — Book 3 v2 (web, dated 2026-09-25). This page is the live web edition, part of Book 3 version 2, to be deposited on Zenodo at the March 2027 equinox. Added since version 1: Lean status notes. Version 1, as taught and deposited: 10.5281/zenodo.22947908.

OrientationThe Same Transition, a Fourth Time

By this point the structure of a domain chapter is familiar, which is the argument. A cognitive state-change is a contact-normal-form transition with three numbers substituted in, and the substitution is the only thing that changes between rooms.

Neural transition

Substituting into the normal form

ρ̇ = −0.55 (1 − e^−2.1z) ρ + O(ρ²)θ̇ = 0.45 + O(ρ)ż = 0.45 − |−0.55| ρ² e^−2.1z + O(ρ³)μ_max = −0.55 · ω = 0.45 rad/s · β = 2.1

U delivers a new behavioural mode: the post-transition oscillatory regime, stable, and not reachable in reverse by removing the input that caused it. Irreversibility is the same property the pedagogy chapter relies on when it claims a student cannot unlearn compression.

Identity Across the Four RoomsWhat Is Actually Being Claimed

The claim is not that these four systems are similar. It is that they are objects in one category, related by explicit contact morphisms — that the same normal form obtains, and that identifying a system means measuring (μ_max, ω, β) rather than proposing a model.

It is worth being precise about the strength of this. Darboux’s theorem makes the local contact geometry identical for free: every contact form is locally α = dz − y dx, so finding the same local structure in four rooms is not by itself evidence of anything. The content is in the dynamics carried on the structure — in the specific normal form, the rank-one Hessian degeneracy at the fold, and the numerical bands. Those do not come free.

Stated that way, the identity claim is falsifiable in a useful direction: find a generative transition whose Hessian loses rank two, or whose residual is not O(ρ²), and the category is smaller than advertised.

Lean StatusWhat Has Been Checked

Lean status (Book 3 v2, 2026-09-25) — the neural orbit. (μ_max, ω, β) = (−0.55 s⁻¹, 0.45 rad/s, 2.1) belongs to the same dm³ family as the plasma and market rooms: the transverse rate is negative for z > 0 and tends to −0.55. (neural_inFamily, neural_transverseRate_neg, neural_transverseRate_tendsto) Kernel-checked in NeuralDynamics.lean.
What holds, and what it does not (audit, 2026-10-25). Proved in NeuralDynamics.lean (not re-run here): the neural parameter set satisfies the sign conditions (neural_inFamily); the transverse rate is negative only for z > 0 (neural_transverseRate_neg, hypothesis 0 < z) and tends to −0.55 as z → ∞; the envelope half-life exceeds 1 s and the fold time π/ω exceeds 6.9 s, so both exceed the chapter’s own 200 ms window (neural_timescales_exceed_window). What follows from the displayed equations: ρ̇ = −0.55(1 − e−2.1z)ρ contracts only where z > 0, and ρ can grow transiently for z < 0. At ρ = 0 the z-equation gives ż = 0.45, so z increases without bound: the post-transition state is a decaying approach with z running away linearly, not a closed limit cycle. (Integrated numerically from three starting points: ρ → 0 and z grows at about 0.45 per second in all three; mirrored in ch19n-audit-verify.py.) What is not established: (1) that a cognitive state-change is this normal form; (2) “not reachable in reverse by removing the input” — the equations are autonomous and contain no input, so irreversibility here is a modelling claim, not a result; (3) physiological meaning of the numbers: ω = 0.45 rad/s is a 14 s period, not a theta rhythm, and the proved 1 s+ timescales are incompatible with a transition “within 50–200 ms” as stated in Chapter 2 (see its audit note). The four-room identity stays a shared functional form, as the status note above already says.
Lean status (Book 3 v2, 2026-09-25) — the four-room identity. What is kernel-checked is that the neural, market and plasma parameter sets each satisfy the dm³ sign conditions (μ < 0, ω > 0, β > 0): a shared functional form. No category of rooms and no contact morphisms between them are defined anywhere in the Lean, so the identity claim remains a claim. The rank-one degeneracy at the fold is checked in a model fold family in PlasmaRoom.lean (fold_generic_morse). (neural_inFamily) Kernel-checked in NeuralDynamics.lean.

BridgesWhere This Connects

← PreviousNeural · Critical Curvature in Phase Space