# CrocSwap/integer-mult-bounds

> Исследовательский репозиторий с community-доказательствами улучшенной асимптотической оценки для умножения целых чисел (κ > 2^-15), включая сертификаты, Lean-проверки и воспроизводимые аудиты.

- Магнитуда: 5,3 из 10 — Ранний сигнал
- Звёзды: 96 всего · Недостаточно замеров за сегодня
- Доверие к звёздам: рост звёзд выглядит естественно
- Категория: Наука и исследования · Язык: Python · Лицензия: Apache-2.0 · Создан: 2026-10-07 · Последний коммит: 2026-10-08
- GitHub: https://github.com/CrocSwap/integer-mult-bounds · Страница: https://gitnova.dev/r/CrocSwap/integer-mult-bounds

## Чем пригодится

- Воспроизвести проверки через make verify-pair и make verify-joint
- Изучить Lean-сертификаты и аудит аксиом из PR #61
- Проверить арифметику рекуррентных сборок независимым скриптом

## Почему он здесь

- Для сегодняшнего дня UTC пока недостаточно свежих замеров счётчика. Прирост неизвестен.
- Репозиторию 2 дня, а у него уже 96 звёзд. Истории меньше двух недель, так что обычного темпа, с которым можно сравнить всплеск, у него ещё нет.
- Топ новых репозиториев за неделю: #150.
- Около 51 форков в сутки — код забирают себе.
- Среди свежих форков — заметные разработчики: @Th0rgal (539 подп.), @anxkhn (396 подп.).

## Доверие к звёздам

Рост звёзд выглядит естественно.

Метки доверия к звёздам — эвристики по поведению репозитория, а не проверка каждого, кто поставил звезду.

## Цифры

- Форков: 35
- Issues и pull requests: 118
- Наблюдателей: 1
- В среднем за неделю: 47 в день
- Обычный темп: мало истории (меньше двух недель)
- Звёзд за последний час (по замерам): 0
- Последний релиз: community-kappa-15-2026-10-08 (2026-10-08)

## Звёзды по дням за 6 дней (от старых к новым, сегодня — неполный день)

2026-10-04 … 2026-10-09: 0, 0, 0, 49, 47, None

## Магнитуда по дням за 2 дня

10-08 4,4, 10-09 5,3

## Где замечен сейчас

- Топ новых репозиториев за неделю: #150

## Похожие по описанию

1. **Queuingtheorydotcom/11SquaresFormalized** — 2,0 · Ровно · Наука и исследования · Lean · Недостаточно замеров за сегодня
   Формализация на Lean доказательства оптимальности упаковки 11 квадратов, включая точную длину стороны и проверку числовых сертификатов через native_decide.
   Полная карточка: https://gitnova.dev/r/Queuingtheorydotcom/11SquaresFormalized.md

---

Магнитуда (0–10) — насколько быстро и необычно сейчас растёт интерес к репозиторию. Это не оценка качества.
Дни — по UTC. «Уже сегодня» — факт, «к вечеру ≈» — прогноз.
Описания и сценарии пишет модель (DeepSeek V4.1 Flash) по README, в деталях возможны ошибки: конкретные утверждения (замеры, скорость, железо) проверяйте в самом репозитории.
Данные на 2026-10-09 00:17 UTC, обновление каждые 30 минут.