confluence-mdx: reverse-sync local proof를 엄격하게 검증합니다#1030
Open
jk-kim0 wants to merge 1 commit into
Open
Conversation
## Summary MDX 변경을 Confluence Storage XHTML로 반영하기 전에 typed equivalence와 보존 증거를 모두 검증하도록 local proof 계약을 강화합니다. - Markdown table의 안전한 source formatting 차이만 허용하는 versioned canonical model을 추가합니다. - unchanged fragment와 document envelope를 byte-preserving하는 online patch renderer를 추가합니다. - well-formedness, preservation, determinism, idempotency를 포함한 10개 필수 gate를 manifest에 결합합니다. - diagnostic pass와 verified_local을 분리하고 legacy pass의 발행을 차단합니다. - OpenSpec task와 golden shadow 검증 결과를 갱신합니다. ## Test plan - [x] 전체 Python test 1054 passed, 2 skipped - [x] make test-convert 21 passed - [x] make test-reverse-sync golden 16 passed, regression 43 passed - [x] make test-byte-verify fast/splice 각각 21/21 passed - [x] openspec validate complete-reverse-sync --strict - [x] git diff --check 🤖 Generated with Codex Co-Authored-By: Atlas <atlas@jk.agent>
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
This was referenced Jul 24, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
#1029에서 고정한 remote snapshot과 PUT transaction 위에, MDX 변경으로 만든 candidate XHTML이 실제 발행 가능한지 증명하는 strict local proof를 추가합니다.
reverse-sync-equivalence-v1typed canonical model을 추가합니다.pass와 발행 가능한verified_local을 분리하고, legacypass가 잘못push_eligible로 표시되어도 단일·배치 발행을 차단합니다.Impact
verified_localmanifest만 발행 후보로 인정합니다.verified_local, 12개는 visible whitespace, unresolved link, raw HTML table mutation 등의 근거로 fail-closed했습니다.Test plan
cd confluence-mdx && venv/bin/python3 -m pytest -q— 1054 passed, 2 skippedcd confluence-mdx/tests && make test-convert— 21 passedcd confluence-mdx/tests && make test-reverse-sync— golden 16 passed, regression 43 passedcd confluence-mdx/tests && make test-byte-verify— fast/splice 각각 21/21 passedopenspec validate complete-reverse-sync --strictgit diff --checkRelated tickets & links
🤖 Generated with Codex