TENIR Labs · Produits
Des réponses pour des situations différentes
Sur cette page
Commencez par ce qui vous arrive.
Chaque offre est présentée simplement : le problème auquel elle répond, ce qu’elle produit et ce qu’elle ne prétend pas faire. La matrice 2×2 en bas de page sert de résumé.
Récapitulatif · choisir un point de départ
Avant ou après l’action ?
Commencez par la situation que vous reconnaissez. Les fiches détaillent ensuite le résultat, le statut et les limites de chaque instrument.
Avant de laisser agir · comprendre
Un outil ou un usage d’IA apparaît. Vous voulez savoir ce qu’il peut toucher et qui doit regarder.
- Faire l’inventaire d’un usage IAREG Discovery · Moteur déterministe expérimental · Working Draft · site PR #13 non fusionnée
- Repérer une exposition déjà présenteAI Exposure X-Ray · Prototype X-Ray v0.2 · évaluation interne favorable · non qualifié production
Avant de laisser agir · préparer
Une décision se prépare. Il faut savoir quelles conditions vérifier avant de laisser partir l’action.
- Traduire une règle en contrôles candidatsREG Prevent · Working Draft v0.1 · démarche pilote bornée
- Rendre une exigence testableREG Translation Studio · Prototype exploratoire · tests internes à préparer
- Comparer des profils et hypothèsesREG Mediation · Prototype expérimental · propositions non admises
Après une action · comprendre
Une action a eu lieu. Vous devez distinguer ce qui était prévu, envoyé, confirmé ou reste inconnu.
- Rassembler une preuve lisibleREG Prepare · Working Draft v0.1 · démarche pilote bornée
- Explorer les frontières et dépendancesREG Explorer v0.2 · Prototype v0.2 · READY WITH CONDITIONS · test navigateur final requis
Après une action · vérifier
Une action sensible doit rester dans un cadre déclaré, avec une réponse claire quand on ne sait pas encore ce qui s’est passé.
- Encadrer une action d’agentTENIR-Gov · Logiciel open source publié · bêta · mono-hôte borné
- Tester un profil de manière bornéeREG Conformance · Release v0.6.1 publiée · 46/46 PASS · profil Raft loopback mono-hôte
TENIR aide à poser la question ; les produits et services répondent à des moments différents. Une simulation ne vaut pas preuve de production.
Commencer par un diagnostic accompagné · Pourquoi maintenant ?
Pour comprendre ou préparer
Choisissez la situation qui vous ressemble, puis ouvrez une fiche à la fois.
REG Prevent
Une exigence à appliquer. Quelles conditions faut-il vérifier ?
Pendant une conception, après un changement de règle ou pour réexaminer les contrôles d’une action importante.
Carte de contrôles candidats, hypothèses critiques, risques à examiner et vérifications prioritaires ; REG Prevention Brief proposé.
REG Prepare
Que pouvons-nous réellement démontrer ?
Avant une revue, un lancement ou un audit, après un incident, ou lorsqu’une décision dépend de preuves à retrouver.
Dossier d’état des preuves, matrice des affirmations étayées ou non, registre des inconnues et plan de vérification.
REG Explorer v0.2
Explorer les hypothèses et les frontières avant une décision d’architecture.
Lorsqu’une équipe veut parcourir un problème de gouvernance et rendre les questions techniques vérifiables avant une décision.
Une exploration des dépendances et des questions à vérifier ; le parcours public reste suspendu au test navigateur final.
REG Discovery
Et si une hypothèse importante nous échappait ?
Au début d’un examen, face à une exigence qui paraît évidente ou pour préparer les questions à vérifier.
Catalogue borné d’hypothèses, exploration déterministe et rapport imprimable ; cinq cartes et 31 combinaisons décrites dans la PR web.
REG Mediation
Formuler des propositions PREVENT / PREPARE sans les confondre avec une admission.
Pour comparer des interprétations et préparer une revue formelle de contraintes candidates.
Propositions traçables en attente de vérification ; aucune propriété admise automatiquement.
AI Exposure X-Ray
L’IA intervient-elle déjà dans les outils du quotidien ?
Pour préparer un inventaire des usages, une politique IA ou le périmètre d’un diagnostic.
Carte exploratoire d’exposition et questions classées pour vérification.
REG Translation Studio
Une exigence à comprendre et à rendre vérifiable.
Lorsqu’une exigence est ambiguë ou doit devenir testable, en distinguant l’interprétation proposée de sa validation.
Contraintes candidates traçables et journal d’ambiguïtés, prêts pour discussion et validation indépendante.
TENIR-Gov v5.7.0
Avant qu’un agent agisse, examiner ce qui l’y autorise.
Lorsqu’une équipe technique prépare une action d’agent sur un système externe et peut vérifier les conditions précises de son déploiement.
Décisions et traces locales bornées, états de réservation/reprise et éléments de rapprochement ; pas une preuve automatique d’effet fournisseur.
REG Conformance v0.6.1
Soumettre un profil borné à des tests de conformité reproductibles.
Pour évaluer le profil Raft mono-hôte loopback précisément couvert par la release.
Résultats et badge bornés au profil qualifié ; les autres topologies ne reçoivent aucune garantie par transitivité.
Pour examiner les fondations
Architecture, textes et contrats techniques à lire.
REG-ARCH
Exigences, actions, preuves : comment les relier ?
Quand des architectes doivent relier les affirmations, les actions et leur représentation — Claim, Action et Representation.
Cartographie conceptuelle, transitions typées, points de contrôle à confronter à une spécification versionnée.
REG+ et RFC · contrats et fondations
À quelles conditions une garantie tient-elle ?
Pour vérifier un invariant, un profil, un test ou les conditions de déploiement dont dépend une garantie.
Références, profils candidats, résultats de vérification attribués et limites non résolues.
Vous ne savez pas encore lequel choisir ?
Décrivez ce que vous cherchez à comprendre. Quelques lignes suffisent pour ouvrir la conversation.