Repository navigation
fix(CI): работа Provability красна с 18 сентября — в ней не задана FLANG_TMP - #130
Merged
Merged
Conversation
…ANG_TMP
Работа Provability на стволе краснела семь прогонов подряд, с 18 по 24
сентября 2026, и все семь раз по одной причине. Локально тот же
scripts/доказуемость.sh печатает ДОКАЗУЕМ кодом 0.
ПРИЧИНА. Набор проб чекера берёт времянку как
RABOTA=$(mktemp -d -p "${FLANG_TMP:-/srv/tmp}" chekker.XXXXXX)
На раннере GitHub каталога /srv/tmp нет. mktemp падает, скрипт под `set -eu`
кончается немедленно кодом 1 и не печатает ни строки итога. Опыт:
FLANG_TMP=/нет-такого sh flang/proof/checker/tests/run.sh
→ код 1, mktemp: failed to create directory
Ровно это в логе прогона 35985594719.
Ловушка известна: в ci.yml над одним из шагов лежит комментарий, объясняющий
её словами. Переменную задают 10 раз в ci.yml, 17 в binary.yml, 8 в
reprint.yml — и везде ПО ШАГАМ, откуда её и можно забыть. В provability.yml её
не задали ни разу. Здесь она задана на работу целиком.
ВТОРАЯ ПРАВКА — ДИАГНОЗ. Вердикт читал итог прогона разбором строк, не
находил их и подставлял ноль. Ноль сравнивался с храповиком, и в отчёт семь
дней шло «проб на подлог в прогоне 0 при храповике 533 — выпало 533 (подделка
не собралась или проба убрана)», то есть «набор ослаб» — диагноз не про то.
Теперь отсутствие строки «подделок N:» значит «мерить нечем»: вердикт
НЕ СМОГ ИЗМЕРИТЬ кодом 2, проверки 3 и 4 печатают НЕ ИЗМЕРЕНА и называют код
прогона.
Снято прогонами на этом дереве:
- с несуществующим FLANG_TMP: НЕ СМОГ ИЗМЕРИТЬ, код 2, «проверка 3 — НЕ
ИЗМЕРЕНА (прогон кончился кодом 1, не напечатав итога)»;
- честным путём: ДОКАЗУЕМ, код 0, «набор подделок 36 из 36; проб на подлог
534», «в манифесте 36 при храповике 36; числитель 187 при храповике 155».
ТРЕТЬЕ — СВОЯ ОШИБКА. В PR №129 уехали шесть битых ссылок моего авторства:
выдуманные имена файлов (привет.flang и соседи) я написал в обратных кавычках,
а сторож ссылок читает такой токен как путь. Кавычки сняты. Сторож на этом
дереве: битых 14 из 6999 — ровно тот долг, что лежал на стволе до меня (было
20 из 7005).
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
…21fe60 Пересняты приборами prose-numbers-guard и опись:сверка 17 сентября 2026. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
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.
Проверено overagent'ом на дереве «main + ветка» (e81f4cc): набор проб «сошлось всё», вердикт sh scripts/доказуемость.sh — ДОКАЗУЕМ, код 0 (все четыре проверки, доля 650 из 650), опись доказанного 0, сверка ведомости 0, pre-push 0, приметы сведены приборами.
🤖 Generated with Claude Code