The Tomabechi Four Dharma Seals Theorems

How to Read This Book

This is the plain-language complete edition of the paper Tomabechi Four Dharma Seals Theorems, which proves the four seals at the very core of Buddhism — impermanence, universal unsatisfactoriness, non-self, and nirvanic tranquility — as mathematical theorems. No prior knowledge is assumed. Even if you have read none of the earlier papers, every idea you need is assembled inside this book, from the first page to the last.

For readers who do not read formulas: The single most important promise of this book: formulas are not code — they are the language of landscapes and journeys. Every formula that appears will be translated into pictures: valleys, slopes, totals, ladders, safe zones. This orange box is the translator. The green box, "the heart of the proof," tells the skeleton of each proof in one paragraph. Read only the boxes, and you can still follow every claim and every argument in the book.

This is not, however, a book of metaphors only. Each theorem is stated with the same canonical formulas and the same explicit conditions as the academic edition. Only the long calculations are omitted; no claim, assumption, or conclusion is weakened. For the full rigorous proofs, each theorem ends with a pointer to the corresponding section of the academic edition, TomabechiFourDharmaSealsMini13.

The Map — Thirteen Theorems to the Four Seals

The map of this book: from the base on the left to the Four Seals on the right, thirteen theorems form one chain.

The four seals in one line each. Impermanence — all conditioned phenomena change and do not stay. Universal unsatisfactoriness — conditioned existence contains suffering. Non-self — all beings arise interconnected (dependent origination), and no self exists as a fixed substance. Nirvanic tranquility — the stillness in which suffering has ceased is real. This book proves them, in order, as Theorems 23, 24, 25, and 26.

Nine base theorems carry them. Theorems 1–4 are the mathematics of landscapes: the mind is a ball rolling in a valley. Theorems 16 and 19 are the mathematics of self and freedom. Theorems 20–22 are the mathematics of directionality: presence governs where the mind turns. On these nine, the four seal theorems stand.

1 → 2 → 3 → 4 → 16 → 19 → 20 → 21 → 22 → 23 → 24 → 25 → 26

For readers who do not read formulas: The numbers skip because we select just the thirteen theorems needed for the Four Seals out of a larger twenty-six-theorem system. The numbers are addresses inside that system, so we keep them as they are.

A Toolbox for Readers Who Do Not Read Formulas

Every formula in this book is a combination of the ten tools below. Get them as pictures here, and everything later is a picture you already know.

Tool 1: Landscape and Valley — the Evaluation V and the TCZ

For readers who do not read formulas: Think of the state of a mind as a single point x. A function V(x,t) scores "how strained this state is right now"; we call it the evaluation function. Draw the score as height, and the mind becomes a ball rolling on a landscape. The shallow part of the basin — where the score is at or below a threshold θ — is the TCZ (Total Comfort Zone): the mathematical identity of "the comfortable range."

The evaluation V is a landscape; the shallow basin (V ≤ θ) is the TCZ.

Tool 2: Total = Area — the Integral ∫

For readers who do not read formulas: ∫V dt is the total of discomfort. Picture the area under the graph. It measures not the strain of one moment but the total of the whole journey. Every optimization in this book targets this total.

∫V dt: the area of discomfort = the total cost of the whole journey.

Tool 3: The Choice That Makes It Smallest — arg min and π_c

For readers who do not read formulas: arg min means "the choice that makes it smallest." Compare all possible action plans u(t) and pick the one with the minimal total cost. That chosen plan is π_c, Ego’s optimal control policy. From here on, every "π = arg min …" reads exactly this way.

arg min: pick the action plan with the smallest total cost. That plan is π.

Tool 4: The Downhill Condition — Lyapunov Descent

For readers who do not read formulas: If the score V can only move downhill, the ball must reach the basin floor (θ) — and Tool 5 guarantees how fast. This is Lyapunov descent, the heart of every convergence proof in this book.

With a downhill condition, V falls exponentially to θ.

Tool 5: Half, Then Half Again — Exponential Decay

For readers who do not read formulas: e^−λt shrinks by the same ratio over every fixed interval: half, then half of that, rushing toward 0. It appears again and again in the conclusions as the certificate of convergence speed.

Exponential decay: the same ratio lost every interval.

Tool 6: Disorder — Entropy and Being Alive

For readers who do not read formulas: A room left alone gets messy. Physics measures this "messiness" as entropy and knows that, for a closed whole, it never decreases (the second law). A living body eats, burns, and dumps heat: this can only proceed by keeping the total disorder of body-plus-environment rising. "Being alive = entropy production that does not stop" — this one line will become the first pillar of the proof of impermanence.

While alive, the total entropy 𝒮 keeps rising — so the complete state never repeats.

Tool 7: The Lowest Roof That Covers Everything — LUB and Emptiness

For readers who do not read formulas: Thoughts have height. "Today’s lunch" sits below "food," which sits below "living." Call this height abstraction. The lowest roof covering several worlds W₁…W at once is the LUB (least upper bound). Above every roof there is a higher roof; the top of the ladder — the highest abstraction with nothing above it — is written ⊤. In this book, the philosophical reading of ⊤ is emptiness.

LUB: the least roof covering all the worlds. The top of the ladder of roofs is ⊤ = emptiness.

Tool 8: The Misalignment Fee and the Shared Valley — Coupling

