AI Infrastructure Foundations

    return Err(SessionExpired);

.dweve/plans/auth-session.md · 64 lignes

v1.0.0 · Agent de développement autonome

Groupes d'algorithmes par type de données

Arithmétique à virgule fixe déterministe avec des bits identiques sur chaque machine prise en charge.

Analyse le matériel source en arbres adressés par contenu dont l'origine peut être vérifiée par hachage.

Récupère des correspondances exactes dans des index hyperdimensionnels binaires sur des processeurs ordinaires.

Compile les politiques une fois, puis les évalue sur le chemin critique sans aller-retour de service.

Replie un journal d'événements dans n'importe quel état passé afin que les simulations et les décisions puissent être rejouées.

Exécute les modèles FMI 3.0 de manière déterministe sur les backends de simulation pris en charge.

Conditionne une décision d'IA avec un certificat de raisonnement vérifiable hors ligne.

Conserve une provenance d'événements en chaîne de hachage, en ajout seul, sans modifications silencieuses de l'historique.

Signe les événements d'agent et les replie dans un enregistrement d'exécution rejouable.

Enregistre ce qui s'est passé dans un bac à sable, pas seulement le fait que le processus a été contenu.

Sérialise les données du modèle de manière dense sans transporter la syntaxe JSON à travers chaque jeton.

Lit et écrit dix-sept formats de documents bureautiques via une interface Rust unique.

Transforme une question source récurrente en enregistrements typés avec la route de collecte jointe.

Compresse les invites selon des règles publiées fixes dans le processus qui détient déjà le texte.

Donne aux agents et aux concepteurs une interface typée unique pour un monde de jeu natif du web.

Recherche des optimisations de programme à partir d'une spécification et transforme le résultat en code exécutable.

Étudie des systèmes de vie artificielle dans lesquels des signaux locaux produisent un comportement collectif adaptatif.

Ouvrez le projet pour voir son mécanisme, ses interfaces et sa place dans la pile.

Quatorze fondations en code source disponible et trois programmes de recherche adjacents. HEDL est public sous licence Apache-2.0. Les autres dépôts publient par vagues bimensuelles à partir du 1er septembre 2026, deux à la fois pour commencer, afin que chacun soit lu plutôt qu'enterré. Les conditions restent spécifiques à chaque projet.

Rassemblez le matériel source pertinent sous une route enregistrée unique.

Analysez le matériel en une structure stable et adressée par contenu.

Récupérez les preuves exactes nécessaires à la question actuelle.

Évaluez la politique qui régit ce que le système peut faire ensuite.

Liez la décision à un certificat de raisonnement vérifiable.

Signez les événements d'agent et conservez l'exécution pour la relecture.

L'utilisateur voit la réponse ; la route, les preuves, la politique, la preuve et l'enregistrement des événements restent attachés en dessous.

Les projets ne sont pas un sac d'utilitaires. Chacun possède une frontière dans le travail : l'entrée source, la structure, la récupération, la politique, la preuve ou l'historique des événements. Les opérations peuvent inspecter le transfert là où un résultat a changé au lieu de reconstruire une application opaque. Chaque transfert nomme le projet responsable, donc une revue commence à cette étape plutôt qu'à la route entière, et l'enregistrement d'exécution à la fin pointe vers chacun d'eux.

Un chemin de composition utile commence par l'entrée source et se termine par un enregistrement d'événements signé. Chaque projet rétrécit une préoccupation et transmet un artefact explicite, donc la récupération, la politique, la preuve et la relecture peuvent évoluer sans s'effondrer en un seul runtime. Le recensement enregistre la portée vérifiée plutôt qu'une chaîne automatique, donc une arête n'existe ici que là où un projet la déclare, et toute autre paire reste une sélection que vous faites.

Les sources et les structures analysées restent attachées à l'exécution.

La récupération, la politique et le raisonnement laissent chacun leur propre sortie.

L'enregistrement final de l'exécution renvoie à chaque transition.

Chaîne de projet / transitions explicites

Fabric est l'espace de travail que vous utilisez. En dessous, des composants ciblés rassemblent le bon matériel, l'organisent, trouvent ce qui compte, vérifient les règles, expliquent la décision et mémorisent ce qui s'est passé. Vous n'en utilisez aucun séparément. Le résultat revient à un seul endroit, et la trace derrière reste disponible quand vous voulez la consulter. Il n'y a rien de plus à installer, mettre à jour ou gérer.

