Безопасная проверка New API: инварианты арифметики quota billing по GHSA-8r8v-xf7q-rcpr: runtime inventory, изолированный fixture, измеримый verdict, стоп-правило и минимальный evidence bundle.
Короткий ответ — New API: инварианты арифметики quota billing
Для запроса «проверить overflow и знак результата при расчёте quota charge» нужен не агрессивный тест, а доказательная цепочка из четырёх состояний: runtime подходит под границу, entry point реально включён, безопасный control проходит, граничный fixture останавливается до побочного эффекта. Боль этого материала — переполнение произведения может превратить списание в отрицательное значение. Результат оформляется как input bounds / intermediate width / charge sign / ledger delta / verdict. Advisory GHSA-8r8v-xf7q-rcpr задаёт ориентир «go:github.com/QuantumNous/new-api <= 1.0.0-rc.17; first patched 1.0.0-rc.18», но сам по себе не доказывает состояние конкретной установки.
Что подтвердить в inventory — New API: инварианты арифметики quota billing
Запишите фактически загруженный package github.com/QuantumNous/new-api, версию и immutable artifact digest. Сопоставьте их с диапазоном «go:github.com/QuantumNous/new-api <= 1.0.0-rc.17; first patched 1.0.0-rc.18» и отдельно подтвердите конфигурацию функции «New API: инварианты арифметики quota billing». Статусы различаются: Not present, Outside range, Candidate и Unknown. Дата образа, зелёный health или запись в lockfile без runtime readback не переводят Candidate в PASS. Матрица хранит units, unit_cost, widened intermediate и sign. Она не вычисляет реальные цены: все числа синтетические и малы, а stop-rule срабатывает до записи при любом нарушении non-negative/capped invariant.
Безопасный fixture — New API: инварианты арифметики quota billing
Используйте только следующий изолированный протокол: Передать pure calculator малые boundary values вокруг configured maximum; ledger заменить spy, запретить сеть и реальные аккаунты. Все данные синтетические, объём заранее ограничен, сеть и production-хранилища заменяются spies или in-memory adapters. До запуска сохраните hash fixture, нулевые counters и ожидаемое состояние. После каждой строки меняется одна переменная; роли, версия и конфигурация остаются теми же. Так наблюдение относится к «New API: инварианты арифметики quota billing», а не к случайной разнице окружений.
Наблюдения и контроль — New API: инварианты арифметики quota billing
Control обязан доказать, что harness достигает нужной ветки без нарушения. Boundary-case подтверждает stop до запрещённого действия. Снимайте только поля из «input bounds / intermediate width / charge sign / ledger delta / verdict», монотонную длительность и sanitised reason code. Не сохраняйте payload, секреты, адреса, полные пути, пользовательские записи или environment dump. Специальная карта этого материала: Матрица хранит units, unit_cost, widened intermediate и sign. Она не вычисляет реальные цены: все числа синтетические и малы, а stop-rule срабатывает до записи при любом нарушении non-negative/capped invariant.
Как присвоить verdict — New API: инварианты арифметики quota billing
PASS возможен, когда runtime подтверждён и граничная строка останавливается до состояния «переполнение произведения может превратить списание в отрицательное значение». FAIL требует той же provenance плюс наблюдаемый запрещённый counter или неверный state transition. UNKNOWN ставится при отсутствии версии, configuration snapshot, control или точки наблюдения. NOT_APPLICABLE допустим только при доказанном отсутствии package/entry point. Номер исправленной версии без повторения fixture не считается runtime proof.
Стоп-правило и восстановление — New API: инварианты арифметики quota billing
Немедленно прекратите проверку, если charge стал отрицательным, вышел за cap или ledger spy получил invalid delta. Не увеличивайте объём для наглядности и не переносите fixture в production. Восстановите disposable state по исходному hash, освободите test objects и убедитесь, что счётчики сети, процессов, файлов, сессий или записей равны ожидаемым. Если cleanup не доказан, итог остаётся UNKNOWN независимо от основного наблюдения.
Чем материал отличается — New API: инварианты арифметики quota billing
Формализует числовые инварианты без реального биллинга или токенов. Не финансовый совет и не pricing page: проверяется integer arithmetic. Поэтому нельзя создавать соседнюю страницу простой заменой продукта, ОС или устройства. Если существующий URL уже отвечает тем же intent, pain, answer и decision tree, нужен update/merge, а не новый адрес. Здесь самостоятельная практическая ценность — input bounds / intermediate width / charge sign / ledger delta / verdict; особый диагностический контекст: Матрица хранит units, unit_cost, widened intermediate и sign. Она не вычисляет реальные цены: все числа синтетические и малы, а stop-rule срабатывает до записи при любом нарушении non-negative/capped invariant.
Пакет для владельца — New API: инварианты арифметики quota billing
Передайте владельцу GHSA GHSA-8r8v-xf7q-rcpr, runtime digest, version range «go:github.com/QuantumNous/new-api <= 1.0.0-rc.17; first patched 1.0.0-rc.18», включённый entry point, sanitized config, control/boundary rows, counters, verdict, stop reason и cleanup proof. Источник опубликован 2026-08-17, обновлён 2026-08-17; даты показывают свежесть advisory, но не популярность запроса и не эксплуатацию. После обновления повторите тот же fixture без изменения переменных и сравните state transition, а не только номер версии.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика; версии, даты, границы и ссылки вручную сверены по GitHub Advisory Database и прямой upstream-странице. Текст самостоятельный, не копирует источник и не содержит эксплуатационных шагов.
Источники и проверка
- GitHub Advisory Database — GHSA-8r8v-xf7q-rcpr проверено 2026-09-02
- Первичный upstream advisory — github.com/QuantumNous/new-api проверено 2026-09-02
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.