Carry a vector around a closed loop, taking no turn at any single step, and it comes home rotated. The rotation is not in any step. It is in the loop.
Walk a straight line across a curved surface and you will insist, the whole way, that you never turned. Locally you are right: at every step you push the direction forward as faithfully as you can, adding no twist of your own. This is parallel transport — carrying a vector along, keeping it “as straight as possible.”
And yet, if the surface is curved and your path closes into a loop, the vector comes back rotated from where it started. Same point, same footing, a different heading. The gap has a name: the holonomy of the loop. And it is not mysterious. It equals, exactly, the curvature the loop enclosed — the total bending of the patch of surface you walked around. Reverse the loop and the turn reverses. Shrink the loop to nothing and the turn vanishes. It lives in the circuit, never in the step.
Three layers of this archive each circle this fact without naming it, and — the thing worth the portal — each one's own offline verifier already computes the very same routine, none of them knowing it is running the others' engine. A pendulum in Paris. A cat dropped over a lab floor at NASA. An ant that never leaves its surface, proving that surface curved. Here they are one instrument. Run it.
Below is a globe. A small gold arrow will be carried around a closed loop by parallel transport — never turning relative to its own path — and you will watch it arrive home pointing somewhere new. The number that appears is the turn. Beside it sits the area the loop enclosed. They are the same number, every time. That equality is the theorem (Gauss–Bonnet, in the small).
Slide the latitude and the pendulum's whole legend falls out of the geometry. The turn a transported vector keeps, read against the fixed stars, is the solid angle of the cap the latitude circle bounds, 2π(1−sin φ): the area it enclosed. Against the ground you stand on you see instead its complement, Foucault's famous Ω·sin φ, because the floor has turned underneath you. The two are one turn of the Earth, split by latitude, summing to 360°. At the pole the cap shrinks to nothing, so against the stars the plane holds dead still while the floor wheels a full turn beneath it. At the equator the loop is a great circle, a geodesic, and the ground reading falls to zero, which is why a pendulum on the equator shows no Foucault drift at all.
The cat has no surface to walk on, and nothing to push against: dropped with zero angular momentum, it stays at zero the whole fall. A rigid body so constrained can never change its facing. But a body that can change shape lives in a curved space of its own — its shape space, the space of all the ways it can bend and twist — and that space carries a connection too. Run a closed loop through it (bend, twist, unbend, untwist) and the body comes home rotated, by the holonomy of that loop. It flips, owing the turn to geometry, not spin.
Draw a loop in the shape square below. The net body-turn it produces obeys the identical three signatures you just watched on the globe: it grows with the area you enclose, it reverses when you reverse the loop, and a back-and-forth wiggle along a single line — enclosing no area — turns nothing at all.
Schematic: this square is a toy shape-space with a constant curvature, so the degree it reports illustrates the law (turn tracks area, flips with the loop, vanishes when pinched), not a measured cat angle. The real cat's full maneuver — swinging a 27.9° waist-bend around once — nets 179.99°, a complete flip; a second lap returns it to the start, solved to fifteen digits in the live cat →
The loop is not the only way curvature shows itself as a missing or extra angle. Squeeze the loop down to a single point and the turn becomes a defect in the angles that meet there; blow it up to swallow the whole surface and the total turn becomes a topological number the shape can never escape. Both are the same accounting.
Try to tile a floor with regular heptagons, three to a corner: the angles sum to 385.7°, an excess of 25.7° that has nowhere to go but a ruffle into curved space. Curvature concentrated at a vertex is that angle mismatch — the loop shrunk to a corner. The Floor That Won't Lie Flat →
Add up the curvature over an entire sphere and it must come to 4π, no matter how you dent it — ∫K dA = 2πχ, and χ = 2. That fixed budget is why you can never comb a sphere flat: somewhere it must stand up in a cowlick. Always a Cowlick →
This portal invents no fact. Each figure below is lifted from the linked layer's own verifier, and recomputed here by one shared transport routine in verify.mjs (29/29 pass). The same routine drives the globe above.
| layer | the loop | the turn, read as an area | check |
|---|---|---|---|
| Egregium | a spherical triangle | angle excess = enclosed area = 90° for the octant; excess/area = K = 1/R² always | see → |
| Watch the Earth Turn | a circle of latitude | vs the stars, the cap's solid angle 2π(1−sinφ); vs the ground, 2π·sinφ; they sum to one Earth-turn. Paris: 11.3°/hr, 31.8 h | see → |
| The Cat That Turns on Nothing | a loop in shape space | holonomy ∝ enclosed area; reverses with the loop; a one-motion wiggle nets zero. One lap of a 27.9° bend = 179.99° | see → |
A pendulum swinging in a straight line, a cat that pushes on nothing, an ant that never leaves its surface: none of them turns, at any moment you can point to. Each comes home turned anyway. The turn was never in a step you could catch. It was the curvature the whole loop went around — and that is one theorem, wearing three costumes.
The honesty of it. A portal builds no new fact; it names the shared engine and reruns the members' own numbers. Every quantity here is recomputed from scratch in research/the-turn-no-step-took/verify.mjs — the octant's 90° excess as a transported holonomy; the Foucault split 2π·sinφ + 2π(1−sinφ) = 2π and the Paris rate; Girard against L'Huilier on random triangles; the cat's three shape-space signatures — all with the identical Levi-Civita transport step used in the members' verifiers. The one number this file does not re-derive is the cat's full nonlinear 179.99° flip: that is lifted, unchanged, from the cat's own engine, as a portal should. Egregium also sits, honestly, in a second portal — Find What Doesn't Change — read there as an invariant (curvature survives bending); here it is read as a holonomy (curvature is the turn a loop keeps). One object, two true lenses. That is what it means for the ground to be a network.