RELEASES
Flux de Releases
Releases, mises a jour de standards et notes de recherche.
Release2026-02-15
Publication OSS initiale du noyau d'exécution HELM. Inclut PEP, Guardian, ProofGraph, export EvidencePack, conformité L1/L2 et compatibilité SDK OpenAI.
- Intégration BASE_URL en une ligne
- Chaîne de reçus avec SHA-256 + horloges de Lamport
- Export EvidencePack et vérification hors ligne
- Sandbox WASI avec calcul limité
- Conformité L1 (exécution déterministe) et L2 (preuve vérifiable)
Standard2026-02-14
Publication du Standard Canonique d'Exécution Déterministe. Définit ProofGraph, schéma de reçu, niveaux de conformité et format EvidencePack.
- RFC-001 : Spécification ProofGraph
- RFC-002 : Format EvidencePack
- RFC-003 : Spécification de frontière PEP
- RFC-004 : Bounded Compute (WASI/Wazero)
- RFC-005 : Cérémonies d'approbation
Research2026-02-13
Pourquoi les frontières d'exécution déterministe sont nécessaires pour la sécurité des agents autonomes. Analyse des modes de défaillance dans les systèmes d'appels d'outils sans limites.
- Taxonomie des modes de défaillance des agents
- Preuve que la sécurité probabiliste est insuffisante
- Modèle formel de la fonction Guardian
Toutes les releases sont signées cryptographiquement et incluent des attestations de conformité.