검증된 공통 편집 계약과 책임 경계를 정본으로 확정한다

[developer-1px]

Goal Anchor

• Outcome: 최근 구현과 테스트로 확인된 공통 프로토콜 및 책임 경계를 정본 계약으로 명시하여, 후속 변경에서 유지할 의미와 아직 열려 있는 정책을 구별할 수 있게 한다.
• Done: JSONDocument의 기존 Stable 계약을 참조하고, Editing의 상태·관찰·실패 복구·History 소유권과 기존 플랫폼/도메인 책임 경계를 규범 문서 및 실제 검증 증거에 연결한다. 확정 범위와 변경 시 지켜야 할 호환성 기준이 발견 가능하며 관련 검사와 테스트가 통과한다.
• Don't: runtime 동작, public API, wire 형식, package 배치를 변경하지 않는다. Hands별 Copy/Paste·전체 선택·단축키·지원 기능 정책, 전체 Hands의 Stable admission이나 외부 상호운용성을 확정하지 않는다. 새 범용 editor·command bus·registry를 도입하지 않는다.

위임 범위와 근거

사용자는 공통 문서 접점, 문서/선택/History의 구분, 일관된 편집 결과, 구현 교체 경계, 플랫폼 입력 및 도메인 의미의 소유권에 대한 설명 뒤 **“굳힐수 있는걸 굳히자”**라고 실행을 위임했다. 이번에는 이미 제공되는 공통 의미의 확정과 검증에 한정한다.

• JSONDocument v3의 여섯 member와 기존 Stable profile은 유지한다.
• EditingSession의 값 동등성, snapshot 소유권, 재진입 알림 순서, 외부 selection mapping/reconciliation 및 오류 복구를 기존 구현·회귀 테스트와 연결한다.
• local inverse History와 명시적으로 주입하는 EditingHistory를 구별하며, 작업 결과의 귀속과 복원 실패 시 재시도 경계를 명시한다.
• 기존 DOM lifecycle 및 책임 배치 정본을 참조하여 플랫폼 입력, 도메인 연산, Host 조립의 소유권을 유지한다. 책임 지도와 필수 호출 계층을 혼동하지 않는다.
• 각 규범은 적용 범위와 owner, 검증 증거를 갖는다. 구현 세부사항이나 아직 미검증인 profile 선택은 동결하지 않는다.

기존 작업과의 관계

#725 / #726은 Hands별 편집 문법을 도출하는 설계 초안이다. 그 이슈와 문서는 인계받거나 수정하지 않는다. #729 / #730, #731 / #732, #733 / #734의 진행 중인 동작 수정이나 API 확장을 이번 확정의 완료 증거로 포함하지 않는다.

현재 사용자 체크아웃에는 미커밋 문서 작업이 있다. 해당 상태를 보존하고 별도 clean checkout의 최신 origin/main을 기준으로 작업한다.

검증

• 각 규범과 현행 public API, owner 및 행동 테스트를 대조한다.
• 관련 Core conformance, Editing 및 History/lifecycle 검증을 실행한다.
• 공개 문서 검사, 링크/증거 연결 검사, 전체 diff의 범위와 모순을 확인한다.
• 문서와 검증 연결만 변경하는 PR로 제공한다. merge는 포함하지 않는다.

[developer-1px]

Goal Anchor

• Outcome: 최근 구현과 테스트로 확인된 공통 프로토콜 및 책임 경계를 정본 계약으로 명시하여, 후속 변경에서 유지할 의미와 아직 열려 있는 정책을 구별할 수 있게 한다.
• Done: JSONDocument의 기존 Stable 계약을 참조하고, Editing의 상태·관찰·실패 복구·History 소유권과 기존 플랫폼/도메인 책임 경계를 규범 문서 및 실제 검증 증거에 연결한다. 확정 범위와 변경 시 지켜야 할 호환성 기준이 발견 가능하며 관련 검사와 테스트가 통과한다.
• Don't: runtime 동작, public API, wire 형식, package 배치를 변경하지 않는다. Hands별 Copy/Paste·전체 선택·단축키·지원 기능 정책, 전체 Hands의 Stable admission이나 외부 상호운용성을 확정하지 않는다. 새 범용 editor·command bus·registry를 도입하지 않는다.

작업 계획

현재 main의 정본·public API·행동 테스트 대조
  -> EditingSession 공통 불변 조건을 owner의 규범으로 명시
  -> 기존 Core·DOM·책임 배치 정본과 공개 문서에서 연결
  -> 규범과 행동 증거의 연결을 문서 검사에 포함
  -> 관련 검증, 전체 diff 검토, PR

JSONDocument v3와 DOM lifecycle의 기존 규범은 중복 정의하지 않고 참조한다. 새 문서는 EditingSession이 실제로 보장하는 의미를 소유하며, package API reference와 site Usage는 기존 정본을 연결한다. Hands 설계 초안과 진행 중인 다른 PR은 수정하지 않는다.

