confluence-mdx: reverse-sync manifest push를 명시화합니다

[jk-kim0]

Summary

검증된 reverse-sync 실행을 나중에 발행할 때 latest pointer가 아니라 명시적인 immutable manifest만 선택하도록 publish 경계를 완성합니다.

• reverse-sync push --manifest <manifest.json> 경로를 추가하고 online verify와 분리합니다.
• _do_push()가 keyword-only manifest_path를 반드시 받게 하고 reverse-sync.manifest.path fallback을 제거합니다.
• manifest/tool/policy/artifact hash와 required gate를 인증 및 원격 접근 전에 다시 검증합니다.
• PatchPlan schema v2를 요구하고 직렬화된 intent_complete를 신뢰하지 않고 intent별 executable operation coverage를 재계산합니다.
• local-proof.json의 base/candidate/plan hash와 gate 결과를 manifest와 교차 검증합니다.
• --manifest와 MDX/branch/diagnostic 옵션을 상호 배타적으로 만들고 confirmation에 run ID, page/version, change/operation 수, candidate hash를 표시합니다.
• --yes는 confirmation만 생략하며 무결성·proof·preflight·postcondition gate는 그대로 실행합니다.

OpenSpec

• 기준 change: openspec/changes/complete-reverse-sync
• 완료: explicit run/manifest publish 입력과 latest pointer fallback 제거
• 보강: PatchPlan coverage 재계산 및 local proof–manifest binding 검증
• 외부 Confluence canary/PUT은 이 PR 검증 범위에서 수행하지 않았습니다.

Safety impact

• 오래되거나 다른 실행을 latest pointer로 잘못 발행할 수 없습니다.
• schema v1 검증 결과는 stale_verification으로 차단합니다.
• hash가 자기 artifact와 결합되지 않은 local proof와 불완전하거나 중복 coverage인 plan은 원격 page를 읽기 전에 차단합니다.
• 기존 단일/배치 online verify 흐름도 생성된 explicit manifest 경로를 publisher에 전달합니다.

Test plan

• 전체 Python test: 1106 passed, 2 skipped
• reverse-sync Python test: 783 passed
• make test-convert: 21 passed
• make test-reverse-sync: golden 16 passed, regression 43 passed
• make test-byte-verify: fast/splice 각각 21/21 passed
• openspec validate complete-reverse-sync --strict
• git diff --check
• Python compileall

Stack

• Base: confluence-mdx: reverse-sync typed plan 경계를 도입합니다 #1033
• Strict provenance identity: confluence-mdx: reverse-sync target identity를 엄격하게 검증합니다 #1032
• Input/dependency gates: confluence-mdx: reverse-sync 입력 정합성을 검증합니다 #1031
• Strict proof: confluence-mdx: reverse-sync local proof를 엄격하게 검증합니다 #1030
• Publisher foundation: confluence-mdx: reverse-sync push 안전성을 강화합니다 #1029
• 선행 PR merge 후 base를 순차적으로 main으로 변경할 수 있습니다.

🤖 Generated with Codex

Co-Authored-By: Atlas atlas@jk.agent

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
querypie-docs	Ready	Preview, Comment	Jul 24, 2026 11:35am