Projet en cours de développement — réseau d'essai : L1 devnet 43911 · mainnet 43901 prévu

Aletheia EN 𝔛, l'exemple vivant →

LE FRAMEWORK · BUILD ON

Des machines génériques pour ordonner, vérifier et payer n'importe quel travail

Aletheia n'est qu'un premier usage. Le framework rend les mêmes mécanismes — évolution contrôlée, apprentissage vérifiable, paiement du travail — applicables à d'autres sujets.

Trois blocs, trois statuts : aucun n'est annoncé comme disponible avant de l'être.

D Draft proposé C Canary vérifié A Actif engagé

L'invariant du harness : une IA propose, elle ne peut jamais activer seule — le retrait (rollback) est aussi contrôlé. Noyau codé et testé.

01 — Les trois blocs réutilisables

Le noyau est générique

Chaque bloc est une machine indépendante, testée au noyau du protocole — et réutilisable hors du domaine des mathématiques.

Le harness causal

Noyau codé

Un moteur d'évolution contrôlée d'artefacts — code, modèles, protocoles, gouvernances.

L'invariant : une IA propose, elle ne peut jamais activer seule. L'activation passe par des étapes vérifiées (brouillon → canary → actif → retrait). Statut : noyau codé et testé.

Le substrat neuronal

Noyau codé

Un apprentissage fédéré vérifiable — applicable à d'autres représentations que le graphe d'Aletheia.

Ce qui est garanti : les poids ne quittent jamais le poste qui apprend (testé structurellement) ; agrégation robuste, sonde canary. Statut : noyau codé et testé.

Le WorkMarket

Noyau codé

Escrow avant calcul, challenges, paiement vérifié — le marché du travail utile.

Statut : noyau codé et testé, pas câblé en ligne. Voir le cycle complet sur la page Travail.

Le cycle du travail

02 — D'autres sujets possibles

Ce que le framework rend imaginable

Des illustrations conceptuelles — étiquetées comme telles, jamais annoncées comme des produits.

Registre de relecture de code
Chaque revue est un artefact proposé par une IA, challengé, puis actif — avec rémunération vérifiée des relecteurs.
Exemple — planifié
Marché d'audit
Des audits de sécurité commandés par escrow, vérifiés par challenges croisés avant paiement.
Exemple — planifié
Apprentissage fédéré par domaine
Médecine, droit, industrie : entraîner un modèle partagé sans jamais centraliser les données sensibles.
Exemple — planifié

Ces exemples ne sont pas en construction : ce sont des illustrations de la portée. La page Dev dira ce qu'un développeur peut réellement brancher aujourd'hui.