RELEASES
Feed de Releases
Releases, actualizaciones de estándares y notas de investigación.
Release2026-02-15
Lanzamiento OSS inicial del kernel de ejecución HELM. Incluye PEP, Guardian, ProofGraph, exportación de EvidencePack, conformidad L1/L2 y compatibilidad con SDK de OpenAI.
- Integración BASE_URL en una línea
- Cadena de recibos con SHA-256 + relojes de Lamport
- Exportación de EvidencePack y verificación offline
- Sandbox WASI con cómputo limitado
- Conformidad L1 (ejecución determinista) y L2 (evidencia verificable)
Standard2026-02-14
Publicación del Estándar Canónico de Ejecución Determinista. Define ProofGraph, esquema de recibos, niveles de conformidad y formato EvidencePack.
- RFC-001: Especificación ProofGraph
- RFC-002: Formato EvidencePack
- RFC-003: Especificación de límite PEP
- RFC-004: Bounded Compute (WASI/Wazero)
- RFC-005: Ceremonias de aprobación
Research2026-02-13
Por qué los límites de ejecución determinista son necesarios para la seguridad de agentes autónomos. Análisis de modos de fallo en sistemas de llamadas a herramientas sin límites.
- Taxonomía de modos de fallo de agentes
- Prueba de que la seguridad probabilística es insuficiente
- Modelo formal de la función Guardian
Todos los releases están firmados criptográficamente e incluyen atestaciones de conformidad.