Registry · Definition IV.D24 tau-effective formalized

IV.D24 — Entropy Splitting

S = S_def + S_ref: defect entropy (→ 0 at coherence horizon) plus refinement entropy (unbounded). Second-Law Inversion: S_def reverses at horizon.

Book IV Part 2 Ch. 7

Dependency Graph

Depends on (1)

IV.D09

Depended on by (1)

IV.D80

Lean Formalization

Module: TauLib.BookIV.Physics.Thermodynamics

Symbol: Tau.BookIV.Physics.EntropySplitting