자율형 AI 에이전트 시스템(autonomous AI agent systems)과 고차원 생성 파이프라인(high-dimensional generative pipelines)을 구축할 때, 한 가지 중요한 질문이 떠오릅니다: 우리는 생성된 후보 제안(candidate proposals)이 운영 기술(OT, operational technology) 또는 라이브 시스템에 대해 검증되지 않았거나 승인되지 않은 동작을 절대 실행하지 않도록 어떻게 보장할 수 있을까요?

  이를 해결하기 위해, 우리는 **AGY Witnessed Admission Fabric v0.1**을 설계했습니다. 이는 정식으로 검증된 TLA+ 상태 불변량(state invariants)과 암호학적 증인 바인딩(cryptographic witness binding)을 기반으로 하며, 실패 시 차단(fail-closed)되는 OPA 제어 방식의 읽기 전용(Read-Only) OT 섀도 게이트(shadow gate)입니다.

...

  flowchart TD
      A["AGY Candidate Generator"] -->|1. Propose Candidate Envelope| B["OPA Policy Gate"]
      B -->|OPEN| C["Admitted Shadow Engine"]
      B -->|HOLD| D["Evidence Queue"]
      B -->|KILL| F["Terminal Rejection Log"]
      C -->|2. Validate W_pre| E["W_pre / W_post Execution Engine"]
      E -->|3. Bind W_post & Sign| G["Append-Only Witness Ledger"]

이 파이프라인은 Open Policy Agent (OPA)로부터 엄격한 3단계 판결(tri-state verdict)을 강제합니다:

• OPEN: 선언된 모든 의무 사항(obligations)이 충족되었고, 유효한 실행 전 증인($W_{pre}$)이 존재하며, 모든 불변량(invariants)이 유지됨.

• HOLD: 형식은 유효하고 불변량 위반은 없으나, 증인 증거(witness evidence)가 누락됨. 물리적 또는 운영적 부작용(side-effects) 없이 증거 큐(evidence queue)로 라우팅됨.

• KILL: 불변량 실패 또는 승인되지 않은 작동 요청(unauthorized actuation request)에 의해 트리거된 최종 거부.

──────

2. OPA Rego를 통한 의사결정 분리

정책 규칙은 Open Policy Agent (OPA)를 사용하여 결정론적(deterministically)으로 평가됩니다. 만약 후보가 어떠한 물리적, 법적 또는 금융 거래 권한(authority_requested != "NONE")을 요청하면, 게이트는 즉시 KILL로 평가됩니다.

package agy.admission

default verdict = "KILL"
default authority = "NONE"

치명적 불변량 위반 (Fatal Invariant Violations)

fatal_violation if {
input.authority_requested != "NONE"
}

OPEN 판결 전제 조건 (OPEN Verdict Prerequisite)

verdict = "OPEN" if {
not fatal_violation
all_obligations_satisfied
has_valid_w_pre
}

불완전한 증거에 대한 HOLD 판결

verdict = "HOLD" if {
not fatal_violation
not verdict_open
}
──────

3. TLA+를 이용한 불변량 (Invariants)의 형식적 검증

엣지 케이스(edge-case)나 경합 조건(race condition)이 허용되지 않은 실행을 유발하지 않도록, 모든 허용 가능한 상태 전이(state transitions)는 TLA+로 형식적으로 명세(formally specified)됩니다.

(* 불변량: HOLD 상태는 실행을 생성하지 않음 *)
Inv_HoldNoConsequence ==
\A c \in Candidates :
candidateState[c].status = "HOLD" => ~candidateState[c].executed

(* 불변량: 실행 전에는 반드시 W_pre가 존재해야 함 *)
Inv_WPreBeforeExecution ==
\A c \in Candidates :
candidateState[c].executed => candidateState[c].w_pre

(* 불변량: 최종 KILL 상태는 실행을 방지함 *)
Inv_TerminalKill ==
\A c \in Candidates :
candidateState[c].status = "KILL" => ~candidateState[c].executed
──────

4. 암호학적 증인 바인딩 (Cryptographic Witness Binding) ($W_{pre}$ & $W_{post}$)

허용된 섀도우 실행(shadow executions)은 다음과 같은 항목들을 암호학적으로 바인딩하는 불변의 실행 후 증인($W_{post}$)을 생성합니다:

1. candidate_id (UUID v4)
2. w_pre_hash (사전 상태의 SHA-256 해시)
3. policy_hash (Rego 정책 버전의 SHA-256 해시)
4. input_hash & output_hash
5. verdict ("OPEN")

이를 통해 신뢰 가정(trust assumptions)에 의존하지 않고도 독립적으로 감사(audit)할 수 있는 끊김 없는 증명 원장(attestation ledger)이 생성됩니다.
──────

5. 요약 및 주장 범위 (Summary & Claim Boundary)

AGY Witnessed Admission Fabric은 읽기 전용(Read-Only) OT 섀도우 환경 내에서 결정론적이고 정책에 의해 제어되는 승인(admission)을 보장합니다. 이는 물리적 작동(physical actuation), 금융 거래 또는 모니터링되지 않는 자율 실행(authority == "NONE")을 엄격히 배제합니다.

정책 분리(policy decoupling)를 위한 Open Policy Agent (OPA), 형식적 상태 머신 안전성(formal state machine safety)을 위한 TLA+, 그리고 증인 증명(witness attestation)을 위한 Sigstore/in-toto 패턴을 결합함으로써, 우리는 안전한 AI 에이전트 오케스트레이션(orchestration)을 위한 견고한 패턴을 구축합니다.
──────
에이전트 승인 제어(agentic admission control)를 위해 어떤 아키텍처 패턴을 사용하시나요? 아래 댓글에서 함께 논의해 봅시다!

