Skip to content

Docs: маршрут дуального доказательства после мержа PR 559 и 560 #567

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
lemone112 merged 1 commit into from
Aug 10, 2026
Merged

Docs: маршрут дуального доказательства после мержа PR 559 и 560 #567

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
32 changes: 6 additions & 26 deletions docs/how-to/full-domain-dual-proof.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -178,15 +178,11 @@ gh workflow run dual-proof.yml -f lane_run_ids=31172034015,31173145286
Печатает `proof/region/v1/tests/dual_proof_gate.py`, результат — артефакт
`dual-proof-identity`.

## Открытые PR
## Полоса проверяет координаты кампании

Маршрут выше исполним целиком на `3ad5091e`. Открыто шесть PR; маршрут
меняет один.

**PR 560 — полоса проверяет свои координаты.** У `verification-lanes.yml`
появляется обязательный вход `expect_lanes`, а координатор добавляет в каждую
команду `-f expect_lanes=<число полос плана>`. Первым шагом, до `checkout`,
полоса отвергает за секунды вместо часа реплея:
На `main` приём полосы проверяет координаты до `checkout`: вход `expect_lanes`
в `verification-lanes.yml` обязателен (#560, `08b6f265`), полоса отвергает
Comment on lines +183 to +184

@chatgpt-codex-connector chatgpt-codex-connector Bot Aug 10, 2026

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Обновите пины инвентаря после удаления предупреждения

После этой замены документ описывает маршрут как уже живущий на main после #559/#560, но ниже в «Граблях» остались значения инвентаря с 3ad5091e (284 и 3284dccf...), тогда как текущие пины в proof/region/v1/tests/test_build.py — ARB_TEST_COUNT_V1 = 293 и e61831a.... Удалённый блок раньше явно предупреждал, что эти числа устареют после мержа, а теперь оператор, чинящий пины по этому how-to, получит расходящиеся с кодом/тестами данные.

AGENTS.md reference: AGENTS.md:L47-L50

Useful? React with 👍 / 👎.

за секунды вместо часа реплея:

- кампанию, чьё заявленное число полос не равно `16777216 / window_points`;
- `window_start` вне канонической десятичной записи — сравнением сырых байтов,
Expand All @@ -200,24 +196,8 @@ gh workflow run dual-proof.yml -f lane_run_ids=31172034015,31173145286
читая имя обратно — старт, который имя не может отрендерить канонически,
даёт полосу, чей час реплея нельзя предъявить никогда.

После мержа строки шага 3 получают ещё один `-f`; число строк остаётся 256.

**PR 559 — содержимое координат компаратора.** Маршрут не трогает, но двигает
пины инвентаря: `ARB_TEST_COUNT_V1` 284 → 292 и оба хеша. Числа в «Граблях»
привязаны к `3ad5091e` и после его мержа устареют — пересчитывайте сниппетом,
не переносите отсюда.

**PR 556 — статическая source-идентичность MPFI.** Маршрут не трогает:
`mpfi/receipt.py` плюс пин MPFI-гейта.

**PR 557 — первое изображение семейства.** Маршрут не трогает: Rust-слой
`crates/labcolors-core`.

**PR 561 — сертификат допускается только к спрошенному региону.** Маршрут не
трогает: Rust-слой. Артефакт может быть цел и при этом быть образом другого
региона; связывание отвергает чужой регион до хеширования payload.

**PR 558 — этот документ.**
Живой диспатч шага 3 передаёт каждой полосе `-f expect_lanes=<число полос
плана>`; число строк остаётся 256.

## Грабли

Expand Down
Loading