Pipelines de vérification
Portes de vérification entre l'exécution et la mémoire durable, afin que seuls des résultats de confiance nourrissent ce que K1 apprend.
Recherche
Cet agenda de recherche prolonge la vision décrite ailleurs sur ce site et alimente directement les produits que nous développons. Il est délibérément restreint : chaque thème est un engagement de long terme, poursuivi en public lorsque c'est possible.
Portes de vérification entre l'exécution et la mémoire durable, afin que seuls des résultats de confiance nourrissent ce que K1 apprend.
Architectures, quantisation et stratégies de routage pour l'inférence privée et sur l'appareil, exposées via un Model Router (couche de sélection de modèles remplaçable).
Planificateurs qui décomposent une mission en graphes de tâches, allouent les fonctionnalités disponibles et s'adaptent aux échecs — l'humain gardant l'autorité stratégique.
État d'infrastructure déclaratif, détection de dérive et réconciliation, déploiements validés et résilience opérationnelle sur matériel hétérogène.
Interfaces qui préservent le jugement, soutiennent le désaccord et rendent lisibles les plans, les preuves et les résultats.
Une couche de représentation sémantique embarquée (libheptapod) et les travaux associés sur la mémoire, les graphes de dépendances et la représentation cognitive pour le raisonnement de long terme.
Publications à venir
Entrées provisoires. Chacune renverra vers un texte complet dès parution.
Contribution
Shembazaï mène ses travaux de recherche et de développement de manière indépendante. Si vous considérez ces travaux utiles, vous pouvez contribuer volontairement à leur poursuite.