İçeriğe geçBlockAssay

İnceleme kapsamı ve hipotezler

P10-L01 · P10 · P10-M01

Yanlışlanabilir soru ve sınırlı zincir-zaman kapsamı tanımlayın

ILLUSTRATIVE · needs_review

Ön koşullar: P08-L08 · P09-L08

Öğrenme hedefleri

  • Yanlışlanabilir soru ve sınırlı zincir-zaman kapsamı tanımlayın
  • Grafiği incelemeden önce çürütecek bir sınama yazın.

Neden önemli

“Bu tokenın arkasında kim var?” gibi belirsiz soru fonlamayı, teknik kontrolü, kimliği ve amacı sessizce birleştirir. Sınırlı soru, ikinci analistin rakip öykü yerine aynı kayıtlarla karşı çıkmasını sağlar.

Açıklama

Başarısız olabilecek iddiayla başlayın. Ağı, tam varlık tanımlayıcısını, blok aralığını ve olay koşulunu adlandırın. Gereken gözlemi destekleyebileceği hipotezden ayırın. “X çıktısı Y girdisini fonladı mı?” kayıt defteri sorusudur; “İkisini aynı kişi mi kontrol ediyor?” farklı kanıt köprüsü ister.

Destekleyen ve çürüten koşulları önceden kaydedin. İndeksleyicide yol yoksa yokluğu çürütme saymadan kapsamı kontrol edin. Tek zincirle sınırlı grafik borsa çekimini, köprüyü veya zincir dışı düzeni dışlayamaz. Durma kuralı tanımlayın: gerekli makbuz veya sahiplik kanıtı erişilemiyorsa sonucu daraltın veya INSUFFICIENT EVIDENCE işaretleyin. Sırf etiket ilginç diye kapsamı genişletmeyin.

Her iddia için dört alan tutun: OBSERVED kayıt, alternatifli INFERRED yorum, UNKNOWN olgu ve mevcut kanıtın önerilen sonuca yeterliliği. UNKNOWN eksik olguyu; INSUFFICIENT EVIDENCE iddiaya ilişkin kararı açıklar. Rapor aktarımı gözlerken sahiplik sonucundan kaçınabilir.

Terimler

Kapsam: ağ, varlık, aralık ve koşul.

Çürütücü: belirtilen sınamayla çelişecek kayıt.

Atıf köprüsü: teknik ilişkiyi önerilen kontrol sahibine bağlayan kanıt.

Tarihsel örnek

ILLUSTRATIVE: analist R, N ağındaki kurgusal T varlığının H aktörü tarafından fonlandığını iddia eden ekran görüntüsü alır. Varsayılan satırlar blok 100 içinde A → B ve blok 102 içinde C → B gösterir; kimlik kanıtı yoktur. Önerilen kapsam N, bloklar 99–103, tam T varlığıdır. Etiketler gerçek adres değildir. Kayıt koşulu A’nın aralıkta B’yi fonlayıp fonlamadığını sorar; ayrı insan kontrol sahibi iddiası sınanmamıştır.

Görsel özellikler

İki sütunlu kanıt paneli: kayıt koşulu ve kimlik koşulu. A → B ve C → B’yi varsayılan kenarlar gösterin; ortak sahip çemberi çizmeyin. Kapsam kapısı ve durma kutusu ekleyin.

Açıklama: Kurgusal sınırlı inceleme; fonlama kenarları insan kimliği belirlemez.

SPECIFICATION_ONLY — oluşturulmuş görsel üretilmemiş veya bağımsız incelenmemiştir.

Kanıtın gösterdikleri

Varsayılan örnek içinde iki fonlama ilişkisi belirtilmiştir ve kapsamı sınırlandırılmış soru yanıtlanabilir. Plan toplama ve reddetme ölçütlerini incelenebilir kılar.

Kanıtın göstermedikleri

Gerçek zincir olayı, kimlik, sahiplik, niyet veya küresel fonlama geçmişi kanıtlamaz. Küçük kapsamlı sonuç suçlamaya dönüşemez.

Yaygın hatalar

Şüphelenilen kişiyle başlamak; ortak hedef B’yi ortak kontrol saymak; zaman aralığını sessiz genişletmek; eksik sağlayıcı satırlarını işlem yokluğunun kanıtı yorumlamak.

Uygulamalı alıştırma

Tek cümlelik yanlışlanabilir kayıt sorusu ve ayrı sahiplik sorusu hazırlayın. Aralığı, çürütücüyü, kapsam ön koşulunu ve durma koşulunu belirtin. İki gelen kenarı ve H aktörü iddiasını sınıflandırın.

Açıklamalı düzeltmeyi göster

Kayıt sorusu: “N blokları 99–103 içinde B, A’dan T varlığı aktarımı alıyor mu?” Çürütücü: aralığın tam çözümlenmiş kayıtları farklı varlık veya hedef gösterir. Kapsam ön koşulu: tüm bloklar ve ilgili olay türleri mevcuttur. A → B ve C → B yalnızca bu kurgusal örnekte OBSERVED durumundadır. Aynı insan kontrolü UNKNOWN; H aktörüne atıf kanıtı INSUFFICIENT durumundadır. Gerekli aralık veya atıf köprüsü elde edilemezse durun.

