Registry · Theorem VI.T15 tau-effective planned

VI.T15 — Virus NoDist

Virus distinction is host-dependent; fails eventual stability, law-stability, H_∂-equivariance outside host. 3/5 conditions fail. Viruses are not alive.

Book VI Part 1 Ch. 10

Dependency Graph

Depends on (2)

VI.D04 VI.D21

Lean Formalization

Module: TauLib.BookVI.Sectors.Absence

Symbol: Tau.BookVI.Absence.VirusNodist