원격 이슈를 다시 읽어 위임 범위와 일치함을 확인했다. 작업 폴더의 미커밋 변경은 사용자 작업으로 보존하며, 별도 clone에서 origin/main을 fetch하고 clean main을 fast-forward한 뒤 작업 브랜치를 생성한다. 의존성도 이 checkout의 lockfile로 설치한다.

검증은 Core conformance, Editing의 상태·복원·관찰 테스트, Collaboration History 및 DOM lifecycle의 관련 기존 테스트, docs:evaluate와 링크 검사로 수행한다. 문서 변경이므로 UI preview는 해당하지 않는다. 미검증 profile은 확정하지 않으며 계약 변경 delta는 없다.

[developer-1px]

공통 계약 확정과 검증 완료

기존
  JSONDocument: Stable
  DOM lifecycle / 책임 배치: Canonical
  EditingSession: README와 회귀 테스트에 의미가 분산

변경
  기존 정본 유지
  EditingSession: ES 규칙 12개 + owner 행동 증거 24개 연결
  docs:evaluate: 규칙별 근거와 파일·case·owner 링크 검사

새 standards/editing-session.md는 값 동등성, snapshot 소유권, 일시적 선택, 원자적 요청, 순서 있는 관찰, 외부 selection mapping, 복구, local History, 외부 History owner/result/복구, 구독 수명을 규정한다. package README와 문서 구조, 기존 책임 배치 정본에서 발견할 수 있다. 공개 API reference와 History Usage·source registration은 기존 owner를 참조한다.

보존할 구별: 실패 불변성은 외부 동기화를 끝낸 뒤 해당 요청이 시작한 상태를 기준으로 한다. 이미 완료된 외부 commit을 되돌린다는 의미가 아니다. 외부 undo 성공 후 selection 복원이 실패하면 undo를 다시 실행하지 않고 복원만 재시도한다. 공개 Intent 설명도 이 경계에 맞췄다.

검증 (Node 24.16.0):

• 관련 package TypeScript build 통과
• Editing 전체: 28 files / 282 tests 통과
• Collaboration editor composition/lifecycle: 2 files / 35 tests 통과
• standard:check: Core·Rich Text 정본 검사와 Core conformance 7 files / 347 tests 통과, 기존 4 skipped
• Rich Text grammar/selective History/protocol: 3 files / 37 tests 통과
• Web editing host: 1 file / 2 tests 통과
• Contenteditable composition/contenteditable: 2 files / 7 tests 통과
• 합계 43 files / 710 tests 통과, 기존 4 skipped
• docs:evaluate, git diff --check 통과
• 임시 mutation 검증 3건: 행동 case 제거, 규칙 근거 제거, owner 링크 제거를 검사에서 각각 거절. 원본 복원 뒤 문서 검사 통과

이 증거는 기존 Session과 실제 소비자의 계약 검증이며 독립 Editing 구현의 인증이나 브라우저 전체 인증이 아니다. Hands 기본 정책은 미확정 범위로 유지한다. runtime·public API·wire·package 배치와 #726 문서는 변경하지 않았다. 승인 범위 delta는 없다.

다음은 최종 diff와 원격 base 상태를 대조하고 한 PR로 제공하는 단계다. show-me: 문서·검증 변경으로 해당 없음.

[developer-1px]

PR 제공

PR #736: #736

• 상태: pr-open, 이슈는 OPEN. 연결된 Project는 없다.
• 브랜치: issue-735-stable-editing-contract
• 커밋: 893aa6ee3655b84b964cef6befa340097be3f95e
• 완료: 12개 공통 계약, 24개 행동 증거 연결, 호환성 변경 기준, 정본/공개 문서 연결과 실패 의미 정리
• 검증: 710 tests 통과, 기존 4 skipped. 정본·문서 검사와 관련 build 통과, 문서 검사 mutation 3건 확인
• 원격 issue/PR 본문·변경 파일 6개·HEAD·Closes #735를 다시 읽어 Goal Anchor 및 로컬 diff와 일치함을 확인했다.
• CI는 시작된 상태다. 로컬 검증과 구별하며 merge하지 않았다.
• 문서 및 검증 연결 변경이므로 show-me는 해당하지 않는다. 사용자 원래 체크아웃의 미커밋 작업은 보존했다.

Hands별 정책과 독립 Editing 구현의 상호운용 인증은 이번 확정 범위 밖이다. 승인 범위 delta나 추가 후속 이슈는 없다.

[developer-1px]

승인된 contract delta — 공통 불변 조건과 현재 binding 정책 분리

