İçeriğe geç
Nexivion Labs

Sarmal Kütüphanesi · bilgi

Çıkarım

dış kaynaktan damıtılan içgörü: kaynak zorunlu, --> uygulama kenarı GÜÇLÜ TAVSİYE — 'uygulandığı yer' ölü sütun değil canlı ok

Aile
bilgi
.sar
Çıkarım

Alanlar

AlanTürZorunlu
kod·Zorunlu
ne·Zorunlu
kaynak·Zorunlu
tarihtarihİsteğe bağlı
kanıtmetin|listeİsteğe bağlı
sırasayıİsteğe bağlı

Kural

ne + kaynak — --> uygulama kenarı GÜÇLÜ TAVSİYEDİR. Zorunluluk iddiası 2026-08-10 tarihinde geri çekilmiştir, çünkü dayanak gösterilen F-12 hiçbir kaynakta tanımlı değildi, motor kenarı hiç zorlamıyordu ve doksan sekiz canlı Çıkarımın altmış ikisi kenarsız yaşıyordu; kırk yerde çiğnenen bir kuralı canlı ilan etmek yeşil kapıya yalan söyletir. Tavsiyenin gerekçesi ağaç metaforudur: damıtılan içgörü uygulandığı dala akmalıdır, akmayan yaprak yerde kalır. Çıkarım dış bir kaynaktan damıtıldığı için iki opsiyonel alan taşır: `tarih:` çıkarımın hangi gün damıtıldığını, `kanıt:` çıkarımı doğrulayan somut dayanağı söyler. İkisi de zorunlu değildir, çünkü her çıkarım tarihlenebilir ya da tek bir kanıta indirgenebilir olmayabilir.

Kütüphaneye dön

Kaynak: SNF-0 v0.6 · Mühür 8031fb8fcffc113a