Case study342 zablokowane próby psucia testów

Nie pozwól agentom AI przepisywać Twoich testów

CDAL dodaje twarde bramki jakości do Cursora, Windsurfa, Antigravity i Claude Code. Agent pisze kod — ale nie wystawia sobie oceny.

  • 100% offline
  • Zero wysyłania kodu
  • Open source Apache-2.0
  • 30-dniowa gwarancja zwrotu pieniędzy
  • Gwiazdka na GitHubie
agent session — cart.test.ts
✗ 1 test nie przeszedł: expect(total).toBe(108.00)
agent › Dopasowuję asercję do wyniku…
- expect(total).toBe(108.00)
+ expect(total).toBe(100.00)
ZABLOKOWANE przez CDAL · exit 2 (denyTests)
Rola implementer nie może zmieniać testów oznaczonych @REQ-CART-04.
agent › Poprawiam wyliczanie rabatu w cart.ts…
✓ 47/47 wymagań powiązanych · wszystkie bramki zielone
342
zablokowanych prób psucia testów
100%
pokrycia wymagań
0
regresji na produkcji
Zmierzone na działającej platformie B2B — przeczytaj case study

Lokalny Audyt Higieny AI

Lokalny skan 8 obszarów ryzyka w 15 sekund (0–100 pkt, raport HTML, zero wysyłania kodu).

Lokalny Audyt Higieny AI

3 krytyczne objawy kodu pisanego przez agentów

Bez twardych, fizycznych bramek każdy model AI wchodzi w te same destrukcyjne wzorce:

1. Agent ocenia sam siebie

Gdy kod nie przechodzi testu, agent poprawia plik testowy, osłabia asercje i melduje „sukces”. Kod trafia do review z zielonymi, lecz bezużytecznymi testami.

2. Cicha degradacja typów

Wyciszanie błędów przez @ts-ignore, @ts-expect-error i casting „as any”. Gęstość wyciszeń rośnie z każdą iteracją agenta.

3. Reguły w promptach są ignorowane

Instrukcje w CLAUDE.md lub promptach systemowych działają tylko do momentu, gdy diff rośnie. Model zapomina o zasadach w 20–40% złożonych zadań.

Pętla CDAL — jakość z gwarancją dowodu

Deterministyczny cykl inżynierski: od formalnego wymagania do zweryfikowanego kodu

1STAGE

PLAN

Wymagania z jawnym ID (REQ-*) i kryteriami akceptacji

2STAGE

CONTRACT

Niezmienniki i maszyny stanów w *.contract.mjs

3STAGE

RED

Faza czerwona: test-author pisze testy z tagami @REQ

4STAGE

GREEN

Implementer pisze kod; fizycznie zablokowany przed edycją testu

5STAGE

VERIFY

Deterministyczna bramka: validate, codegen, typecheck, trace, selftest

6STAGE

REVIEW

Automatyczny audyt braku dryfu i 100% pokrycia wymagań

7STAGE

INTEGRATE

Squash merge do gałęzi głównej

Twarde dowody z wdrożenia w projekcie produkcyjnym

Metryki zmierzone empirycznie w komercyjnej platformie B2B (16 000 LOC w 14 dni)

342
Zablokowane próby edycji testów
przez hooki PreToolUse exit 2
100%
Pokrycie macierzy trace
47/47 wymagań z testem
60/60
Zaliczonych mutacji selftest
zero dekoracyjnych bramek
0
Ucieczek regresji do produkcji
pełna audytowalność

Prosta oferta — Darmowy audyt i licencje Pro

Darmowy audyt lokalny lub natychmiastowy dostęp do paczki Pro dla Ciebie lub zespołu.

Darmowy Audyt Repo

Skan higieny kodu w 15 sekund lokalnie. Zobacz, gdzie AI psuje Twój kod.

0 zł
  • Wykrywa 8 sposobów, w jakie AI po cichu psuje kod
  • Działa offline — kod nie opuszcza Twojego komputera
  • Wynik 0–100 i konkretne wskazówki naprawy
  • Jedna komenda: npx cdalkit audit

CDAL Pro Solo

Dla solo twórców, indie hackerów i inżynierów vibecodingu.

€99
  • Blokuje dostęp do bazy bez kontroli uprawnień
  • Uprawnienia w jednym miejscu, sprawdzane w kodzie
  • Powiadomienia bez duplikatów i nocnych SMS-ów
  • 10 ról AI — agent nie zmieni Twoich testów
Kup teraz — €99

30-dniowa gwarancja zwrotu pieniędzy

CDAL Pro Team

Dla mikro i małych firm oraz software house’ów (do 15 osób).

€399
  • Wszystko z Pro Solo dla zespołu do 15 osób
  • Te same blokady w Cursorze, Windsurfie i Antigravity
  • Gotowe konfiguracje: Next.js + Supabase / Prisma
  • Playbook wdrożenia zespołu w 4 tygodnie
  • Priorytetowe wsparcie
Kup teraz — €399

30-dniowa gwarancja zwrotu pieniędzy