사용자는 PR 이후 “변하지 않을 프로토콜인지 점검”을 요청했고, 다음 점검 결과를 받은 뒤 **“진행해”**라고 승인했다.

• 12개 규칙에는 장기 공통 의미와 현재 callback 형태·재시도 시점·History 정책·구독 전략이 섞여 있다.
• n=0 → 로컬 n=1 → 외부 n=2 → 외부 n=1에서 구독자가 있으면 local Undo가 비워지고 없으면 남는 차이가 공개 API 실행으로 재현됐다.
• 기존 여러 domain 테스트는 같은 Session을 공유하므로 독립 Session 구현 적합성으로 확대할 수 없다.

이전 → 이후

• Outcome은 유지한다: 후속 변경에서 유지할 공통 의미와 열려 있는 정책을 구별한다.
• Done에 명시한다: 공통 의미와 현재 TypeScript binding/local History 정책을 분리하고, 재현된 구독 유무에 따른 local Undo/Redo 가용성 차이를 해소·검증한다.
• 기존 Don't의 “runtime 동작을 변경하지 않는다”는 이번 결함 수정에 한해 완화한다. 재현된 History 무효화의 관찰 의존성을 제거하는 최소 내부 수정과 회귀 검증을 포함한다.
• public API, Core 여섯 member, wire, package 배치, Hands별 동작 정책은 유지한다. 새 영구 Session API나 전체 독립 구현 인증을 도입하지 않는다.

실행할 의미

같은 문서 변경 이력에서 UI 구독의 존재 여부만으로 local History의 유효성이 달라지면 안 된다. 값이 원래 값으로 돌아왔어도 실제 외부 변경이 있었으면 현재 local inverse 정책에 따라 Undo/Redo를 무효화한다. 동일 값의 새 reference나 문서 no-op은 외부 변경으로 세지 않는다. 주입한 History owner는 자신의 기록 정책을 유지한다.

mapping callback의 형태, 자동 재시도 시점, 외부 변경 때 local 기록 삭제, 현재 외부 History의 ignore 미지원, 내부 관찰 전략은 현재 binding/profile의 명시적 정책으로 내린다. 일관된 결과, 원자적 거절, 결과 귀속, 미완료 복구와 이미 완료된 변경의 구분 등은 공통 불변 조건으로 유지한다.

작업과 검증

구독 유무·해제·Undo/Redo 상태의 회귀 재현
  → UI 수명과 local History 유효성 추적 분리
  → 공통 규범 / 현재 binding 정책 / 증거 수준 구별
  → 영향 패키지·문서·공개 API 및 source registration 검증
  → 기존 PR #736 갱신

원래 이슈 본문과 이전 완료 기록은 변경하지 않는다. 이 댓글이 사용자 승인 이후의 추가 범위다. merge는 포함하지 않는다.

[developer-1px]

공통 의미와 binding 정책 분리 및 History 관찰 의존성 수정

사용자 승인 delta에 따라 12개 ES 규칙을 공통 의미로 좁히고, callback 형태·재시도 시점·local inverse 삭제 정책·외부 History의 ignore 미지원·result 표현·내부 관찰 전략을 현재 binding 정책 표로 분리했다. 독립 Session 구현의 적합성과 영구성은 검증되지 않았다고 명시했다.

이전: local 기록 → UI 구독 없으면 외부 왕복 변경을 놓침 → Undo가 남음
현재: local 기록 → 일회성 변경 표시 → 외부 변경 감지 후 자체 해제
                                      → 값이 돌아와도 Undo/Redo 무효화

표시 listener는 Session·History stack·UI callback을 캡처하지 않는다. 세션 전체의 관찰 연결은 마지막 UI 구독 해제에서 끝나고, 기록의 유효성 감지는 별도 수명을 갖는다. 자기 commit의 큐에 남은 알림은 외부 변경으로 오인하지 않는다. 추가 public API나 Core member는 없다.

검증된 변화

• 먼저 구독 없음·해제·재구독 및 commit 구독자의 외부 왕복 변경을 재현하는 4개 실패를 확인했다. 수정 후 모두 통과한다.
• Undo/Redo 양쪽 상태, reference 복사와 문서 no-op, 자기 편집의 지연 알림, UI 해제 뒤 변경 표시 연결의 종료를 검증했다.
• Rich Text의 이전 unsubscribe → 연결 0개 기대는 승인된 binding 변경에 맞춰, 변경 표시 1개만 남고 실제 외부 변경에서 해제되는지와 Undo 불가까지 검증하도록 바꿨다.
• 기존 public Rich Text Usage에서 새 내부 owner source를 발견하고 읽을 수 있도록 등록하고 기존 discovery 테스트로 검증했다.

현재 HEAD 작업 내용의 검증

