Gözlenmiş, çıkarılmış, bilinmeyen ve yetersiz kanıt

Kanıt durumu iddiaya aittir. OBSERVED adı belirtilen kaydın tanımlanmış ölçüm sınırında belirtilen alanı veya olayı koruduğu anlamındadır. INFERRED sonucun adı belirtilen gözlemler ve belirtilen varsayımlardan çıktığı anlamındadır. UNKNOWN gereken değerin eksik olduğu anlamındadır. INSUFFICIENT EVIDENCE önerilen sonucun yeterli desteği olmadığı anlamındadır; karşıtını kanıtlamaz.

Durumunu seçmeden iddiayı yazarak başlayın. “Kurgusal kart review içerir” örneğe göre kontrol edilebilir. “Bayrak değişmeden sürerse sonraki örnek de review içerir” açık süreklilik varsayımı altında koşullu çıkarımdır. Gelecekteki örneğin kendisi eksik kalır. “Sağlayıcı bunu belirli anda ölçtü” bu örneğin içermediği sağlayıcı kaydı gerektirir. “Adı bilinen kişi nesneyi kontrol eder” soyut etiketin sağlayamayacağı kimlik kanıtı gerektirir.

Dört sütunlu kayıt kullanın: iddia, dosya referansı, kanıt durumu ve sınır. Çıkarım yalnızca girdi raporunun güvenini devralmak yerine girdileri ve varsayımları belirtmelidir. Önceki örnek olsa da eksik sonraki ölçüm UNKNOWN durumundadır. Rapor ayrıntılı görünse bile desteklenmeyen atıf INSUFFICIENT EVIDENCE durumundadır.

ILLUSTRATIVE bu kartların veri kökenidir. Bu alıştırmada OBSERVED gerçek blokzincirde gözlenmiş değil, kurgusal örnekte görünür demektir. Simüle edilmiş etiketi veya düzgün tabloyu asla tarihsel ürün kanıtına yükseltmeyin. Kayıt birden fazla durumu birlikte içerebilir; review rozeti editoryal needs_review değerindeki reviewStatus alanından ayrı kalmalıdır.

SIM-ALPHA zinciri veya adresi olmayan kurgusal etikettir. Örnek displayedFlag=review içerir; laterState ve allegedOperator null olur. Sınırlı beyan “eğitim örneği review bayrağı içerir” şeklindedir. Sağlayıcı kapsamı UNKNOWN ve iddia edilen insan işletmecisi kanıtlanmamıştır. Sermaye veya cüzdan söz konusu değildir.

OBSERVED belirtilen kayıtlı dosya veya açıkça kurgusal örnekle sınırlıdır. INFERRED iddialar girdilerini ve varsayımlarını belirtir. Yazarın tanımladığı kurgusal kartlar; sağlayıcı gözlemi veya gerçek BlockAssay raporu değildir.

UNKNOWN alanlar eksik kalır. INSUFFICIENT EVIDENCE karşıtını kanıtlamaz. Desteklenmeyen insan atfı, garantili güvenlik/kâr, finansal öneri veya yürütülebilir işlem çıkarılamaz.

Arayüz veya özet alanlarını ham sağlayıcı kayıtlarına yükseltmek; kaynaklar arasında tarihleri ikame etmek; gizli kimlik veya bağlantı uydurmak; zaman damgasını veya ticari rozeti kanıt saymak.

Dört iddiayı sınıflandırın: (1) örnek review gösterir; (2) sonraki örnek review gösterecek; (3) sağlayıcı zaman damgası biliniyor; (4) aynı kişi bunu ve başka nesneyi kontrol eder. Her biri için referans, ilgiliyse varsayım ve iddiayı genişletmeyen cümle sağlayın.

İddia kaydına bağlı dört iddia kartı. Ayrı durum etiketleri kullanın, her kart üstünde SIMULATED gösterin ve eksik zaman/atıf hücrelerini görünür UNKNOWN/INSUFFICIENT EVIDENCE bırakın. Güven yüzdesi veya güvenlik rengi çıkarılmaz.

SPECIFICATION_ONLY — nihai görsel üretimi bu içerik çalışmasının parçası değildir.

• Kesin kaydı ve kimlik sınırını belirtin.
• Her iddia için kaynak/zaman/dataStatus bilgisini koruyun.
• OBSERVED, INFERRED, UNKNOWN ve INSUFFICIENT EVIDENCE durumlarını ayrı tutun.
• Özel veri veya güncel ikameler olmadan sınırlamaları koruyun.

• Kayıt bütünlüğü olgusal tamlıktan farklıdır.
• Köken ve zaman damgası hassasiyeti yeniden kullanımda korunur.
• Sınırlı sonuç bilinmeyenlerini korumalıdır.

P14-L02

Yalnızca çevrimdışı kanıt okuma alıştırması. Sağlayıcı yenileme, özel hesap erişimi, gerçek parayla alıştırma, cüzdan imzalama, erişim hakkı değişimi veya çalışma zamanı çıktısı üretme yok.

• SIM: Kurgusal P14 kanıt iş akışı kartları (dahili, herkese açık olmayan kaynak) — Yazarın tanımladığı kurgusal kartlar; sağlayıcı gözlemi veya gerçek BlockAssay raporu değildir.

ILLUSTRATIVE — Yazarın tanımladığı kurgusal kartlar; sağlayıcı gözlemi veya gerçek BlockAssay raporu değildir.

null — ILLUSTRATIVE örneğinin tarihsel gözlem zaman damgası yoktur.

needs_review