Skip to content

refactor+test: E4 구조 편집 admission/self-verify DRY + 커버리지 마진#114

Merged
pignuante merged 1 commit into
mainfrom
test/e4-coverage-margin
Jul 24, 2026
Merged

refactor+test: E4 구조 편집 admission/self-verify DRY + 커버리지 마진#114
pignuante merged 1 commit into
mainfrom
test/e4-coverage-margin

Conversation

@pignuante

Copy link
Copy Markdown
Contributor

E4(#112) 머지 후 워크스페이스 커버리지가 90% 문턱 바로 위에 걸려 Release PR(#113)의 Coverage 게이트가 linux 에서 미세하게 실패. E4 구조 편집기의 방어 코드(도달 불가한 안전망: SpanCountMismatch 등)가 커버리지를 눌러서.

이 PR:

  • DRY 리팩터: delete/insert 에 중복됐던 입력 admission 게이트와 reverse-delta self-verify 를 공유 헬퍼(admit/self_verify)로 추출 — 코드 정리 + 중복 미커버 라인 제거.
  • 안전망 fault-injection 테스트: self_verify 델타 불일치·admit round-trip 거부 등 이전 도달 불가 방어 경로를 직접 커버(안전망 자체의 테스트).
  • CLI/MCP FILE_WRITE_FAILED·batch json·insert admission 표면 테스트 보강.

결과: smithy structural.rs 라인 커버 92.36→94.79%, 워크스페이스 90.06%. 안전 코드는 커버리지 위해 제거하지 않음(원칙).

delete/insert 에 중복됐던 입력 admission 게이트와 reverse-delta
self-verify 를 공유 헬퍼(admit/self_verify)로 추출 — 코드 DRY + 중복
미커버 라인 제거. 안전망 fault-injection 테스트(self_verify 델타
불일치·admit round-trip 거부)로 이전 도달불가 방어 경로 커버. CLI/MCP
FILE_WRITE_FAILED·batch json·insert admission 표면 테스트 보강.
structural.rs 라인 커버 92.36→94.79%.
@pignuante
pignuante added this pull request to the merge queue Jul 24, 2026
Merged via the queue into main with commit 5eba0bd Jul 24, 2026
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant