Registry · Definition VI.D08 tau-effective planned

VI.D08 — SelfDesc Predicate

Internal evaluator Eval_X: code(D)[ω] × NF_n(x) → D_n satisfying completeness, internality, refinement coherence. Second of two Life predicates; together with Distinction defines Life.

Book VI Part 1 Ch. 5

Dependency Graph

Depends on (1)

VI.D04

Depended on by (19)

VI.D10 VI.D22 VI.L08 VI.L13 VI.P03 VI.P06 VI.P15 VI.P17 VI.P18 VI.T03 VI.T04 VI.T08 VI.T09 VI.T10 VI.T11 VI.T12 VI.T13 VI.T14 VI.T34

Lean Formalization

Module: TauLib.BookVI.LifeCore.SelfDesc

Symbol: Tau.BookVI.SelfDesc.SelfdescPredicate