chore(release): одна платформа — один ассет

[zeegin]

Почему

Каждый выпуск выкладывал одну и ту же сборку дважды:

Ассет	Что это
v8-runner-macos-aarch64.tar.gz	архив с бинарником внутри
v8-runner-darwin-arm64	тот же бинарник, байт в байт, без архива

Скрипт это равенство сам же и проверял (binary != (dist / direct_name).read_bytes() → ошибка). То есть два имени на одну платформу, в двух разных традициях именования: macos/aarch64 по триплету Rust и darwin/arm64 в стиле Go. Плюс прямые бинарники были у трёх платформ из четырёх, а у Intel-мака — нет, и со стороны это неотличимо от забытой сборки.

Ровно этот вопрос и возник на v0.11.0: «а что из этого что?».

Что меняется

Остаются архивы, по одному на платформу. Релиз ужимается с 10 ассетов до 7, полезная нагрузка — с ~41 МБ до ~13. Аттестуемых артефактов становится 5 вместо 8.

Удалено: unica_asset_name из матрицы, три шага workflow (Prepare / Attest / Upload direct Unica asset), таблица DIRECT_ASSETS, подкоманда prepare-direct, перекрёстная сверка сумм между формами и роль direct-binary в манифесте.

Что пришлось переделать, а не удалить

audit-native скачивал черновик релиза и запускал именно прямой бинарник на каждой ОС — это доказательство, что опубликованный файл действительно стартует. Просто выкинуть его значило бы потерять проверку.

Вместо этого добавлена подкоманда extract-binary: она достаёт бинарник из архива тем же кодом, который архив проверяет (_archive_binary с канонизацией имён и сверкой вложенных LICENSE/FORK_NOTICE). Аудит запускает ровно тот файл, чью сумму несёт манифест, — и одинаково на всех трёх системах, без tar на одной и 7z на другой.

Побочный выигрыш: матрица аудита выросла с трёх платформ до четырёх. Intel-мак нативно не проверялся вообще — теперь проверяется.

Отдельная сверка сумм между формами больше не нужна по построению: форма одна.

Описание релиза

Тело релиза генерируется на каждый выпуск из литерала в release.yml. Туда добавлена таблица «архив → система → процессор» и подсказка про uname -m, потому что aarch64 против x86_64 — ровно то место, где спотыкаются. Там же названы удалённые имена: тот, кто пойдёт искать v8-runner-darwin-arm64, должен узнать, что его нет и почему, а не решить, что сборка сломалась.

Защита от повторения

test_a_platform_is_published_in_one_form_only падает, если имя возвращается в workflow, если таблица возвращается в скрипт или если платформа появляется в аудите дважды. Проверено пробой в обе стороны. Упоминание удалённых имён в теле описания примета разрешает намеренно.

test_extract_binary_yields_exactly_the_archived_binary закрепляет то, что заменило перекрёстную сверку: извлечённый файл равен архивному для каждой из четырёх целей, а незнакомая цель — названный отказ.

Проверки

• python3 tests/release_governance.py — 18 passed
• python3 tests/release_assets.py — 11 passed (CI гоняет оба файла, ci.yml:174-175)
• YAML разбирается; матрицы сборки и аудита покрывают одни и те же четыре цели
• Новый путь прогнан на настоящем архиве, собранном по раскладке из workflow: извлечение, права, запуск, сверка версии и Mach-O — проходит

Rust не затронут.

Что надо знать ревьюеру

Версия не поднята. v0.11.0 уже выпущена с обоими наборами, менять её задним числом нельзя — изменение вступит в силу с 0.12.0.

Потребителя проверяли. У Unica есть unica-bootstrap с зашитым releases/download/ этого репозитория и контрактным тестом, сопоставляющим платформу с именем прямого бинарника. По словам владельца, ни одна публичная Unica ничего из форка не забирает, поэтому согласование не требуется. Стоит знать, что у Unica уже есть extract_verified_tar_gz и application/gzip в допустимых формах доставки, то есть переезд на архив для неё — правка манифеста, а не новая машинерия.