# Независимый внутренний аудит подхода 40 18 октября 2026 года, UTC. Проверку выполнил другой исследовательский агент, автор подходов 31–33. Это внутренний математический аудит, не внешнее рецензирование и не проверка формальным ассистентом доказательств. Прочитаны полностью `phase_dilation_40.md` и `phase_dilation_40_checks.py`. Скрипт повторно выполнен успешно; воспроизведены десять точных тождеств остатков, включая отрицательные Laurent-степени и рациональные действительные/мнимые коэффициенты. ## Один рациональный фактор У единственного Laurent-фактора крайняя разность степеней имеет ровно одно произведение коэффициентов в автокорреляции; оно ненулевое. Поэтому степень H_m=1 действительно вынуждает ширину фактора равняться одному, независимо от его исходного сдвига. Сокращение к Q=a+bz корректно. Из b*conj(a)=1 получаются |b|^2=1/|a|^2 и рациональное t=|a|^2>0. Квадратное уравнение t^2-2mt+1=0 и заключение об иррациональности sqrt(m^2-1) верны для каждого целого m>=2. Рассуждение охватывает все гауссовы рациональные коэффициенты, а не только действительные, и не зависит от выбора внешнего фактора. Пример m=1 корректно исключён из утверждения: там существует фактор 1+z. Для m>=2 отсутствие одного фактора не мешает указанному разложению |1+z|^2+(2m-2)|1|^2 с целыми коэффициентами. ## Изменение арифметики одного фактора после дилатации Для 1+2iz+z^2 коэффициент при частоте один равен 2i-2i=0, коэффициент при частоте два равен единице, постоянный коэффициент равен 1+4+1=6. Поэтому точное тождество из раздела 40.3 верно. Оно относится к гауссовым целым коэффициентам; существование одного действительного рационального фактора этим примером не утверждается. ## Суммы любого конечного числа факторов Обратный перенос через остатки степеней modulo L корректен и для отрицательных степеней: целочисленное деление с остатком 0,...,L-1 даёт однозначную запись. После усреднения перекрёстные члены разных остатков исчезают, а множитель 1/L не создаёт нового знаменателя коэффициентов факторов. Он сокращается точным ортогональным тождеством для конечных характеров. Поскольку z^L пробегает всю окружность, результат действительно является представлением исходного H(w), а не утверждением на ограниченной сетке. Коэффициенты и их полная энергия сохраняются. Эквивалентность верна отдельно для каждого положительного целого q, поэтому равенство минимальных знаменателей и сохранение отсутствия представления следуют без дополнительных предположений. Этот же перенос используется как лемма в подходе 33 после сжатия коэффициентных носителей. В тех записях он обозначен как общий шаг, а не отдельное независимо подсчитанное достижение. ## Заключение аудита Ошибок в заявленных ограниченных результатах не обнаружено. Статусы точно различают один фактор и произвольную конечную сумму факторов. Полученная инвариантность не даёт абсолютной границы знаменателя и не решает гипотезу Чоулы.