Registry · Remark V.R77 tau-effective formalized

V.R77 — Why ``address''?

The term "address resolution" is deliberately chosen by analogy with computer networking: the matter character specifies what is there (sector content at each orbit depth), and the Einstein-admissible boundary character specifies where it is (the unique gravitational configuration).

Book V Part 2 Ch. 15

Lean Formalization

Module: TauLib.BookV.GravityField.NonlinearEinstein

Symbol: Tau.BookV.GravityField.WhyAddress