Registry · Definition VI.D11 tau-effective planned

VI.D11 — DecodeTarget

Operator selecting minimal-defect element of blueprint ball B_n; extracts phenotype target (healthy adult / Kerr solution). The 'what you should be' operator.

Book VI Part 1 Ch. 7

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookVI.Sectors.LifeLoop

Symbol: Tau.BookVI.LifeLoop.Decodetarget