L'intention

Un kata s'exécute
ou il ne s'exécute pas.

Katen est un langage graphique formel pour orchestrer des agents et des pipelines. Déterministe par construction. Open source.

katen.run → GitHub →

Le problème

Les pipelines IA cassent silencieusement. Les orchestrateurs modernes ne montrent pas ce qui se passe à l'intérieur. Le déterminisme est un luxe. L'observabilité est un afterthought.

On observe. On corrige. On relance. On espère. Ce n'est pas de l'ingénierie — c'est de la superstition.

Observable L'UNIVERS SE LIT À DISTANCE

L'axiome

A kata runs or it doesn't.

Pas de "presque". Pas d'état intermédiaire. Soit toutes les conditions sont réunies et l'exécution se produit avec précision, soit elles ne le sont pas et rien ne se passe. C'est un réseau de Petri — il tire, ou il ne tire pas.

Précision L'ARC NE MENT PAS

Ce que Katen est

Un moteur d'orchestration formellement vérifié. Chaque opérateur fire ou ne fire pas — aucun état intermédiaire, aucune ambiguïté. Bijection graphe/code. Déterminisme par construction.

Le modèle formel : (D, τ, Op, I, O). La CVM — Composition Virtual Machine — exécute les katas avec les garanties du Petri net : pas de deadlock silencieux, pas de race condition masquée, pas de "ça marchait hier".

φ = 1 + 1/φ — le système se contient lui-même
Profondeur HUBLOT DANS LE HUBLOT

Open source

Licence MIT. Pour ceux qui ont eu leurs pipelines casser silencieusement une fois de trop. Pour ceux qui veulent voir ce qui se passe vraiment à l'intérieur. Pour ceux qui comprennent qu'un Petri-net ne devine pas.

katen.run →