릴리스
릴리스 피드
릴리스, 표준 업데이트, 연구 노트.
Release2026-02-15
HELM 실행 커널의 초기 OSS 릴리스. PEP, Guardian, ProofGraph, EvidencePack 내보내기, 적합성 L1/L2, OpenAI SDK 호환성 포함.
- 한 줄 BASE_URL 통합
- SHA-256 + 램포트 시계가 포함된 영수증 체인
- EvidencePack 내보내기 및 오프라인 검증
- 제한된 컴퓨팅의 WASI 샌드박스
- 적합성 L1 (결정론적 실행) 및 L2 (검증 가능한 증거)
Standard2026-02-14
정규 결정론적 실행 표준 발행. ProofGraph, 영수증 스키마, 적합성 레벨, EvidencePack 형식 정의.
- RFC-001: ProofGraph 사양
- RFC-002: EvidencePack 형식
- RFC-003: PEP 경계 사양
- RFC-004: Bounded Compute (WASI/Wazero)
- RFC-005: 승인 세레모니
Research2026-02-13
결정론적 실행 경계가 자율 에이전트 안전에 왜 필요한지. 제한 없는 도구 호출 시스템의 실패 모드 분석.
- 에이전트 실패 모드 분류법
- 확률적 안전이 불충분함을 증명
- Guardian 함수의 형식적 모델
모든 릴리스는 암호화로 서명되며 적합성 증명을 포함합니다.