Registry · Definition IV.D184 tau-effective formalized

IV.D184 — Ontic coupling

An ontic coupling is an element of H_partial obtained by finite-stage minimization, omega-tail stabilization, and NF normalization, belonging to Fix(S) for some sector S. It is the fundamental, scale-independent quantity.

Book IV Part 5 Ch. 42

Lean Formalization

Module: TauLib.BookIV.Strong.StrongCoupling

Symbol: Tau.BookIV.Strong.OnticCoupling