Kontrol listesi

  • Tam ağı ve varlığı adlandırın.
  • Toplamadan önce aralığı ve koşulu belirtin.
  • Çürütücüyü ve sağlayıcı kapsam ön koşulunu listeleyin.
  • Kayıt, kontrol ve kimlik iddialarını ayırın.

Özet

Yeniden üretilebilir inceleme başarısız olabilen iddia ve denetlenebilen kapsamla başlar.

Özet

  • Grafik yorumundan önce soruyu sınırlandırın.
  • Fonlama ilişkisi ve sahiplik atfı farklı kanıt gerektirir.
  • Eksik kapsam sonucu engelleyebilir.

Sonraki ders

P10-L02

Araçlar

Adlandırılan BlockAssay aracını yalnızca kanıt okuma bağlamı olarak kullanın. Bu ders araç çıktısı, hesap oturumu veya erişim hakkı oluşturmaz. Çevrimdışı alıştırma; hiçbir şeyi imzalamayın, devreye almayın, onaylamayın veya fonlamayın.

Kaynaklar ve iddia sınırları

  • BTC: Bitcoin geliştirici rehberi — işlemler — Girdi referansları önceki işlem çıktılarını belirler; betikler insan kimliği belirlemez. Sınır: Yalnızca mekanizma belgesi; özgün örnek değerler varsayılmıştır, gözlem değildir. Tarihsel kayıtların ayrı dondurulmuş kökeni ve açık toplama boşlukları vardır.
  • API: Esplora herkese açık API spesifikasyonu — GET yolları, tam sayı satoshi ve indekslenmiş onay/harcanma alanları. Sınır: Yalnızca mekanizma belgesi; özgün örnek değerler varsayılmıştır, gözlem değildir. Tarihsel kayıtların ayrı dondurulmuş kökeni ve açık toplama boşlukları vardır.

Kanıt sınıfları

ILLUSTRATIVE — tamamen kurgusal çevrimdışı girdiler; güncel gözlem yok.

Gözlem tarihi

null — gerçek gözlem yok

İçerik sürümü

1

İnceleme tarihi

null

İnceleme durumu

needs_review

Görsel özellikler

P10-L01-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Yanlışlanabilir soru ve sınırlı zincir-zaman kapsamı tanımlayın

Kurgusal sınırlı inceleme; fonlama kenarları insan kimliği belirlemez.

İki sütunlu kanıt paneli: kayıt koşulu ve kimlik koşulu. A → B ve C → B’yi varsayılan kenarlar gösterin; ortak sahip çemberi çizmeyin. Kapsam kapısı ve durma kutusu ekleyin.

İki sütunlu kanıt paneli: kayıt koşulu ve kimlik koşulu. A → B ve C → B’yi varsayılan kenarlar gösterin; ortak sahip çemberi çizmeyin. Kapsam kapısı ve durma kutusu ekleyin.

Gözlemleri, varsayımları, boşlukları ve sonucu 390 px boyutunda üst üste yerleştirin; tam kimlikleri ve eksiksiz metin karşılığını koruyun. Geniş tablolar yerel olarak kaydırılır.

Düz yazı RTL olabilir; kimlikler, miktarlar ve zaman eksenleri LTR kalır. Bağımlılık yönünü koruyun.

P10-L01-ILLUSTRATIVE-v1

Kaynaklar ve iddia sınırları

BTC · PRIMARY_DOCUMENTATION

Bitcoin geliştirici rehberi — işlemler

Desteklenen iddia
Girdi referansları önceki işlem çıktılarını belirler; betikler insan kimliği belirlemez.
Doğrulama sınırı
Yalnızca mekanizma belgesi; özgün örnek değerler varsayılmıştır, gözlem değildir. Tarihsel kayıtların ayrı dondurulmuş kökeni ve açık toplama boşlukları vardır.
Kontrol tarihi
2026-10-02
Birincil kaynağı aç
https://developer.bitcoin.org/devguide/transactions.html

API · PRIMARY_DOCUMENTATION

Esplora herkese açık API spesifikasyonu

Desteklenen iddia
GET yolları, tam sayı satoshi ve indekslenmiş onay/harcanma alanları.
Doğrulama sınırı
Yalnızca mekanizma belgesi; özgün örnek değerler varsayılmıştır, gözlem değildir. Tarihsel kayıtların ayrı dondurulmuş kökeni ve açık toplama boşlukları vardır.
Kontrol tarihi
2026-10-02
Birincil kaynağı aç
https://github.com/Blockstream/esplora/blob/master/API.md

Veri kaynağı

id: P10-L01-ILLUSTRATIVE-v1

dataStatus: ILLUSTRATIVE

observedAt: null

source: Original offline scenario in realOrHistoricalExample

scope: Fictional stipulated labels and values. No wallet, deployment, transaction, token launch or production observation.

Gerekçeni sınama

P10-L01-Q1 · A ve C B’ye gönderiyor. Hangi sonraki sonuç savunulabilir?
P10-L01-Q2 · API blok 101’i atlıyor. Rapor ne yapmalı?
P10-L01-Q3 · Hangi sınama kapsamı sınırlandırılmış fonlama iddiasını gerçekten yanlışlayabilir?
P10-L01-Q4 · Raporda kimliği fonlamadan neden ayırmalı?
P10-L01-Q5 · Gerekli makbuz alınamıyor. Hangi durma sonucu sağlamdır?