For readers who do not read formulas: With two or more subjects, each pays, on top of their own discomfort, a misalignment fee γS for being out of step with the others. When everyone minimizes the total, separate valleys line up into one shared valley — the picture of Theorem 2.

Paying the misalignment fee merges two valleys into one shared valley.

Tool 9: The Point That Returns Itself — Functions and Fixed Points

For readers who do not read formulas: A function is a machine: put something in, something comes out. A special S with F(S)=S — put it in and it comes back unchanged — is a fixed point: the center of a revolving door, the one point stirring cannot move. Later, "self-consciousness" will be stated precisely as such a fixed point, and "non-self" as the absence of a fixed point common to all inputs.

A fixed point S*(h) exists per history; no immovable core S₀ common to all histories exists.

Tool 10: The "What If We Changed It" Test — Causality and do(·)

For readers who do not read formulas: Science’s standard test for "does this really act?" is the intervention, written do(·). Pinch the candidate, swap in another value (do(σ→σ′)), and watch whether the future output changes. If it changes, it acts. If nothing changes, the candidate can be erased from the minimal theory. The proof of non-self is written with exactly this test.

The intervention test: if it acts, it is part of R[h]; if not, it is erased.

For readers who do not read formulas: Two small tools will be introduced where they are used: the discounted report card (a total that weighs the far future more lightly) in Theorem 24, and dist with forward-invariant sets (distance, and safe zones you never leave once entered) in Theorem 26.

Part I — The Base Theorems: the Mind Rolls in Valleys (Theorems 1–4)

Theorem 1 (Tomabechi Main Theorem / Individual TCZ Convergence)

π_c = arg min_u(·) ∫ V₀(x^u(s),s)ds　⇒　dist(x(t), TCZ₁^cl(t;x₀)) → 0Premise: the descent conditions of Lemma 0 (the unified convergence lemma). TCZ^cl is the TCZ restricted to what is actually reachable, taken closed.

The words of Theorem 1
Symbol	Reading
π_c	Ego’s optimal plan (Tool 3)
V₀	the raw evaluation — the discomfort score (Tool 1)
∫…ds	the total over the whole journey (Tool 2)
dist(x, A)	the distance from the current state x to the set A
TCZ₁^cl(t;x₀)	the closed comfort zone actually reachable from the start x₀

For readers who do not read formulas: Reading: "move by the plan that minimizes total discomfort (left), and the mind is drawn into the reachable comfort zone (right)." The key word is cl — closed reachable. Convergence is guaranteed not to some paradise on the map, but to the range you can actually reach from where you are.

The heart of the proof: Name the "overshoot" — the part of the score above the threshold, [V₀−θ]₊ — the residual Φ₁. Lemma 0 is a universal part proved once: "if a residual satisfies the downhill condition, it falls to 0 exponentially" (Tools 4 and 5). Theorem 1 is this part applied to the raw landscape; Φ₁→0 is just another way of saying "enter the TCZ."

The full rigorous proof is in the academic edition, TomabechiFourDharmaSealsMini13, §3 (Theorem 1) and §2 (Lemma 0).

Theorem 2 (Shared-TCZ Convergence Theorem)

π_i = arg min_{u_i(·)} ∫ (V_0,i + Σ_jγ_ijS_ij) ds　⇒　dist(𝐱(t), TCZ^shared,cl(t)) → 0Premise: the coupling graph is connected, each misalignment fee S_ij is nonnegative, and Lemma 0 holds.

The words of Theorem 2
Symbol	Reading
V_0,i	member i’s discomfort
S_ij	the misalignment fee between i and j (Tool 8)
γ_ij ≥ 0	the strength of their bond
𝐱	everyone’s states bundled into one vector
TCZ^shared,cl	the shared valley reachable together

For readers who do not read formulas: Reading: "when each member minimizes their own discomfort plus the misalignment fees, all trajectories settle together into the shared valley." This is the skeleton of how a family, or a team, collapses over time into one stability.

The heart of the proof: Build Φ₂ by adding every member’s residual and every fee. Connectedness makes any one member’s overshoot show up in someone’s fee, so Φ₂ as a whole rolls down Lemma 0’s hill. The rest is Theorem 1 again.

The full rigorous proof is in the academic edition, TomabechiFourDharmaSealsMini13, §4 (Theorem 2).

Theorem 3 (Abstract Shared-TCZ Convergence Theorem)

π_i = arg min_{u_i(·)} ∫ (V_0,i + Σγ_ijS_ij + η_i𝒜_i) ds　⇒　‖ι(φ_i(x_i(t))) − ι(L^*)‖ → 0Premise: Theorem 2’s premises, plus an abstraction residual 𝒜_i that vanishes exactly at L^*=∨W_i.

The words of Theorem 3
Symbol	Reading
𝒜_i	the shortfall from the roof; 0 upon reaching the roof L^*
η_i > 0	the weight of the shortfall penalty
φ_i	the map from state to "at what height am I thinking now"
L^* = ∨W_i	the least roof covering everyone’s worlds (the LUB, Tool 7)
ι, ‖·‖	the representation of height, and the size of its gap

For readers who do not read formulas: Reading: add one term to Theorem 2’s total — a penalty for falling short of the roof. Then the group does not merely stabilize together: it is lifted up to the common purpose that covers everyone (the LUB). The floor of the valley rises.

The heart of the proof: Φ₃ = Φ₂ + Ση𝒜 rolls down Lemma 0’s hill again, and inside Φ₃→0 sits 𝒜_i→0 — "everyone’s height of thought aligns with the roof L^*."

