Proiect
Testează transportul circular și intrarea goală, respinge alte tipuri și separă verificarea necriptografică de autentificare.
Calculează o sumă Internet de 16 biți pentru zero până la 65535 de octeți, completând ultimul octet impar cu zero.
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
Testează transportul circular și intrarea goală, respinge alte tipuri și separă verificarea necriptografică de autentificare.
Compară comportamentul real cu rezultatul așteptat. Dacă o verificare eșuează, cercetează cauza înainte de alte modificări.
Configurează un endpoint compatibil OpenAI sau Anthropic cu URL-ul de bază și cheia API, dacă este necesară. Testează conexiunea. Serverul local trebuie să ruleze; instrumentele externe pot transmite date separat.
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 este un software de programare cu IA pentru Windows destinat examinării modificărilor a căror corectitudine depinde de interpretarea exactă a octeților. Deschide proiectul și descrie formatul pe care codul trebuie să îl producă sau consume. Cere modelului să examineze implementarea relevantă și apelanții, păstrând rezultate cunoscute independent în conversație, astfel încât analiza să aibă mai mult decât o explicație plauzibilă ca fundament.
O rutină pentru suma de control Internet este un exemplu util de solicitare. Furnizează un caz scurt cu lungime pară și unul cu lungime impară, cu rezultate așteptate, apoi întreabă cum tratează codul ultimul octet și cumularea transportului. O analiză concentrată poate lega aceste detalii de calea de construire a pachetelor fără a presupune corectitudinea implementării protocolului din jur.
Examinează modificarea propusă pentru schimbări ale ordinii octeților, completării și punctului în care este stocată suma de control. Rulează testele proiectului și compară cu o referință independentă potrivită formatului. Dacă apare o neconcordanță, păstrează octeții de intrare și ambele ieșiri, astfel încât discuția următoare să poată investiga un caz reproductibil.
Alege un model IA fără cenzură dacă este oferit prin endpointul compatibil OpenAI sau Anthropic acceptat pe care îl folosești. Adaugă acreditările necesare și verifică instrumentele disponibile și capacitatea contextului. Modelul și furnizorul selectate determină în continuare restricțiile; nici eticheta, nici spațiul de lucru nu stabilesc că un pachet este valid sau sigur.
Calcularea așteptărilor cu aceeași logică poate repeta aceeași greșeală. Folosește o referință adecvată sau un caz verificat independent și păstrează octeții de intrare exacți. Astfel, atât discuția cu modelul, cât și testele au o bază separată de comparație.
Trebuie să facă observabilă tratarea ultimului octet în rezultatul așteptat. Cere modelului să explice completarea și ordinea octeților propuse, apoi compară ieșirea. Un test care verifică doar tipul rezultatului va rata aceste diferențe.
Nu. Alte câmpuri, lungimi și reguli de protocol necesită în continuare propriile verificări. Analizează modificarea sumei de control în limitele sale și examinează codul de construire a pachetelor din jur unde este necesar, fără a considera o valoare egală drept validare a mesajului complet.
Examinează destinația și efectele ei înainte de executare; testele locale sintetice pot fi suficiente. Un model local necesită un server rulat separat și nu face toate instrumentele conectate locale, inclusiv instrumentele care trimit sau inspectează pachete.
CarryLoam · Actualizat 2026-10-25