ЧОУЛА, ВЕТВИ51–70: ПРОТОКОЛ ПРОВЕРКИ И ОГРАНИЧЕНИЯ
18 октября 2026 года.

Проверка выполнена внутри данного исследования. Несколько отдельных
агентов перечитывали доказательства друг друга; ведущий агент прочитал
все двадцать итоговых математических записей. Это дополнительный контроль
ошибок, а не независимая внешняя рецензия. Полная формальная верификация
в Lean, Isabelle или другом proof assistant не выполнялась.

1. ЧТО СЧИТАЛОСЬ ДОСТАТОЧНОЙ ПРОВЕРКОЙ

Для общих математических утверждений требовалось полное доказательство
с явно указанными кванторами и областью применимости. Для отказа от
конкретного метода использовался точный контрпример либо бесконечное
семейство, на котором необходимая этому методу оценка невозможна.
Конечное отсутствие найденного контрпримера не считалось доказательством.
Где достаточное условие осталось открытым, это прямо записано.

Все новые машинные сертификаты используют целые числа и Fraction;
алгебраические числа в малых примерах задаются точными выражениями
или рациональными интервалами. Данные вычисления не опираются на минимум
конечной сетки или округлённые собственные числа.

2. ФАКТИЧЕСКИ ЗАВЕРШЁННЫЕ ЗАПУСКИ

functions_51_56_checks.py: успешно.
Проверены точные значения K для {1}, {1,2}, {1,3}, {2,3}; последняя
проверка выполнена в Q(sqrt(10)) с контролем всех критических точек
кубического полинома и обоих концов отрезка. Проверены два произведения
потерь при n=0,...,50, НОД, перенос по симметрической разности,
направления верхних и нижних свидетельств и конечная область N=2,D=3.
Кванторные утверждения и общие пределы доказываются в TXT.

branches_57_62_checks.py: успешно.
Для всех255 непустых подмножеств {1,...,8} независимо сопоставлены
Laurent-моменты, числа упорядоченных аддитивных отношений и графовые рёбра.
Для N=1,...,32 сопоставлены прямые моменты до порядка7 и формула
включения–исключения. Кубический сертификат проверен по всем коэффициентам
полиномов по N. Сохранены18 строгих рациональных интервалов для трёх
уровней B_d при N=1,4,16,64,256,1024; их концы подтверждены главными
минорами рациональных матриц. Проверены степени2 и4, смешанные графы,
интервальные остатки по модулям и общий масштаб делимости.

functions_63_68_checks.py: успешно.
Проверены рациональные хвосты экспоненциального ряда одиночного косинуса,
моменты вспомогательной двухуровневой модели, отрицательные чётные моменты,
параметры дуг и квантилей, явные допустимые плотности с энтропийным
бюджетом1 и конечные свидетели иррациональной расстройки.
Заново целочисленно проверены автокорреляции q81,q128 из реконструкции49,
монический помощник степени65 из48 и пример q380208 из47. Для нового
наблюдения67 точно проверена сумма двух целочисленных квадратов при m=3.
Это новые вычислительные подтверждения восстановленных формул; прежние
потерянные файлы результатов не объявляются восстановленными в исходных байтах.

root_69_70_checks.py: успешно.
Независимым Laurent-подсчётом проверены интервальные моменты N=1,...,16.
Построены10 наборов ветви70 при N=1,2,4,8,16,32,64,128,256,512;
сохранены1023 целочисленные частоты. Проверены целочисленные квадратные
корни, различность, положительность, НОД1 и диапазон max A<2N.
Общий результат для любого N и любого s доказывается транспортной
оценкой в TXT; конечные наборы контролируют реализацию конструкции.

audit_62_independent_checks.py: успешно.
Кубические тождества повторно проверены другим кодом через независимую
Laurent-свёртку при N=1,...,7. Аналитически доказанная степень полиномов
не выше6 делает эти семь точных значений сертификатом тождества для
всех N, а не произвольной экстраполяцией. Заново проверены положительные
коэффициенты остатка, константа14/129, det Q=11/9216 и предел24/11.

audit_geometry_62_checks.py: успешно у автора дополнительного аудита.
Ещё один точный контроль полиномиальных формул62 и их степени; для
малых N использована дополнительная Laurent-свёртка. Аудит того же
участника охватывает кванторы51, рекурсию53, направление56 и все шаги70.
Другой участник отдельно проверил отрицательные нормы64 и квантили65.

3. СОДЕРЖАТЕЛЬНЫЕ УТОЧНЕНИЯ ПОСЛЕ АУДИТА