Fabric reçoit la question dans l'espace de travail que vous utilisez déjà.

Ils rassemblent, organisent, trouvent, vérifient, expliquent et enregistrent.

La réponse est claire, tandis que la trace qui la soutient reste disponible.

Quatorze périmètres à code source disponible

Jacquard, Forge et Mycelia, conservés à proximité

HEDL est public, les autres publient par vagues

Les conditions sont énoncées par projet, jamais héritées de l'ensemble.

Les composants transmettent les résultats ; vous ne les utilisez jamais séparément.

Ouvrez une page de projet pour comprendre un mécanisme en profondeur, ou utilisez Fabric pour vivre l'itinéraire complet comme un seul espace de travail.

Vous voulez explorer une partie en profondeur

Fabric présente le résultat pendant que les parties ciblées travaillent en dessous.

Les projets transmettent explicitement les résultats au lieu de cacher le travail dans un seul environnement d'exécution.

Chaque projet assume une responsabilité technique étroite et unique.

Fabric est l'espace de travail que vous utilisez. En dessous, quatorze fondations en code source ouvert assument chacune une tâche étroite. HEDL est un projet open source public sous licence Apache-2.0 ; les autres publient par cycles bimensuels à partir du 1er septembre 2026, avec des conditions indiquées par projet. Jacquard, Forge et Mycelia se situent à côté de ce parcours comme trois pistes de recherche distinctes, et non comme des parties de l'espace de travail que vous ouvrez.

14 fondations en code source ouvert + 3 pistes de recherche

Fabric est l'espace de travail que vous utilisez. En dessous, quatorze fondations en code source ouvert assument chacune une partie précise du parcours : elles collectent, organisent, récupèrent, vérifient, expliquent et enregistrent, sans que vous ayez à les gérer séparément.

Quatorze fondations en code source ouvert

Quatorze fondations et trois pistes de recherche adjacentes, regroupées par rôle architectural. Ouvrez un nom pour voir son mécanisme.

Chaque page de projet explique son mécanisme, ses interfaces et ses preuves. Commencez par la capacité dont vous avez besoin, puis suivez comment elle se compose avec le reste de la pile.

Cartographiez une responsabilité et ses transferts, ou voyez comment la pile complète est déployée et exploitée dans votre environnement.

Commencez par la capacité dont vous avez besoin

Choisissez la couche dont vous avez besoin

Mesuré sur un i9 de bureau, AVX2, sans GPU. Rappel exact maintenu à 10 000 documents. Les suites sont fournies avec les dépôts.

test replay::bit_identical_across_isa ... ok

test rounding::correctly_rounded_all_kernels ... ok

lookup/hot_path time: [1.36 ns 1.36 ns 1.37 ns]

Hybrid-MultiQ 10K 1.0000 34873.6 116.8

Index N Recall QPS P50(us)

cargo run --release --example comprehensive_benchmark

Le déterminisme est vérifié par la suite, pas seulement promis dans le texte.

Lisez-le à côté du point de preuve dans le recensement.

Utilisez la commande du projet sur du matériel que vous contrôlez.

Commencez par BitWeave, Lattice ou Numerus, où un parcours mesuré est déjà nommé.

Un benchmark n'a de sens que si la commande qui le sous-tend est claire. Choisissez un parcours mesuré, exécutez le même mécanisme sur du matériel que vous contrôlez, comparez le résultat avec le recensement, puis relancez les tests qui garantissent le déterminisme. BitWeave, Lattice et Numerus nomment déjà un parcours mesuré, commencez donc par l'un d'eux plutôt que de construire votre propre harnais.

Quatorze chemins de fondation + trois routes de recherche

Ce que la page du projet déclare, ou un pointeur vers le dépôt où cela se stabilise encore.

crates.io là où c'est en direct aujourd'hui, et avec sa levée de fonds là où ce n'est pas le cas. Énoncé clairement.

Un résultat reproductible là où une mesure de titre est utile.

La responsabilité que ce projet assume dans la pile composée.

Chaque projet assume un rôle architectural étroit. Lisez son rôle, inspectez le point de preuve là où il est utile, puis ouvrez le projet pour suivre les mécanismes et les interfaces en profondeur.

Le recensement attribue l'entrée de source, les mathématiques, la politique, la preuve, l'historique des événements et le traitement des données à un projet responsable chacun. Lorsqu'un résultat change, les équipes peuvent localiser le transfert responsable au lieu d'auditer une application opaque.