- Pbase en construction
- Mentrées validées, observation du crible
- Détapes finies du crible
Ce que cela montre
la structure modulaire en action, reproductible.
Ce que cela ne prouve pas
rien sur le global (« salle des gardes » : RHClaimed=false).
Démonstration interactive
D’une graine locale, un paysage global
Comment une contrainte élémentaire engendre, par propagation, l’ensemble des invariants observables.
● Triplet de Couret {1, 11, 29}
● Carrés multiplicatifs {1, 19}
● Premier détecté
— Arc de produit actif
○ Non-carré
BIAIS D(X) CARRÉ / NON-CARRÉ
STRUCTURE
G₃₀ = (ℤ/30ℤ)×8 classes coprimes
36 produits Sym²
OBSERVATION
Crible en temps réelDistribution par classe
Biais D(X) mesurable
INVARIANT
λ = 1/√7 ≈ 0.37796Asymétrie carrés 6/4
Spectre de Cayley
Données en direct
Nombre—
Statut—
Classe—
Premiers0
D(X)0
Dominante—
Distribution
Scanner
SALLE DES GARDES
RHClaimed = falseBSDClaimed = false
PneqNPClaimed = false
Ce que vous regardez : construction pas à pas du relief mod 30
Statut : exact fini pour les étapes 0–5, modèle pour l’étape 6, définitoire pour l’étape 7
Ce que cela ne prouve pas : RH, universalité de λ, identification det₂↔ξ