Registry · Definition V.D174 tau-effective formalized

V.D174 — Permanence Hallmark

A permanence hallmark is a structural property P of a coherent instance in tau^3 such that: (1) there exists a finite acquisition threshold n_P at which P is first satisfied, and (2) for all n >= n_P, P continues to hold (irreversibility). BH linking class is the primary example.

Book V Part 6 Ch. 52

Lean Formalization

Module: TauLib.BookV.Cosmology.NoShrinkExtended

Symbol: Tau.BookV.Cosmology.PermanenceHallmark