MIRROR_STACK_KO.md

🪞🔎🪪 미러스택 — 조인트 규약 v0.1

English →

한 문장: 루프 에이전트의 정직을 약속이 아니라 증명 가능하게 만든다. 부정직을 막는 시스템이 아니다 — 정직만이 사후 재구성 불가능한 증거를 남기게 하는 시스템이다.

스택은 독립된 기존 도구 셋을 묶는다 (코드 병합 없음 — 규약만):

거울	답하는 질문	원장 단위
측정거울 (이 레포)	이 주장이 정직한가? (사전등록·반증조건·통계/게이밍 프로브)	claim
행동거울	실제로 그 행동을 했는가? (체인 행동기록 + 상호증인)	action
출처거울	이 산출물이 어디서 왔는가? (배포 지문·추적)	artifact

세 거울 모두 공개(Apache 2.0)라, 아래 사례연구의 모든 층이 주장층뿐 아니라 독립적으로 검증 가능하다.

여기에 공용 증인 허브 — 운영자들이 자기 장부 머리를 선언하는 공개·CI검증 GitHub 게시판. 증인(J3)을 한 에이전트 가족 너머로 확장한다. 서버 없음: GitHub이 시점증명·불변이력을, CI가 일관성 검사를 맡는다.

이 모두를 이끄는 방법론 — 어떻게 정직하게 측정하나 — 은 측정거울 규율(7원칙 + 증명 프로브 + 스택 보강)이다. 압축본은 통합 MCP 서버가 연결 시 자동 주입한다.

스택이 보장하는 것 — 그리고 일부러 안 주는 것(독립성) — 은 네 기둥으로 **PILLARS_KO.md**에 정리돼 있다: 무결성·불소거·반증가능성·검증가능성.

조인트 규약 5개 (J1–J5)

• J1 행동→주장: 실험 실행을 행동 원장에 기록할 때 target=<claim_id> — "이 주장을 위해 이 행동을 했다."
• J2 주장→산출물: 봉인되는 등록 텍스트에 프로토콜 문서·데이터 매니페스트의 SHA256을 임베드.
• J3 증인: 다른 에이전트의 원장이 이 원장의 머리를 고정(am witness). 체인해시는 수정을 잡고, 증인은 체인만으로 못 잡는 원장 통째교체를 잡는다.
• J4 외부 앵커: 마일스톤마다 앵커 스냅샷(엔트리 수·머리 도장·파일 해시)을 원장 밖에 보관.
• J5 배포 지문: 산출물이 시스템을 떠날 때 수신자별 지문(출처거울). 가장 얇은 조인트 — 정직하게 명기.

검증 — 책임 계층에 따라 두 스크립트

분리는 의도적이다: 거울 하나가 세 거울을 조율하는 엔진을 품어선 안 된다. 그래서 검증은 두 파일이다.

• verify_self.py — 측정거울 자신의 일. 주장 원장 하나와 그 앵커를 검증:
  • L1 자체 체인: 모든 엔트리의 prev_seal이 직전 seal과 연결 + mm 도장 재계산.
  • L3 외부 앵커: 현재 원장 vs 보관 스냅샷 — intact(불변) / extended(연장: 앵커된 머리가 제 위치에 존재) / REPLACED?(교체 의심: 머리가 사라짐).
  • 외부 도구 의존 0 — 이 레포만 있으면 된다. 측정거울에 정당하게 속하는 부분.
• verify_all.py — 한 계층 위의 스택 조율기. L1+L3을 verify_self에 위임하고, 거울 하나로는 못 하는 검사를 더한다:
  • L2 교차증인: 다른 에이전트 원장에 고정된 머리들이 이 주장 원장의 실제 역사와 일치하는가 (append-only 준수). 행동거울 am CLI 필요; 없으면 L2는 건너뛰고 스택은 측정거울 자기검증으로 강등.

