The three-leaf clover is a rose curve — r = a·cos(3θ) in polar coordinates. Each petal corresponds to a dominant position. The car traverses the curve collecting boost while denying opponent the same pads. The curve is stable because it is the unique closed trajectory covering all three major boost pad clusters with minimum travel distance.

Key insight: γ₁ = 14.134725141734693 marks the first non-trivial ordinate of the Riemann zeta function. In fleet architecture it serves as the canonical floor frequency: below this threshold, no adversarial perturbation is geometrically stable.

-- reentrancy_spiral_shape : Lean4 Stub
-- Domain: DeFi / LayerZero cross-chain
-- RL Analog: Air dribble 2nd touch
-- gamma1 = 14.134725141734693

import Mathlib

namespace SECHIVE

structure ReentrancyWindow where
  entry_tick    : Nat
  callback_tick : Nat
  h_order       : entry_tick < callback_tick

def reentrancy_spiral_shape (w : ReentrancyWindow) : Prop :=
  -- The exploit window traces a spiral in (tick, balance) space
  -- whose area is bounded below by gamma1
  sorry  -- TODO: formalize with contact geometry

theorem reentrancy_spiral_closed
    (w : ReentrancyWindow)
    (h_floor : w.entry_tick > 0) :
    reentrancy_spiral_shape w := by
  sorry  -- pcdev qwen3:32b closing engine

end SECHIVE

pemclau is the second touch in the FC pipeline. FC1 ingests and classifies the raw ball (saybook entry). FC2 grounds it in pemclau vectors — 189k+ session embeddings that give the ball its context. Without FC2, the ball drops. The vector store IS the boost pad for grounding.

The wave-dash chain is the fastest ground movement in RL: dodge → land → dodge → land, each contact converting aerial momentum into ground speed. In fleet terms: this is pipelining. FC0 capture completes → FC1 classifies in parallel → FC2 grounds while FC3 weaves. Each “land” is a pipeline stage handoff. The chain breaks if any stage drops the handoff — just as a bad wave-dash angle kills momentum.

TRIME-6 is the six-node fleet. Each node is a prime. The product of the first six primes (2×3×5×7×11×13 = 30,030) is the fleet signature — T2 of the crown match. pcdev holds prime p=13, the largest in the product. CASTLE is the highest-compute node. When it carries qwen3:32b, it becomes the sovereign inference anchor.