ch08 · léger
T5 — point fixe μ* = 15
Vérifie exhaustivement par arithmétique rationnelle exacte que μ* = 3 + 5 + 7 = 15 est l'unique point fixe du crible.
en attente
attendu : 33 PASS
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).
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.