Registry · Proposition VI.P02 tau-effective planned

VI.P02 — Code Reconstruction

ω-germ code encodes distinction at all levels: sufficient (surjective), interior-extending (via H_∂-equivariance), minimal. Code determines the organism.

Book VI Part 1 Ch. 5

Dependency Graph

Depends on (1)

VI.D04

Depended on by (1)

VI.P17

Lean Formalization

Module: TauLib.BookVI.LifeCore.Distinction

Symbol: Tau.BookVI.Distinction.CodeReconstruction