Alıntı disiplini
Spec: ISO/IEC/IEEE 26514 ISO/IEC/IEEE 26514 Spec: ISO 24495-1 ISO 24495-1 Evidence: Editorial
Bir bakışta
“Bir bakışta” başlıklı bölümInsider_ içindeki diğer sayfalar “kanıt düzeyi” dediğinde bu sayfayı işaret eder. Bu belgelerin standartları neden alıntılamak yerine yeniden ifade ettiğini, bir iddianın sizin de yeniden doğrulayabileceğiniz bir başvuru kimliğine nasıl bağlandığını ve sekiz kanıt düzeyinin her birinin neyi vaat edip etmediğini açıklar.
Bu sayfa, bir iddiaya güvenmeden önce onu oluşturmak için kullanılan kuralları bilmek isteyen kıdemli bir mühendis için yazılmıştır; böyle bir güvence istemek haklı bir beklentidir.
Bu neden önemli
“Bu neden önemli” başlıklı bölümDiğer tüm Insider_ sayfaları iddialarda bulunur ve bunları bir kanıt düzeyiyle damgalar. Bu damga, ancak arkasındaki sistem açık olduğunda değer taşır. “Standart destekli” ifadesi “belirtimi dikkatle okudum” ile “kabaca ne dediğini hatırlıyorum” arasında herhangi bir anlama gelebiliyorsa, rozet yalnızca süsten ibarettir.
Bunun yanında daha katı bir kısıt da vardır. NextPDF uygulamasının uyduğu belgelerin çoğu — ISO, ETSI ve benzeri belirtimler — lisanslıdır. Bunların metnini herhangi bir uzunlukta yeniden üretmeye izin verilmez. Bu nedenle disiplinin aynı anda iki sorunu çözmesi gerekir: bir iddiayı kaynağına karşı denetlenebilir kılmak ve bunu o kaynağı yeniden üretmeden yapmak. Her ikisinin yanıtı da aynı mekanizmadır ve bu sayfa o mekanizmanın belirtimidir.
Kısa açıklama
“Kısa açıklama” başlıklı bölüm- Insider_ standartları yeniden ifade eder ve lisanslı olanlardan asla alıntı yapmaz. Bir iddia standardı, maddeyi ve bir başvuru kimliğini gösterir; standardın sözcüklerini yeniden üretmez.
- Yeniden ifade etme geçici bir çözüm değildir; bir kavrama testidir. Bir gerekliliği NextPDF’in kendi diliyle yeniden ifade etmek, yazarı onu anlamaya zorlar ve terminolojinin sözlükle tutarlı kalmasını sağlar Spec: ISO/IEC/IEEE 26514, §8 ISO/IEC/IEEE 26514 §8 .
- Standart destekli her iddia, 64 karakterlik bir
reference_iddeğerini sayfanıncitationsön bilgisinde taşır; böylece sonraki gözden geçiren tam kaynak aralığını yeniden alıp yeniden ifadeyi doğrulayabilir. - Rozet bir kanıt düzeyi bildirir — sekiz türden biri — ve kanıtın türünü belirtir; böylece bir aşırı iddia bir bakışta görünür olur.
- Kaynak alınamadığında iddia uydurulmaz. İddia korunur, yeniden sabitleme defterine karşı çözülmemiş olarak işaretlenir ve sayfa yayımlanmamış kalır — bu, belgelenmiş bir protokoldür; doğaçlama değildir.
NextPDF buna nasıl yaklaşıyor
“NextPDF buna nasıl yaklaşıyor” başlıklı bölümYeniden ifade etme, alıntı değil
“Yeniden ifade etme, alıntı değil” başlıklı bölümNextPDF biçem hiyerarşisindeki en katı kural, daha üst düzey kaynaktaki her yönergeyi geçersiz kılar: alıntının ne kadar kısa olduğuna bakılmaksızın, lisanslı bir standart kuruluşundan birebir metin alınmaz. Bunun yerine sayfa, standardı ve maddeyi gösterir, gerekliliği kendi diliyle yeniden ifade eder ve kaynak başvuru kimliğini kaydeder.
Bu genellikle bir lisanslama kısıtı olarak çerçevelenir ve öyledir de. Daha yararlı çerçeve ise yazı işleriyle ilgilidir. Birebir alıntı yalnızca kopyalama yapabildiğinizi kanıtlar. Sadık bir yeniden ifade ise maddeyi, anlamını değiştirmeden yeniden ifade edecek kadar iyi anladığınızı gösterir. Ayrıca cümlenin sayfa ortasında üslup değiştirmek yerine NextPDF’in tutarlı söz dağarcığında kalmasını sağlar; belge kalitesi modeli de bunu gerektirir Spec: ISO/IEC/IEEE 26514, §8 ISO/IEC/IEEE 26514 §8 . Yalın dil, bir okuyucunun içeriği bulup bulamayacağına, anlayıp anlayamayacağına ve kullanıp kullanamayacağına göre değerlendirilir; metnin kaynağı yansıtıp yansıtmadığına göre değil Spec: ISO 24495-1, §Introduction ISO 24495-1 §Introduction . Yeniden ifade buna hizmet eder; alıntı değil.
Bir iddia belleğe değil, bir başvuru kimliğine bağlanır
“Bir iddia belleğe değil, bir başvuru kimliğine bağlanır” başlıklı bölümBir yeniden ifadeyi denetlenebilir kılan mekanizma başvuru kimliğidir. Standart destekli her iddia, tam 64 karakterlik bir reference_id değerini sayfanın citations ön bilgisinde taşır; bu değer, yeniden ifadenin yapıldığı tam kaynak aralığını belirler. Bir gözden geçiren, yazarın belleğine güvenmek zorunda değildir; o aralığı yeniden alır ve karşılaştırır. Başvuru kimliği, alıntılanamayan bir kaynakla doğrulanabilir bir iddia arasındaki bağ noktasıdır. Kanıtın metnini taşımadan kanıtın nerede olduğunu taşır.
Kanıt düzeyi bunun ne tür bir kanıt olduğunu söyler
“Kanıt düzeyi bunun ne tür bir kanıt olduğunu söyler” başlıklı bölümBir alıntı “nereden” sorusunu yanıtlar. Kanıt düzeyi “ne tür” sorusunu yanıtlar. Her Insider_ sayfası, rozet sırasında gösterilen ve sekiz öğelik sabit bir kümeden alınan bir düzey bildirir. Güven sıralaması, kodu ve testleri çalışma zamanının, çalışma zamanını üst verinin ve üst veriyi düz metnin üstüne koyar; yazı işlerine ilişkin bir sayfa kod destekli gibi davranmaz.
| Kanıt düzeyi | Neyi vaat eder | Neyi vaat etmediğini |
|---|---|---|
| Evidence: Code-backed | İddia, motorun kaynağına ya da çalıştırılabilir bir örneğe karşı denetlenmiştir | Bir standardın bunu zorunlu kıldığını |
| Evidence: Standard-backed | İddia, başvuru kimliği olan, kaynak gösterilmiş ve yeniden ifade edilmiş bir maddeye bağlanmıştır | Kodun bunu şu an istisnasız uyguladığını |
| Evidence: Test-backed | Paketteki bir test, davranışı yerinde tutar | Bir başarım değerini |
| Evidence: Benchmark-backed | Belirtilen bir yöntemle yapılan bir ölçüm, değeri destekler | Sizin donanımınızda aynı değeri |
| Evidence: Artifact-backed | Üretilmiş bir yapı çıktısı (bir derleme çıktısı, bir rapor) bunu gösterir | Bir standart zorunluluğunu |
| Evidence: Design principle | Bilinçli, gerekçelendirilmiş bir tasarım kararı | Görgül bir ölçümü |
| Evidence: Editorial | Diğer kanıtları düzenleyen, gerekçeli bir açıklama | Kendine ait yeni bir davranışsal güvenceyi |
| Evidence: Mixed evidence | Sayfa dayanakları harmanlar ve iddia başına hangisini kullandığını söyler | Tek ve yalın bir dayanağı |
Bu sayfa Evidence: Editorial niteliğindedir: kendine ait bir motor davranışı ileri sürmez. Diğer sayfaların rozetlerinin dayandığı sistemi açıklar. Bunun için dürüst düzey budur; bunu söylemek de disiplinin kendisine uygulanmasıdır.
Kaynak alınamadığında
“Kaynak alınamadığında” başlıklı bölümErişim her zaman olanaklı değildir. Disiplinin bütünlüğü, bunun ardından ne olduğunda görünür. Olağan bir kuyruk, hız sınırı ya da bütçe duraklatması bir kesinti değildir. Yazar bekler. Gerçek bir kesinti, belgelenmiş bir yedek yola yol açar: iddia korunur, depo içi kanıta ve kodun kendisinin bildirdiği standart başvurusuna bağlanır, sürekli bir yeniden sabitleme defterinde açıkça çözülmemiş olarak işaretlenir ve başvuru kimliği gerçekten sabitlenene kadar sayfa yayımlanmamış kalır.
Yasaklanan yollar sıralanmıştır ve denetlenebilir: uydurulmuş bir başvuru kimliği, gerçek gibi görünsün diye doldurulmuş ya da önek eklenmiş bir değer, bellekten yazılıp alınmış bir alıntı kılığına sokulmuş bir madde ya da alıntıdan kaçmak için iddiayı sessizce silmek. Bir taslakta doğru işaretlenmiş bir kesinti, defter kaydı olan bir borçtur, kusur değildir. Çevrimdışı, belirlenimci bir denetim tam olarak bu ayrımı uygular.
Kanıt ne diyor
“Kanıt ne diyor” başlıklı bölümBu sayfa Evidence: Editorial niteliğindedir; bu nedenle kendi dayanağı, bu depodaki belge yönetişimi ile disiplini gerekçelendiren standartlardır. Buradaki iddialar iki yolla doğrulanabilir: depo içi kuralları okuyarak ve alıntılanan maddeleri yeniden alarak.
| İddia | Dayanak | Bağ noktası |
|---|---|---|
| Yeniden ifade etme anlamayı zorunlu kılar | Standart | Yalın dil, kaynağı yansıtmaya göre değil okuyucu kullanımına göre değerlendirilir Spec: ISO 24495-1, §Introduction ISO 24495-1 §Introduction |
| Terminoloji tutarlı kalır | Standart | Her terim baştan sona tutarlı biçimde kullanılır Spec: ISO/IEC/IEEE 26514, §8 ISO/IEC/IEEE 26514 §8 |
| Gözden geçirme, sürecin bir parçasıdır | Standart | Geliştirme içinde doğrulama ve geçerleme testi Spec: ISO/IEC/IEEE 26513, §Foreword ISO/IEC/IEEE 26513 §Foreword |
| Kanıt düzeyi önce tanınabilir olmalıdır | Standart | Anımsama yerine tanıma Spec: ISO 9241-110, §5.6.2 ISO 9241-110 §5.6.2 |
| Lisanslı birebir metin yok; başvuru kimliğine sabitlenmiş | Depo içi | docs/style/nextpdf-overrides.md §5; composer docs:jaccard-fingerprint |
| Kesinti yedek yolu gerçek bir protokoldür | Depo içi | Normatif RAG yedek yol yönetişimi + çevrimdışı docs:rag-fallback-check geçidi |
Uygulamalı örnek
“Uygulamalı örnek” başlıklı bölümDisiplin somuttur: bir sayfanın citations ön bilgisinin yapısında görünür. Her girdi, bir iddianın makbuzudur.
citations: - spec: "ISO 32000-2" clause: "§6" # full 64-char reference ID — the join to the source span, re-verifiable reference_id: "<64-hex digest>" # NextPDF-worded topic — the paraphrase, never the standard's text topic: "A writer's created or amended PDF elements must conform and stay consistent"Tasarım gereği quote alanı yoktur. topic, NextPDF’in kendi yeniden ifadesidir. reference_id, bir gözden geçirenin o yeniden ifadeyi denetlemek için tam kaynağa nasıl geri döndüğünü gösterir. Makbuz, kanıtın metnini değil, kanıta giden işaretçiyi taşır.
Yaygın yanlış anlama
“Yaygın yanlış anlama” başlıklı bölümTuzak, “alıntı yapma, yeniden ifade et” ifadesini bir kaçamak — kendini bağlamadan yetkin görünmenin bir yolu — olarak okumaktır. Tam tersidir. Bir alıntı hiçbir şeye bağlanmaz; başkasının sözcüklerini ödünç alır. Başvuru kimliğine bağlanmış bir yeniden ifade ise yazarı, bir gözden geçirenin kaynağa karşı yanlışlayabileceği bir yeniden ifadeye bağlar. Disiplin, iddiaları daha az değil daha çok hesap verebilir kılar.
İkinci tuzak, “yazı işlerine ilişkin” düzeyini “standart destekli”nin daha zayıf bir derecesi olarak görmektir. Bu bir derece değildir; farklı bir türdür. Bunun gibi yazı işlerine ilişkin bir sayfa, diğer kanıtları düzenler ve açıklar. Doğru etiketlenmiştir. Etiket de asıl meseledir: sistem işler, çünkü bir sayfa, ne kadar ağırlık vereceğinize karar vermeden önce size ne tür bir kanıt sunduğunu söyler.
Sınırlar ve kapsam
“Sınırlar ve kapsam” başlıklı bölümBu sayfa alıntı disiplinini belirtir; biçem sayfası, yedek yol yönetişimi ya da geçit kodu değildir. Yetkili yapı eserleri depo içindedir (docs/style/nextpdf-overrides.md §5, normatif RAG yedek yol yönetişimi, composer.jsondocs:* betikleri) ve çeliştiklerinde buradaki herhangi bir özetin önüne geçer. Hiçbir motor davranışı ileri sürmez.
Disiplin iddiayı bağlar, okuyucunun vardığı sonucu değil. Sadık biçimde sabitlenmiş bir yeniden ifade, bir maddenin neyi gerektirdiğini söyler. NextPDF’in okumasının, sizin yükümlülüğünüzün gerektirdiği okuma olup olmadığı yine sizin kararınızdır; davranışsal sayfaların yalnızca standart destekli kanıt değil, kod ya da test destekli kanıt da taşımasının nedeni budur. Uygulama, dürüst bir kabulle kısmidir: çevrimdışı yedek yol denetimi etkindir, birebir alıntı ve canlı alıntı doğrulayıcıları ise bağlanmıştır ancak kapsamlı yürütücüleri henüz tamamlanmaktadır — yapıldı olarak değil, sürüyor olarak belirtilmiştir.
İlgili belgeler
“İlgili belgeler” başlıklı bölüm- Bir ürün olarak belgeler — bu alıntı sisteminin parçası olduğu daha geniş kalite disiplini.
- Standartlar manzarası — bu alıntıların işaret ettiği standartlar ve bir maddenin nasıl belgelenmiş davranışa dönüştüğü.
- NextPDF test piramidi — bir sayfa bu düzey yerine başka bir düzeyi ileri sürdüğünde test destekli kanıtın ne anlama geldiği.
Sözlük
“Sözlük” başlıklı bölüm- Alıntı disiplini — bir Insider_ iddiasının kaynağına nasıl bağlanacağını yöneten kural kümesi: yeniden ifade et, maddeyi göster, bir başvuru kimliğini sabitle, lisanslı bir standarttan asla alıntı yapma.
- Yeniden ifade — bir gerekliliğin NextPDF’in sözlükle tutarlı kendi diliyle yeniden ifade edilmesi; alıntının yerini alan kavrama testi.
reference_id— bir yeniden ifadenin yapıldığı tam kaynak aralığını gösteren ve bir gözden geçirenin yeniden alıp doğrulayabilmesi için kaydedilen tam 64 karakterlik bütünlük işaretçisi.- Kanıt düzeyi — bir sayfanın iddialarının arkasındaki bildirilmiş kanıt türü; sekizden biridir (kod, standart, test, kıyaslama, yapı eseri destekli, tasarım ilkesi, yazı işlerine ilişkin, karma) ve rozet sırasında gösterilir.
- Çözülmemiş alıntı — başvuru kimliği gerçek bir erişim kesintisi yüzünden sabitlenemeyen bir iddia; uydurulmak yerine korunan, bir yeniden sabitleme defterinde işaretlenen ve yayımdan alıkonan iddia.