The stabilizer σ_t on a recognition fiber H_t is an idempotent, monotone endomorphism that projects recognitions onto their stable part: σ_t(σ_t(a)) = σ_t(a) for all a ∈ H_t. Idempotence means that stabilizing twice is the same as stabilizing once — the operation reaches a fixed state in one step.
The stabilizer is one half of the recognition dynamics in the GFRTU; the other half is the drift operator Δ_t. The two commute: σ_t ∘ Δ_t = Δ_t ∘ σ_t, ensuring that the order of stabilization and evolution does not matter. A recognition a is fully stable if σ_t(a) = a; the fixed fiber H_t* additionally requires Δ_t(a) = a.
The stabilizer in the GFRTU is analogous to the modality j in the semiotic universe: both are idempotent, monotone closure-like operators whose fixed points form a well-behaved subalgebra. In the semiotic universe, the j-stable elements form a complete Heyting subalgebra; in the GFRTU, the σ-stable elements at each trace form the local stable fragment.