P10-L01 · P10 · P10-M01
Definisikan pertanyaan yang dapat difalsifikasi dan lingkup waktu-rantai berbatas
Prasyarat: P08-L08 · P09-L08
Tujuan pembelajaran
- Definisikan pertanyaan yang dapat difalsifikasi dan lingkup waktu-rantai berbatas
- Tulis pengujian yang menyangkal sebelum memeriksa grafik.
Mengapa ini penting
Pertanyaan kabur seperti ‘Siapa di balik token ini?’ diam-diam menggabungkan pendanaan, kendali teknis, identitas, dan motif. Pertanyaan berbatas memungkinkan analis kedua tidak sepakat menggunakan catatan sama, bukan cerita saingan.
Penjelasan
Mulailah dengan klaim yang dapat gagal. Sebut jaringan, pengenal aset tepat, interval blok, dan predikat peristiwa. Pisahkan pengamatan yang diperlukan dari hipotesis yang mungkin didukungnya. ‘Apakah output X mendanai input Y?’ adalah pertanyaan buku besar; ‘Apakah orang sama mengendalikan keduanya?’ memerlukan jembatan bukti berbeda.
Daftarkan sebelumnya kondisi pendukung dan penyangkal. Jika jalur tidak ada pada pengindeks, periksa cakupan sebelum menganggap ketiadaan sebagai penyangkalan. Grafik terbatas pada satu rantai tidak dapat mengecualikan penarikan bursa, bridge, atau pengaturan luar rantai. Definisikan aturan berhenti: ketika tanda terima atau bukti kepemilikan yang diperlukan tidak tersedia, persempit kesimpulan atau tandai INSUFFICIENT EVIDENCE. Jangan memperluas lingkup hanya karena label terlihat menarik.
Pertahankan empat bidang untuk setiap klaim: catatan OBSERVED, interpretasi INFERRED dengan alternatif, fakta UNKNOWN, dan apakah bukti tersedia cukup untuk kesimpulan yang diajukan. UNKNOWN menjelaskan fakta hilang; INSUFFICIENT EVIDENCE menjelaskan keputusan tentang klaim. Laporan dapat mengamati transfer sambil menolak kesimpulan kepemilikan.
Istilah
Lingkup: jaringan, aset, interval, dan predikat.
Pemfalsifikasi: catatan yang akan bertentangan dengan pengujian dinyatakan.
Jembatan atribusi: bukti yang menghubungkan hubungan teknis dengan pengendali yang diajukan.
Contoh historis
ILLUSTRATIVE: analis R menerima tangkapan layar yang mengklaim aset fiktif T pada jaringan N didanai pelaku H. Baris yang ditetapkan menunjukkan A → B pada blok 100 dan C → B pada blok 102; tidak ada bukti identitas. Lingkup yang diajukan adalah N, blok 99–103, aset tepat T. Label ini bukan alamat nyata. Predikat buku besar menanyakan apakah A mendanai B dalam interval itu; klaim pengendali manusia terpisah tetap belum diuji.
Spesifikasi visual
Panel bukti dua kolom: predikat buku besar dan predikat identitas. Tampilkan A → B dan C → B sebagai sisi yang ditetapkan; jangan gambar lingkaran pemilik bersama. Tambahkan gerbang cakupan dan kotak berhenti.
Keterangan: Penyelidikan berbatas fiktif; sisi pendanaan tidak mengidentifikasi manusia.
SPECIFICATION_ONLY — visual terender belum dibuat atau ditinjau secara independen.
Yang dibuktikan bukti
Dalam fixture yang ditetapkan, dua hubungan pendanaan ditentukan dan pertanyaan berbatas dapat dijawab. Rencana membuat kriteria pengumpulan dan penolakan dapat ditinjau.
Yang tidak dibuktikan bukti
Ini tidak menetapkan peristiwa rantai aktual, identitas, kepemilikan, niat, atau riwayat pendanaan global. Hasil kecil berbatas tidak dapat menjadi tuduhan.
Kesalahan umum
Memulai dari orang dicurigai; menganggap tujuan bersama B sebagai kendali bersama; diam-diam memperluas interval waktu; menafsirkan baris penyedia hilang sebagai bukti tanpa transaksi.
Latihan praktik
Susun pertanyaan buku besar satu kalimat yang dapat difalsifikasi dan pertanyaan kepemilikan terpisah. Tentukan interval, pemfalsifikasi, prasyarat cakupan, dan kondisi berhenti. Klasifikasikan kedua sisi masuk dan klaim pelaku H.
Tampilkan koreksi terperinci
Pertanyaan buku besar: ‘Dalam blok N 99–103, apakah B menerima transfer dari A untuk aset T?’ Pemfalsifikasi: catatan terdekode lengkap untuk interval itu menunjukkan aset atau tujuan berbeda. Prasyarat cakupan: semua blok dan jenis peristiwa terkait tersedia. A → B dan C → B adalah OBSERVED hanya dalam fixture fiktif ini. Kendali manusia sama adalah UNKNOWN, dan bukti INSUFFICIENT untuk atribusi pelaku H. Berhenti ketika interval atau jembatan atribusi yang diperlukan tidak dapat diperoleh.
Daftar periksa
- Sebut jaringan dan aset tepat.
- Nyatakan interval dan predikat sebelum pengumpulan.
- Daftarkan pemfalsifikasi dan prasyarat cakupan penyedia.
- Pisahkan klaim buku besar, kendali, dan identitas.
Ringkasan
Penyelidikan yang dapat direproduksi dimulai dengan klaim yang dapat gagal dan lingkup yang dapat diperiksa.
Ringkasan
- Batasi pertanyaan sebelum interpretasi grafik.
- Hubungan pendanaan dan atribusi kepemilikan memerlukan bukti berbeda.
- Cakupan hilang dapat mencegah kesimpulan.
Pelajaran berikutnya
P10-L02
Alat
Gunakan alat BlockAssay yang disebut hanya sebagai konteks pembacaan bukti. Pelajaran ini tidak membuat keluaran alat, sesi akun, atau hak akses. Latihan luring; jangan menandatangani, menerapkan, menyetujui, atau mendanai apa pun.
Sumber dan batas klaim
- BTC: Panduan pengembang Bitcoin — transaksi — Referensi input mengidentifikasi output transaksi sebelumnya; skrip tidak mengidentifikasi manusia. Batas: Hanya dokumentasi mekanisme; nilai ilustratif asli ditetapkan, bukan pengamatan. Catatan historis mempunyai asal-usul yang dibekukan terpisah dan kesenjangan pengumpulan eksplisit.
- API: Spesifikasi API publik Esplora — Rute GET, satoshi bilangan bulat, serta bidang konfirmasi/pengeluaran output terindeks. Batas: Hanya dokumentasi mekanisme; nilai ilustratif asli ditetapkan, bukan pengamatan. Catatan historis mempunyai asal-usul yang dibekukan terpisah dan kesenjangan pengumpulan eksplisit.
Klasifikasi bukti
ILLUSTRATIVE — masukan luring sepenuhnya fiktif; tanpa pengamatan terkini.
Tanggal pengamatan
null — tidak ada pengamatan nyata
Versi konten
1
Tanggal peninjauan
null
Status peninjauan
needs_review
Spesifikasi visual
P10-L01-V01
Definisikan pertanyaan yang dapat difalsifikasi dan lingkup waktu-rantai berbatas
Penyelidikan berbatas fiktif; sisi pendanaan tidak mengidentifikasi manusia.
Panel bukti dua kolom: predikat buku besar dan predikat identitas. Tampilkan A → B dan C → B sebagai sisi yang ditetapkan; jangan gambar lingkaran pemilik bersama. Tambahkan gerbang cakupan dan kotak berhenti.
Panel bukti dua kolom: predikat buku besar dan predikat identitas. Tampilkan A → B dan C → B sebagai sisi yang ditetapkan; jangan gambar lingkaran pemilik bersama. Tambahkan gerbang cakupan dan kotak berhenti.
Tumpuk pengamatan, asumsi, kesenjangan, dan kesimpulan pada 390 px; pertahankan ID lengkap dan padanan teks lengkap. Tabel lebar bergulir secara lokal.
Prosa boleh mengikuti RTL; ID, jumlah, dan sumbu waktu tetap LTR. Pertahankan arah ketergantungan.
P10-L01-ILLUSTRATIVE-v1
Sumber dan batas klaim
BTC · PRIMARY_DOCUMENTATION
Panduan pengembang Bitcoin — transaksi
- Klaim yang didukung
- Referensi input mengidentifikasi output transaksi sebelumnya; skrip tidak mengidentifikasi manusia.
- Batas verifikasi
- Hanya dokumentasi mekanisme; nilai ilustratif asli ditetapkan, bukan pengamatan. Catatan historis mempunyai asal-usul yang dibekukan terpisah dan kesenjangan pengumpulan eksplisit.
- Tanggal pemeriksaan
- 2026-10-02
https://developer.bitcoin.org/devguide/transactions.html
API · PRIMARY_DOCUMENTATION
Spesifikasi API publik Esplora
- Klaim yang didukung
- Rute GET, satoshi bilangan bulat, serta bidang konfirmasi/pengeluaran output terindeks.
- Batas verifikasi
- Hanya dokumentasi mekanisme; nilai ilustratif asli ditetapkan, bukan pengamatan. Catatan historis mempunyai asal-usul yang dibekukan terpisah dan kesenjangan pengumpulan eksplisit.
- Tanggal pemeriksaan
- 2026-10-02
https://github.com/Blockstream/esplora/blob/master/API.md
Asal data
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.