Проект
Проверьте циклический перенос и пустой ввод, отклоняйте другие типы и не подменяйте аутентификацию этой некриптографической проверкой.
CarryLoam — Windows-клиент ИИ для проверки кода интернет-сумм в проекте. Подключите совместимую модель, обсудите порядок байтов и переносы, затем сопоставьте предложенные изменения с известными пакетами.
def internet_checksum(data):
if type(data) is not bytes or len(data) > 65535:
raise ValueError("checksum.bytes")
total = 0
for i in range(0, len(data), 2):
total += (data[i] << 8) | (data[i+1] if i+1 < len(data) else 0)
while total >> 16:
total = (total & 65535) + (total >> 16)
return (~total) & 65535
Проверьте циклический перенос и пустой ввод, отклоняйте другие типы и не подменяйте аутентификацию этой некриптографической проверкой.
Сравните фактическое поведение с ожидаемым. Если проверка не проходит, разберитесь в причине перед следующими изменениями.
Базовый URL, учётные данные и доступный сервер.
def internet_checksum(data):
if type(data) is not bytes or len(data) > 65535:
raise ValueError("checksum.bytes")
total = 0
for i in range(0, len(data), 2):
total += (data[i] << 8) | (data[i+1] if i+1 < len(data) else 0)
while total >> 16:
total = (total & 65535) + (total >> 16)
return (~total) & 65535
CarryLoam — программа для разработки с ИИ в Windows, позволяющая изучать изменения, корректность которых зависит от точной интерпретации байтов. Откройте проект и опишите формат, который код должен создавать или читать. Попросите модель изучить реализацию и вызывающий код, сохраняя в обсуждении независимо известные результаты, чтобы проверка опиралась не только на правдоподобное объяснение.
Один полезный пример запроса — функция контрольной суммы Internet. Предоставьте короткие примеры чётной и нечётной длины с ожидаемыми результатами, затем выясните обработку последнего байта и свёртку переноса. Конкретная проверка связывает эти детали с формированием пакетов, не предполагая корректности всей окружающей реализации протокола.
Изучите предлагаемое исправление на предмет изменения порядка байтов, дополнения и места записи контрольной суммы. Запустите тесты проекта и сравните с независимым эталоном для вашего формата. При расхождении сохраните входные байты и оба результата, чтобы следующее обсуждение опиралось на воспроизводимый случай.
Выберите ИИ-модель без цензуры, если она предлагается через поддерживаемую конечную точку, совместимую с OpenAI, или Anthropic. Добавьте необходимые учётные данные и проверьте доступные инструменты и объём контекста. Ограничения по-прежнему определяются выбранной моделью и поставщиком; ни название модели, ни рабочая среда не доказывают корректность или безопасность пакета.
Расчёт ожиданий той же логикой может повторить ошибку. Используйте подходящий эталон или независимо проверенный пример и сохраняйте точные входные байты. Это даёт отдельную основу сравнения и для обсуждения с моделью, и для тестов.
Ожидаемый результат должен показывать обработку последнего байта. Попросите модель объяснить предлагаемое дополнение и порядок байтов, затем сравните результат. Тест только типа результата упустит эти различия.
Нет. Остальные поля, длины и правила протокола требуют собственных проверок. Проверяйте изменение суммы в его рамках и при необходимости изучайте окружающий код формирования пакета, не принимая одно совпавшее значение за валидацию всего сообщения.
Перед выполнением изучите адрес назначения и последствия; искусственных локальных примеров может быть достаточно. Локальной модели нужен отдельно работающий сервер, и она не делает все подключённые инструменты локальными, включая средства отправки или изучения пакетов.
CarryLoam · Обновлено 2026-10-25