The full rigorous proof is in the academic edition, TomabechiFourDharmaSealsMini13, §5 (Theorem 3).

Theorem 4 (Tomabechi Presence-Weighted Theorem)

π_c^P = arg min_u(·) ∫ Ṽ(x^u(s),s)ds,　Ṽ = V₀ − κPQ　⇒　dist(x(t), Ω_P(t)) → 0Premise: P∈[0,1] is presence, Q the value sign, κ>0; Lemma 0 holds.

The words of Theorem 4
Symbol	Reading
P	presence — how real it feels (0 to 1)
Q	the value sign of the object (drawn toward / pushed away)
κ > 0	how strongly presence bends the terrain
Ṽ	the effective terrain deformed by presence
Ω_P	the new valley — the new place the mind settles

For readers who do not read formulas: Reading: what feels real re-digs the terrain itself. An object with high presence deepens its valley by −κPQ and moves where the mind comes to rest. Give presence to a dream, and a valley forms on the goal side; give presence to a fear, and a valley forms on the fear side. The three directionality theorems (20–22) are precision versions of this single formula.

Theorem 4: presence P deforms the terrain and moves the valley where the mind settles.

The heart of the proof: Rebuild the residual Φ₄ on the deformed terrain Ṽ, and Lemma 0 works unchanged. That the valley moves continuously with P can be read from ∂Ṽ/∂P = −κQ.

The full rigorous proof is in the academic edition, TomabechiFourDharmaSealsMini13, §6 (Theorem 4).

Part II — The Theorems of Mind: Self and Freedom (Theorems 16 and 19)

Theorem 16 (Tomabechi Self-Consciousness Existence and Emergence Theorem)

SC_i,h = lim_← K_i,α(h) ≠ ∅,　∃S_i,h^* : F_i,h(S_i,h^*) = S_i,h^*Premise: the candidate sets K at each layer are nonempty and compact, the maps between layers are coherent; under contraction the fixed point is unique.

The words of Theorem 16
Symbol	Reading
h	the entire history of inputs (the h of Tool 10)
K_i,α(h)	the candidate self-images at abstraction level α
lim_←	the operation keeping only images consistent across all layers (the inverse limit)
F_i,h	the feedback that reflects the self-image back onto itself (the F of Tool 9)
S_i,h^*	the image unchanged by that reflection — the fixed point of self-consciousness

For readers who do not read formulas: Reading: a "self" is a self-image coherent from the lowest layer to the highest, and moreover a fixed point unchanged by the feedback of "the self watching itself" — and it provably exists. Watch the subscript h: the fixed point is history-tagged. Different life inputs, different fixed point. This one dot is the bridge to non-self (Theorem 25).

The heart of the proof: If each layer’s candidate set is nonempty and compact and the layer maps are coherent, the inverse limit is nonempty (a standard theorem of topology). If the feedback F is a contraction, Banach’s fixed-point theorem gives exactly one fixed point.

The full rigorous proof is in the academic edition, TomabechiFourDharmaSealsMini13, §7 (Theorem 16).

Theorem 19 (Tomabechi Free-Will Theorem)

ℱ_i(α) = sup_(d,π) I(G;Y|X),　α ≼ β ⇒ ℱ_i(α) ≤ ℱ_i(β),　f_i(⊤) = 1Premise: capacity is the double supremum over a family of problems and a family of policies; f is the unique normalization fixing both endpoints at 0 and 1.

The words of Theorem 19
Symbol	Reading
G	the goal one tries to choose
Y	the actual behavior/output
I(G;Y\|X)	given the situation X, how much a change of goal maps into a change of behavior — the degree of real choosing
sup_(d,π)	the maximum over all admissible problems and policies
ℱ_i(α)	free-will capacity at abstraction α
f_i(⊤) = 1	capacity is maximal at emptiness (normalized to 1)

For readers who do not read formulas: Reading: measure "freedom" not as a feeling but as a capacity — the maximum extent to which swapping goals can change behavior. At the physical layer the future is fixed by initial conditions and the capacity is 0. As abstraction rises the capacity never falls, and at the top of the ladder — emptiness — it is maximal. Determinism and freedom coexist across layers.

Theorem 19: free-will capacity rises monotonically with abstraction and is maximal (=1) at emptiness.

The heart of the proof: The set of policies available at a higher abstraction contains the lower one; a supremum over a larger set cannot be smaller — monotonicity. At the physical layer G has no room to affect Y, so I=0. An affine map fixing the endpoints 0 and 1 is unique.

The full rigorous proof is in the academic edition, TomabechiFourDharmaSealsMini13, §8 (Theorem 19).

Part III — The Theorems of Directionality: Presence Governs Where the Mind Turns (Theorems 20–22)

Theorem 20 (Tomabechi Symbolic-Presence Directionality Theorem)

κ q_σ P_σ (−s′(D)) ≥ b + c　⇒　⟨ẋ, d_{u_σ}⟩_M⁻¹ = −Ḋ_{u_σ} > 0Premise: approach sign q_σ>0, cap b on opposing components, dominance margin c>0, no off-target equilibria.

The words of Theorem 20
Symbol	Reading
P_σ	presence in a symbol (a flag, a story, a ritual)
κq_σP_σ(−s′)	the force with which the symbol calls the mind
b	the cap on everything pulling the other way
c > 0	the winning margin
⟨ẋ, d⟩ > 0	the actual motion carries a component toward the target

