Registry · Definition IV.D168 tau-effective formalized

IV.D168 — Three kernel hypotheses

The three kernel hypotheses for a tau-holonomy sector are: (KH-1) eventual stationarity of combinatorial type beyond a stabilization horizon n_*, (KH-2) refinement monotonicity of the defect functional, and (KH-3) strict positivity of Q_n(p,p) for all nontrivial p.

Book IV Part 5 Ch. 40

Lean Formalization

Module: TauLib.BookIV.Strong.GapMetaTheorem

Symbol: Tau.BookIV.Strong.ThreeKernelHypotheses