설치 없이 동봉 증거를 검사하려면 python verify_self.py, 세 거울을 모두 연결한 뒤엔 python verify_all.py --config your_stack.json. (스택이 측정거울 밖으로 커지면 별도 레포로 졸업하는 건 verify_all.py이고, verify_self.py는 여기 남는다.)

위협 모델 (정직 박스)

잡는 것: 사후 수정·삭제(L1), 꼬리절단·통째교체(L2+L3), 결과 본 뒤 가설 바꾸기(봉인된 사전등록), peeking 후 침묵 프로토콜 변경(amendment는 추가만 가능).

못 잡는 것:

• 애초에 기록하지 않는 에이전트. 보증은 설계상 비대칭이다: 봉인된 사전등록과 시점 고정된 증인은 사후에 위조할 수 없다 — 그래서 원장의 부재 자체가 신호가 된다.
• 단일 운영자 내부의 공모. 동봉된 사례연구의 증인은 같은 가족의 에이전트들이다 — 독립 제3자가 아니다. 독립 증인 네트워크는 후속 과제.

다중에이전트 독립성 (검증은 하나, 보증은 못 함)

규율은 여러 에이전트에 기댄다(독립 재현·교차증인). 스택은 그 기록(봉인·체인·증인)은 검증하지만, 그 에이전트들이 진짜 독립이었는지는 보증 못 한다. B가 A의 결과를 "재현"해도 B가 같은 모델이거나 A가 답을 알려줬다면, 교차증인은 통과하면서 "동의 아닌 재현"의 정신은 깨진다. 독립성은 도구가 제조할 수 없고, 진짜로 분리된 운영자/모델에서 와야 한다.

분명히 밝혀둘 두 귀결:

• "누구"는 현재 자기선언이다. 행동의 agent 필드는 평문 라벨이지 암호 신원이 아니다 — 체인은 엔트리가 안 바뀌었음을 증명할 뿐, 명시된 에이전트가 실제 행위자임을 증명하지 않는다. 지금은 세션별 서명 키가 없다; 에이전트 하네스는 session_id(UUID)를 주지만 자기보고용이지 서명이 아니다.
• 정직한 길은 가시화지 차단이 아니다. 각 재현자의 모델/운영자를 기록하고, B의 실제 실행 산출물을 봉인하면("실행 없는 동의" 적발), 비독립을 보이게 만든다(금지하진 못해도). 암호 세션 신원(각 에이전트가 자기 엔트리에 서명, 공개키 게시[예: 증인 게시판])은 "누구"를 자기선언→인증으로 올린다 — 단 키도 귀속·위장저항을 줄 뿐 독립은 못 준다: 한 운영자가 키를 여럿 발급할 수 있다 (Sybil). 키는 동일 신원을 증명할 뿐, 서로 다른 키를 독립으로 만들지 못한다.

증거

CASE_STUDY_compute_governor_KO.md — 자율연구 아크 전체 (사전등록 → 검정력 체크의 설계 교정 → 적대 amendment → 측정비용 0에서 선행연구 철회)와 실제 주장 원장·앵커 스냅샷이 evidence/에 동봉. 이 디렉토리에서 python verify_self.py로 직접 검증할 수 있다(설치 불요).

이웃 작업과의 관계 (2026-06-13 확인)

• Preregistration for Experiments with AI Agents (ICML 2026): 에이전트가 피험자인 실험용 종이 템플릿(서명 서약) — 기술적 강제 없음. 상호보완: 같은 규율을 여기선 해시체인과 증인이 강제.
• 해시체인 에이전트 행동로그(LangChain 주변 커뮤니티 프로젝트 등): 행동층만. 미러스택은 그 위에 주장층(기계-강제 사전등록 + 통계 프로브)과 상호증인을 얹는다.
• 플랫폼 감사로그(LangSmith/Langfuse 엔터프라이즈): 플랫폼을 신뢰해야 하는 관리행위 로그. 미러스택은 로컬-퍼스트 자기주권 — 신뢰의 근거가 벤더가 아니라 체인·증인·앵커다.