| Kanıt katmanları |
[K] kanıtlanmış ·
[H] makul hipotez ·
[S] spekülatif ·
[R] reddedildi ·
[KKE] kritik kontrol eksik ·
[Y] yanıltıcı. Etiketsiz iddia yok. |
| Önce eşik, sonra sonuç |
Ölçümden sonra yazılan eşik, bulmak için yazıldığı şeyi bulmuş
olur. |
| Yalnızca ekleme |
Reddedilen kayıt silinmez. [R]
satırları yöntemin kendi hata payıdır. |
| Hakemi adlandır |
"Model" bir ölçüm aracı değildir. Hakem iddianın sahibiyse iddia
tavanlıdır. |
| Kuralı taşıyan şey betiktir |
Yalnızca düzyazıyla korunan kural, host'un düzyazısıyla pazarlık
edilebilir. |
| Skill başkasının kurulumunda koşar |
Sessizce uyma: hangi talimatın hangi adımı devre dışı bıraktığını
söyle. |
| Kaçan, sınıfa dönüşür |
Dışarıdan gelen tek sinyal — kullanıcının bulduğu, üretimde
patlayan, batch'in dışından gelen. Yalnızca sayılmaz: onu yakalaması
gereken kontrol adlandırılır, yoksa artık var olan kontrol yazılır.
Dördünde de bir rampa bunu zorunlu kılar. |
| Parçalayan, geri birleştirir |
Dördü de işi parçalara ayırarak ilerler — iddialar, görevler,
akışlar, tohumlar — ve yalnızca iki parça aynı anda
geçerliyken var olan şey tam o eylemle yok olur. Bu yüzden dördünde
de sonda bir çift pası vardır. Denetim yapan üçünde soru "bu garanti
ikisi birden etkinken hâlâ geçerli mi?", Kıyas'ta "bunlar iki bahis
mi, iki yüzü olan tek bahis mi?" olur. Kırılgan sınıflar: bir
yokluktan hesaplanan sinyaller, tek tek çağrı
yerinde uygulanan garantiler, ve tek bir öncüle dayanan tohum
listeleri. Yeşil test paketi karşı kanıt değildir — testler parça
başına yazılır. |
| Bütçesi olan bir bağlam |
Bir skill, bir bağımlılığın bayt harcadığı gibi token harcar:
kuran herkese, her soğuk başlangıçta. Dördünde de
tools/token_budget.py üç katmanı ölçer — her oturumda
bağlamda olan açıklama, gövde, ve talep üzerine okunanlar — ve
önkayıtlı tavanları CI'da uygular. Tavanı
yükseltmek gerekçeli bir commit'tir; sessizce büyümek seçeneklerden
biri değildir. |
| Maliyet ölçülür, ROI iddia edilmez |
Dördü de ne harcadığını kaydedebilir — enstrümanıyla,
penceresiyle, atfıyla ve karşılaştırma koluyla. Kol
yoksa iddia [K] olamaz: işin ne kadara mal
olduğu ölçümdür, farkı aracın yarattığı iddiadır. Ve her biri kendi
reddettiği oranı adlandırır: Kıyas tohum başına
maliyeti bölmez, ux-mizan bulgu başına maliyeti — ikisi de sayıyı,
disiplinin önlemek için var olduğu davranışı ödüllendirerek
iyileştirir. |