Documentation

Lean 4 Proof

theorem multi_scale_early_warning
    (N : ℕ) (e : WeightedNSectorEconomy N) (n : Fin N) :
    -- The "diversity mode" (most distributed across inputs) decelerates first
    -- Observable: cross-correlations rise in specific order determined by weights
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/Relaxation.lean:422

Module Section

## Corollary 3b.1: Multi-Scale Pre-Crisis Deceleration

In the same file