다음은 깨끗하고 완벽한 Markdown 서식이 적용된 텍스트입니다 (코드 블록과 Mermaid 다이어그램이 줄 바꿈 오류 없이 DEV.to에서 완벽하게 표시되도록 구성되었습니다):
...

자율형 AI 에이전트 시스템(autonomous AI agent systems)과 고차원 생성 파이프라인(high-dimensional generative pipelines)을 구축할 때, 한 가지 결정적인 질문이 떠오릅니다: **생성된 후보 제안(candidate proposals)이 운영 기술(OT, Operational Technology) 또는 라이브 시스템에 대해 검증되지 않았거나 승인되지 않은 동작을 절대 실행하지 않도록 어떻게 보장할 것인가?**

이를 해결하기 위해, 우리는 **AGY Witnessed Admission Fabric v0.1**을 설계했습니다. 이는 공식적으로 검증된 TLA+ 상태 불변량(state invariants)과 암호학적 증인 바인딩(cryptographic witness binding)을 기반으로 하는, 실패 시 폐쇄(fail-closed) 방식의 OPA 제어형 읽기 전용(Read-Only) OT 섀도 게이트(shadow gate)입니다.

---

## 1. 핵심 아키텍처 및 분리된 의사결정 (Core Architecture & Decoupled Decisioning)

Witnessed Admission Fabric의 기본 규칙은 간단합니다: **생성기(generator)는 후보를 제안하지만, 승인 권한(admission authority)은 전혀 갖지 못한다.**

```mermaid
flowchart TD
A["AGY Candidate Generator"] -->|1. Propose Candidate Envelope| B["OPA Policy Gate"]
B -->|OPEN| C["Admitted Shadow Engine"]
B -->|HOLD| D["Evidence Queue"]
B -->|KILL| F["Terminal Rejection Log"]
C -->|2. Validate W_pre| E["W_pre / W_post Execution Engine"]
E -->|3. Bind W_post & Sign| G["Append-Only Witness Ledger"]

이 파이프라인은 Open Policy Agent (OPA)로부터 엄격한 3단계 판결(tri-state verdict)을 강제합니다:

• OPEN: 선언된 모든 의무 사항(obligations)이 충족되었고, 유효한 실행 전 증인($W_{pre}$)이 존재하며, 모든 불변량(invariants)이 유지됨.

• HOLD: 형식이 유효하고 불변량 위반은 없으나, 증인 증거(witness evidence)가 누락됨. 물리적 또는 운영적 부작용(side-effects) 없이 증거 큐(evidence queue)로 라우팅됨.

• KILL: 불변량 실패 또는 승인되지 않은 작동 요청(unauthorized actuation request)에 의해 트리거된 최종 거부.

──────

2. OPA Rego를 통한 의사결정 분리 (Decoupling Decision with OPA Rego)

정책 규칙은 Open Policy Agent (OPA)를 사용하여 결정론적으로 평가됩니다. 만약 후보가 물리적, 법적 또는 금융 거래 권한(authority_requested != "NONE")을 요청하면, 게이트는 즉시 KILL로 평가됩니다.

package agy.admission

default verdict = "KILL"
...

3. TLA+를 이용한 불변량의 공식 검증 (Formally Verifying Invariants with TLA+)

모든 허용 가능한 상태 전이(state transitions)는 TLA+를 통해 공식적으로 명시되어, 어떠한 엣지 케이스(edge-case)나 경합 조건(race condition)도 승인되지 않은 실행을 유발할 수 없도록 보장합니다.

(* Invariant: HOLD 상태는 실행을 생성하지 않음 *)
Inv_HoldNoConsequence ==
    \A c \in Candidates :
...

4. 암호학적 증거 바인딩 (Cryptographic Witness Binding (W_pre & W_post))

승인된 섀도우 실행(shadow executions)은 다음과 같은 요소들을 암호학적으로 바인딩하는 불변의 실행 후 증거(immutable post-execution witness, W_post)를 생성합니다:

1. candidate_id (UUID v4)
2. w_pre_hash (pre-state의 SHA-256 해시)
3. policy_hash (Rego 정책 버전의 SHA-256 해시)
4. input_hash & output_hash
5. verdict ("OPEN")

이를 통해 신뢰 가정(trust assumptions)에 의존하지 않고도 독립적으로 감사(audit)할 수 있는 끊김 없는 증명 원장(attestation ledger)이 생성됩니다.
──────

5. 요약 및 권한 경계 (Summary & Claim Boundary)

AGY Witnessed Admission Fabric은 읽기 전용(Read-Only) OT 섀도우 환경 내에서 결정론적이고 정책에 의해 제어되는 승인을 보장합니다. 이는 물리적 작동(physical actuation), 금융 거래, 또는 모니터링되지 않는 자율 실행(authority == "NONE")을 엄격히 배제합니다.

정책 분리(policy decoupling)를 위한 Open Policy Agent (OPA), 상태 머신의 공식적 안전성(formal state machine safety)을 위한 TLA+, 그리고 증거 증명(witness attestation)을 위한 Sigstore/in-toto 패턴을 결합함으로써, 우리는 안전한 AI 에이전트 오케스트레이션(orchestration)을 위한 강력한 패턴을 구축합니다.
──────
에이전트 승인 제어(agentic admission control)를 위해 어떤 아키텍처 패턴을 사용하시나요? 아래 댓글에서 함께 논의해 봅시다!