VERA-K — 실행 검증 커널

검증이,
실행에 앞선다.

모든 결정은, 사슬로 묶인다.

에이전트가 행동하기 전, VERA-K는 그 계획을 형식 계약으로 다시 쓰고 정책·상태와 대조합니다. 검증을 통과한 계획만이 1회성 실행 토큰을 받습니다. 승인이든 거부든, 모든 결정은 아무것도 숨기지 않는 장부에 기록됩니다.

실측 — 커널 감사, 2026-07-19

결정의 방식

네 가지 장치, 하나의 규칙.

검증할 수 없는 행동은 실행되지 않는다.

01계약

모든 행동 계획은 형식 계약으로 다시 쓰입니다 — 사전조건, 사후조건, 금지 상태, 자원 상한, 복구 경로. 무엇이든 실행되기 전, 계약은 살아있는 정책·상태와 대조됩니다.

02토큰

통과한 검증은 정책 에폭과 상태 해시에 묶인 1회성 실행 토큰을 발행합니다. 토큰은 60초 만에 만료되고, 정책이 바뀌면 열린 토큰 전부가 즉시 폐기됩니다.

03반례

실패한 검증은 최소 반례 — 동시에 성립할 수 없는 가장 작은 제약 집합 — 를 돌려줍니다. 계획은 단순히 거절되지 않고, 고쳐져서 돌아옵니다.

04캐시

증명은 의존 그래프로 캐시됩니다. 정책이나 상태가 바뀌면 영향받는 노드만 다시 검증합니다 — 전체 재검증 대비 12.7배 빠르게 측정됐습니다.

장부, 공개

모든 VERA-K 결정은 해시 사슬 장부에 추가됩니다. 이것은 그 사슬의 빌드타임 스냅샷입니다 — 개수·시각·무결성만 담았습니다. 원시 경로·사유·계획 식별자는 커널 호스트를 벗어나지 않습니다.

감지된 동시 기록 포크

2 — #1,107 · 두 기록이 3ms 간격으로 추가됨

포크는 두 커널 프로세스가 같은 순간에 기록했다는 서명입니다. 장부는 이를 감지하고 — 그대로 공개합니다. 아무것도 숨기지 않는다는 것은 자신의 이상 징후도 포함합니다.

정적 스냅샷 — 빌드 시점에 재생성됩니다. 위 수치는 이 구간만을 설명합니다.

VERA-K는 AGEIUM의 에이전트 작업 밑에 놓인 커널입니다 — 우리가 설계하는 모든 시스템에 적용하는 것과 같은 규율입니다.