Skip to content

편집 프로토콜의 구현 간 동등성과 조합 안전성을 보장한다 #713

New issue
New issue
Closed
#715
Closed
편집 프로토콜의 구현 간 동등성과 조합 안전성을 보장한다#713
#715
Assignees
developer-1px

Description

@developer-1px
developer-1px
opened on Sep 7, 2026

Goal Anchor

승인 근거와 범위

사용자가 FE 편집의 표준 프로토콜 관점 review/smell check 결과를 받은 뒤 “진행해 도와줘”로 실행을 요청했습니다. 이 이슈는 리뷰 1~6과 그 계약을 완성하는 데 필요한 public closure를 담당합니다. A2UI 책임 배치(리뷰 7)는 독립 이슈/PR로 처리합니다. Temporal dependency는 검토 후보이며 이 이슈에서 배포 구조를 재편하지 않습니다.

완료 조건

  1. Core: 최종 JSON 값이 동일한 복합 add/remove/replace batch는 빈 applied change와 무통지를 반환합니다. reference와 독립 구현의 관찰 결과가 같아야 합니다.
  2. Editing transaction/history: commit 중 subscriber가 만든 외부 변경을 자기 변경으로 흡수하지 않습니다. move/copy의 undo가 다른 필드의 변경을 지우지 않고, subscriber 등록 순서에 관계없이 결과 snapshot과 notification의 시점/순서가 일관되어야 합니다.
  3. Domain identity: Document·Order·Object·Tree·Calendar의 기본 ID 생성이 동시 replica 생성·병합 및 재생성 뒤에도 충돌하지 않습니다. 기존 createId 주입점과 domain identity 유효성을 유지하고 ID 기반 명령의 대상이 유일해야 합니다.
  4. Selection: Document·Order·Object·Sheet·Tree·Database·Kanban·Calendar·Annotation은 외부 삭제 뒤 유효한 selection을 publish합니다. Rich Text는 외부 text 변경을 통과한 위치를 보존합니다. 공통 Editing이 변경 전 값·applied change·변경 후 값의 mapping 경계를 소유하고 domain별 해석은 domain owner에 둡니다.
  5. History 연결: 기존 Editing과 Collaboration selective history를 공식 API로 연결해 toolbar·Cmd/Ctrl+Z·native history input·canUndo/canRedo·selection 복원이 같은 history를 사용하도록 합니다. Local 기본 사용은 계속 지원하고, 협업 문서를 넣는 것만으로 local inverse history가 selective history인 것처럼 동작하지 않게 합니다.
  6. 검증: 같은 실제 editor 시나리오를 local·독립 구현·collaboration에 주입해 조합 계약을 검증합니다. 영향을 받는 실제 사이트 입력 경로를 확인하고, synthetic 이벤트와 native/실기기 증거를 구분합니다. 사용할 수 없는 브라우저/실기기 기능을 성공이나 지원 증거로 보고하지 않습니다.

재현 근거

  • { x: 1 }에 /temp add 후 remove: reference는 applied 2개·notification 1회, 독립 구현은 applied 0개·무통지.
  • 목록 move의 document subscriber가 other: 0 → 99를 commit하면 session undo가 other까지 0으로 복원.
  • 두 Document replica에서 각각 block.insert: 병합 후 block-1이 중복되고 text.replace가 첫 블록만 수정.
  • 선택한 블록을 외부에서 삭제하면 snapshot.selection이 삭제된 blockId를 보존.
  • ab|cd 앞에 외부 X 삽입 뒤 !를 입력하면 Xa!bcd가 됨.
  • remote change 뒤 editor.undo는 history.empty이지만 같은 runtime.history.undo는 내 변경만 정상 취소. Rich Text Web은 editor.undo를 직접 호출.

완료 증거

  • 각 원인에 대한 실패→통과 회귀 및 구현 간 동일 시나리오.
  • 영향 package test/typecheck/build, standard:check, workspace:check, API reference/문서·site guard.
  • 전체 diff와 기존 consumer의 호환성 검토, 실제 사이트 경로 및 사용 불가 검증 기록.
  • Issue↔PR의 완료 조건과 구현/검증 대응 확인.

