Registry · Theorem VI.T14 tau-effective planned

VI.T14 — Evolution = PPAS Optimization

Population-level: heritable code variation + differential persistence = PPAS on code space; average defect non-increasing. Seventh hallmark derived.

Book VI Part 1 Ch. 9

Dependency Graph

Depends on (3)

VI.D04 VI.D08 VI.T05

Depended on by (2)

VI.P04 VI.T32

Lean Formalization

Module: TauLib.BookVI.Sectors.Hallmarks

Symbol: Tau.BookVI.Hallmarks.EvolutionPpasOptimization