Skip to content

docs(plan): доказательство перехода HEAD при base-sync (#1561) - #1592

Open
ivanarama wants to merge 1 commit into
mainfrom
plan/1561
Open

ivanarama wants to merge 1 commit into
mainfrom
plan/1561

Conversation

@ivanarama

Copy link
Copy Markdown
Owner

Для #1561 подготовлен технический план 180: существующий гейт base-sync связывает переход HEAD с положением PullRequestCommit в timeline, которое не доказывает время push.

Вариант 1 из доверенного триажа: общий v2 proof с заранее выбранным to, CAS-переходом и отдельными проверками графа и lifecycle; четыре среза реализации, публичная матрица тестов, recovery, миграция старых markers и откат. Включение writer зависит от совместимости всех consumers и фактической версии внешнего PromptPilot.

Изменены только новый план и индекс Plans/README.md. Проверены текущие границы на main a8a2744; перед push повторена инвентаризация номеров в main и всех открытых PR.

Проверки: go run ./tools/plannum (161 план, номера уникальны), git diff --check, локальные ссылки и UTF-8. Продуктовый код не менялся.

Plan-Issue: #1561
Plan-Path: Plans/180-base-sync-head-transition-proof.md

@ivanarama

Copy link
Copy Markdown
Owner Author

Ревью. (круг 1)
Reviewed-SHA: 6ecda8d
Outcome-Label: reviewed
Что меняется: Добавлены технический план 180 для #1561 и запись в Plans/README.md: v2-доказательство base-sync с заранее выбранным to, CAS, общей проверкой графа/lifecycle, recovery, миграцией и последовательным включением совместимых consumers.
Проверено: Проверен полный diff a8a2744...6ecda8d в отдельном detached worktree: только два файла Plans, 288 добавленных строк; Содержание сверено с #1561 и триажем 5715821300, текущими REVIEW/MERGE recovery-процедурами, FIX/TAIL, internal/pipelinecontract и tools/pipelinehealth; план соответствует выбранному варианту 1; На полном GraphQL timeline #1221 подтверждён контрпример: commit 8b00d34 находится на позиции 16, intent 5554606403 — 18, done 5554611414 — 19; родители commit совпадают с [from, base]; Проверены фиксация from/base/to, непрерывная авторизация, независимые lifecycle fences, смена epoch, запрет угадывания v2 из v1 и отключение writer до проверки внешнего PromptPilot; семантика явного --force-with-lease сверена с https://git-scm.com/docs/git-push; go run ./tools/plannum: 161 план, номера уникальны; go test -count=1 ./internal/pipelinecontract ./tools/pipelinehealth: оба пакета прошли; git diff --check, UTF-8/LF, отсутствие конфликтных маркеров и две добавленные локальные ссылки: успешно; Go-код, зависимости и прикладные конфигурации не менялись; сборка продукта, полный набор тестов и examples/trade локально не требовались; CI точного HEAD 6ecda8d: все 8 обязательных проверок успешны — build, lint, postgres-integration, vuln, smoke, e2e, test-windows, launcher-webview-build.
Блокирующее: нет.
Хвост:

Вердикт: годится к мержу.

@ivanarama

Copy link
Copy Markdown
Owner Author

PromptPilot service marker: REVIEW result publication claimed.

@ivanarama ivanarama added the reviewed Ревью: блокирующего нет — ждёт ship label Sep 18, 2026
@ivanarama

Copy link
Copy Markdown
Owner Author

PromptPilot service marker: REVIEW result committed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

queue:p0 Manual queue priority P0 (highest) reviewed Ревью: блокирующего нет — ждёт ship

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant