Artefacts

Les documents bruts, rendus pour la lecture en navigateur. Tout regénère depuis le dépôt via docs/site/artifacts/build.sh.

Articles (PDF)

• paper.pdf — l'article principal (Q1/Q2/Q3, classification quadratique).
• paper-formal.pdf — le volet méthodes formelles (Lean 4 + Mathlib).

Notes de preuve

• circular-q1a-stability-vs-closure
• circular-q3-glissement
• invariant-reformulation
• problem
• q1-exotique-nonpoly
• q1a-algebraic-closure
• q1b-integrability
• q1c-q3-regular-equivalence
• q2-quadratic-stability

Cartes concept (wiki)

• amari-m-geodesic
• bakry-emery-gamma2
• cole-hopf
• cramer-rao-fisher
• de-bruijn-identity
• heat-semigroup-commutation
• jko-gradient-flow
• maxent-awgn
• ornstein-uhlenbeck
• riccati-flow
• source-ledger
• stam-inequality
• tychonoff-uniqueness