Yapılandırılmış çıktı ve kısıt tasarımı

Teori: önce şema, sonra istem#

Model metin üretir; şema, bu metni programın kabul edebileceği veya reddedebileceği bir nesneye çevirir. Şemayı önce yazmak, istemin başka türlü gizlediği soruları zorla sordurur: hangi alanlar zorunlu, hangileri kapalı küme, kaynak cevabı içermiyorsa ne olacak? Şemadan önce yazılan istem genellikle bir paragraf ister ve o paragraf sonradan düzenli ifadelerle ayrıştırılmaya çalışılır.

Her alan iki ölçütü geçmelidir: yalnızca girdiye bakarak cevaplanabilmeli ve yargı gerektirmeden denetlenebilmeli. Sessiz hataların saklandığı yer serbest metin alanlarıdır, çünkü biçim açısından her zaman geçerli sayılırlar; bir alanı doğrulayamıyorsanız o alan ya kapalı bir kümeye dönüşmeli ya da şemadan çıkmalıdır. Serbest bir alanı kapalı bir kümeye artı kısa bir nota dönüştürmek, hatayı görünmez olmaktan çıkarıp sayılabilir hale getirir.

Alan tasarımı#

Alan tasarımının en kritik kararı kaçış kapısıdır. Kaynakta bulunmayan bir bilgiyi bildirmenin yolu olmayan bir şema, uydurulmuş bir değeri zorunlu kılar: alan doldurulmak zorundaysa doldurulur. Bu yüzden çekimserlik birinci sınıf bir çıktı olmalı — açıkça izin verilen, ucuz ve beklenen bir değer; yanına eksik kalan alanları sayan bir liste konur. Bu değerin ne sıklıkla üretildiği bir başarısızlık göstergesi değil, içerik kapsamı göstergesidir: hangi soruların karşılığı belge setinizde yok, onu söyler. Kaçış kapısı olmayan şema, eksik veriyi sessizce uydurmaya çevirir.

Doğrulama ve onarım döngüsü#

1. 1Şemaya karşı ayrıştır

   Çıktı doğrudan şema doğrulayıcısına verilir; başarısızsa ham metin ve hata mesajı loglanır.

2. 2Hatayı makine diliyle geri ver

   Düzeltme istenirken doğrulayıcının ürettiği hata ve yalnızca bozuk alan gönderilir; istem baştan tekrarlanmaz.

3. 3Tek onarım turu tanı

   Onarım sınırsız denenmez. İkinci başarısızlıkta iş kuyruğa veya insana düşer; sınırsız deneme maliyeti sessizce büyütür.

4. 4İş kuralını kodda zorla

   Yetki, toplam tutarlılığı, tarih aralığı gibi kurallar istemde hatırlatılmaz; doğrulamada uygulanır.

5. 5Reddi sonuç olarak kaydet

   Başarısız çıktı sessizce yutulmaz; oranı ölçülür ve istem sürümüne bağlanır.

Veri ile talimatı ayırmak#

Getirilen belgeler ve kullanıcı metni veridir, talimat değildir. Talimatla aynı bölgeye sınır konmadan yerleştirilirse, içinde “önceki talimatları yok say” yazan bir belge talimatın parçası haline gelir. İki yapısal savunma vardır: talimatı veriden açık bir sınırla ayırmak ve veri bölgesindeki içeriği alıntılanmış malzeme olarak ele almak; ikincisi ve daha önemlisi, model çıktısının doğrudan yetkili bir eylemi tetiklememesi — eylem argümanları da her istek gibi aynı doğrulayıcıdan ve aynı yetki filtresinden geçer.

İstem bir yapı taşıdır#

• İstem, şema ve kod çözme ayarı birlikte tek bir sürüm oluşturur; üçünden biri değiştiğinde sürüm değişir.
• Her sürüm, değişmeyen bir değerlendirme setinde koşulur; karşılaştırma aynı girdilerle yapılır.
• Az örnekli örnekler değerlendirme setinden alınmaz; alınırsa ölçüm kendi örneklerini ölçer.
• Sürümün temel göstergeleri biçim hatası oranı, kaçış kapısı oranı ve ortalama onarım turu sayısıdır.

Sık yapılan hata#

En yaygın hata, bozuk bir çıktıyı isteme bir cümle daha ekleyerek düzeltmektir. İstem büyür, hangi cümlenin ne yaptığını kimse bilmez ve bir sonraki model sürümünde denge sessizce değişir. Disiplin tam tersidir: istemi küçültün, güvenceyi şemaya ve doğrulayıcıya taşıyın, değişikliğin işe yarayıp yaramadığını sabit bir değerlendirme setinden okuyun.