List of figures🔗

The document's figures, numbered in the order they appear; each entry links to its figure and names the section it stands in.

1. Figure 1. Lowe's ontological square with the calculus's identifiers at its corners and its mechanisms on its edges. — in the introduction
2. Figure 2. The stack a domain model's trust traces down through: PhysLib and cslib as peers on Mathlib, TorchLean with FloatLib beneath it, and the Lean kernel at the floor. — in the introduction
3. Figure 3. The three layers and their two ladders, drawn on the module y = a · b + e at three granularities. — in 7.1. The layers and their ladders