RELEASES
Feed de Releases
Releases, atualizações de padrões e notas de pesquisa.
Release2026-02-15
Lançamento OSS inicial do kernel de execução HELM. Inclui PEP, Guardian, ProofGraph, exportação EvidencePack, conformidade L1/L2 e compatibilidade com SDK OpenAI.
- Integração BASE_URL em uma linha
- Cadeia de recibos com SHA-256 + relógios de Lamport
- Exportação EvidencePack e verificação offline
- Sandbox WASI com computação limitada
- Conformidade L1 (execução determinística) e L2 (evidência verificável)
Standard2026-02-14
Publicação do Padrão Canônico de Execução Determinística. Define ProofGraph, esquema de recibos, níveis de conformidade e formato EvidencePack.
- RFC-001: Especificação ProofGraph
- RFC-002: Formato EvidencePack
- RFC-003: Especificação de limite PEP
- RFC-004: Bounded Compute (WASI/Wazero)
- RFC-005: Cerimônias de aprovação
Research2026-02-13
Por que limites de execução determinística são necessários para a segurança de agentes autônomos. Análise de modos de falha em sistemas de chamadas de ferramentas sem limites.
- Taxonomia de modos de falha de agentes
- Prova de que a segurança probabilística é insuficiente
- Modelo formal da função Guardian
Todos os releases são assinados criptograficamente e incluem atestações de conformidade.