For readers who do not read formulas: Reading: as long as the calling force of a symbol beats all opposition with margin c, the mind’s actual motion always carries a component toward what the symbol points at. Why flags, anthems, and advertisements move minds — written as one inequality. Only direction is proved; the rightness or goodness of the target is not.

Theorem 20: if the calling force wins with margin c, motion carries a positive target component.

The heart of the proof: Differentiate the distance D to the target along time: "calling force minus opposition" appears with a downhill sign. Dominance keeps that difference at least c, so D can only keep falling.

The full rigorous proof is in the academic edition, TomabechiFourDharmaSealsMini13, §9 (Theorem 20).

Theorem 21 (Tomabechi Subsumption-Poset Presence Directionality Theorem)

p > p_crit = (1/κm)·max{ β, B/r }　⇒　∇²Ṽ_μ,p ≽ cI,　∃! x_b^*,　‖x_b^* − x_b‖ ≤ B/cPremise: the bias hill built by μ has roundness m and base r; the old terrain has gradient cap B and curvature cap β.

The words of Theorem 21
Symbol	Reading
p	effective presence in the biased information (unbounded)
m, r	the roundness and the base width of the bias hill
B, β	the caps on the old terrain’s slope and warp
p_crit	the threshold at which a valley is born
x_b^*	the bottom of the bias valley (the unique local minimum)

For readers who do not read formulas: Reading: pour strong presence into biased information, and the instant the threshold is crossed, a new valley defeats the old terrain. The valley has a single bottom and captures the mind exponentially. This is the exact condition by which a narrow information environment turns a person — and precisely because the threshold is exact, knowing it is a defense.

Theorem 21: bias presence above the threshold carves a unique valley that captures the mind.

The heart of the proof: Estimate the curvature (Hessian) of the effective terrain after subtracting the bias hill: past the threshold the whole becomes strongly convex. Strong convexity means one minimum, and the displacement of the bottom is bounded by B/c.

The full rigorous proof is in the academic edition, TomabechiFourDharmaSealsMini13, §10 (Theorem 21).

Theorem 22 (Tomabechi Higher-LUB Presence Theorem)

u_n+1 = u_n ∨ v_n+1,　p_n > threshold_n　⇒　u_n ≺ u_n+1,　exp. stability,　ℱ_i(u_n) ≤ ℱ_i(u_n+1),　u_∞ = ∨u_n ≼ ⊤Premise: the stage-wise threshold conditions (as in Theorem 21); the only update pattern is the inclusion ∨.

The words of Theorem 22
Symbol	Reading
u_n	the current roof (LUB)
v_n+1	new information, another’s perspective
∨	the join that wraps without erasing (Tool 7’s roofing)
ℱ_i non-decreasing	free-will capacity never falls as stages rise
u_∞ ≼ ⊤	the limit of the ladder stays at or below emptiness

For readers who do not read formulas: Reading: updating upward does not mean erasing the old self but wrapping the old self whole — that is ∨. Give each stage presence above its threshold, and the roof rises surely, capacity never falls, and the ladder stays open toward emptiness. Reaching emptiness in finitely many steps is not proved. The stairway of awakening stays open, upward.

Theorem 22: wrap, do not erase (∨) — the order rises, and capacity never falls.

The heart of the proof: Each stage reuses Theorem 21’s valley argument. The properties of ∨ give strict ascent and monotone capacity; the existence of an upper bound gives the limit u_∞ ≼ ⊤.

The full rigorous proof is in the academic edition, TomabechiFourDharmaSealsMini13, §11 (Theorem 22).

Part IV — The Four Seal Theorems (Theorems 23–26)

The tools are ready. Here is the heart of the book: the four seals, proved one by one.

Theorem 23 (Impermanence Theorem)

∫_t₁^t₂ Π_gen(s) ds > 0　⇒　z(t₂) ≠ z(t₁)Part one (Condition 23-A: being alive = sustained strict dissipation). z bundles the physical layer, all abstraction layers, and the environment.

Condition 23-B (infinite, non-Zeno, non-terminating inclusion updates)　⇒　TCZ_n+1^cl ≠ TCZ_n^cl (for every stage n)Part two: below emptiness, no finally fixed TCZ exists.

The words of Theorem 23
Symbol	Reading
z(t)	the complete state: body, every layer of thought, and environment, all bundled
𝒮(z)	the disorder of the complete state (generalized total entropy, Tool 6)
Π_gen	the entropy production rate; while alive, ∫Π_gen>0 (Condition 23-A)
Condition 23-B	new information v_n keeps arriving forever, each stage meets its threshold, and stage lengths do not collapse (non-Zeno)
TCZ_n^cl	the closed reachable comfort zone of stage n

For readers who do not read formulas: Reading — the precise content of "impermanence" is twofold. First: while alive, disorder keeps rising, so the complete state of body, mind, and environment together never comes back to the same state. Yesterday’s you and today’s you are, strictly, different states. Second: below emptiness, no stage’s comfort zone is final. There is always a next roof, and the valley keeps being re-dug.

Part one: total entropy keeps rising while alive — hence z(t₂) ≠ z(t₁).

Part two: until emptiness there is always a next rung — the current TCZ is never final.

