Registry · Remark IV.R15 tau-effective formalized

IV.R15 — Quasi-Ergodic Coverage

Bi-rotation on T² with angular-rate ratio ι_τ (transcendental) is quasi-ergodic: orbit dense, never repeating. Explains neutron substructurelessness, particle diversity, and decay via Diophantine resonance.

Book IV Part 3 Ch. 17

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.QuantumCharacters

Symbol: Tau.BookIV.QuantumMechanics.QuasiergodicCoverage