Démonstration · Illustrative only · démo
Démo du plan de contrôle
Six scènes d’un client à deux noyaux. Une décision de gouvernance ne prouve pas un effet externe exactly-once.
Sources et contexte de lecture
TENIR-Gov · Execution Control Plane Demo ; KB3, séparation posture et exécution
Rendu public simplifié, lecture du 19 octobre 2026. KB3 : ligne de rendu doctrinale instituée et active. Elle rend le sens ; elle n’est pas le code, ni une constitution. KB2 : ligne antérieure. Ce site ne certifie aucune implémentation. Lire le statut détaillé →
Sur cette page
Limite. Artefact en anglais. Classe illustrative only. PASS, FLAG, HOLD et HARD_VETO sont des verdicts d’exécution. Ils ne sont pas les postures NORMAL, CAUTION et HOLDING-FIRST. Le HOLD de la scène 3 est un état d’opération, pas HOLDING-FIRST. La scène 6 tient la membrane : au plus un dispatch sur un seul hôte. Une décision de gouvernance ne prouve pas, à elle seule, un effet externe exactly-once. Ce site ne rejoue pas le code montré.
Scène 1 · Opération admissible. Un paiement de 10 sur une capacité de 100. La clé d’idempotence est réclamée à CREATED, avant l’évaluation.
Scène 2 · Doublon bloqué. La même clé reçoit HARD_VETO. La reprise passe par la réclamation existante, pas par une nouvelle adjudication.
Scène 5 · Timeout → Reconcile. L’opération montrée est marquée UNKNOWN. Le silence n’est pas une non-exécution.