For readers who do not read formulas: Two misreadings sealed off. (1) It does not say "everything churns chaotically every instant." The control policy π_c is a function and can keep operating as the same function; what keeps changing is the state — the exact conclusion is that "the homeostatic closed loop has no permanent shutdown time." (2) Reaching emptiness does not stop the body’s physical impermanence; what can stop is only the relative updating toward yet-higher roofs.

The heart of the proof: Part one: if z(t₂)=z(t₁), then 𝒮 — a quantity determined by the state alone — would take the same value; but its difference equals ∫Π_gen>0. Contradiction; the two complete states differ (one stroke of reductio). Part two: under Condition 23-B, Theorem 20 gives the direction to the next roof, Theorem 21 the new valley, Theorem 22 the staged arrival. The new sublevel set cannot coincide with the old, so the stage TCZ is replaced every time.

The full rigorous proof is in the academic edition, TomabechiFourDharmaSealsMini13, §12 (Theorem 23).

Theorem 24 (All Conditioned Existence Is Suffering Theorem)

J_a,ρ^*(x,T) = min_π ∫_T^∞ e^−ρ(t−T) V_a(x^π(t),t) dt,　　a ≺ ⊤ ∧ Condition 24-A　⇒　J_a,ρ^*(x,T) > 0Condition 24-A: below emptiness, no policy keeps V_a=0 almost everywhere forever. An optimal policy is assumed to exist.

The words of Theorem 24
Symbol	Reading
e^−ρ(t−T)	the discounted report card: the far future weighs more lightly (a new small tool)
J_a,ρ^*	the total remaining discomfort of a life lived by the best possible plan
a ≺ ⊤	abstraction has not reached emptiness
Condition 24-A	no permanent zero-suffering below emptiness: no path stays perfectly at zero forever
> 0	even that minimum is not zero

For readers who do not read formulas: Reading — the precise content of "all is suffering" is not "every instant hurts." It is a structural statement: however optimally one lives, no path below emptiness makes the total of discomfort zero. Ego always minimizes; but below emptiness the minimization problem itself cannot be dissolved. Homework can be reduced — the homework book does not vanish.

Even the best route totals positive: J* > 0. "All is suffering" means "structurally not reducible to zero."

The heart of the proof: Suppose J*=0. Everything inside is nonnegative, so a zero total forces V_a=0 almost always along the optimal trajectory — exactly the permanent zero-suffering path Condition 24-A forbids. Contradiction; hence J*>0 (one stroke of reductio).

The full rigorous proof is in the academic edition, TomabechiFourDharmaSealsMini13, §13 (Theorem 24).

Theorem 25 (Non-Self of All Dharmas Theorem) — the Mathematics of Dependent Origination

Here is the core of Buddhism. "Non-self of all dharmas" makes a two-step claim. First: no being exists on its own; every being stands interconnected with others (dependent origination). Second: therefore, nowhere does there exist a fixed entity called "myself," independent of other beings, of the lived history, and of the relations between layers. This theorem turns both steps directly into mathematics.

Supp_h(d) ≠ ∅,　α∈Supp_h(d) ∧ α≼β ⇒ β∈Supp_h(d),　⊤∈Supp_h(d)Condition 25-B (layerwise existence profiles): every dharma d is a "column" spanning all layers from the physical bottom ⊥ to emptiness ⊤; the set of layers where it is present is upward closed. At the top, z_d,⊤=★_⊤ — common to all beings, preserving no individuals.

((d,α), r, (e,β)) ∈ E_rel　⇔　((e,β), r^⌣, (d,α)) ∈ E_relCondition 25-C (bidirectional dependent-origination relations): every relation comes as a converse-role pair r / r^⌣, and the web of beings is connected.

FatherOf(f,c;h) ⇔ HasFather(c,f;h),　MotherOf(m,c;h) ⇔ HasMother(c,m;h),　∀c ∃f,mThe father-mother-child example (25.C4): every born being has a father and a mother.

¬∃S₀ ∀h: F_i,h(S₀) = S₀　　and　　∀d∈𝔇 ∀α∈𝕃: ¬Atman(d,α)Conclusion (25.1, 25.2): neither a fixed point common to all histories, nor a fixed intrinsic nature of any being at any layer. By Condition 25-D (relational functional completeness for all dharmas and all layers).

The words of Theorem 25
Symbol	Reading
𝔇, d	the "dharmas" of the model — all beings, phenomena, relations, memories, symbols — and one of them
Z_d[h]	the layerwise profile of d: a column spanning all layers
∂_α	the absence mark: "not directly present at this layer"
Supp_h(d)	the set of layers where d is present; upward closed — present at one layer, present at all layers above
★_⊤	the non-individuating representation of emptiness: common to all, carrying no content that tells individuals apart
r, r^⌣	the converse-role pair of a relation (FatherOf / HasFather): bidirectional, not symmetric
Γ_d,α	the relational state: the column + vertical subsumption + relation edges to others + history
Atman(d,α)	the proposition "an intrinsic nature exists that rigidly fixes d independently of relations, with extra causal power" — denied in full

For readers who do not read formulas: What is dependent origination? A father is a father because a son or daughter exists; likewise a mother. And every child necessarily has a father and a mother. This "bidirectional" is not mirror symmetry: "being the father of" and "having as father" are the converse roles of one and the same tie, read from its two ends. Every being obtains its "what it is" only inside such a web of ties.

The web of dependent origination: relations are bidirectional (converse-role pairs), and the whole web is connected.

