Aller au contenu principal

Swoft est un système neuro-symbolique de production.

Publications académiques et positionnement par rapport à l'état de l'art (FAOS 2026, AlphaGeometry, Prenosil et al. 2025). Deux brevets déposés, 161 ADRs documentées.

01Six couches de représentation

Le système se comprend lui-même.

Les LLM ont une représentation du monde implicite, enfouie dans leurs poids. Swoft empile six systèmes de représentation explicites, vérifiables, et interrogeables.

  1. 01 · STRUCTURELLE

    Métamodèle DDD — 44 collections MongoDB décrivant Bounded Contexts, Aggregates, Commands, Events, Projections. Ontologie complète du système, interrogeable et vivante (hot-reload).

  2. 02 · TEMPORELLE

    Event Store — chaque événement horodaté, ordonné, tracé par correlationId. Time-travel debugging. Mémoire totale entre sessions. Audit trail RGPD / DORA / NIS2.

  3. 03 · PROCÉDURALE

    DeciderActions — règles conditionnelles évaluées au runtime depuis JSON. Modification de la logique métier sans redéploiement.

  4. 04 · VECTORIELLE

    Embeddings de personas IA — base de connaissances structurée, recherche par similarité cosinus, contrainte par Bounded Contexts.

  5. 05 · ORGANISATIONNELLE

    Table de routage Conway's Law — associe chaque Bounded Context à un agent propriétaire et un backup. Seuils de confiance. Escalade humaine automatique.

  6. 06 · VISUELLE

    Design System + Design Tokens — vocabulaire visuel contraint, enforcement statique par ast-grep. Les agents qui génèrent des templates sont contraints par ce vocabulaire.

02Au-delà de l'état de l'art

Trois dimensions où Swoft dépasse la littérature.

Classification selon la taxonomie de Kautz (AAAI 2022) : Neuro | Symbolic avec couplage bidirectionnel — catégorie non encore documentée dans la recherche NeSy appliquée.

  • Couplage bidirectionnel

    Là où FAOS (Foundation AgenticOS) et les autres systèmes NeSy de production contraignent seulement les entrées des agents, Swoft contraint aussi les sorties — chaque commande émise par un LLM est validée par les invariants de l'Aggregate cible.

  • Déterminisme du replay

    Chaque décision de LLM est stockée comme événement immuable (raisonnement, score, modèle, température). Rejouer l'Event Store cinq ans plus tard produit exactement le même résultat. Propriété unique dans la littérature NeSy.

  • Généralité du composant symbolique

    Le métamodèle DDD encode n'importe quel domaine métier sans ingénierie spécifique. Les systèmes concurrents (Prenosil et al., FAOS) requièrent une ontologie manuelle par verticale.

Vous êtes chercheur, CTO ou VC deep tech ?
Demandez le rapport complet.

Rapport de recherche (avril 2026) · positionnement académique Swoft vs FAOS / AlphaGeometry / Prenosil. Réservé sur demande.