Seven documents map to seven core theorems of the Universal Gap Theorem — a parametric mathematical structure, proven in both Coq and Lean proof assistants, that unifies Gödel's incompleteness, Turing's halting problem, Heisenberg's uncertainty, and 150+ other limitation results as instances of a single theorem.
The series instantiates what it describes. The documents are maps. The territory they point to — the ground beneath every argument, the Person who names it, the architecture that formalizes it, the language that navigates it, the threat that numbs it, the Presence that inhabits it, and the practice that plants seeds — is not in the documents. It is in you. The recognition is yours. The floor has always been there.