3.1. Ветвь62: качественную сходимость удалось усилить до явной
равномерной абсолютной аппроксимации. При N>=1,0<epsilon<=1,
M=ceil(4*pi*N/epsilon) и d>=ceil(2*N^2*log(M)/epsilon) имеем
0<=K(A)-B_d(A)<=epsilon для каждого набора A из N частот.
Полное обоснование через прежнюю оценку меры около экстремума и Hölder
написано в62 и audit_62_internal.txt. Это снимает двусмысленность о том,
известна ли вообще общая скорость аппроксимации: такая скорость есть.
Открыта нижняя граница порядка sqrt(N), а не возможность приближать K.

3.2. Ветвь62: конкретный кубический тест даёт более (14/129)N для
последовательных частот при всех N>=1. Это показывает усиление иерархии
при переходе со степени2 на3. Прямое значение ядра Дирихле уже даёт
более сильную линейную оценку K на интервалах; улучшение известного
интервального экстремума здесь не заявляется.

3.3. Ветвь67: после правильного сокращения энергетическая граница
равна N<=2m^2 q^2-m. Зависимость по корню имеет порядок sqrt(N)/q,
а не sqrt(N)/q^2. Это правильная прежняя нормировка, не новый результат.
Показано также, что отсутствие q=1 при m=2 в проверенном наборе не
сохраняется при m=3. Увеличение разрешённого сдвига меняет задачу.

3.4. Ветвь64: при p=1 интервальный порядок равен log N. Формулу
N^(1-1/p) нельзя бездумно продолжать к p=1. При p<1 порядок ограничен,
а само выражение является квазинормой. Все три режима записаны отдельно.

3.5. Ветвь56: конечное ограничение частот само по себе не доказывает
глобальную нижнюю границу. Но в сочетании с прежним эффективным сжатием
оно даёт строгий общий результат при фиксированном N с заданной ошибкой.
В карте результатов это положительное содержание сохранено.

3.6. Ветвь70: K_window<=T ограничивает исключительно наблюдаемое окно
в переменной s. Перенос на полный K был бы ошибкой. Общая переменная
времени, целочисленные частоты, единичные амплитуды и нулевые фазы
в явной конструкции сохранены.

3.7. Ветви59,61,62: первый уровень моментной иерархии совпадает с
третьим моментом. Граф на {0} union A отличается от более крупных
графов прежнего журнала. Ни связанные формулы, ни ограничение одной
конкретной матрицы не выдаются за независимые открытия или запрет
всех возможных расширений метода.

4. ИСТОЧНИКИ И ПРОИСХОЖДЕНИЕ

Общие специальные утверждения нового пакета сопровождаются собственными
проверяемыми доказательствами. Прежние внутренние результаты8,26,32
и другие указаны как внутренние, с точным местом в восстановленном
журнале. Их научный приоритет не установлен.

Для текущего внешнего контекста прочитан первичный препринт
Abhishek Shankar, A Log-Free n^{1/5} Bound for Chowla's Cosine Problem,
arXiv:2609.05338v1, 4 сентября2026:
https://arxiv.org/html/2609.05338v1
В нём сформулирована и обосновывается общая граница K>=C*N^(1/5).
Ветка52 использует её как опубликованный авторский результат и
отдельно проверяет нормировку C*N^(-3/10) после деления на sqrt(N).
Полная независимая проверка всей цепочки внешних зависимостей этого
препринта данным этапом не выполнялась; статус внешней рецензии не заявлен.

Модель Gibbs и энтропии имеет первичные ссылки в63 и66; используемые
вариационные формулы там выведены непосредственно. Историческая ссылка
Weyl в68 не заменяет приведённого в той же записи доказательства плотности.
Нынешний подбор источников не является полной проверкой новизны.

5. ЧТО НЕЛЬЗЯ ЗАКЛЮЧАТЬ ИЗ ПРОТОКОЛА

Нельзя заключать, что исходная гипотеза доказана или опровергнута.
Нельзя заключать, что истинный c_N стремится к нулю, только потому что
некоторые найденные нижние функции это делают.
Нельзя заключать, что конечные проверки охватили все возможные наборы,
или что стохастическая модель с теми же моментами является косинусной суммой.
Нельзя заключать, что частный успех интервалов решает общую задачу.

Положительный итог этапа: проверяемая карта20 функциональных вариантов,
несколько явных усилений отдельных сертификатов, общая количественная
аппроксимация моментной иерархией и строгие ограничения конкретных
неудачных схем. Все эти результаты пригодны как исходный материал
для дальнейшего исследования; окончательная статья пока не составлена.