• Editing verify: typecheck·28 files / 290 tests·build 통과
• 전체 library TypeScript build 통과
• Collaboration 전체 14 files / 170 tests 통과
• Rich Text 전체 10 files / 109 tests 및 typecheck 통과
• React 전체 5 files / 28 tests 통과
• Site public contract 15 tests, Demo workbench/source discovery 17 tests 통과
• 합계 59 files / 629 tests 통과. 이번 실행 범위이며 이전 댓글의 Core 검증 건수와 합산하지 않는다.
• Site typecheck와 선행 정본/UI 가드, docs:evaluate, git diff --check 통과

UI 구독이 없는 기간의 모든 중간 selection 경로나 동일한 revision 수를 재생하는 보장은 추가하지 않았다. 수정은 local History 유효성에 한정한다. 외부 History owner와 Hands 정책은 유지한다. API·wire·package 배치 변경은 없다.

최종 diff를 승인 delta와 대조했고, 같은 PR #736의 본문·커밋을 갱신한다. UI 화면·상호작용을 새로 구현한 변경이 아니므로 show-me는 해당하지 않는다.

[developer-1px]

후속 PR 갱신 완료

• PR #736의 제목·본문을 최종 구현과 승인 delta에 맞게 갱신했다.
• 커밋: 68e3c1134fb3bd30dc424240e075b5bf41d0e57f
• 브랜치: issue-735-stable-editing-contract
• 공통 의미 / 현재 binding 정책 분리와 구독 유무에 따른 local Undo/Redo 차이 해소를 완료했다.
• 현재 변경 검증: 629 tests, 영향 typecheck·전체 library build·문서/정본 가드 통과. 상세 범위는 이전 검증 댓글과 PR 본문에 기록했다.
• 원격 PR HEAD·변경 파일 13개·본문·Closes #735를 로컬 diff 및 승인 delta와 다시 대조했다. checkout은 clean이다.
• CI는 새 HEAD에서 시작됐다. 상태는 pr-open이며 merge하지 않았다. 이슈는 OPEN, 연결 Project는 없다.
• show-me는 headless 동작과 문서/source 연결 변경으로 해당하지 않는다.

보장 범위는 local History의 유효성이다. 구독하지 않은 중간 selection 이력 전체나 독립 Session 구현 적합성을 완료했다고 주장하지 않는다.

[developer-1px]

병합 전 CI에서 Rich Text React의 unmount 테스트가 실패했다. UI 해제 직후 구독 0개를 기대했지만, 승인된 History 무효화 수정은 다음 실제 문서 변경까지 Session을 캡처하지 않는 일회성 표시 1개를 유지한다. 이 실패는 현재 diff가 변경한 내부 관찰 정책과 기존 테스트의 불일치이므로 현재 contract delta 범위에서 처리한다. 단순히 기대 개수만 바꾸지 않고 unmount 이후 외부 변경에서 표시가 해제되고, 값이 돌아와도 local Undo가 무효화되는 결과를 함께 검증한다. 누락된 의존 패키지 검증을 포함하여 전체 library verify를 실행한 뒤 최신 CI를 확인한다.

[developer-1px]

병합 전 CI 실패 보완을 ac44d2a에 반영했다. Rich Text React unmount 테스트는 UI 해제 후 일회성 표시 1개, 실제 외부 변경 후 0개, 값 왕복 후 canUndo=false 및 history.empty를 확인한다. npm run verify:libraries가 전체 30개 library의 typecheck·build와 130 files / 1,351 tests를 통과했다. 이전 CI Site도 브라우저 236 tests까지 통과했다. 최신 PR head와 로컬 HEAD, 원격 변경 파일 및 Closes #735를 대조했고 추가된 테스트는 승인된 History 무효화 범위에 해당한다. 사용자 merge 요청에 따라 최신 CI 34238863195를 확인한 뒤 병합 및 이번 임시 체크아웃 정리를 진행한다. 원래 main 체크아웃의 미커밋 문서와 untracked 파일은 보존한다.

[developer-1px]

PR #736을 847e24b1d0dfb643827957467a4292a275556d66로 squash merge했고 이슈 CLOSED를 확인했다. 최신 head ac44d2a의 Plan, Package, Site, External kit가 모두 통과했다. 병합 결과와 작업 branch의 tree가 동일함을 확인한 뒤 local/remote issue-735-stable-editing-contract를 삭제했고, clean 상태로 최신 main까지 fast-forward한 이번 임시 checkout도 제거했다. 원래 작업 폴더는 main을 유지한다. 기존 docs/README.md, docs/evaluate.mjs, docs/public/official-hands.md 변경과 untracked standards/editing-grammar.md 때문에 ff-only 업데이트가 거절되어 사용자 파일을 그대로 보존했다. 원래 main은 아직 c051f380이며 origin/main만 병합 commit으로 갱신됐다. 병합은 완료했고 원래 체크아웃의 main 갱신은 미완료다.