Registry · Definition VII.D34 tau-effective formalized

VII.D34 — Identity as Address Persistence

Identity through change is NF-address persistence; substance is not required; everything flows but invariants persist.

Book VII Part 2 Ch. 26

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.IdentityAsAddressPersistence