Release-Feed

Releases, Standards-Updates, Forschungsnotizen und tiefgehende Engineering-Analysen.

Release2026-02-15

Erstveröffentlichung des HELM-Ausführungskerns als Open Source. Enthält PEP, Guardian, ProofGraph, EvidencePack-Export, Konformität L1/L2 und OpenAI-SDK-Kompatibilität.

  • Einzeilige BASE_URL-Integration
  • Belegkette mit SHA-256 + Lamport-Uhren
  • EvidencePack-Export und Offline-Verifizierung
  • WASI-Sandbox mit begrenzter Rechenleistung
  • Konformität L1 (deterministische Ausführung) und L2 (verifizierbare Evidenz)

Standard2026-02-14

Veröffentlichung des kanonischen Standards für deterministische Ausführung. Definiert ProofGraph, Beleg-Schema, Konformitätsstufen und EvidencePack-Format.

  • RFC-001: ProofGraph-Spezifikation
  • RFC-002: EvidencePack-Format
  • RFC-003: PEP-Grenzspezifikation
  • RFC-004: Bounded Compute (WASI/Wazero)
  • RFC-005: Genehmigungszeremonien

Research2026-02-13

Warum deterministische Ausführungsgrenzen für die Sicherheit autonomer Agenten notwendig sind. Analyse von Fehlermodi in unbegrenzten Tool-Aufruf-Systemen.

  • Taxonomie der Agenten-Fehlermodi
  • Beweis, dass probabilistische Sicherheit unzureichend ist
  • Formales Modell der Guardian-Funktion

Alle Releases sind kryptographisch signiert und enthalten Konformitätsattestierungen.