Registry · Proposition VI.P17 established planned

VI.P17 — Metamorphosis Preserves SelfDesc

ω-germ codes identical in larva and adult, continuous evaluator path, SelfDesc holds at every instant including maximal pupal disruption.

Book VI Part 5 Ch. 32

Dependency Graph

Depends on (2)

VI.D08 VI.P02

Lean Formalization

Module:

Symbol: