집사회 장부 리플레이 복원 검증 (T5)
개요
crowny-deacon
data/미션.psv·
data/티켓.psv의 append-only 리플레이(last-wins) 복원 로직을
라이브 장부 사본으로 실측 검증. 대상 정본 =
/Users/ef/crowny-deacon/한선씨/미션장부.한선.
방법
- 미션장부.한선 사본의
_데이터루트만 스크래치로 치환(라이브 무변경), 실제 장부(미션 14행/티켓 38행) 복사.
- 검증 하네스: 순수 한선씨
검증.한선 (hanseonc_high 컴파일 → crownyc run).
결과 — 12/12 티(PASS)
- 카운터 리플레이: 다음미션ID=M15, 다음티켓ID=T27 (장부 최대 M14/T26 +1) 일치.
- 구행(11필드) 후방호환: T1 대응/명령경로 "" 안전폴백, 상태=완료 정상.
- 이스케이프 왕복: 지시문 "a|b\nc|d" → ⁞/⏎ 인코딩 후 완전 복원, 신규행 13필드.
- last-wins + 캐리포워드: 대응기록→진행→완료 3회 append 후 최신행이 상태/결과요약 최신 +
대응·명령경로·지시문 캐리포워드 보존(결과요약에
| 포함해도 무손상).
- 티켓목록() 유니크: 동일ID 3행 → 1행만 반환.
- 재파싱 동일성: 재조회 결과 불변.
- 장부 정합: 티켓 필드수 11(구행 5)·13(33) 혼재 정상, T1~T26 결번 없음.
잔여 이슈(미수정, 검증범위 밖)
- 카운터가 프로세스 인메모리 → 동일 장부를 두 프로세스가 동시 append하면 ID 충돌 가능(현재 단일 서버라 미발현).
티켓상태갱신은 read-then-write라 동시 갱신 시 후행이 선행 필드를 덮을 수 있음.
관련 파일
- /Users/ef/crowny-deacon/한선씨/미션장부.한선
- /Users/ef/crowny-deacon/집사회-스펙.md