Защитная диагностика Klever-Go percentage royalty по GHSA-v358-wf77-39xv: version inventory, обратимый fixture, PASS/FAIL/Unknown, stop-rule и минимальный пакет доказательств без production-данных.
Что именно проверяет карточка Klever-Go percentage royalty
Здесь не проводится общий аудит продукта и не пересказывается чужая публикация. Проверяется одна граница: при граничной доле split суммарное зачисление может не сопровождаться равным списанием с источника. Advisory GHSA-v358-wf77-39xv задаёт проверяемый inventory-контекст «github.com/klever-io/klever-go: <= 1.7.19-rc2; первая исправленная версия: 1.7.19-rc4». Само совпадение версии означает только affected_candidate. Оно не подтверждает достижимость пути, наличие инцидента или ущерба. Для not_present нужен runtime/SBOM, для outside_range — resolved dependency, для patched_or_backported — release либо commit и повторяемый regression result. Если связать работающий artifact с revision нельзя, честный ответ — Unknown. Уникальная модель наблюдения для этой карточки связывает гарантию «любая ветка распределения royalty должна сохранять инвариант total debited equals total credited до успешного возврата» с действием «чистый unit-test с fake accounts сравнивает обычную долю и точную граничную долю на малых синтетических числах без сети, кошельков и реальных активов». Она считается полной только вместе с колонками «case | source debit calls | total debited | total credited | conservation delta | verdict» и отдельным аварийным условием «conservation delta ненулевой, fixture обращается к сети или требует настоящий ключ либо актив». Эти пять элементов образуют самостоятельную проверку именно Klever-Go percentage royalty, а не заменяемый шаблон для соседнего продукта.
Дерево решения по версии и функции Klever-Go percentage royalty
Соберите package manager, lock-файл, digest образа или бинарника, feature flag и фактическую точку вызова. Сначала установите, присутствует ли github.com/klever-io/klever-go в runtime, а не только в исходном manifest. Затем сравните доказанную версию с границей «github.com/klever-io/klever-go: <= 1.7.19-rc2; первая исправленная версия: 1.7.19-rc4». Ветка not_present завершает проверку без запуска fixture; outside_range требует сохранённого вывода inventory; affected_candidate переходит к изолированному тесту; patched_or_backported требует ссылки на исправление и его test evidence. Не подменяйте эти состояния одним HTTP 200, названием контейнера, датой сборки или отсутствием жалоб.
Обратимый fixture для механизма GHSA-v358-wf77-39xv
Целевая гарантия сформулирована так: любая ветка распределения royalty должна сохранять инвариант total debited equals total credited до успешного возврата. Проверка: чистый unit-test с fake accounts сравнивает обычную долю и точную граничную долю на малых синтетических числах без сети, кошельков и реальных активов. Среда должна быть одноразовой, без production snapshot, персональных данных, токенов и открытого исходящего доступа. До boundary-case выполните benign control, чтобы доказать достижимость нужной ветки. Заранее установите таймаут, лимит CPU/RSS, разрешённое дерево temp и сетевой allowlist loopback. После каждого шага прочитайте состояние обратно и удалите созданные объекты. Не используйте опубликованные exploit payload или реальные идентификаторы.
Как заполнить таблицу «case | source debit calls | total debited | total credited | conservation delta | verdict»
Записывайте по одной строке на benign control и boundary-case: case | source debit calls | total debited | total credited | conservation delta | verdict. PASS означает, что control дошёл до нужной функции, граничный случай был управляемо отклонён, состояние и side effects не изменились. FAIL допустим только при работающем control и наблюдаемом нарушении заявленной гарантии. Unknown обязателен при недоказанной версии, недостижимой ветке, неполной телеметрии, раннем срабатывании limiter или неоднозначном readback. Такая матрица отделяет наблюдение от догадки и позволяет другому инженеру повторить проверку без доступа к исходной среде.
Исправление и безопасная последовательность rollout
Если получен affected_candidate или воспроизводимый FAIL, следуйте remediation из upstream source; ориентир inventory: github.com/klever-io/klever-go: <= 1.7.19-rc2; первая исправленная версия: 1.7.19-rc4. Когда исправленная версия не названа или проект больше не поддерживается, не придумывайте patch: изолируйте функцию и спланируйте миграцию на поддерживаемую замену. Сначала сохраните lock/digest и fixture, затем измените только компонент, повторите benign и boundary cases, проверьте readback и лишь потом переходите к canary. Не смешивайте обновление с заменой proxy, прав, storage и формата данных: это разрушает причинность. Защитный фильтр может быть временной мерой, но не заменяет исправление. Stop-rule этого материала: conservation delta ненулевой, fixture обращается к сети или требует настоящий ключ либо актив. При его срабатывании тест немедленно прекращается, артефакты изолируются, production не меняется.
Пакет доказательств для владельца Klever-Go percentage royalty
В handoff включите GHSA-v358-wf77-39xv, границу «github.com/klever-io/klever-go: <= 1.7.19-rc2; первая исправленная версия: 1.7.19-rc4», artifact digest, source revision, feature state, hash fixture, лимиты, результаты control и boundary-case, одну строку из таблицы «case | source debit calls | total debited | total credited | conservation delta | verdict», итог PASS/FAIL/Unknown и точную причину Unknown. Добавьте ссылки на GitHub Advisory Database и upstream advisory/fix, но не копируйте длинные фрагменты. Отдельной строкой укажите, что проверялась боль «при граничной доле split суммарное зачисление может не сопровождаться равным списанием с источника», а не весь продукт. Уберите hostname, IP, usernames, cookies, tokens, конфиги и содержимое пользовательских объектов. Так evidence остаётся минимальным, проверяемым и пригодным для повторного решения. Для машиночитаемого журнала используйте независимые ключи `klever-go-percentage-royalty-conservation-check-inventory-proof`, `klever-go-percentage-royalty-conservation-check-benign-control`, `klever-go-percentage-royalty-conservation-check-boundary-observation`, `klever-go-percentage-royalty-conservation-check-state-readback`, `klever-go-percentage-royalty-conservation-check-sideeffect-diff`, `klever-go-percentage-royalty-conservation-check-stop-trigger`, `klever-go-percentage-royalty-conservation-check-final-verdict` и `klever-go-percentage-royalty-conservation-check-cleanup-proof`. Они не должны содержать значения секретов; это только имена полей, позволяющие не спутать доказательства этой проверки с соседними карточками.
Материал подготовлен редакцией VOne с помощью ИИ; даты, версии, первичные источники, обратимый fixture, stop-rule, privacy-ограничения и отсутствие рекламных обещаний перепроверены человеком.
Источники и проверка
- GitHub Advisory Database GHSA-v358-wf77-39xv проверено 2026-09-01
- Primary upstream source for Klever-Go percentage royalty проверено 2026-09-01
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.