Earthflow — Hardware · Du théorème au silicium

L'échelle hardware

Cinq étages, du théorème au produit.

Chaque étage porte un statut déclaré (§5.0) : ce qui est démontré est dit démontré, ce qui est exploratoire est dit exploratoire. Cliquez un étage.

Étage

—

Le primitif · Z-Core

Un filtre matériel en un cycle.

Le Z-Core lit la structure d'un vecteur binaire — symétries, périodicités, distance aux états constants — en logique combinatoire pure. Ses propriétés ne sont pas mesurées : elles sont démontrées, puis vérifiées exhaustivement sur l'espace d'entrée complet.

2 575

vérifications exhaustives · 0 échec

1 cycle

latence par fenêtre

203,7 MHz

fmax · synthèse Vivado

768 LUT4

64 bits · synthèse*

multiplicateur

* rapport de synthèse Vivado 2023.2, cible Artix-7 (Nexys A7) : 768 LUT4 · 0 BRAM · 0 DSP48 · 203,7 MHz. Le flash sur carte et les mesures physiques (puissance réelle) sont l'étape suivante de la roadmap. Variante N=8 : ~108 LUT4, 667 MHz (estimation). Assertions formelles incluses, vérifiables par preuve d'équivalence. Le Z-Core embarque aussi la ligne d'arrêt RESTE au niveau matériel : l'arrêt souverain descend jusqu'au registre.

Vue d'ensemble

L'architecture Z-Core, en une planche.

Du signal brut à la décision souveraine : le pré-filtre matériel (1 cycle), puis le runtime Earthflow — Guards, fusion, relations, mémoire infalsifiable, Leïla. Touchez pour agrandir.

Leïla · l'intelligence déterministe →

Z-Core — Structural Reduction Before Compute, vue d'architecture publique

Vue d'architecture publique · implémentation détaillée disponible sous NDA · chiffres : rapport de synthèse Vivado (Nexys A7).

Catalogue matériel · H1 → H10

Du prototype au processeur exploratoire.

Chaque carte porte un statut déclaré (§5.0). VÉRIFIÉ RÉEL = artefact matériel réalisé et testé. SPÉCIFIÉ = spécifié, non encore réalisé. Aucun statut n'est inféré : il est déclaré.

§5.0 — le Dossier ASIL-D (H7) est préparé et en validation, pas encore certifié : la certification passe par un organisme tiers. Les cartes SPÉCIFIÉ (H4, H8, H9, H10) sont des spécifications, pas des artefacts validés.

Maturité & souveraineté

Roadmap TRL — et qui possède quoi.

Propriété intellectuelle : le primitif Z-Core, sa déclinaison capteur (GFET) et l'appariement structurel CMOS constituent un différentiel technologique souverain — conçu, prouvé et détenu en France. Dépôt INPI en préparation · suite NOVATRON Série B/C · licence : one-shot + royalties.

Pourquoi ça compte

La sûreté qui descend jusqu'au registre.

Un système critique n'est vraiment sûr que si sa dernière ligne de défense ne dépend d'aucun logiciel. Ici, la détection, la décision et l'arrêt existent en portes logiques : déterministes, énumérables, prouvables — et souverains.

déterministeénumérableprouvablebasse consommationsouverain

Discipline · §5.0

« Les propriétés ne sont pas mesurées : elles sont démontrées — puis vérifiées jusqu'au dernier vecteur. »

01Statut déclaré à chaque étage

02Estimations marquées comme estimations

03Un dossier préparé n'est pas une certification

04Déterministe · reproductible · souverain

Démonstrateur · latence

Le même délai, à chaque fois.

Earthflow rend son verdict en un temps fixe et borné — le déterminisme, c'est aussi la latence. Comparez : un pipeline classique (ML) répond en un temps variable, imprévisible. Données illustratives.

Earthflow

—

Pipeline ML

—