For readers who do not read formulas: A being is not a point but a column. Every dharma is drawn as a layerwise profile spanning all layers, from the physical bottom to emptiness at the top. It need not be "directly present" at every layer: where it is absent, the mark ∂ stands. And the set of layers where it is present is upward closed: present at one layer, present at every layer above it.

The layerwise profile: a column spanning all layers. After death the physical slot becomes ∂, yet the higher layers remain.

For readers who do not read formulas: Death and memory. When a person dies, the direct realization as a living process at the physical layer ends (∂₀). But by upward closure, the person remains present at higher abstraction layers — as the memories of those left behind, as records, as social roles, as the causal influence of past deeds. Memory itself is part of the higher abstraction layers, its physical carriers being brains and documents. And we say it honestly: what persists is not the same fixed subject, but representations and traces that depend on others, on media, on history — and if the carriers are lost, the persistence of those particular representations is not guaranteed.

For readers who do not read formulas: And emptiness. The top ⊤ is not a heaven preserving the personalities of the dead. The top coordinate is one and the same ★_⊤ for all beings: the content that tells individuals apart vanishes. Emptiness is where all beings are subsumed into one common maximum.

Emptiness preserves no individuals: all beings are subsumed into one ★⊤, and identifying content vanishes.

For readers who do not read formulas: Yet "the present I" exists. As Theorem 16 proved, the history-tagged fixed point S^*_h — the self that functions, relates, and carries memory — is real. What this theorem removes is only the fixed core that would exist independently of that relational description while wielding extra causal power.

A fixed point exists per history (the two circles); no immovable core S₀ common to all histories.

The intervention test: absorbed into the relational state Γ if it acts, erased if it does not — either way no fixed nature remains.

The heart of the proof: A two-stage reductio. Stage one: suppose a fixed point S₀ common to all histories. Different histories give different fixed points (Condition 25-A) — contradiction; hence 25.1. Stage two: fix any being d and any layer α and suppose a fixed intrinsic nature Atman(d,α). Pinch the candidate Σ and swap it (the do-test). If the future changes, Σ acted outside the relational state Γ_d,α, violating the completeness of Condition 25-D. If nothing changes, Σ lacks the extra causal power and fails the definition of Atman. Either way, contradiction — so 25.2 holds at every layer, from the physical bottom to emptiness. One point matters most: what decides non-self is not the mere existence of the subsumption graph or of father-mother-child ties (a connected graph could still carry a fixed private attribute at every node). The deciding condition is relational functional completeness quantified over all dharmas and all layers (25-D).

The full rigorous proof is in the academic edition, TomabechiFourDharmaSealsMini13, §14 (Theorem 25).

Theorem 26 (Nirvanic Tranquility Theorem)

𝒩_⊤(T) = ℬ_alive ∩ { x | J_⊤,ρ^*(x,T) = 0 },　　W_⊤(x(t),t) ≤ W_⊤(x(T),T) e^−λ(t−T)　⇒　dist(x(t), 𝒩_⊤(t)) → 0Condition 26-A: 𝒩_⊤ is nonempty and forward-invariant. Condition 26-B: a quadratically sandwiched Lyapunov function W_⊤ with decay rate λ>0. Condition 26-C: the residual value is continuously bounded by the distance (a modulus ω).

permanent cessation of suffering　⇔　a = ⊤　and　x ∈ 𝒩_⊤

The words of Theorem 26
Symbol	Reading
ℬ_alive	the range in which brain and body remain alive (a stay-inside safety condition — a new small tool)
𝒩_⊤(T)	the set of states, alive, whose total remaining discomfort is exactly zero
forward-invariant	once inside, the trajectory stays inside forever
W_⊤, λ	the Lyapunov function measuring the distance to the safe zone, and its exponential rate (Tools 4 and 5)
dist → 0	the trajectory is drawn into the safe zone exponentially

For readers who do not read formulas: Reading — "tranquility" is not physical stillness. The body moves, the brain works, entropy keeps rising (Theorem 23 remains in force here). And yet, if abstraction is at emptiness and the state lies in the zero-suffering set 𝒩_⊤, then the total remaining discomfort stays exactly zero — the trajectory may keep moving tangentially inside the safe zone. This is dynamic tranquility: the mathematics of awakening.

Dynamic tranquility: exponential entry into the safe zone 𝒩⊤, then motion continues inside — alive.

For readers who do not read formulas: How to read "the flames of the defilements are extinguished." The very word nirvana means "blowing out." But blowing out what? Not the candle flame itself — not the evaluation function V. As Tool 1 showed, V measures the terrain of the mind and drives Ego’s steering (π_c): it is the engine of being alive, and extinguishing it identically would halt the control loop — impossible while alive. If nirvana were read as "the value of V(x,t) disappears," then living nirvana — sokushin jōbutsu, Buddhahood in this very body — would be mathematically impossible: an incomplete reading from the Mahāyāna-esoteric standpoint. What Theorem 26 extinguishes is not V but the total remaining suffering J^*. The evaluative flame stays lit, while one dwells in the room 𝒩_⊤ where the fuel to burn — residual suffering — is exactly zero. That is this system’s answer, and it holds while alive. The mathematical condition of living Buddhahood is "a=⊤ and x∈𝒩_⊤ and alive (ℬ_alive)", with nonemptiness guaranteed by Condition 26-A. And this reading meshes with the whole chain: Theorems 1–4 whose engine is V, Theorem 24’s below-emptiness lower bound, Theorem 23’s impermanence — taking the mathematics of Theorem 26 as the interpretation of the Buddha’s teaching is the natural conclusion of all the theorems together.

