ledger: Outcome Equivalence 실현 실패 이력 (docs/analysis/outcome-equivalence-realization-history.md 이관)

[jongwony]

docs/analysis/outcome-equivalence-realization-history.md를 원장으로 이관하며 옮긴 기록. 파일은 refactor/docs-assertion-cut에서 git rm으로 제거됨.

이관 근거: 문서 자신이 첫 줄에서 then-record임을 선언하고 있었다 — "Historical record of realization-completeness failures … (demoted from derived-principles.md on 2026-07-03)". 원칙 계층(.claude/principles/outcome-equivalence.md)은 추상 반증 가능성 진술을 담고, 구체 인스턴스는 여기 있었다.

포인터 수정: .claude/principles/outcome-equivalence.md의 참조가 이 이슈를 가리키도록 교체됨.

---

Outcome Equivalence — 실현 실패 이력

인스턴스 1: Prothesis v6 Await / SubagentStop (반증됨 → 해소됨)

• 반증된 주장: Prothesis v6 TOOL GROUNDING의 Await가 SubagentStop — Claude Code 기질 보장 — 에 의존했다. 동등한 teammate 종료 의미론이 없는 플랫폼은 게이트 의미론(present → yield turn → parse response를 수동 완료 배리어로 확장한 것)을 보존할 수 없었고, 그 실현 경계에서 Outcome Equivalence를 국소적으로 반증했다.
• 살아남은 것: A4(Semantic Autonomy)는 온전했다 — 프로토콜 정의 자체는 자율적이었고, 실패는 실현에 국한됐다.
• 해소 (frame v7, PR feat(prothesis): frame 축소 + Orchestrate→substrate — 객체-공급자 frame / 배열-functor conduct 경계 #518): 실행 표면이 통째로 제거됐다(compile → handoff → STOP). Await와 SubagentStop 의존은 프로토콜 정의에 더 이상 존재하지 않는다. Prothesis의 실현 완결성 가정은 이제 텍스트 제시와 턴 양보만 포괄하고, 이는 모든 대상 플랫폼이 만족한다.
• 이 인스턴스가 보여주는 것: 반증 가능성의 템플릿 — 대상 플랫폼에 없는 기질 보장에 의존하는 프로토콜 연산은 Outcome Equivalence를 국소적으로 반증하며, 의존 연산을 제거하거나 위임하면 복원된다.