Scripts de vérification

Cinq scripts emblématiques de la monographie PT, exécutables directement dans ton navigateur via Pyodide (Python 3.13 compilé en WebAssembly). Aucun aller-retour serveur ; tout tourne en local.

Premier clic « Lancer » : téléchargement de Pyodide (~10 Mo) + numpy + scipy (~35 Mo au total). Comptez 20 à 40 s la première fois, quelques secondes ensuite (cache navigateur).

ch08 · léger

T5 — attracteur réduit μ* = 15

Vérifie par arithmétique rationnelle exacte que μ* = 3 + 5 + 7 = 15 est le point fixe du secteur réduit, avec bassin attractif.

en attente attendu : 33 PASS

ch06 · léger

T6 — identité d'holonomie

Vérifie l'identité algébrique sin²(θ_p) = δ_p(2 − δ_p) sur tous les premiers actifs et inactifs jusqu'à p = 23.

en attente attendu : 24 PASS

ch10 · moyen · scipy

α_EM — produit BA5 + habillage

Reproduit α_EM = 1/137,036 depuis le produit nu sur {3, 5, 7} et la cascade d'habillage R51 à 0,004 ppb de CODATA.

en attente attendu : 17 PASS

ch09 · moyen · scipy

Lemmes E, F, G — pont arithmétique → physique

Vérifie 113 conditions des trois lemmes d'unicité (rigidité spectrale E, reconstruction métrique F, espace de Hilbert G).

en attente attendu : 113 PASS

ch_math_structures · lourd (~30 s)

Structures mathématiques — outils

Batterie de tests des outils mathématiques (algèbre, théorie des groupes, géométrie spectrale). Fichier le plus gros (2859 lignes).

en attente

Code source des cinq scripts : voir github.com/Igrekess/PersistenceTheory. Les scripts servis ici sont copiés depuis scripts/ dans le dépôt.