For readers who do not read formulas: One step of precision. The ordinary comfort zone Ω_θ (score ≤ θ) permits residual discomfort by exactly θ>0; staying there is the bounding of suffering, not its cessation. Strict cessation needs the set where the score itself is zero, Ω₀ — this theorem’s 𝒩_⊤. And by Theorem 24, below emptiness there is no path that stays there forever. Hence the equivalence: "permanent cessation ⇔ emptiness, and inside 𝒩_⊤."

The heart of the proof: Apply Grönwall’s inequality to the exponential decay of W_⊤ (Condition 26-B): W_⊤→0. The quadratic sandwich (the 26-A side bound) turns this into dist→0. Forward invariance of 𝒩_⊤ keeps J_⊤,ρ^*=0 after arrival. The converse is Theorem 24: no permanent zero-suffering below emptiness. Together, the equivalence.

The full rigorous proof is in the academic edition, TomabechiFourDharmaSealsMini13, §15 (Theorem 26).

Four Consistency Checks — No Contradictions

Check 1 — Impermanence (23) vs Tranquility (26): Everything changes, yet stillness? No conflict. 23 says "the state never repeats"; 26 says "the trajectory can keep moving inside the zero-suffering set." Motion within a set does not break membership of the set. The water flows on; the river is there.

Check 2 — Non-self (25) vs Self-consciousness (16): No self, yet self-consciousness? No conflict. 16 proves the history-tagged fixed point S^*_h; 25 denies the all-history-common S₀. The each-time self is real; the unchanging core is not.

Check 3 — Suffering (24) vs Freedom (19): If all is suffering, what is freedom for? Everything. Capacity rises with abstraction (19) and never falls under inclusion updates (22). The freedom to climb toward smaller totals is the correct answer to 24’s structural homework — and only at the top (emptiness) does 24’s premise a≺⊤ finally release.

Check 4 — Directionality (20–21) vs Liberation (22, 26): If presence governs the mind, are we puppets? The three theorems are conditions of control and, equally, conditions of defense. Whoever knows the threshold p_crit sees the valley being dug; whoever knows the ∨ update wraps instead of being erased. The same mathematics is weapon and shield.

Frequently Misread — Q&A

Q1. Does impermanence mean pessimism?
No. Theorem 23 carries no value judgment. "Nothing is fixed" and "updating is always possible" are two faces of the same fact.

Q2. If all is suffering, is effort pointless?
No. J* can always be reduced, and raising abstraction lightens the homework itself (19, 22). The only pointless strategy is trying to reach zero while staying below emptiness.

Q3. If non-self, does responsibility vanish?
No. The causality of action runs through R[h] and acts on reality. What vanished is the "fixed culprit independent of all input," not the functioning agent who carries the history.

Q4. Is nirvana death?
The opposite. The definition of 𝒩_⊤ intersects ℬ_alive (life maintained). Theorem 26 concerns only the cessation of suffering while alive.

Q5. Is "emptiness" something mystical?
Not in this book. ⊤ is the apex of the inclusion ladder — a point of order structure, definable with Tool 7 alone.

Q6. Can these results be refuted by experiment?
Each theorem states its premises explicitly (23-A/23-B/24-A/25-A/26-A–C). Exhibit a system where a premise fails, and you have a refutation — exactly the ordinary practice of science.

Q7. Sokushin jōbutsu — is awakening while alive mathematically possible?
Yes. What is required is not extinguishing the evaluative flame V, but entering, alive (ℬ_alive), the room 𝒩_⊤ where the total remaining suffering J^* is zero; its nonemptiness is guaranteed by Condition 26-A (Theorem 26).

Theorem List (All Thirteen Theorems) — Number, Name, Central Formula, Brief Explanation

