Registry · Definition VI.D53 tau-effective planned

VI.D53 — SelfDesc over Code, Not Carrier

Identity of SelfDesc system determined by ω-germ code + evaluator deformation class; invariant under carrier replacement if code and evaluator continuity maintained.

Book VI Part 6 Ch. 42

Dependency Graph

Depended on by (1)

Lean Formalization

Module:

Symbol: