Registry · Proposition V.P32 tau-effective formalized

V.P32 — No Poincar'e recurrence conflict

No Poincare recurrence conflict: in the tau-framework, Poincare recurrence occurs only in the post-horizon regime (coherent vacuum circulation), where S_def = 0 throughout; before the horizon, evolution is irreversible (defects absorbed), so recurrence never violates the Categorical Second Law.

Book V Part 3 Ch. 23

Dependency Graph

Depends on (6)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DefectExhaustion

Symbol: Tau.BookV.Thermodynamics.NoPoincareRecurrenceConflict