Registry · Definition III.D23 tau-effective formalized

III.D23 — Internal Bipolar Classifier

Label_n: computable classifier mapping primes ≤ p_n to {B, C, X}. B-type = exponent/χ₊-dominant, C-type = tetration/χ₋-dominant, X-type = balanced. Replaces informal lobe language with computable predicates.

Book III Part 3 Ch. 18

Dependency Graph

Depends on (1)

III.T10

Depended on by (13)

III.D26 III.D43 III.D47 III.D48 III.P08 III.P16 III.P19 III.R09 III.T13 III.T14 III.T20 III.T26 III.T28

Lean Formalization

Module: TauLib.BookIII.Spectral.BipolarClassifier

Symbol: PrimeLabel