Theorem name, central formula, and brief explanation
No.	Theorem	Central formula	Brief explanation
1	Tomabechi Main Theorem	π_c=arg min_u(·)∫V₀ds ⇒ dist(x(t),TCZ₁^cl(t;x₀))→0	Ego’s receding-horizon control converges exponentially to the individual closed-reachable TCZ slice.
2	Shared-TCZ Convergence Theorem	π_i=arg min_{u_i(·)}∫(V_0,i+Σγ_ijS_ij)ds ⇒ dist(𝐱(t),TCZ^shared,cl(t))→0	Connected coupled agents cancel individual residuals and misalignments together, converging to the shared zero set.
3	Abstract Shared-TCZ Convergence Theorem	π_i=arg min_{u_i(·)}∫(V_0,i+ΣγS+η_i𝒜_i)ds ⇒ ‖ι(φ_i(x_i(t)))−ι(L^*)‖→0	Adding the abstraction residual lifts the group to the representation of the LUB L^*=∨W_i.
4	Tomabechi Presence-Weighted Theorem	π_c^P=arg min_u(·)∫Ṽds,　Ṽ=V₀−κPQ ⇒ dist(x(t),Ω_P(t))→0	Presence P and value sign Q deform the effective terrain and shift the target TCZ slice.
16	Tomabechi Self-Consciousness Existence and Emergence Theorem	SC_i,h=lim←K_i,α(h)≠∅,　∃S_i,h^: F_i,h(S_i,h^)=S_i,h^*	On the inverse limit of layered TCZs there exists (uniquely, under contraction) a history-relative fixed point of self-consciousness.
19	Tomabechi Free-Will Theorem	ℱ_i(α)=sup_(d,π)I(G;Y\|X),　α≼β⇒ℱ_i(α)≤ℱ_i(β),　f_i(⊤)=1	Goal-conditioned control capacity is monotone in abstraction and maximal at emptiness; it is compatible with determinism.
20	Tomabechi Symbolic-Presence Directionality Theorem	κq_σP_σ(−s′(D))≥b+c ⇒ ⟨ẋ,d_{u_σ}⟩_M⁻¹=−Ḋ>0	Under dominance, the actual motion of the mind always carries a positive component toward the LUB the symbol points at.
21	Tomabechi Subsumption-Poset Presence Directionality Theorem	p>p_crit=(1/κm)max{β,B/r} ⇒ ∇²Ṽ_μ,p≽cI,　∃!x_b^,　‖x_b^−x_b‖≤B/c	Bias presence above the threshold defeats the old terrain, carving a unique local valley that captures exponentially.
22	Tomabechi Higher-LUB Presence Theorem	u_n+1=u_n∨v_n+1 ⇒ u_n≺u_n+1,　exp. stability,　ℱ_i(u_n)≤ℱ_i(u_n+1),　u_∞=∨u_n≼⊤	Staged updating by inclusion, not erasure, raises the order strictly, never lowers capacity, and its limit stays at or below the top.
23	Impermanence Theorem	∫_t₁^t₂Π_gends>0 ⇒ z(t₂)≠z(t₁); 23-B ⇒ TCZ_n+1^cl≠TCZ_n^cl	A living complete state under sustained dissipation never recurs, and below emptiness no stage TCZ is ever final.
24	All Conditioned Existence Is Suffering Theorem	a≺⊤ ∧ 24-A ⇒ J_a,ρ^*(x,T)>0	Below emptiness no optimal control achieves a permanent zero-suffering trajectory; a positive residual cost remains.
25	Non-Self of All Dharmas Theorem	¬∃S₀∀h: F_i,h(S₀)=S₀;　∀d∈𝔇 ∀α∈𝕃: ¬Atman(d,α)	A history-relative functional self exists, but neither a fixed point common to all histories nor a fixed intrinsic nature at any abstraction layer exists; every dharma stands within the web of dependent origination.
26	Nirvanic Tranquility Theorem	W_⊤(x(t),t)≤W_⊤(x(T),T)e^−λ(t−T) ⇒ dist(x(t),𝒩_⊤(t))→0; permanent cessation ⇔ a=⊤∧x∈𝒩_⊤	The state approaches the zero-suffering invariant family of emptiness exponentially: dynamic tranquility with life processes intact.

Mini Glossary

Mini glossary
Term	One-line definition
evaluation V	the discomfort score; the height of the landscape (Tool 1)
TCZ	the comfortable range where the score is at or below threshold; "cl" restricts it to what is actually reachable, taken closed
π_c	Ego’s optimal control policy — the total-minimizing plan (Tool 3)
Lemma 0	the universal convergence part: a residual on a downhill vanishes exponentially (Tools 4, 5)
entropy 𝒮 / Π_gen	disorder and its production rate; ∫Π_gen>0 while alive (Condition 23-A)
abstraction / LUB / ⊤	the height of thought / the least covering roof / the top of the ladder = emptiness (Tool 7)
∨ (inclusion)	the join that wraps without erasing; the update rule of Theorem 22
fixed point	an S with F(S)=S; history-tagged: self-consciousness (16); all-history-common: nonexistent (25)
do(·)	the "what if we changed it" intervention test (Tool 10)
discount e^−ρt	the report-card weight counting the far future more lightly (24)
J_a,ρ^*	the total remaining discomfort of an optimally lived life; positive below emptiness (24)
forward-invariant	once entered, never left; a requirement on 𝒩_⊤ (26-A)
𝒩_⊤	the set of zero residual suffering while alive — the mathematical address of awakening (26)
dynamic tranquility	motion inside 𝒩_⊤; a stillness that is not standstill (26)
sokushin jōbutsu	being at a=⊤ and x∈𝒩_⊤ while alive (ℬ_alive): not the extinction of V but J^*=0 (26)

To Go Further

The full rigorous proofs, the complete assumptions, and the consistency checks for every theorem in this book are given in the academic edition, TomabechiFourDharmaSealsMini13 (Japanese and English). Every claim inside these covers is a faithful plain-language rendering of results proved there; nowhere has a claim, an assumption, or a conclusion been weakened.

Tomabechi, H. (2026a). A Unified Theory of Latent Potentials: Homeostasis and Cognitive Warfare — Toward a Mathematical Foundation of Cognitive Control in Physical, Social, and AI Systems. National Defense University Lecture Paper, April 4, 2026, public revised edition. Available at: https://tomabechi.jp/TomabechiNDUpaperENpublic.pdf

Tomabechi, H. (2026b). “Cognitive Warfare as Control of Complex Cognitive Potential Landscapes: A Lyapunov-Based Framework for Stability, Abstraction, Presence, and Peace-Oriented Cognitive Operations.” In Complexity and Security: Theorizing Within and Beyond Borders. Routledge, in press.

Tomabechi, H. (2026c). Cognitive Latent Potential Theory: From Cognitive Warfare to Human and Organizational Transformation. Cognitive Research Laboratories Technical Report, May 2026.