Ouroboros v0.39.0AgentOS phase 1
Ouroboros release talk

Agent OS:
Context에서 Contract로

v0.39.0으로 AgentOS 첫 phase의 토대를 다졌습니다.
이 발표의 주제는 긴 문맥이 아니라 실행 계약입니다.

Jaegyu Lee

Jaegyu Lee · Q00
Ouroboros maintainer

LinkedIn QR

LinkedIn
발표 후 이어서 이야기해요

github.com/Q00/ouroboros01
OpeningSelf-report failure
The bug

Done Report

에이전트는 완료를 말할 수 있습니다.
그 말을 그대로 믿지 말고, 증거부터 따로 들여다봐야 합니다.

agent saysdone
changed filesunknown
test outputnot bound
AC verdictself-reported
system actionreject
완료 보고는 증거가 아니다02
Act 1Context saturation
Old loop

Context Overload

Prompt loop

대화가 상태

  • 긴 배경 설명
  • 암묵적 선호
  • 수동 QA
  • 재시작하면 사라지는 의도
OS loop

계약이 상태

  • Seed Contract
  • typed evidence
  • verifier gate
  • workflow replay
Context를 늘리는 방식의 한계03
Act 2Boundary map

Verification Boundary

완료 보고는 입력일 뿐입니다.
AgentOS는 셋을 따로 다룹니다 — 실행 증거, verifier 판정, replay 기록.

Planning surface Seed Contract goal · AC · constraints AC Decomposition profile-aware leaves Agent Runtime tool execution · claim Verification surface evidence only Evidence Manifest files · commands · artifacts Verifier checks Store verdict log Claim은 Agent Runtime 안에서만 유효한 상태입니다. 완료 여부는 Evidence Manifest → Verifier → Store 순서로 확정됩니다.
Claim / evidence / verdict 분리04
ReleaseThree tracks
Release milestone

AgentOS Phase 1

Track A

Execution & Verification

fat-harness default, typed evidence, verifier PASS.

run을 완성하는 트랙

Track B

Autonomy & Self Healing

fault tolerance, ledger repair, observation/execution AC split.

auto를 완성하는 트랙

Track C

Core Kernel

Workflow IR replay, plugin lifecycle, runtime skill guides.

OS surface를 완성하는 트랙

Source: Q00/ouroboros release v0.39.0, published 2026-05-18.

AgentOS roadmap #96105
Track AExecution & Verification
Track A

Execution Contract

SurfaceBeforev0.39.0
Run pathlegacy execution pathfat-harness default
AC acceptanceagent completion textverifier PASS + typed evidence
Blocked statefree-form explanationtyped blocked evidence
Baselinemanual interpretationsemantic-miss metrics
Evidence based deterministic verifier06
Track AProfile-aware decomposition
Profile-aware decomposition

Profile-aware Decomposition

같은 AC라도 도메인이 다르면 leaf context, tool envelope, verifier가 모두 달라집니다.

profile: code

toolsRead / Edit / Bash
evidencefile_change + test_command
verifierstructural + command_success

profile: research

toolsSearch / Read / Write
evidencecited_claim + source_trace
verifiercitation_consistency
Profiles make execution explicit07
Track ASemantic miss reporting
Semantic miss

Semantic Miss

Intent channel Acceptance Criteria expected terms Deliver Claim reported completion Evidence channel Run Artifacts files · commands · output Evidence Facts normalized manifest TraceGuard claim-term guard Verdict pass? TraceGuard는 intent와 evidence를 따로 읽은 뒤 claim-term guard로 둘을 대조합니다. 증거가 있어도 AC 용어와 어긋나면 semantic miss로 판정됩니다.
TraceGuard benchmark08
Track BAutonomy & Self Healing
Track B

Self-healing Contract

Failure

runner failure·stalled progress·invalid stage 역시 terminal evidence로 동일하게 다룹니다.

Diagnosis

job state와 execution evidence를 분리해 원인을 기록합니다.

Repair

Seed goal이 ledger goal과 어긋나면 ledger 기준으로 다시 맞춥니다.

Resume

complete-product Ralph loop은 인수인계와 제품 완성을 분리합니다.

Self-healing without self-deception09
Track BLedger as memory
Ledger

Ledger Memory

drift repair는 대화 히스토리가 아니라, 출처가 박힌 ledger 항목을 기준으로 삼습니다.

ledger.goal

Build the product, not just hand off

ledger.assumptions

source: user / inferred / default

ledger.acceptance

execution_ac != observation_ac

repair

if seed_goal drifts from ledger_goal

Seed goal drift repair from ledger10
Track BAC separation
Observation / execution split

AC Boundary

Execution AC

제품 변경 검증

  • 파일 변경
  • 테스트 명령
  • 실행 산출물
  • verifier PASS
Observation AC

관찰 보고 검증

  • 분석 결과
  • 상태 요약
  • 링크와 근거
  • execution AC 오염 금지
Observation bookkeeping out of execution ACs11
Track CCore Kernel
Track C

Core Kernel

Workflow IRSeed plan을 typed graph로 읽고 lifecycle replay를 검증합니다.
ProjectionRun, Step, Artifact, Verdict record를 EventStore에서 재구성합니다.
Plugin lifecyclehook vocabulary와 permission scope를 manifest 안에 고정합니다.
Runtime guidesHermes·Claude·Codex의 capability 차이를 agent가 그대로 볼 수 있게 드러냅니다.
Core substrate12
Track CWorkflow lifecycle replay
Workflow IR

Workflow Replay

Plan

Seed에서 Workflow IR을 만듭니다.

Run

step, artifact, verdict를 event로 남깁니다.

Project

run snapshot과 status JSON으로 읽습니다.

Replay

identity가 모호하면 거부하고, 명확할 때만 같은 상태를 재현합니다.

Workflow IR v1 lifecycle replay13
Track CPlugin and skill contracts
Plugins / skills

Runtime Capability

Surface
Claude
Codex
Hermes
Skill guide
installable capability guide
backend metadata guide
runtime-specific guide
Plugin hook
declared lifecycle
permission scope
bounded vocabulary
Agent view
available tools
allowed runtime behavior
execution constraints
Skill runtime guides for Agent14
Roadmap1.0.0 soon
Toward 1.0.0

Release Staircase

0.29.0

Agent OS 문제의식을 처음 정리한 시점. 비결정적 모델을 결정적 실행으로 묶는 레이어를 그리기 시작.

0.39

AgentOS substrate 연결이 끝난 지점.

next

표면(surface)을 안정화하고, 문서와 마이그레이션 경로를 정비.

1.0

공개 계약, 안정된 runtime, 제품 수준으로 동작하는 loop.

1.0.0 release coming soon15
ClosingTakeaway
Takeaway

Contract System

Context는 입력일 뿐,
실행 단위는 Contract이며,
Replay는 팀이 믿고 의지할 기록으로 남습니다.

Ouroboros repository QR

Ouroboros

github.com/Q00/ouroboros
v0.39.0 · AgentOS phase 1 complete

Release: https://github.com/Q00/ouroboros/releases/tag/v0.39.0

Thank you16