Activity

  1. developer-1px
    self-assigned this
    on Sep 7, 2026

  2. developer-1px commented on Sep 7, 2026

    @developer-1px
    developer-1px
    on Sep 7, 2026
    OwnerAuthor

    작업 시작

    Goal Anchor

    이슈 본문의 1~6 완료 조건과 재현을 원격 read-back으로 확인했습니다. 기준은 최신 origin/main의 058422f3964d3be9b0ffeb4310aa21270e991649, 작업 branch는 issue-713-editing-protocol-composition입니다. 기존 사용자 checkout의 untracked 자료와 미병합 PR은 보존합니다.

    변경 동등성·데이터 보존
  ├─ 복합 no-op conformance
  ├─ 재진입 commit과 정확한 inverse
  └─ 동시 domain ID 생성
        ↓
selection·history 조합
  ├─ 외부 change mapping과 9종 domain reconciliation
  ├─ Rich Text 외부 위치 보존
  └─ selective history → editor → Web/React 입력
        ↓
실제 editor 구현 교체 matrix
  → owner API 문서·Usage·source registration
  → package/전체 검사·실제 사이트 검증
  → self-review·commit·push·PR

    검증은 각 반례의 실패→통과, local/independent/collaboration 공통 consumer, 영향 package typecheck/build/tests, standard/workspace/docs/site guards와 실제 사이트 입력을 사용합니다. 브라우저는 기존 Chrome profile을 우선 사용하며 synthetic/native/unavailable을 구분합니다. 외부 팀 채택이나 실기기 지원을 새로 주장하지 않습니다. A2UI의 독립 작업은 #714가 소유합니다.

  3. developer-1px commented on Sep 7, 2026

    @developer-1px
    developer-1px
    on Sep 7, 2026
    OwnerAuthor

    검증 중간 기록

    원래 Goal Anchor와 완료 조건은 유지합니다. #714 A2UI는 이 PR에 포함하지 않습니다.

    • 완료 조건 1~2: 복합 net-zero vector와 재진입 subscriber 등록 순서 3종, move/copy inverse 8종 통과.
    • 완료 조건 3~4: 5개 domain의 인스턴스·재생성 및 concurrent replica 병합 ID 테스트 통과. 9개 domain의 외부 삭제 selection, Calendar off-screen 유지, Rich Text 외부 text/affinity/scalar 경계 테스트 통과.
    • 완료 조건 5: Editing의 선택적 EditingHistory 계약과 Collaboration의 /editing 연결을 추가했습니다. local 기본은 유지하며, 협업 provider의 undo 단위는 native history와 같은 인과 commit 하나입니다. local historyGroup으로 wire 기여를 합치지 않습니다. external history에서 기록을 생략하려는 plan은 변경 전에 명시적으로 거절합니다.
    • 완료 조건 6: 실제 Document consumer의 reference·independent·collaboration matrix 통과. Rich Text + TextRuntime의 동시 문자열 편집/undo/redo 및 selection 복원, 합성 DOM toolbar·Meta+Z·Ctrl+Z·history input 테스트 통과.
    • 공개 closure: owner README/reference, Collaboration History 설명, Rich Text Usage의 협업 모드와 source registration 추가. Core six-member·23 exports·0 runtime peers 유지, standard 검증 통과.
    • 전체 라이브러리 검증은 새 공개 subpath에 맞게 public-surface 테스트를 갱신한 뒤 남은 workspace까지 모두 통과했습니다. 최신 추가 회귀는 마지막에 재검증합니다. 사이트 121 tests, 타입/정본/스타일 guards, API/doc 검사, Pages build·평가·HTTP smoke 통과.

    큰 snapshot 조합에서 확인한 필수 후속 수정

    성능 검사의 두 번째 block split/undo에서 Core가 만든 큰 배열 snapshot을 createJSONDocument(snapshot)에 재입력하면 Proxy descriptor 예외가 재현되었습니다. 새 inverse가 공개 Core snapshot을 정상 소비하는 데 필요한 경계이므로 완료 조건 1~2 및 구현 교체 invariant의 필수 의존성으로 수정합니다. Editing에 별도 JSON 복사 우회를 넣지 않고 Core의 기존 shared-array owner에서 내부 slot 읽기를 제공하여 JSON validation/clone이 동일 owner를 사용하게 했습니다. 64/512/4096 항목 snapshot 재입력 및 반복 split/undo 회귀를 추가했으며 검증 중입니다. 공개 Core/wire 계약은 바꾸지 않습니다.

    브라우저 증거 구분

    기존 사용자의 Chrome profile에서 이 작업트리 서버의 Rich Text 협업 모드를 열었습니다. 실제 React 페이지에서 합성 beforeinput으로 Ca!nonical Rich Text 입력 → 원격 삽입 remote · Ca!nonical Rich Text → toolbar Undo로 remote · Canonical Rich Text/offset 11 → historyRedo로 내 입력과 offset 12 복원을 확인했습니다. 합성 Meta+Z도 처리되며 페이지 error/unhandledrejection 기록은 비어 있습니다.

    macOS System Events 키 입력은 권한 오류 1002로 unavailable입니다. 새 Chrome profile을 만들거나 로그인 상태를 바꾸지 않았습니다. 이 기록은 실제 페이지의 합성 입력 검증이지 OS 키 입력·실기기 IME 지원 증거가 아닙니다. 전체 Playwright browser suite 실행 완료로 보고하지 않습니다.

    남은 일: 최신 Core 회귀/성능·전체 diff self-review, source UI 확인, 최종 검증·commit·push·PR, 이후 독립 #714 구현.

  4. developer-1px commented on Sep 7, 2026

    @developer-1px
    developer-1px
    on Sep 7, 2026
    OwnerAuthor

    PR 열림

    PR: #715 — 51265ea926005608b7981d1048ce51e7793e2f69

    이슈 본문과 PR 원격 read-back, 54개 changed path, 실제 테스트·build 증거를 대응 확인했습니다. 완료 조건 1~6은 PR의 결과 표에 연결되어 있습니다. merge·npm 배포는 하지 않았습니다.

    • 최신 전체 build 및 test:projects: 142 files, 1317 passed / 4 skipped.
    • standard·workspace·API/doc·사이트 정본/스타일/typecheck 및 Pages build/HTTP 검증 통과.
    • 큰 snapshot의 최종 구현은 별도 clone 우회가 아니라 shared-array owner의 reflection 시 frozen dense materialization입니다. 초기 내부 slot-reader 시도는 제거했습니다. 일반 indexed leaf 경로를 유지하며 reflection/immutability와 반복 split/undo를 검증했습니다.
    • Rich Text 10,000 blocks headless 입력 p95 0.063ms; 100/1000/10000 반복 split/undo benchmark 완료.
    • 기존 Chrome에서 Rich Text의 원격 text 보존/선택 복원과 Document UUID 복제/move/undo를 실제 페이지의 합성 이벤트로 확인했습니다. Usage 소스의 공개 connection·ID import도 확인했습니다.
    • Native OS 키 입력은 권한 오류 1002로 unavailable이며 실기기 IME나 전체 Playwright suite를 완료했다고 주장하지 않습니다.

    CI는 PR 생성 직후 진행 중입니다. 작업트리는 clean이며 로컬 HEAD와 원격 PR head가 일치합니다. 독립 #714 A2UI 정본화는 이어서 진행합니다.

  5. developer-1px commented on Sep 7, 2026

    @developer-1px
    developer-1px
    on Sep 7, 2026
    OwnerAuthor

    CI 후속 검증

    완료 조건 5~6의 공개 /editing 소비 경로가 clean CI에서 typecheck되지 않는 설정 누락을 확인했습니다. 로컬 build 산출물이 문제를 가렸으며 Site tsconfig.paths에도 source entry를 등록해 수정했습니다.

    • 수정 commit: aa8a43ab402835e91b76ec551f70e2f2fefe02f6
    • 로컬 source typecheck와 pre-push 전체 build 통과.
    • 재실행 CI의 Site Verify site 단계(typecheck·tests·Pages 검증)는 통과했으며 browser 단계는 진행 중입니다.
    • External kit은 최초 실행에서 통과했으나 같은 runtime code의 재실행에서는 keyboard focus 단계가 실패했습니다. 현재 근거로는 성공으로 처리하거나 원인을 단정하지 않습니다. runtime 변경이 없는 설정 commit이므로 이슈의 의미를 넓혀 다른 기능을 수정하지 않습니다.

    PR은 열린 상태이며 merge는 하지 않았습니다.

  6. developer-1px commented on Sep 7, 2026

    @developer-1px
    developer-1px
    on Sep 7, 2026
    OwnerAuthor

    리뷰·merge 단계 시작

    사용자가 “리뷰 하고 merge”로 두 PR의 리뷰·merge를 명시적으로 승인했습니다.

    승인된 contract delta

    • Before: PR-open에서 종료하며 merge하지 않습니다.
    • After: 원래 구현 범위와 불변 계약을 유지한 채 리뷰·검증 후 merge하고, merged 작업트리/branch만 정리합니다. npm 배포는 계속 제외합니다.

    PR #715의 원격 본문·head·리뷰·CI와 로컬 diff를 다시 확인했습니다. 현재 외부 리뷰/inline comment는 없습니다. 이슈 범위의 구현·public closure를 검토하고 CI 실패를 재현·분류합니다. 관리자 우회 없이 검증된 head만 merge합니다.

    External kit의 keyboard focus 실패는 첫 실행에서는 통과했고 마지막 runtime 변경 없는 재실행에서 실패했습니다. 완료된 job을 재실행하여 일시 실패인지 확인하며, 새 기능 변경의 근거로 사용하지 않습니다.

  7. developer-1px commented on Sep 7, 2026

    @developer-1px
    developer-1px
    on Sep 7, 2026
    OwnerAuthor

    리뷰 발견: 배열 조상 위치로 move한 뒤 undo 불일치

    P1 / 완료 조건 2의 직접 gap. { a: [{ x: 1 }] }에서 move /a/0/x → /a/0는 { a: [1, {}] }가 됩니다. 현 inverse는 조상 경로라는 이유로 replace /a/0만 생성하여 undo 결과가 { a: [{ x: 1 }, {}] }로 남습니다.

    원인은 조상 destination이 object/root replacement인지 array insertion인지 구분하지 않은 것입니다. 새 추상화 없이 기존 inverse owner에서 destination container를 구분하고 array insertion은 이미 있는 역방향 move 경로를 사용합니다. root snapshot fallback은 추가하지 않습니다.

    4개 document fixture의 유효한 move/copy 884개를 대조하여 동일 원인의 실패 8개를 확인했습니다. source 자체가 없는 self-move는 이 새 inverse의 유효 입력 검증 범위에서 제외했으며 Core의 기존 유효성 동작을 이 수정에 섞지 않습니다.

    회귀 추가 → 실패 확인 → owner 수정 → 전체 matrix/관련 package 검증 순서로 진행합니다. 별개 External kit CI의 포커스 실패는 재실행에서 통과했고 검사 코드를 바꾸지 않았습니다.

  8. developer-1px
    added a commit that references this issue on Sep 7, 2026

    fix(editing): 배열 조상으로 이동한 값의 undo를 복원한다 (#713)

    c6b9c6b

  9. developer-1px commented on Sep 7, 2026

    @developer-1px
    developer-1px
    on Sep 7, 2026
    OwnerAuthor

    merge 전 리뷰 수정·검증

    원래 완료 조건 2에 해당하는 배열 조상 move의 inverse 결함을 수정했습니다. 회귀 4개가 모두 실패함을 확인한 뒤 수정하여 통과했습니다.

    • 최종 방식: 같은 inverse owner에서 destination parent가 array인지 판별합니다. object/root 조상의 replace 복원은 유지하고 array 삽입은 remove destination → add original source로 복원합니다. 처음 검토한 단일 역방향 move는 자기 하위 경로로의 이동이 되어 JSON Patch에서 거절되므로 사용하지 않습니다. root snapshot fallback이나 새 공개 API를 추가하지 않았습니다.
    • Editing 검증: typecheck·221 tests·build 통과.
    • 전체 build·test:projects: 142 files, 1321 passed / 4 skipped.
    • 4개 document fixture의 유효한 move/copy 884개 모두 원래 값으로 복원했습니다. 새 fixture 4개는 undo뿐 아니라 redo와 root replacement 부재도 확인합니다.
    • git diff --check 통과. 수정은 inverse owner와 기존 regression table 두 파일뿐입니다.
    • 이전 head의 External kit은 검사 변경 없이 재실행에서 통과했습니다. 이번 수정 head의 CI를 새로 확인한 뒤 merge합니다.

    doubt 관점에서 public history 연결·identity owner·domain mapping은 각각 이슈의 직접 계약을 소유하므로 유지했습니다. 이번 역변환 수정은 기존 owner 안에서 해결하여 별도 abstraction·fallback을 만들지 않았습니다.

    사용자의 “리뷰 하고 merge”에 따라 원래 PR-open 종료 조건만 review·merge·merged workspace 정리로 확장됐고 npm 배포 제외는 유지됩니다.

  10. developer-1px
    added a commit that references this issue on Sep 7, 2026

    최신 main의 A2UI Connector를 편집 프로토콜 검증 기준에 반영한다 (#713)

    98e4505

  11. developer-1px commented on Sep 7, 2026

    @developer-1px
    developer-1px
    on Sep 7, 2026
    OwnerAuthor

    최신 main과 조합 검증

    #716의 최종 CI 통과와 merge를 확인한 뒤, 그 merge commit f281280151742d947047d3f12edacf4ce7660527을 #715 branch에 일반 merge로 반영했습니다. force push는 하지 않았습니다. #715의 기준 diff는 여전히 원래 편집 조합 계약 55개 path이며 별도 A2UI 구현 변경을 추가하지 않았습니다.

    • 최종 후보 head: 98e4505f0b79dd346a0b9f3d22fbae46c19b1c8b.
    • 로컬 전체 build, 144 files / 1333 passed / 4 skipped.
    • workspace 29 libraries, API/doc 검사, Site typecheck·정본/스타일 guards 통과.
    • 두 공개 subpath와 source registration이 함께 보존됐고 merge conflict 및 lockfile 추가 변경이 없습니다.
    • 이 head의 CI가 마지막 merge gate입니다. 이전 base의 green 결과를 대신 사용하지 않습니다.

    npm 배포 제외와 Core 공개 계약 보존은 유지합니다.

  12. developer-1px
    closed this as completedin #715on Sep 7, 2026

  13. developer-1px commented on Sep 7, 2026

    @developer-1px
    developer-1px
    on Sep 7, 2026
    OwnerAuthor

    merge 확인

    PR #715을 최신 main과 조합한 검증 head 98e4505f0b79dd346a0b9f3d22fbae46c19b1c8b에서 squash merge했습니다. 관리자 우회는 사용하지 않았습니다.

    • merge commit: 5df3b687555eb9aa9cd6a2e93db7ec02dc9c200f
    • 원격 PR MERGED, 이슈 편집 프로토콜의 구현 간 동등성과 조합 안전성을 보장한다 #713 CLOSED 확인.
    • 최종 PR CI: Plan·Package·Site·External kit 모두 통과.
    • 통합 로컬 검증: 전체 build 및 1333 passed / 4 skipped.
    • CI Site: unit 123 passed, browser 212 passed / 4 skipped.
    • 리뷰 P1인 배열 조상 move의 undo를 기존 inverse owner에서 수정했고 회귀 4종·유효한 move/copy 884개를 확인했습니다.
    • Core 23 exports·six members·0 runtime peers와 domain/platform/history 경계를 보존했습니다. 기존 macOS native 키 입력 unavailable 기록을 자동화 통과로 대체하지 않습니다.
    • npm 배포는 하지 않았습니다. main fast-forward와 검증된 merged 작업트리/branch 정리를 마무리합니다.

  14. developer-1px commented on Sep 7, 2026

    @developer-1px
    developer-1px
    on Sep 7, 2026
    OwnerAuthor

    작업 공간 정리 완료 — landed-clean

    • #715와 #716은 모두 MERGED, #713과 #714는 모두 CLOSED입니다.
    • 로컬 main과 origin/main은 5df3b687555eb9aa9cd6a2e93db7ec02dc9c200f로 일치합니다. 최종 PR 검증 head와 merge 후 main의 파일 tree가 동일함을 확인했고 main 전체 build도 통과했습니다.
    • 이번 작업의 두 worktree·로컬/원격 issue branch와 작업용 preview 서버만 제거했습니다. 구현은 merge commit에 보존돼 있습니다. 다른 branch는 변경하지 않았습니다.
    • 사용자 checkout의 기존 untracked 개인 자료 4개는 그대로 보존했고 tracked/staged 변경은 없습니다.
    • npm 배포는 하지 않았습니다. merge 후 자동 main CI를 최종 PR CI의 완료 증거와 혼동하지 않습니다.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

No labels
No labels

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions